逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

化学非平衡尾迹流场的数值计算

高超音速化学非平衡尾迹流场的分析及计算是再入空气动力学的一个重要课题。本文采用轴线极限方程,成功地消除了控制方程在轴线上的奇性;采用二阶精度的中心差隐格式,求解了抛物化的Ｎ－Ｓ方程,得到了２０ｋｍ及６０ｋｍ再入时尾迹流场的数值解。计算结果表明,在远尾迹场,对电子数密度的主要影响是Ｏ_２的吸附反应。     

论防空火力配系的评价问题

本文提出了对弹炮结合防空火力配系的定量化评价的思路,并探讨了火力配系指标的应用方法。     

胶粘耐磨涂层的研制及其磨损机理分析

本文介绍了JNT9O系列涂层的研制过程及计算机辅助涂层配方优化方法,分析了影响胶粘耐磨涂层耐磨性的主要因素,并通过扫描电镜对粘涂层的结构形貌、磨损机理进行了研究,提出了提高涂层性能的途径和见解.     

舰船柴油发电机组温度、压力参数巡检报警装置的研制

本文主要介绍舰船柴油发电机组温度、压力参数巡检报警装置（ＷＹ－Ｉ型温度压力巡检仪）的研制。研制中．针对可靠性和实用性要求,在传感器选型、信号处理、报警方式及抗干扰等方面采取了相应处理措施。     

舰船空调系统改进性方案设计

本文针对航行在热带海区的某型舰船用空调系统存在的降温效果差、舱室风机盘管噪音大、操作管理不便等问题进行了研究,并提出了改进设计方案;经实船安装和调试,明显改善了空调舱室的舒适性,提高了设备工作的可靠性和自动化管理程度,收到了良好的效果。     

国防科研管理决策支持系统-项目核算模型研究

本文针对国防科研管理的需求,提出了宏观核算模型、成本核算模型、因素分析模型,分析了这些模型产生指标的意义,并证明了这些指标的存在条件和相应的计算方法。     

表格/文本图像歪斜度检测方法

在表格处理和光符识别软件中．歪斜图像校正是一项重要的预处理技术。针对文本和表格图像,本文提出了一种基于线条检测模型的高精度、快速的歪斜图像检测方法。     

C~3I系统分析的分层策略

通过对Ｃ３Ｉ系统体系结构的多维多层次性特征的分析,表明Ｃ３Ｉ系统分析的分层策略是一种突出系统整体性,体现系统相关性,实现从定性到定量综合集成的有效方略,可以应用于Ｃ３Ｉ系统分析的各个阶段。     

高速列车外形计算机辅助设计

介绍了一种自行开发的用来进行高速列车头尾部流线型外型方案设计的计算机辅助几何造型软件,并给出了一个利用该软件进行设计的实例。