一种基于模型的联合情报能力需求描述方法

基于Inf-ProA框架针对联合情报能力需求规范化描述的问题,提出一种从体系至系统纵向贯通的描述方法,从而既实现了对体系顶层能力需求的描述,又将顶层能力需求逐步细化到具体系统需求,实现了能力的具体落地。以根据联合情报能力需求描述方法设计的某边境防卫作战案例为例,详细展示了想定构想模型、能力分解模型、作战流程模型、信息活动过程模型、能力效果模型、系统与信息活动映射模型、系统功能模型与系统性能描述模型。并且仔细分析梳理了这些模型之间要素的追踪关联关系,说明了从顶层能力需求逐步落实到系统需求的设计过程,并验证了该方法的有效性。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

柴油机喷油压力波形的符号描述与结构模式分类

波峰和波谷是波形上基本的局部形态特征基于波峰、波谷之间的支配关系,本文提出了一种规则波形的结构特征抽取与符号描述方法,进而建立了一个基于该方法的柴油机喷油压力波形结构模式分类系统,并通过实例验证了该系统的有效性。     

多速视线指令滤波控制器设计

在许多现代便携式武器中所采用的视线指令制导方案,其本质是数据采样系统,它需要运用离散控制与估计理论。文章涉及了多速数字滤波－控制器的设计和测试。该滤波控制器适用于视线指令制导截击静止目标,将慢波束信息与弹上采用最优多速估值技术的快速测量结合起来。文中给出了详细的图解来说明所产生的滤波控制器的周期性,其工作速率与弹上快速测量相同。可以看到,多速滤波－控制器的性能仅在少数情况下比波束快速更新时所得到的差些。     

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

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

基于行为约束的军事信息服务描述及过滤方法

针对传统服务描述模型无法对军事信息服务中服务的使用权限、适用范围等非功能约束信息进行全面、标准化描述的问题,扩展已有web服务通用描述模型,提出了一种基于行为约束的军事信息服务描述模型,以全面支持军事信息服务功能、行为约束和服务质量的描述.在此基础上采用分层匹配思想,在服务发现过程中引入相似度和匹配算法,对行为约束的相...     

军事信息系统体系结构框架制定方法

体系结构框架是开发体系结构的前提条件,研究、制定体系结构框架是军事信息系统体系结构技术研究的首要内容.通过总结体系结构框架的制定目的,分析现有的体系结构框架,研究IEEE标准1471-2000中建立的体系结构描述概念模型,提出了军事信息系统体系结构框架的制定方法论.基于该方法论,探讨了军事信息系统体系结构框架的制定过程...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

基于UML的兵力机动辅助决策软件设计

首先简要介绍了UML的建模体系,然后在使用UML对兵力机动辅助决策软件进行功能需求分析的基础上,进行了问题领域分析,建立了软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行了描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供了有利的支持,为兵力机动辅助决策软件系统的研制奠定了基础.     

标准信息统一描述及其订阅与发布研究

建立标准信息管理系统的难点在于为内容广泛的标准确定统一的描述形式,建立公开高效的标准发布方式和满足用户个性化检索需求.从标准信息的表现形式出发,建立了标准统一描述形式;通过关键词检索服务和命令检索服务建立了高效的标准发布方式;通过身份认证服务和用户订阅服务满足了用户个性化检索需求.