编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

分组坐标轮换法与机械优化设计

minimax 问题是工程优化设计中普遍存在的问题。本文首次采用分组坐标轮换法求解该问题,通过分析获得了该算法收敛的充分条件(如果收敛,还可计算最大轮换次数)。一些数值计算验证了文中的结论,本文还把该算法用于四连杆实现函数机构的优化设计.     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

一种信号检测模糊技术及其应用

本文基于模糊理论,建立一种信号检测的模糊模型,并实际运用于连续波多普勒测速雷达目标速度的提取,取得了满意的结果     

高速水射流倒空弹体装药安全性研究

本文阐述了高速水射流倒空弹体装药的机理,建立了确定水射流引爆炸药的临界速度的模拟实验方法和模型,进行了高速水射流冲击炸药的安全性试验,并对试验结果进行了分析,证明在工作泵压下高速水射流倒空弹体装药安全、可靠。     

智能化转速测试系统的原理及设计

本文在收集众多的转速测量方案的基础上,提出由光电反射式传感器或霍尔传感器与8098单片机构成一套可在坦克上应用的智能化转速测试系统,并进行了电路硬件设计和软件编制.     

自由后坐式自动武器运动系统优化设计研究

本文介绍自由抢机式自动武器运动系统有关结构参量的一种优化设计方法。优化的目标函数为自动机后坐到位速度和弹丸的初速。优化的结构参数有自动机的质量,弹簧的抗力等。     

舰炮瞄准角速度和角加速度的定量分析

从舰炮火控原理出发,用坐标转换技术和微分理论,推导了在二轴和三轴稳定情况下,火炮瞄准的角速度和角加速度公式,并讨论了跟踪器的有关情况,给出了计算实例和主要结论。     

瞄准线偏移故障诊断方程及其优化

本文利用矢量分析法,分析了瞄准线偏移与各故障因素的关系,导出了瞄准线偏移故障诊断方程并对其进行了优化。提出了一个不必调整炮耳轴水平而测定瞄准线偏移及其原因的方法。     

决策系统的信息机理

本文从信息与决策的角度,分析了决策系统信息特性的几个侧面,为研究信息对决策系统的作用机理做了一些基础性的定量工作。