基于探针的Web服务运行时监控方法研究

为了实时、准确地获取工作流服务及其构件服务的运行状态,提出了一种基于探针的Web服务运行时监测方法。该方法采用面向方面编程(AOP)技术对Web服务进行监测探针插入,以捕获Web服务运行过程中的异常事件和服务质量(QoS)属性相关数据,进而实现对Web服务运行状态的实时监测;针对异常、响应时间、可靠性以及可用性的监测需求分别设计和实现基于AOP的监测探针;在此基础上,基于开放服务网关协议(OSGI)框架设计实现了一个Web服务运行时监测与可视分析原型系统,并通过实验验证了方法的有效性和系统的可用性。     

动态灰色时序系统 DGTS 及其在安全策略规范中的应用

设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ,以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。     

多级安全数据库体系结构及其策略模型的研究

通过对现有多级安全数据库体系结构和策略模型的研究,分析它们各自存在的不足,给出了一个基于核心化体系结构的MLS-DBMS体系结构,并在现有策略模型的基础上,提出了一个基于扩展安全级的安全模型.该安全模型增加了策略模型的灵活性,提高了数据库系统的安全性和可用性.     

水下拖曳系统中缆索的动力学方程

在对缆索曲线坐标系进行理论推导和对缆索水中受力进行分析的基础上,建立了水下拖曳系统中缆索的动力学方程,并就系统在定常直线拖航状态时的简化模型与现有的平衡微分方程模型进行了对比分析.     

基于EG-SD的军事安全策略博弈演化模型

针对军事安全问题博弈对局影响因素多、策略预测难的问题,构建演化博弈论和系统动力学相融合的军事安全策略博弈演化模型,分析军事安全博弈的稳定策略,剖析态势稳定性形成的内在规律.实例仿真结果表明:两类群体局中人选择积极策略的初始概率对最终稳定策略有较大影响,仿真结果与东北亚核安全问题博弈的实际相符,模型具有一定的有效性和实用价值.     

战区弹药保障敏捷供应链优化模型及实现算法

针对现有的供需矛盾,在分析战区弹药保障供应链管理任务需求的基础上,初步构建了战区弹药保障敏捷供应链管理框架及运行机制,分析了战区弹药保障敏捷供应链的供需协同机制,重点对多级库存优化控制模型、多级弹药配送决策优化模型及实现算法进行了研究,提出了战区弹药保障敏捷供应链建设的具体对策。     

基于改进ADC法的防空体系打击效能评估分析

基于ADC法对防空导弹武器装备体系建立系统效能评估模型.针对防空导弹武器装备体系作战影响因素复杂的特点,拓展有效度模型进行多状态分析并构建多状态转移的可信赖度模型,合理简化系统状态以满足计算需求;通过组合指数法、模糊逻辑结构法等方法扩展能力模型.克服了传统ADC法状态评估简单、能力评估单一等问题.根据当前防空导弹武器典型逻辑结构进行建模,并通过算例进行系统效能评估验证、对比.     

载人航天器低空救生仿真

在载人航天器低空救生中,回收系统开伞点的初始状态参数如速度、离地面高度、弹道倾角对返回舱能否安全着陆有很大影响.与正常返回类似,低空救生中的回收系统同样经过多级伞的拉直、充气、全充满等运动过程.通过建立回收系统着陆过程的动力学模型,经过大量仿真对比分析,得到开伞点离地面高度为低空救生中返回舱安全着陆的首要因素,同时对低空救生中回收系统多级伞开伞减速过程有了详细的分析.     

C~4ISR系统军事需求模型并行开发与一致性检验

介绍了C4ISR系统军事需求模型的概念、特点及其开发的并行性,并根据我军联合作战指挥信息系统的需求开发实践需要,针对C4ISR系统军事需求模型的模块划分以及分组建模过程进行分析,在此基础上给出了一个C4ISR系统军事需求模型并行开发过程的参考模型,并探讨了并行开发过程在系统需求周期内的一致性检验问题,包括了需求模型的语法、语义和语用一致性检验的过程和方法.     

美军云计算安全策略发展及启示

研究美军云计算安全策略方面的最新进展，为云计算环境下积极应用云计算开展军事系统建设提供借鉴。跟踪2014年以来美军在云计算安全领域发布的指令、指南、标准和国防部备忘等政策文档，对近两年美军云计算安全方面采取的策略进行归纳和分析。美军云计算安全策略已从集中式走向分散式安全管理，其实践进展呈现出鲜明特点，包括以安全需求的标准化加速商业云的应用和实施、安全分级策略推进商业云的逐步应用、云访问点建设防护军事网络、以最佳实践指导云安全的具体实施等。可借鉴美军云计算安全策略的良好经验，采取渐进式发展云计算安全战略，完善云计算安全标准顶层设计和加强安全评估和授权。