工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

军事综合电子信息系统需求描述框架及其辅助工具开发研究

需求描述是需求工程的重要组成部分,文中提出了一种军事综合电子信息系统需求描述框架,将军事综合电子信息系统需求分为作战需求、用户需求和系统需求3个层次,并简要介绍这3种需求的内容体系;最后以需求描述框架为指导,介绍了描述工具集的设计与开发思路。     

基于事件序列的作战过程描述方法

基于事件序列的描述方法是作战过程描述的一条重要途径.首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示.然后,研究提出了基于事件序列的作战过程描述方法的基本思想--形式化和图元化相结合描述作战过程,并给出了具体操作步骤.最后,假想一个简单案例,采用提出的方法对其作战过程进行了描述,示例说明了所提出方法的有效性.     

图像目标识别中的分层检索模型

形状特征是武器装备目标识别的关键因素.针对归一化后轴夹角的特点和小波描述子多尺度描述轮廓曲线的特性,提出一种R树索引的分层检索技术模型,在模型库空间逐级过滤出与目标相似的模板,以保证检索的效率和准确性,并通过对军用车辆的检索实验验证了模型的有效性.     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

军事需求工程技术之需求描述与建模

军事需求工程的主要工作之一就是“通过合适的工具和记号,系统地描述待开发系统及其行为特征和相关约束,形成需求文档”,即通常所说的需求规格。需求工程研究的核心是关于需求规格描述方法和技术的研究,它致力于寻求以下几点支持:①需求规格的表示、获取机制;②需求规格文档制作及品质保证机制;③需求规格的演示验证机制。《军事需求的基本概念与内涵》一文指出“实际上,没有一个清晰、毫无二义性的‘需求’术语存在;所谓的‘需求’,是人们对系统的一种主观期望,真正的‘需求’存在于人们的脑海中,任何文档形式的需求仅仅是一个模型、一种叙…     

面向实体的仿真想定结构化描述方法

针对作战过程仿真模型的初始化需求,分析了仿真想定的具体内容,提出了面向实体的仿真想定结构化描述方法,即以实体的抽象和描述为核心,从实体、任务、结构、状态、行动、指挥决策6个方面来进行仿真想定内容的结构化描述,并利用XML语言在描述结构化、半结构化数据方面的突出优势,提出了基于XML的仿真想定数据存储模型,为进行作战想定的结构化和定量化提供了可行的方法,满足了由作战想定生成模型输入条件的要求。