基于XML 的震灾工程抢修方案形式化描述方法

为快捷、有效地形成一套描述规范统一、能在不同系统和平台间实现无障碍信息交换和应用的震灾工程抢修方案,采用XML实现震灾工程抢修方案的形式化描述。通过分析震灾工程抢修方案的组成要素,运用XML的方法对抢修方案进行结构化和形式化描述,在构建抢修方案类的基础上实现震灾工程抢修方案的形式化描述。结果表明:该方法具有很好的通用性和共享性,能准确有效地描述震灾工程抢修方案,对实际救灾抢险具有重要的意义。     

基于XML 的通用数据接口测试工具

针对传统测控软件的接口测试的不足,设计一套XML文件配置的通用数据接口测试工具。分析测控软件数据接口特点,设计XML数据接口配置模板;描述数据接口测试的基本流程,提出采用"分层架构+构件模式"设计组装软件,脱离代码编写,通过文件配置组装各种正常、异常的接口数据,满足测控软件接口测试的各种需求;并给出XML的编程实现和需求变化的处理方法。结果表明:该设计能提高软件测试的自动化水平和软件质量,满足测控软件接口的各种需要。     

基于可拓理论的装备知识形式化描述模型研究

通过分析现有装备知识描述方法的特点,提出了构建装备知识形式化描述模型的需求;概括和归纳了可拓理论的内容及国内外研究现状,结合基元原理和拓展分析原理构建了5种装备知识形式化描述模型;为了说明装备知识形式化描述模型的可行性和有效性,以部分装备知识为例进行实例验证;装备知识形式化描述是进行装备参数聚合及装备体系评估的前提和基础。     

维修保障信息系统的数据处理方法

根据维修保障信息系统研究和开发的需要,分析维修保障信息系统的技术数据,探讨技术数据的XML描述,阐述XML技术数据向XML原生数据库（native XML datebase,NXD）存储的过程,有效实现维修保障信息系统技术数据的数据管理。     

MIME二进制数据嵌入XML的方法

采用MIME封装的方式可将二进制数据直接嵌入XML文档.该方法以DTD的二进制资源表示MIME类型,并在XML文档本身中定义MIME类型,使之成为自我描述的XML格式.同时,采用Java算法,将源XML文档,经文档节点解析、二进制文件转化、生成CDATA节点映射成新的XML文档.     

基于XML的数据库系统研究

XML是标准通用标记语言(SGML)的子集，又称元语言。利用其基本规则可创建针对特定领域的标记语言。XML允许用户界面和结构化数据相分离，具有不同来源的数据无缘集成等优点。在比较XML数据模型和传统数据库模型伏缺点的基础上，根据文件类型定义(DTD)，提出了关系数据库与XML结合，组成XML数据库系统的方法。它采用关系数据库反映数据集根节点的子节点，组织根节点的各子树内客，形成数据对象，建立元数据库和对象数据库。基于XML的数据库系统以XML标记数据，解决了数据间的复杂关系。以数据库而不是文件仓储组织数据，有利于管理和维护。     

电磁频谱管理系统需求模型

为准确描述电磁频谱管理系统(electromagnetic spectrum management system,ESMS)的需求,在研究其系统结构和工作流程的基础上,从业务需求、技术需求和功能操作需求3个方面来描述系统的需求模型。利用XML语言和UML关系图,对电磁频谱管理系统需求模型体系的构建过程进行详细阐述,并给出系统各部分实现信息交互的通用数据报文模板。结果表明:该模型既能有效降低系统内和系统间各功能单元信息交互的复杂性,又能充分考虑潜在用户的所有功能需求。     

基于ActiveX的EIP动态报表系统

基于ActiveX的企业信息门户(EIP)动态报表系统,根据系统的功能需求,结合系统B/S构架,采用ActiveX控件和XML技术实现.其将企业部门的多层结构分解为单独的上下级关系,并将业务逻辑抽象为2级结构.客户端使用浏览器与WEB服务器实现交互,WEB服务器和数据库服务器完成对业务流程和数据的管理.包括采用ActiveX控件的报表模板制作;用XML实现报表与数据库的数据交互;报表模板在制作时的提交及填报时的下载.     

演习实况数据编辑系统

针对演习实况数据的特点和用户的需求,开发一套演习实况数据编辑系统。利用数据模板描述实况数据,构建实况数据模板体系,采用数据模板和模板组合的方式支持数据编辑,设计了系统架构,并对实现演习实况数据编辑系统的关键技术进行研究。实例结果论证了该系统的可行性。     

武器装备体系能力形式化描述研究

针对目前武器装备体系能力描述精确性及规范性存在的不足,在深入研究武器装备体系能力、能力指标体系、能力关系以及能力层次结构等相关内容基础上,提出一种基于本体理论的武器装备体系能力形式化描述方法。并以空战武器装备体系超视距空战能力为例,对其进行形式化描述。实例研究表明,该方法可大大提高武器装备体系能力描述的精确性,为今后能力分析提供精确可靠的基础数据。     

形式化规范测试模板框架的研究

采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息.并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板.     

基于XML的C4ISR系统信息融合的研究

信息融合是C41SR系统的重要组成部分,对C41SR系统的效能发挥起着决定性的作用。由于可扩展标记语言( XML)具有强大的数据描述和数据抽取功能,定义了基于XML的C41SR系统作战信息表达模式,以炮兵侦察报告XML文档为例,规范了基于XML作战信息表达。介绍了基于XML的数据挖掘方法。在上述工作的基础上可以实现战场信息的有效融合,以得到完整、及时的战场态势和威胁评估,为指挥员提供实时的作战决策参考信息。     

最优化空空导弹测试任务调度策略研究

为解决飞机装备多型空空导弹测试工作量大、测试效率不高的问题,提出了一种基于ATML的最优化测试任务调度策略.给出了测试任务调度的ICOM描述,在建立测试任务调度的分层框架的基础上运用ATML对测试任务进行了统一描述;建立了测试任务优化调度模型,并根据模型特点提出禁忌搜索进化算法.通过实验证明该调度策略具有可行性和高效性.     

基于结构化军事想定的通信能力需求分析

为有效支撑军事需求数据的提取和分析,基于结构化军事想定的构成及描述方法,研究通信能力的军事需求数据的提取和分析方法.基于结构化军事想定文件提取环境元素、作战力量、组织机构、战术图集等元素数据的方法,结合信息分类与传输手段要求数据,分析通指装备的传输能力、指控能力和通信手段需求,并结合实例验证分析成果的准确性.     

基于XML 的测控系统统一数据模型

为提高测控系统的通用性,设计了基于XML的代表测控系统共性的原生数据类以及代表测控系统个性的自定义数据类,采用生产者/消费者模式设计了统一组件数据接口,利用测控系统中常用的、共性的数据结构的原生算子,提供了测控系统自定义算子的开发方法及示例,统一了测控数据的描述形式、组件之间的数据交互行为和数据操作行为。实验结果证明:统一数据模型的设计能大大降低系统软件组件间的耦合,同时大大提高系统的可扩展性和易维护性。     

面向敌方作战行动过程的本体构建

为使各级指挥员系统一致地理解敌方在某阶段作战的内涵及执行过程,对敌方作战行动过程的形式化描述方法进行深入研究.在理解态势分析过程和实质的基础上,提出基于知识发现的敌方作战行动过程构建框架,利用六元组结构给出其形式化定义.对作战行动过程中所涉及到的概念属性集及其层次关系进行详细描述,通过UML建模语言构建作战行动过程本体模型.结果表明:该研究可表达敌方在执行某一作战行动过程中的整体特征规律,并实现战场态势内容共享.