面向验证的启发技术设计

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

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

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

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

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

推进基层全面建设

认清形势,统一思想。牢固确立“三个代表”在基层建设中的指导地位 (一)充分认清基层建设面临的形势和任务,不断增强按照“三个代表”指导基层建设的紧迫感。随着形势的发展变化,基层建设面临着许多新情况、新问题。“9·11”事件后,反恐战争扩大,印巴冲突不     

美军再度推演可能的台海之战

2002年5月,应美国海军的要求,美国著名的思想库——兰德公司完成了一份题为《信息时代海军的效能度量:网络中心战对战果的影响》的研究报告,提出一套在网络中心环境下反映 C~4ISR 能力对战果影响的效能度量方法,并以美军在2010年派出2个航母战斗群介入台海军事冲突为背景进行了计算机模拟。其实,兰德公司在2000年就曾利用计算机模拟方法,对2005年台湾海峡可能发生的军事冲突进行过模拟推演,并炮制了题为《恐怖的海峡?中台对抗的军事问题与美国的政策选择》的研究报告。美国有影响的防务研究机构在不到2年的时间内,相继发表2份指向雷同的研究报告,其企图不难理解——很显然是在巧妙地宣扬武器决定论,给台独势力以武拒统打气,对大陆制造心理威慑,同时给美国军火商提供谋取利益的机会。但“奇文共欣赏”,我们也不妨通过这2个报告,了解一下美国的智囊团是如何设想台海军事冲突,并建议美军如何介入台海冲突的。     

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

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

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

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

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

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

声音

“中国政府对当前以巴冲突不断升级表示严重关切。令人遗憾的是，安理会1月8日通过的第1860号决议迄今没有得到落实。当前最重要的是有关方面全面遵守安理会决议，立即实现停火，以色列从加沙撤军，巴勒斯坦武装派别停止发射火箭弹，人道救援物资无障碍地进入加沙。”