基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

空间救援发射窗口分析

从发射窗口的基本特性出发,推导了空间救援任务发射窗口的解析求解方法.将空间救援发射窗口问题分解为平面窗口问题和相位窗口问题,分别建立了平面窗口与相位窗口的解析求解模型,最后获得了发射窗口解析解.用直观曲线描述了同一经度的不同纬度所有发射点对应的发射窗口,为空间救援任务发射窗口的分析和快速计算提供了基础.     

基于多视图的武器装备体系结构描述方法

提出了一种基于多视图的武器装备体系结构描述方法,在阐述武器装备体系结构描述的相关概念和概念模型的基础上,根据体系结构描述过程构建了一个武器装备体系结构描述框架。并通过对美军网络中心战精确打击体系的分析说明了体系视图部分的描述过程以及验证了方法的可行性。     

信息时代战场兵力组织的运作分析与设计

信息化战场空间、扁平化和网络化的兵力组织形式是未来网络中心战中作战部队编成的主要样式。为建立这一编成样式的设计方法和思路,以战场环境中兵力组织为例,分析了PCANS模型对信息时代组织测度的缺陷,在PCANS模型中引入信息因素描述组织的运作,并提出信息时代战场空间兵力组织设计的实质和目标以及设计方法。     

状态机嵌入DEVS的组合建模方法研究

DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。     

Intranet环境下基于操作流的系统分析

提出了Intranet环境下基于操作流的系统分析法,并讨论它的两类应用.一是对计算机应用系统的整体设计分析,目标是把信息采集、处理和统计等由过去基于人工管理(处理)模式的处理转换为计算机网络下的管理(处理)模式;二是对数据项的存储结构和建立在该结构上的算法进行可视化描述.     

潜艇应急上浮机动不稳定性建模与仿真

为了避免潜艇在应急上浮过程中,由于较快的上浮速度以及较大的负攻角,水动力呈现强非线性,在横向流作用下潜艇可能产生过大的横倾角甚至失稳倾覆.基于艇体水流入射角和方向角定义下的潜艇非线性水动力描述形式及其试验结果,采用一种新形式的大攻角非稳态潜艇操纵运动仿真数学模型,对高压气吹除主压载水舱后潜艇应急上浮过程的运动状态进行预报.采用拉瓦尔喷管理论对高压气吹除主压载水舱的热力学过程进行建模,并将该过程计算得到潜艇所受的复杂激变力作为潜艇操纵运动仿真数学模型的控制输入,计算结果表明:相较于高压气吹除指数模型,采用的拉瓦尔喷管模型能更为真实地反映实艇高压气吹除过程,对潜艇应急上浮机动的运动状态预报更为准确.应急上浮过程中快速造成较大的尾倾角有利于抑制横倾角的增大,且横倾角主要受水舱吹除顺序的影响,受初始深度的影响较小.根据潜艇事故工况下的初始状态制定有效的高压气应急吹除挽回策略,是抑制应急上浮横倾角的主要手段.     

指挥信息系统需求描述框架研究

本文根据实践经验,提出了指挥信息系统的需求描述框架,将指挥信息系统需求分为军事需求和系统需求两个层次,同时又将军事需求分为使命任务需求、作战需求和装备保障需求三个层次,本文详细地绘出了使命任务、作战需求和系统需求的内容体系。最后还提出了指挥信息系统需求的一般开发过程。     

数列极限常见题型及其解法

极限是整个现代数学中最重要的概念之一。以极限作为工具去解决和处理数学问题是一种极其重要的数学方法。极限思想的实质是以有限认识无限,以已知认识未知,以近似认识精确,以局部认识整体。数列极限是描述数列当项数无限增大时的变化趋势。从近两年的高考看,试题多以选择题、填空题形式出现,并与其他知识点结合在一起出现在解答题中,下面就其常见题型及解决介绍如下:一、形如limn→∞apnp ap-1np-1 … a1n a0bknk bk-1nk-1 …b1n b0其特点,分式呈“∞∞”型,αi、bi为与n无关的常数,p,k为自然数,且αp≠0,bk≠0其结果有如下规律:1若分子分…     

高原高寒地区作战装备保障能力体系描述

基于高原高寒地区作战需要,采取任务能力映射法,将装备保障能力映射成以信息能力、指挥能力、动员能力、投送能力、行动能力等5个一级指标、18个二级指标和67个三级指标构成的多层级能力体系,分析了各层能力指标的构成及含义。五种一级能力内涵相关、互为基础、匹配融合,其中信息能力是先导,指挥能力是灵魂,动员能力是支撑,投送能力是关键,行动能力是核心。