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

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

试论机枪任务可靠性指标的确定方法

从实战需要出发,结合我国目前机枪的研制水平,本文应用可靠性基本原理,论述了机枪的任务可靠性参数及其指标的确定方法。     

地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

坦克炮、反坦克炮简易火控系统自动调炮精度分析

本文分析了坦克炮、反坦克炮简易火控系统自动调炮装置的结构特点及调炮误差变化规律,提出了工程上的校准方法及设计要点。     

玻璃瓶动态图像检测运动模拟平台

动态图像检测中,如何在指定位置快速而准确地捕捉到运动物体的图像是最基本的环节。试验验证图像检测装置的成像特性,成为动态图像检测研究的重要内容之一。以变频器控制电动机为核心,通过变频器内部参数编程和外部简单的辅助控制电路,构建了运动平稳、速度可调、具有自动保护功能的模拟平台。该平台适于动态图像检测中普通运动物体的快速模拟,已成功地用于玻璃瓶动态图像装置中,达到了预期目的。     

Cell structure of microcellular combustible object foamed by supercritical carbon dioxide

In order to solve the issue that the combustible objects for cased telescoped ammunition (CTA) didn't burn completely during the combustion process, the microcellular combustible objects were foamed with numerous cells in the micron order to improve the combustion performance by the supercritical carbon dioxide (SCCO₂) foaming technology. As the cell structure determined the combustion properties of microcellular combustible objects, the solubility of SCCO₂ dissolved into the combustible objects was obtained from the gravimetric method, and scanning electron microscope (SEM) was applied to characterize the cell structure under various process conditions of solubility, foaming temperature and foaming time. SEM images indicate that the cell diameter of microcellular combustible objects is in the level of 1 μm and the cell density is about 10¹¹ cell⋅cm⁻³. The microcellular combustible objects fabricated by the SCCO₂ foaming technology are smooth and uniform, and the high specific surface area of cell structure can lead to the significant combustion performance of microcellular combustible object for CTA in the future.     

粒子滤波GPS/SINS组合导航系统动基座传递对准

在SINS(捷联式惯性导航系统)与GPS(全球定位系统)组合传递对准时,航向角的可观测性较弱,经过卡尔曼滤波后,航向角误差虽有所改善,但仍呈发散趋势,针对GPS/SINS组合系统特点,提出了一种动基座传递对准方案,依靠GPS测量信息进行速度匹配,完成动基座传递对准.该方案采用粒子滤波方法解决对准过程中的非线性问题.仿真结果表明该方案的对准精度(1σ)可以达到东向失准角误差为5角分,北向失准角误差为2角分,方位失准角误差为6角分.     

变质心再入飞行器的质心移动方式研究

变质心控制是一种利用质量块的主动移动来改变飞行器质量特性的控制方式,该控制方式对于克服各种高速飞行器执行机构的气动烧蚀问题有着重要的意义.通过建立变质心再入飞行器的线性化方程,研究了质量块在飞行器内部不同方向上移动与可建立配平攻角之间的关系,并通过仿真计算可知再入飞行器再入的不同阶段质量块沿不同方向移动时的控制效率是有所差别的.研究结论对于提高变质心再入飞行器的控制效率有着重要的意义.     

基于自适应累量算法的舰船轴频电场信号检测方法

提出一种新的舰船轴频电场信号检测方法.该方法利用高阶累量对高斯噪声的抑制作用,首先使用基于自适应累量算法的FIR滤波器对接收信号进行滤波消噪处理,以提高信噪比;然后再对滤波输出信号进行滑动功率谱检测.实测数据处理结果表明了该方法的稳健性和有效性.     

运动潜体湍流尾迹的SAR遥感仿真研究

采用点源法获得密度层化海洋中运动潜体产生的速度场,使用计入海洋内部湍流对海表面毛细重力波作用的SAR遥感全谱模式,利用考虑内波混合的湍流k-ε模式,并且使用Nasmyth海洋普适谱,建立了运动潜体湍流尾迹的SAR遥感仿真模型.利用该仿真模型对Rankine卵形体的湍流尾迹进行了仿真分析,获得令人满意的结果.