区域防空联合预警体系探测效能分析

将联合预警体系划分为不同的子系统,按照系统集成的方法,分析和计算了区域防空条件下联合预警装备体系的探测效能;结合防空兵部队联合预警系统发展的需求,以定量的形式为联合预警体系的构建提供决策依据。     

基于SVG的战术标图系统设计与研究

针对信息化条件下战术标图的需要，提出了基于SVG实现战术标图系统的实现构想，并基于Visual Studio．NET开发平台，对态势图的标绘、代码解析、网络传输和接收再现进行了较深入的研究，得出基于SVG实现战术标图具有可行性和必要性的结论。     

一种基于数据挖掘技术的战机识别算法

探讨了有效识别敌空袭兵器对指挥决策的重要性.依据现代防空作战指挥决策的特点,以及战场态势的预测对海量数据组织与存储的需求,简要论述了数据挖掘技术,建立了基于数据挖掘技术的战机识别模型,应用该模型对新采集到的战机样本进行识别.定义了数据仓库全体数据记录上待分类的样本集,采用决策树方法进行聚类分析,归纳出数据挖掘算法从数据仓库中发现的模式,求出各模式的平均指标,对新样本进行预测;最后,指出了模型的普遍适用性.     

一种基于数据挖掘技术的战机识别算法

探讨了有效识别敌空袭兵器对指挥决策的重要性。依据现代防空作战指挥决策的特点，以及战场态势的预测对海量数据组织与存储的需求，简要论述了数据挖掘技术，建立了基于数据挖掘技术的战机识别模型，应用该模型对新采集到的战机样本进行识别。定义了数据仓库全体数据记录上待分类的样本集，采用决策树方法进行聚类分析，归纳出数据挖掘算法从数据仓库中发现的模式，求出各模式的平均指标，对新样本进行预测；最后，指出了模型的普遍适用性。     

归纳数据类型的范畴论方法

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则.     

形式语言基于Monads的语义计算模型

传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。     

一体化联合防空作战指挥决策支持系统探析

联合预警、指挥控制、联合打击、联勤保障是实施联合作战的4个基本要素，一体化联合防空就是通过系统集成的方法，将海、陆、空、二炮、航空航天，电磁对抗等防空力量进行有机链接，突破原有作战单元的隶属界限，将4个作战要素逐项地高度融合，形成满足作战需求的防空体系。     

Fibrations理论在索引归纳数据类型不确定语义中的应用

应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。     

基于Fibrations理论的共享系统数据模型

传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质,应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为;其次,在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作,抽象描述具有普适意义的归纳与共归纳规则,结合实例简要介绍了Fibrations理论的应用。相对于范畴论等传统方法,简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述,抽象描述了复杂数据结构具有普适性的归纳与共归纳规则。     

基于范畴论的形式语言模型建模方法研究

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。