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

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

卫星活动部件的干扰辨识与抑制

采用干扰辨识的方法实现带活动部件三轴稳定卫星的高精度姿态控制问题.首先以扫描镜为例进行,分析扫描镜运动对卫星产生的等效干扰力矩;然后根据卫星控制系统的稳态输出数据,采用特征系统实现算法对扫描运动产生的干扰频率进行闭环辨识;最后在所辨识干扰频率的基础上,采用偶极子干扰抑制滤波器消除扫描镜运动干扰对卫星姿态的影响.仿真结果表明,所提出的方法能有效地克服活动部件运动产生的未知干扰对卫星姿态稳定度的影响,提高在轨运行卫星的姿态控制精度.     

材料性能对固体发动机结构完整性的影响

基于描述粘弹性材料特性的Burgers模型的本构关系以及基于该本构关系下的有限元方法 ,根据温度载荷和内压载荷的特点 ,分别建立了分析某固体发动机材料性能参数对结构完整性影响的有限元模型。应用MSC/NAS TRAN结构分析软件 ,详细分析了在温度和内压载荷作用下固体发动机材料性能参数对结构完整性的影响。在温度载荷的作用下 ,主要影响结构完整性的是推进剂的泊松比与热膨胀系数 ;在内压载荷作用下 ,主要影响结构完整性的是包覆层和推进剂的泊松比以及推进剂的初始模量。所得的结论可为固体发动机的生产设计提供参考     

网络化条件下作战实时协同能力指标研究

实时协同是未来作战协同的主要方式之一,与部队的网络化程度有很大关系.因此,提出了网络化条件下作战实时协同能力的4个指标--信息共享能力、网络连通能力、信息协作能力和信息管理能力等战术技术指标,探讨了相关的量化方法并用实例进行了分析,对网络化作战效能评估领域的研究有一定的参考价值.     

多级感应线圈发射器测控系统设计

将电枢加速到较高速度,通常需要多级感应线圈连续加速;而提高多级感应线圈发射器的发射效率,则要求在电枢处于驱动线圈最佳触发位置时,电容器组同步放电。同时,需要采集发射过程中电枢的速度、电源的放电电压和放电电流等数据。因此,研制合理的测控系统是多级感应线圈发射器的关键。     

一种柔性抗攻击网络防护体系结构

网络攻击的复杂性、多变性、综合性等趋势对传统各自为政的网络防护系统提出了严峻挑战。为全面、持久、灵活地应对各种网络攻击,提出一种柔性抗攻击网络防护系统的体系结构。该体系结构以安全核为中心,结合认证、事件采集以及各种抗攻击指令的执行,共同完成网络防护任务,体现出网络防护系统的柔性及抗攻击性。     

试论公安消防机构对行政拘留权的适用

行政拘留作为行政处罚中最严厉的处罚,在整治消防安全环境中被公安消防机构广泛适用,发挥了积极作用,笔者就公安消防机构适用行政拘留处罚的主体、依据、适用情形、常见的问题及其原因进行了阐述。     

关于ADC法评估C~4ISR系统效能中的可靠性

针对运用ADC法评估防空C4ISR系统效能中,可靠性是影响系统效能的重要因素,对C4ISR系统的可靠性进行研究,重点分析了软件及通信网可靠性的估算公式,并在此基础上建立可用性A和可信性D数学模型.最后,通过实例分析证明了可靠性对系统效能评估的重要影响.     

探索性分析工具EASim的设计与实现

探索性分析是一种研究深度不确定条件下复杂高层问题的分析方法.为使其能够有效地解决实际问题,需要探索性分析工具的支持.国内目前的探索性分析工具大都是面向特定应用开发的,缺乏规范化的探索性分析模型描述方法.采用扩展影响图作为探索性分析模型的统一描述规范,自主开发了通用型探索性分析工具EASim.介绍了EASim的功能结构、...     

基于随机时间影响网络的联合火力打击方案评估

联合火力打击方案评估是作战筹划和指挥决策的核心问题之一,对于打击手段的选择、战法的运用等具有重要的影响,其难点是在不确定条件下有效地建立作战方案到使命目标达成效果之间的映射关系.作战仿真方法往往存在突出的低效率问题,而解析模型的方法难以充分反映目标体系的内部联系和整体效果.目前概率推理模型广泛应用于军事领域的作战方案评...