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

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

重披反导战袍欲何为

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

李志远 为民谋福不言累

河南省沈丘县人武部政委、党委书记李志远带领部党委“一班人”认真践行“三个代表”重要思想,组织民兵积极投身于地方经济建设,争做建设小康社会的带头人。他立党为公,执政为民,为群众解难题办实事,受到了地方党委、政府和人民群众的高度赞扬。     

基于多Agent无人机协同侦察任务规划模型

建立了多无人机协同侦察任务规划模型,在考虑侦察时间间隔约束和目标载荷需求基础上,给出了位于不同基地的无人机优化部署和调度策略,并提出了基于多Agent的优化搜索仿真算法,利用Matlab实现了无人机优化配置和任务规划模型,得出了无人机优化配置和任务规划方案,最后分析了模型算法存在的某些不足,提出了模型改进的方向。     

影响图建模算法的改进

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

多核贝叶斯优化的模型决策树算法

构造模型决策树时超参数较多,参数组合复杂,利用网格搜索等调参方法将会消耗大量的时间,影响模型性能的提升。提出了一种多核贝叶斯优化的模型决策树算法,该算法为应对不同分类数据特性,采用三种高斯过程建模寻优,利用贝叶斯优化技术,选出最优的参数组合。实验结果表明,所提算法在参数寻优上要优于传统的模型决策树寻优方法,并且能够在迭代次数不多的情况下找到全局最优参数值,在一定程度上提升了算法的分类性能,节省了大量的调参时间。     

防空预警监视雷达系统的发展与对策

文章以美“空海一体战”理论的提出为背景,深刻分析了新战略背景下我防空预警监视雷达系统所面临的现实威胁和挑战,结合我军防空预警监视雷达系统现状,对该系统的建设发展问题进行了多方位分析和研究,指出朝着基于系统构成优化、作战运用优化以及信息高效融合的一体化方向发展是我防空预警监视雷达系统在新战略背景下的必然选择.     

中国海军扫雷纪实(三)——厦门湾“疑存雷区”的消失

1998年4月30日,在厦门港建设新锚地勘测和排雷工程技术成果审定会上,东海舰队某海测船大队的扫雷成果资料一次性通过鉴定。这标志着厦门湾这片“疑存雷区”,在我国乃至世界的海图上永远消失。     

信息时代恐怖活动的新发展及应对

一、在信息时代恐怖主义活动新发展随着信息技术的高度发展,人类已经迈入了信息时代。信息技术的广泛运用给人类社会带来了巨大的经济效益和社会效益。然而,信息技术是一把“双刃剑”,它也为恐怖分子实施恐怖活动提供了新的工具。传统的恐怖主义活动主要是使用暴力威胁或行动,以引起恐怖或惊恐来达到一定的政治目的。在信息时代,恐怖分子已经开始利用因特网等信息工具为其从事恐怖主义活动服务。其主要表现为:(一)利用现代信息攻击手段破坏国家信息系统在信息时代,恐怖分子利用信息攻击手段以信息系统为袭击目标进行恐怖活动的情况迅速增多…