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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

一种不确定性语义计算模型

随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.     

一种时态数据形式语言模型

数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。