顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

高压静电场中几个问题的探讨

本文从分析比较实验数据入手,讨论了当前在静电研究中存在的几个问题,指出了欧姆定律的适用范围和在强电场下的局限性,从理论上分析了物质的导电机理,推导出电流密度矢量的一般表达式。     

高功率水介质开关加载脉冲电压波头的数值分析

文中对02号实验装置——高功率脉冲水介质开关上加载的脉冲电压的波头作了数值分析,理论上讨论了各参数对水开关工作性能的影响,得出了C_M/C对水击穿特性影响很大的重要结论,从而给高功率亚微秒水开关的设计提供了理论依据。本装置的大量实验数据验证了计算的正确性。     

互联系统的驱动器设计

本文通过对一般驱动器的讨论,结合已在某互联系统中实现的驱动器设计,探讨根据物理机结构,开发驱动器与系统中其它各层软件间的并发性途径。     

扩散法形状识别〈一〉

本文提出了一种通过类似于扩散的数学处理过程提取出对图形边界各点曲率的描述的新方法。对图形形状的这种描述,考虑了边界点邻域内的相邻关系,而与图形的位置、转动、比例尺无关,只与图形的形状有关。     

关于博奕问题解的概念

本文从“平衡”的观点,对min-max定理以来,博奕问题的解的概念之演变、发展作了综合评述,特别对vN-M解以后关于解的讨论作了较详细的介绍。     

恒温热源实际回热式布雷顿制冷循环性能分析

用有限时间热力学方法分析实际制冷循环性能,计入工质与高、低温热源间换热器和回热器的热阻损失,压缩机和膨胀机中的不可逆损失和管道中的压力损失,导出恒温热源条件下实际国热式布雷顿制冷循环的制冷率、制冷系数与循环压比间的解析式,并给出了详细的数值算例。     

检测柴油机燃油喷射系统的卡持式传感器

介绍了目前柴油机燃油喷射系统技术状况检测的各种方法及其特点。在此基础上,研制了一种卡持在高压油管上的传感器,试验结果表明:该传感器能满足喷射系统技术状况不解体检测的要求。     

舰载分布式火控系统功能备份、重组和恢复的一种设计与实现方法

以一个舰载分布式火控模拟系统为背景,给出一种系统功能备份、重组和恢复的设计与实现方法。主要介绍设计要求、备份策略、检测机制和分级实现。实验表明,系统在损失近５０％设备时仍能维持原功能工作,在损失７０％以上时尚能继续运行,从而证明了该方法的正确、可行和有效     

适应对直升机射击的高炮火控系统设计问题

针对直升机的特点,对高炮火控系统设计中的有关问题作了探讨,提出了一种适应对直升机射击的提前点预测方法