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

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

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

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

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

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

扩散法形状识别〈一〉

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

关于博奕问题解的概念

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

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

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

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

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

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

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

武器系统方案评价与决策的DEA模型

利用数据包络分析方法建立了武器系统研制方案评价与决策的新模型,设计了其评价指标体系与决策分析步骤,并给出了模型的实际应用案例     

一类递推关系的最佳计算格式及其在图像处理中的应用

本文给出了一类递推关系在递推函数可恢复与不可恢复条件下的最佳计算格式,并讨论了它们在图像的平滑、模化及文本图像版面分析处理中的应用。