面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

美国“低强度冲突战略“述评

本文拟对美国“低强度冲突战略”的形成背景,战略任务和手段,军力和组织结构,以及该战略的实质作以简单述评。     

文明的差异是当今世界冲突和战争的主要根源吗?——驳亨廷顿的“文明冲突论”

“冷战”结束后,冲突和战争不但没有销声匿迹,反而在某些地区和国家突出起来。怎样认识和理解这些冲突和战争的动因和根源?国内外专家学者众说纷纭,莫衷一是。其中美国哈佛大学政治学教授、奥林战略研究所所长塞缪尔·P·亨廷顿提出的“文明冲突论”,为目前西方学术界较有影响力的一派,在美国及国际社会学术界引起了反响,并受到了许多西方政治家们的关注。本文以马克思主义战争观为依据,从历史和现实的结合上,批评和驳斥了亨廷顿的基本观点,并对当今世界冲突和战争的动因和根源提出了自己的见解,该文高屋建瓴,据实论理,给人以一定的启迪。     

俄乌冲突中美对乌技术情报支援行动初探

在俄乌冲突期间,美国分别从军队情监侦力量、民间卫星商业公司和网络空间领域构建强大的战场态势感知能力,对乌军展开了广泛的技术情报支援行动,不仅在俄乌冲突中发挥了巨大作用,也是美国布局全球情报网络的重要一环。全面系统地研究俄乌冲突中美对乌技术情报支援行动,能对我军遂行具体作战行动提供有益借鉴,还对我在与美情报斗争中扩大对美情报来源、实现对美情报制衡都具有较强的借鉴作用。     

浅谈处置边境纠纷冲突中的法律对策运用

我国边境地区环境复杂,妥善处置边境纠纷冲突,对维护边疆安宁稳定,促进我国与周边国家关系的友好发展具有重要作用。加强应对边境纠纷冲突中的法律对策问题研究,对边防部队依法履行使命任务,具有重要现实意义。     

引入权重因子的证据合成方法

D-S理论是一种有效的不确定性推理方法,但在证据完全冲突或冲突较大时,D-S证据合成公式失效.Yager等学者对此作了改进,但是改进后合成公式又存在着新的问题.考虑到证据在合成过程中的重要程度不同,将权重因子引入到合成公式中,通过权重因子的作用和冲突概率的重新分配,提出了引入权重因子的D-S证据合成方法,新的合成公式提高了证据合成的可靠性和合理性,可得到更为理想的合成结果.     

F125型护卫舰：日耳曼濒海作战的“中流砥柱”

冷战后爆发的几场局部战争,特别是2003年伊拉克战争更是清楚地显示出21世纪信息化时代的战争模式已经发生了深刻的变革,"军事转型"成为这些年的流行词语,"网络中心战"、"面向效果作战"等新的军事术语层出不穷。美国独领世界军事理论风骚,却再次令十几万装备最尖端武器的军队陷入低强度冲突的"越战泥潭"(伊拉克、阿     

美国对伊新政策：没有新意的新政

美国总统布什为伊拉克局势持续动荡的顽疾开出了“军事上增兵、政治上施压和经济上支援”的“新药”，其核心内容是向伊拉克增兵2.15万人，其中向教派冲突最为严重的首都马格达增派1.75万人。然而，这份了无新意的对伊新政策却并不为人看好，对这剂“新药”的“疗效”，许多人也并不抱乐观的期待。     

基于蒙特卡洛法的无人机飞行冲突解脱安全评估

冲突解脱技术是无人机与有人机共域飞行的前提保障。针对目前缺少对冲突解脱技术安全评估的方法,提出运用蒙特卡洛法对飞行冲突进行仿真模拟,得出冲突解脱算法的安全效率。提出基于改进蚁群算法的冲突解脱技术,实现无人机的飞行冲突解脱;利用蒙特卡洛法,对飞行冲突过程进行大规模仿真,计算冲突解脱效率,与基本蚁群算法进行对比,并从安全角度对结果进行分析。提出的思路可为未来无人机空域运行安全评估体系的构建提供一种理论参考。     

俄罗斯剑指乌克兰——美欧与俄国的博弈

2月22日至24日,乌克兰政局在经历了3个多月的血腥暴力冲突和脆弱的“休战”协议之后发生突变。俄罗斯总统普京无视西方国家特别是美国的严重警告和威胁,果断下令出兵克里米亚。这不禁让人想到,2008年应邀出席北京奥运会开幕式的普京遥控指挥军事打击格鲁吉亚,给世界以震惊。6年后的今天,俄罗斯索契冬奥会刚刚结束,普京下令出兵乌克兰,又一次震．晾全世界,战争与和平的大幕同时拉开。