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

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

在线测量精密机床和加工工件直线度的新方法——优化误差分离法（OEST)

目前,运用多传感器对工件和精密机床的直线度进行在线测量的方法有ＳＴＰ法、ＳＴＲＰ法和ＦＳＴＰ法等。由于受到传感器相邻间隔距离的限制,这些方法往往只适合于长工件的在线测量。本文推荐的新方法──优化误差分离法（ＯＥＳＴ）可以用于短工件中的测量,它是基于频域分析和时域优化搜索的原理,可以克服频域变换中出现的边缘失效问题以保证频域变换的正确性。本文还介绍了计算机仿真和实际测量实验的结果,并验证了该方法的可行性和正确性。     

Hill 方程在远距离拦截中的应用

提出了一种通过坐标系移动,化原系中的大相对距离为新系中的小相对距离,以减小Ｈｉｌｌ方程在大相对距离时的模型误差的方法,即当拦截器的相对距离达到某一精度许可的值ρ＿１时（定义ρ＿１为精度控制参数,例如可取ρ＿１＝５００ｋｍ）,以拦截器位置为原点,建立一假想的动参考系,将拦截器在原动系中的相对运动参数转换为新系中的相对运动参数（显然在新系中的初始相对距离）,从而化大相对距离为小相对距离问题,提高Ｈｉｌｌ方程的描述精度。本文给出了方法的理论分析及两个计算机仿真实例,该法确可有效地减小Ｈｉｌｌ方程在大相对距离时的模型误差,结果是令人满意的。     

轨道动力学的发展现况

精密定轨与精密轨道预报需要精确轨道动力学方程。本文介绍轨道动力学的发展以及现代形式的归一化、无奇异轨道动力学方程组的推导。     

一类较为完善的不可逆制冷机模型及其最优化

在考虑工质与热源间热阻损失的内可逆卡诺制冷机模型基础上,用一常数项表示热源间的热漏,用一常系数项表示循环中除热阻和热漏外的其余所有不可逆性（如摩擦、涡流、惯性效应等）,提出了一类较为完善的不可逆卡诺制冷机模型,并对此不可逆制冷机模型进行优化分析,导出了其最佳制冷率与制冷系数间的优化关系和最大制冷系数及其相应的制冷率。由定义的一常数项和一常系数项可定性、定量地分析不可逆性对循环性能的影响,所得结果包含了有关文献的一些特例。最后,给出了详细的数值算例,说明本模型的有效性。     

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

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

载人飞船标准返回轨道设计

本文研究载人飞船三自由度标准返回轨道的设计方法。基本的设计思想是在返回坐标系中建立飞船返回轨道运动方程,用非等值的速度滚动角γｖ（ｔ）使飞船再入过载均匀化及减小标准返回轨道与升力失控时自旋轨道的航程差,并引入侧向制导思想解决γｖ（ｔ）的反向问题。仿真中用二重迭代方法确定有关参数,避免了参数选择的盲目性。仿真计算表明,本文提出的设计思想具有良好的实用价值。     

低轨道卫星通信体制的研究

本文首先分析了进行本课题研究的依据,然后介绍了我们对通信体制的研究结果,最后论述了提高容量的几条措施和链路计算结果.     

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

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

阵地布防系统中的计算机辅助决策

本文对阵地布防辅助决策系统从其系统结构、信息处理流程及系统实现等方面作了详细介绍。目前已在PC 机及其兼客机上成功地实现了该系统的研制。