基于本体的信息与信息空间及其代数结构

实现特定信息环境下基于信息组织的信息资源服务,需要对信息、信息空间有更合适的、形式化的描述。文章基于本体层次对信息、信息的运算、信息之间的关系以及信息空间给出了数学描述并对其代数结构进行了研究。从而为特定信息环境下的信息资源服务提供理论支撑。     

饱和系统的线性最优容错不变集

针对饱和系统的容错控制问题,提出了一种D稳定约束下系统吸引域的估计方法。分别以不变集和参考集的容量为优化目标,给出了两个优化容错不变集的充分条件。为解决不变集优化中出现的双线性矩阵不等式(BMI)问题,通过构造包含线性矩阵不等式(LMI)的目标函数,将它转化为非线性规划的形式进行求解。通过一个仿真实例对该方法进行验证。     

信息系统体系结构设计中系统内聚度分析方法

系统的组成及其结构是体系结构中的一个核心元素,系统内聚度是评价信息系统体系结构的一个重要指标。以体系结构框架为基础,给出系统接口和系统功能的规范化描述。从功能和数据关系的角度,分别定义了系统功能内聚度和数据内聚度的计算方法,提出一种体系结构中系统内聚度的分析方法,并通过一个实例说明了方法的应用。该方法有助于规划系统和分配功能,提高体系结构设计质量。     

基于Statemate的C~4ISR系统体系结构仿真

首先简要介绍了C4ISR系统体系结构,然后在基于Statemate的系统体系结构分析的基础上,结合防空系统实例给出了它的详细开发过程,为C4ISR系统体系结构的应用提供了初始原型。该项研究对C4ISR领域的系统仿真具有重要意义,值得进一步探讨。     

离散动态贝叶斯网络的递推算法

离散动态贝叶斯网络是对动态系统进行建模和定性推理的有力工具。由于观测证据会随时间增加,直接计算推理算法的公式会变得冗长而且推理速度还会下降。在直接计算推理算法的基础上推导出递推公式,并给出算例验证。递推计算公式简洁,仿真表明递推算法的推理速度较直接计算推理算法有明显提高,因而适合实时在线推理。最后将递推算法应用于航天器的态势感知。     

数据链系统效能评估框架研究

研究了数据链系统效能评估相关概念及其对作战的影响机制,给出了数据链系统效能评价指标体系以及不同层次指标的计算、聚合方法。在此基础上形成数据链系统的效能评估框架,通过该框架可以指导数据链系统的效能评估,为数据链装备的发展及应用提供科学依据。     

基于模糊-组合神经网络的信息系统安全风险评估

针对信息系统的安全风险评估问题,提出了一种将模糊理论与神经网络进行"浅层次"结合的评估方法。通过对信息系统所涉及的风险因素分别从资产影响、威胁频度、脆弱性严重程度三方面进行分析,建立了信息系统的安全风险层次化结构,并构造了各因素所对应评判集的隶属度矩阵;综合运用模糊推理算法与神经网络仿真技术,对信息系统的安全风险进行评估,进而判定信息系统安全风险等级。最后,通过实例分析说明了算法的应用,并借助误差分析检测了模型的有效性。     

基于数字混沌序列的变换域通信系统基函数产生方法

提出了一种新的变换域通信系统基函数生成方法——Logistic数字混沌映射法,并对基于Logistic混沌序列基函数的特性进行仿真,同时将其与基于m序列的基函数进行对比分析。仿真结果表明,基于Logistic混沌序列基函数具有较好的伪随机特性、多址特性,且函数数量巨大。     

基于HLA的维修保障仿真系统设计研究

针对作战单元维修保障能力评估的需求,提出建立基于HLA的维修保障仿真分析平台。在分析维修保障系统构成和运行过程的基础上,阐述了仿真联邦的设计思想和构建方法,并进行了系统设计。根据实际系统的运行逻辑开发了联邦剧情,基于HLA的开发和执行过程模型构建了联邦系统框架,设计了联邦对象模型,并指出了仿真实现的关键技术所在。     

装甲车辆自动配电系统MilCAN总线通信设计

针对CAN总线实时性不能有效保证这一问题,提出了利用MilCAN总线作为装甲车辆自动配电系统网络总线;在CAN总线模块基础上实现了MilCAN高层协议,分析和设计了系统应用层通信协议。试验结果表明:在CAN模块上实现的MilCAN高层协议性能可靠,能够很好地满足自动配电管理系统数据传输要求。