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

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

影响图建模算法的改进

影响图建模方法是一种规范化的复杂系统建模方法,其实质是将表征复杂系统的参量及参量间的耦合关系进行分类,并以此为基础建立系统的数学模型.影响图建模算法就是将系统的参量及参量间的耦合关系进行分类的算法.目前使用的算法是James R.Burns于1979年提出的.该算法仅考虑了最小的反馈回路,而没有考虑影响图中存在的一般反馈回路,且一些操作造成了不必要的循环.在分析该算法的基础上,考虑了一般的反馈回路,并对原算法的操作步骤进行了优化重组.     

重披反导战袍欲何为

美国东部时间1月25日晚9时，美军从夏成夷发射了一枚短程导弹，8分钟后美海军从太平洋上的“伊利湖”号“宙斯盾”导弹巡洋舰上发射了一枚拦截导弹，10分钟后，拦截导弹在夏成夷西北约480千米处的上空击中了目标导弹。这是新年伊始美国海军首次进行的从军舰发射拦截导弹的试验。美国防部官员称这次试验主要是为了测试海基拦截导弹的制导系统，而不是检验其是否能击中目标，真正的海基反导试验将在今年春季晚些时候进行。     

全面加强军事治理的重大意义、深刻内涵和实践要求

军事治理泛指对军队建设和发展全部要素进行规划设计、系统部署和资源调配的一切实践活动的总和。党的二十大鲜明提出“全面加强军事治理”的重大命题,意味着我们党对于新时代治军规律的认识达到了新的高度,标志着全面加强军事治理已经上升为党的意志,纳入推进国家治理体系和治理能力现代化的总盘子当中。学习宣传贯彻党的二十大精神,必须准确理解把握全面加强军事治理的重大意义、深刻内涵和实践要求。     

一种计算相控阵天线阵元间距的方法

通过建立机会约束规划模型来确定相控阵天线的阵元间距,并利用遗传算法对规划模型进行求解,结果表明能够满足仿真的要求。     

用科学发展理念指导安全防事故工作

坚持安全发展与科学发展的统一,必须实事求是看待政绩,按照客观规律办事,在抓基础、抓经常上下功夫。     

开拓思想政治教育的新路子

我军思想政治教育如何按照科学发展观的要求,确立先进的时代意识、开辟新的方法途径,努力增强教育的针对性实效性,是摆在各级政工干部面前的一项重大课题.     

基于模糊综合评判的舰艇电子战系统效能评估

舰艇电子战能力是现代舰艇综合作战能力的重要组成部分,为了准确评估舰艇电子战系统的效能,探讨现代战争条件下舰艇电子战系统的定量评估方法非常重要。应用模糊数学理论和层次分析法对舰艇电子战系统的效能进行评估,建立舰艇电子战系统的评价指标体系和三级评估模型,对定量指标和定性指标的隶属度计算进行了区分,并通过实例演示了该模型的具体应用过程。实例结果显示此方法是非常有效的,为这方面的进一步研究具有一定的借鉴意义。     

应智慧

【这样的我】作为全军首支大学生女子测发分队的排长,我愿把梦想付诸于一身戎装,在祖国的南疆、北疆,在广袤的戈壁、荒原,矢志精武、果敢亮剑,用青春和热血书写女军人最光彩的华章。【魅力评语】操作训练时,你任由汗珠滑落脸烦,因为你瘦小柔弱的身体流淌着军人的血性与刚强。你不知道女生上戈壁、高原需要带什么化妆品,但你却清楚地记得武器系统作战时的138组数据,只因为你始终站在军人作战方阵的最前沿。     

基于实车测试的坦克柴油机振动评估

针对坦克柴油机不解体快速振动检测与技术状况评估,选择具有代表性的2种车型为研究对象.测取了柴油机停止间、空挡时不同转速工况下的振动信号,分析了0.01～1 kHz范围内的振动烈度和带宽均方根特征参数随转速变化情况,制定了基于实车测试的振动评估参考标准,并提出了装备使用指导意见.