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

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

浅论维修科学理论体系

本文论述建立维修科学理论体系的意义和研究时应考虑的一些准则,并提出具体的体系结构模式。该体系由维修导论、维修技术、装备采办和维修管理4个学科分支组成。     

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

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

ATM网络中交换时延的改善分析及研究

本文着重对ＡＴＭ系统的时间透明度,时延及时延抖动问题进行归纳和分析,并就如何减少时延和消除时处抖动等问题进行了初步思考,探讨。     

现行光纤通信的局限性及未来的发展方向

本文分析了现行光纤通信的局限性。认为光纤的非线性效应,现行通信模式及电子器件的响应速率是限制现行光纤通信发展的主要因素。阐明了未来光纤通信的发展方向,认为量了逊色爱信将引起光通信领域的一场革命。     

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

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

火炮反后坐装置故障模式、影响及危害性分析

本文应用故障模式、影响及危害性分析方法,分析了火炮反后坐装置各种故障模式及其对火炮性能的影响,提出了预防和改进的建议,从而为新火炮的设计和火炮故障分析提供了依据。     

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

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

某型舰炮低压电气系统故障诊断专家系统知识库的建立

本文利用故障树分析法,通过认真分析某型舰炮低压电气系统的原理和结构特点,建立了用于诊断的故障树,并在此基础上,建立了系统知识库。     

对指技合训教育中几个问题的哲学探讨

从教育哲学的角度,对指技合训教育的本质模式、时空观念、知识、能力与素质观、以及教育方法论等领域的有关问题,进行了较全面的分析、探讨,对于深入认识指技合训的教育哲学思想将会有所帮助.