摘要：越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.

摘要：研究了伪码-线性调频复合体制侦察信号识别的时频分析方法,推导了PRBC-LFM侦察信号的Wigner时频分布函数,通过对ω=ω0+Kt截面上WVD分析,从中提取了与载频、调频斜率和伪码参数(子脉冲宽度、编码位数、脉冲周期等)有关的特性,设计了参数估计方法,最后在高斯噪声环境下对分析的结果进行了仿真。结果表明该文提出的方法对PRBC-LFM信号的识别优于谱相关方法,而且应用不受调频带宽与伪码谱宽关系的限制。

摘要：当前对于系统互操作的研究主要集中在技术层面,关注于系统间如何有效交换及利用所交换的数据.如何从战略理念,组织结构,业务进程等更高的组织层面分析系统的互操作性问题,指导体系设计,在系统众多、协作关系复杂的C4ISR系统中尤为重要.本文首先给出组织互操作基本概念,分析了我军指挥信息系统的互操作需求;在此基础上基于权变理论给出组织互操作框架及相关制品;最后,以某前沿阵地防空系统为例论述了组织互操作框架在体系分析与设计中的应用.

摘要：上下文感知计算是普适计算研究领域中最为重要的一个方面,针对上下文感知计算中缺乏与自动推理支持的问题,提出了一种基于本体描述语言(web ontology language,OWL)的上下文感知建模与推理方法。OWL是以描述逻辑为基础的本体形式化语言,可以满足上下文知识共享与上下文本体自动推理的需要。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文分为元模型与领域特定模型两层结构,然后采用OWL形式化描述该上下文模型,设计了上下文模型到OWL的转换算法,并利用本体自动推理工具完成了上下文推理,并以一个实际案例说明该方法的可行性。

摘要：为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.

摘要：随着计算机应用的普及和网络技术的飞速发展,位于网络上的Web服务的数量和种类也与日俱增,如何快速准确地发现满足用户需求的Web服务变得越来越重要。针对现有的Web服务体系结构存在不可扩展、语义信息不足和服务发现效率低等问题,提出了一种可扩展语义Web服务体系结构,以满足现代企业基于SOA构建分布式大规模复杂系统的需求。研究了该体系结构中服务的发布与删除算法,以及由服务的发布与删除引起的Web服务体系结构上的动态调整算法,从而使系统的存储资源得到充分利用,保证了服务的发现效率。研究了基于OWL-S描述的Web服务发现过程及算法,利用仿真实验验证了所提的方法的可行性。

摘要：为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法。通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysML的系统建模分析过程,结果表明该文方法对于C4ISR的精确语义建模合理可行。

摘要：针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法。根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命概念模型。为了使使命分解更加科学严谨,设计了使命分解算法,在分解过程中引入了使命的相关属性值。采用网站网站本体语言描述逻辑(web ontology language description logic,OWL DL)本体推理及查询技术,借助本体推理引擎Pellet对构建的使命模型进行形式化分析验证,检查使命分解过程中是否遵守了定义的分解原则,从而检查使命分解的合理性。

摘要：目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程。应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导。

摘要：在C4ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C4ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C4ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。