C~3I 系统的需求描述语言

论述了理想的需求描述语言应具备的九个特性。同时对几种现有描述语言进行了初步的评估,对我国在这方面工作的开展提出了几点看法。     

C~3I系统功能需求的导入和描述

本文阐述了C3 I系统功能需求导入 /描述的原则、方法 ,同时给出了所使用的描述语言框架 ,在规范C3 I系统需求描述方面做了尝试。在文章的最后 ,用一个简单的例子说明了功能描述语言的使用方法     

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.     

战场信息分发服务语义描述方法的分析与比较

文章针对基于语义的战场信息分发这一特定应用,对OWL-S和SAWSDL两种常用的语义服务描述语言进行了深入的比较与分析。首先,以航迹信息为例构建了战场态势信息本体,并对战场传感器所提供的服务进行封装;然后,详细描述了如何采用OWL-S和SAWSDL描述本体及服务,并结合战场态势语义的特殊需求,对两种语言的描述能力、匹配组合的支持能力等性能进行了比较。分析表明OWL-S更适合于复杂多变的战场信息环境。     

想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

军事仿真想定开发方法研究

军事仿真系统是一个十分复杂的系统,其仿真想定开发耗时耗力.目前主要靠人工为各个系统定制仿真想定,由于定制过程中参与人员众多,而且每个参与者都具有不同专业领域的知识背景,这样做给以后大系统仿真带来诸多不可移植问题.为解决军事仿真想定中资源、协作等问题,整个军事仿真想定开发的标准化至关重要.在详细考查了仿真想定相关概念基础上,提出了一种分层次合作开发军事作战仿真想定的方法,总结出了仿真想定开发标准流程,并介绍了一种基于可扩展标记语言XML的军事想定定义语言MSDL.     

面向基本对象模型BOM和Web服务的建模技术研究

介绍了BOM模型和面向Web服务技术，从概念、表示以及语义层次上对2种技术进行了对比分析。基于二者数据类型和语义的一致性，提出了从BOM模型到Web服务描述的映射规则，阐述了这种映射的实际操作步骤，最后通过实例验证了该方法的可行性和有效性，并分析和总结了运用BOM和Web服务建模的优越性。     

利用表页描述语言实现表页自动生成

本文详细介绍了如何设计一种表页描述语言 ,并以此语言为基础实现表页的自动生成。     

一个面向对象的形式化描述语言研究

本文针对信息系统建设的关键阶段——需求分析阶段的问题,对信息系统中需求分析作了深入地研究。结合现代信息系统建设的特点,提出了一套简单有效的面向对象需求分析方法以及相应的信息系统需求分析语言ISRSL。     

基于FPGA的硬件协议栈精简实现

数据传输过程中准确性与高速性是基本的指标。针对高速网络内数据传输量大的应用需求,文章利用硬件描述语言,将TCP/IP中与UDP相关的协议栈按需精简后移植入FPGA中,通过UDP协议在硬件平台中开发网络数据传输的应用以切合大数据量的需求。在保证准确性的前提下,网络数据传输速率达到千兆网的性能。该设计使协议栈模块硬件化,易于集成在具有网络数据传输需求的系统或设备中。