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

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

舰船武器系统陆上联试中的仿真测试系统

本文介绍了仿真测试系统的功能、组成,系统配置,联词测试方案以及在两次较大规模舰船武器系统陆上联调试验中所起到的作用和效益,提高仿真模型,仿真测试设备的通用化、系列化是舰船武器系统联调试验测试技术的发展方向。     

论当前军队后勤改革的几个理论问题

军队后勤改革随着国家改革大潮的涌动,走过了十几年不平凡的历程。那么,在社会主义市场经济体制不断改革与完善的新形势下,如何用符合客观实际的理论指导军队后勤体制改革?文章指出要以下列理论研究为重点:如何实现保障有力的总目标,怎样选择后勤体制改革的突破口;如何强化后勤改革的宏观调控力度,营造什么样的后勤体制改革宏观环境。     

兵工高校情报机构模式探讨

调研了兵工高校的情报工作现状,对兵工高校中现行的三种科技情报信息机构的隶属形式进行了分析,结合上级机关对基层情报工作的要求,提出图书、情报研究开发和情报教学“三位一体”的理想模式     

关于国防基础研究发展战略的几点思考

本文从探讨基础研究和国防基础研究的特点规律入手,分析研究了美国国防部最近公布的《基础研究计划》,着重讨论了我国开展国防基础研究的重要性及紧迫性,并提出了我国国防基础研究需要认真处理好的几个关系。     

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

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

高等数学课程中的形象思维

本文结合高等数学课程教学内容,论述了形象思维概念的外延,形象思维所具有的诸多特点、优点以及教师如何引导学生培养形象思维能力的问题.     

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

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

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

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