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

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

地理信息数据库实现

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

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.     

基于无线双工通信系统分组数据传输的探讨

分析了军用无线双工通信系统数据传输资源,指出了存在的问题及改进办法;利用话音、报文、传真、数据电路交换信令的工作模式标示,提出了基于无线双工通信系统的数据传输TCP/IP结构体系及协议栈,并探讨了网络适配和实现与军用公共数据网、地域通信网（电路交换网、分组交换网）、数字化部队单工无线电数据网互联的关键技术。     

柔软物体力触觉形变模型验证系统

为了验证柔性物体力-形变模型的合理性,构建了基于CC2531芯片的无线数据收发平台、力传感器测量平台和FALCON手控器位移测量平台的力-形变模型验证系统。以新鲜猪肝脏为实验对象,研究了弹性形变实验和穿刺实验的作用力与位移之间的关系;以力-形变测量数据为基础,进行了参数验证校调。仿真实验结果表明:模型中力-形变特性与实际测量值保持一致。该系统能广泛应用于柔性物体力-形变模型验证,对于促进力触觉虚拟医学仿真系统的发展具有重要意义。     

一种基于移动基站的无线传感器网络数据收集方法

针对传统的无线传感器网络数据收集协议大多受制于发生在基站周围的热点问题,提出了一种使用移动基站的数据收集方法.将数据收集问题转化为支配集构造和旅行商问题,并提出了一种分布式的支配集构建算法,结合旅行商问题的近似算法生成基站的移动路线.仿真结果表明,所提出的方法减少了通信消耗,且能使负载均衡地分布.     

变质心弹道导弹攻击航母分析

针对地面或海上低速移动目标的特点,运用理论力学、空气动力学及变质心控制方法,探索变质心姿态控制问题。研究了变质心弹头控制质量块移动的方法。通过移动质量块引起整个弹头质心的变化,进而改变弹头的气动配平力矩,修正惯性弹道,实现对地面或海上低速目标的有效攻击。     

北斗导航系统移动基准站差分定位算法

针对复杂测量环境无法建立固定基准站及进行精密定位的问题,提出一种基于北斗导航系统的移动基准站差分定位算法,即基准站与流动站同时运动并实现高精度差分定位的算法。基于载波相位测量值,在动态短基线条件下,对数据进行站间和星间双差处理,消除接收机钟差以及其他公共误差。对多频观测值进行线性组合,构造双差载波相位超宽巷、宽巷、中巷及窄巷观测量。对上述观测量进行窗口滑动均值滤波并采用逐级模糊度确定法固定整周模糊度,即沿着从超宽巷到窄巷的顺序依次求解整周模糊度。为验证算法有效性,设计基于北斗导航系统的轨道外部几何参数检测仪进行实验,实现毫米级静态相对定位精度和厘米级RTK相对定位精度。     

基于LBP-PCA的多传感器目标识别算法

为了更加有效地提高多传感器图像融合后的识别率,提出一种基于LBP-PCA的多传感器目标识别算法。首先分别对红外和可见光图像进行预处理用以突显出要识别的目标,采用LBP算法提取目标的特征点向量,利用PCA算法进行特征融合,得到降维后的融合特征,最后利用SVM(支持向量机)进行分类和识别。实验仿真结果表明多传感器目标经过LBP-PCA融合后在保持足够数量的有效信息基础上降低了特征的维数,有效地提高了目标识别率。     

基于“主体—对象—客体”关系模型的公安学基础理论体系构建研究

公安学基础理论是公安学理论体系的基础内容和重要组成部分.近年来,公安学基础理论已经取得了学科建设的阶段性成果,但与理论深入、系统完整、具有公安学特色的基础理论体系的要求还有一定距离.“H”型架构公安学基础理论体系存在着基本概念和关系模型方面的缺陷,以及文字表述和概念内涵之间的矛盾.“主体—对象—客体”关系是新的关系模型,基于该模型构建公安学基础理论基本概念和理论体系,更符合公安学基础理论的学科定位.