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

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

基于能力需求的武器装备体系结构描述方法研究

提出一种“基于能力需求”的武器装备体系结构描述方法，包括两种描述思路，分别是“从需求到体系”的描述思路和“从体系到能力”的描述思路；以定性描述和定量描述的形式，给出了武器装备体系结构描述的框架与流程。该方法能为武器装备体系的构建与优化提供基础与指导。     

基于XML的诊断信息模型描述

利用XML语言对诊断信息模型进行描述，初步建立了诊断信息模型整体框架的XML Schema，并在专门开发工具XML Spy中得到实现，同时对基于XML的信息模型描述进行了简要的应用说明，验证了模型描述的有效性。     

基于本体的一体化辅助决策平台模型检索模式

随着决策模型种类和复杂度的不断增加,模型的描述和检索成为一体化辅助决策的重要问题。基于目录分类、关键字等的模型描述方法缺乏语义信息,因此无法较好地满足用户的检索请求。利用描述逻辑对模型进行形式化说明,在此基础上研究平台模型的检索方法,提出模型语义层的检索模式,并且对检索模式的有效性和应用性进行了分析。     

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

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

空间救援发射窗口分析

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

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于BLP的Web系统多级安全策略模型

Web系统的广泛应用使其安全问题日益突出.通过分析当前Web系统存在的安全隐患,在Web资源的访问控制上引入了多级安全策略,从Web系统的功能需求和安全需求出发,分析了BLP模型直接应用于Web系统时导致的问题.在BLP模型的基础上,提出了Web系统的多级安全策略模型,对Web系统中的概念、对象和操作进行抽象和提炼,研究了Web系统处于安全状态时应当满足的安全条件,并在此基础上,对Web系统、系统状态、和状态转换进行了形式化描述.     

基于面向对象思想的作战单位形式化描述方法北大核心

为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的静态属性,进而形成作战单位的描述规范;然后,为了使其可以在不同分辨率的系统平台上应用,在描述规范的基础上,采用聚合方法对作战单位之间的动态关系进行描述,得到作战单位类的动态方法,并给出了适用于该描述规范的作战单位聚合方法;最后在一体化仿真系统中应用了所提出的作战单位描述方法,证明了该描述方法的可用性和有效性。     

战场电磁环境的定量描述与模拟构建及复杂性评估

探讨了战场电磁环境定量描述与可视化表达、战场电磁环境模拟构建的内容,提出了军用有意电磁辐射和战场背景电磁辐射模拟仿真的建模方法。在战场电磁环境复杂性定量分析方面,将战场电磁环境的复杂性分为一般复杂性和特定复杂性,给出了相应的评估指标和评估方法。