计算机图形信息的查询技术研究与实现

计算机中信息的表达方式多种多样,其中图形信息是其中非常重要的一种。介绍计算机中图形信息的数据组织,并对图形信息的查询技术进行深入研究。     

天基信息支援对导弹攻防作战的效用分析

分析了空天一体作战天基装备系统——军事卫星,对导弹攻防作战重要的信息支援效用。建立并阐述了天基军事卫星信息系统信息支援下导弹攻防作战过程模型和影响图模型,对模型进行了详细的分析讨论。     

攻角传感器的热失效分析与设计方案改进

根据压差归零式攻角传感器的工作原理、结构及工作条件，结合实际经验，分析了该传感器的主要失效因素，并重点分析了热失效问题；探讨了飞行中传感器探头加热器与环境之间的热交换情况。     

情报网络对生产／流通过程中的库存的影响

本文通过建立独立型、垂直型和综合型3种模型,从订货方式和服务水平两个侧面,分析、考察了在生产/流通系统中建立情报网络而对系统中的库存所产生的影响。并据此提出了“失连库存”的新概念,对其进行了定量的分析和评价。本文得到的结论不仅在多阶层库存理论的研究上是必不可少的,而且对我国发展管理信息系统等现代化管理技术都具有指导意义。     

航行情报服务(AIS)及其属性初探

本篇首次运用情报的广义属性从理论上分析和概括了航行情报的定义、宗旨和有关性质,并给出了航行情报服务的流程图和交流图。对促进和加强这一学科的教学研究有一定的参考意义。     

航天航空中急性缺氧条件下功效改变的研究

受试者为84名男性青年和实验工作人员,在低压舱1500、2500、3000、4000、5000和6000米高度上停留60分钟。每次实验一个高度,总共133人次。实验中,记录了数字记忆、听觉警觉和跟踪操作等多项功效指标。应用统计和模型方法对结果进行了分析,并试用模糊集理论对五种基本功效进行综合评定,得到了急性缺氧下功效改变有意义的结果。这些结果可为飞行员执行飞行任务,航天员在船舱内或穿着航天服在舱外执行任务及制订医学保证方案提供了科学依据。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

面向任务的空间信息网络体系结构可重组设计

针对空间信息网络体系结构设计和其使命任务的多重性、多维性的问题,提出了一种体系结构可重组设计方法。首先,介绍了空间信息网络及其体系结构的国内外发展现状,分析了研究空间信息网络体系结构可重组设计的需求。其次,结合空间信息网络的概念、结构和特征,建立了松耦合、兼容性、隔离性和可解构的可重组设计原则。同时,定义了管理中心（RMC）和资源中心（RRC）的内涵,分析了RMC和RRC的运行机制,从目标、拓扑、实体、数据、方案5个维度出发提出了一种形式化的可重组网络体系结构模型,并给出了可重组网络体系结构的实现算法流程。最后,以某反导作战活动为例进行了体系结构可组构设计的案例分析,基于STK平台进行可重组网络的仿真演示,着重展示和验证了可重组设计思想在实践中的具体应用,达到了预期目的。     

超静超稳卫星碰振动力学建模

针对分离式卫星载荷模块(PM)受到扰动时可能与服务模块(SM)发生碰撞的问题，综合音圈电机反电动势(back-EMF)和柔性线缆动力学的效应，基于牛顿欧拉法建立了分离式卫星(DFP)载荷模块动力学模型。基于Hertz接触理论，推导了分离式卫星碰撞过程中连续接触力模型，并分析了碰撞过程中产生的接触力对载荷模块指向精度和指向稳定度的影响。数值仿真结果表明，碰撞使得载荷模块指向精度和指向稳定度下降5个数量级，碰撞后载荷模块可再次恢复到超静超稳工作状态，恢复时间超过1400 s。本文建立的碰撞模型对研究分离式卫星碰撞规避和碰撞控制具有重要意义。     

一种面向复杂体系作战的多源信息融合处理方法

研讨了面向复杂体系化作战的信息融合技术，提出了一种基于中心航迹关联的融合架构，设计了面 向多源异构数据的信息融合处理方法。经过多机飞行场景下的数据仿真测试，能够有效解决多源传感器多目标 环境下目标关联判断问题。