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

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

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

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

FY-2型发动机燃烧室计算模型

本文提出了一个液体火箭发动机双组元自燃推进剂高压燃烧过程的计算模型。模型考虑了偏二甲肼的分解反应、四氧化二氮的离解反应、高压蒸发、液滴二次雾化以及燃烧室横截面上混合比和流强分布的不均匀性。应用该模型对FY-2型发动机的三种喷注器结构的燃烧效率及能量释放分布进行了理论计算,计算结果与试车数据和现象相当吻合。     

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

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

生产企业计算机管理信息系统经济效益评价方法

对生产企业ＭＩＳ经济效益的评价方法作了新的探讨,分析了ＭＩＳ获取经济效益的过程,提出了评价算法,讨论了评价中应注意的问题。文章中首次引入若干“效果系数”,从不同角度体现了ＭＩＳ运行后对经济效益的不同影响程度。     

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

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

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

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

应用柯洛波夫数论网格计算发射n发至少命中m发概率的研究

本文应用了柯洛波夫数论网格方法,较好地解决了三级误差条件下高精度计算命中概率指标 P_(Lm)的问题。本文还详细给出了计算 P_(Lm)的方法、步骤和实例。     

决策系统的信息机理

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

纯方位目标跟踪和攻击的己艇机动策略

纯方位目标跟踪效果同己艇的机动有关。本文按照极大化跟踪系统的可观测程度的准则对己艇机动进行了优化,得出了有利于跟踪的优化机动策略。在此基础上,进一步考虑了对目标进行攻击的攻击机动的要求,使得最后给出的机动模式不仅有利于快速获得目标运动参数,而且使己艇能占领到较好的攻击阵位。此外,本文推荐的机动策略都是按相给出的,因此具有很好的实用性。