面向验证的启发技术设计

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

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

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

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

快速解命中的一种有效方法

基于对命中函数的考察,提出了一种新的命中解解算方法,实际应用及仿真计算结果表明,该方法能明显提高解算精度和缩短迭代时间。     

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

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

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

目标定位和跟踪的神经网络最小二乘估计

首先概述了单目标定位和跟踪的现有研究结论和新问题,接着叙述了神经网络最小二乘估计方法,最后给出了它对第１类和第２类火控系统应用的数学模型     

集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

在热处理领域应用可靠性理论的研究

本文提出以最小失效概率为标准,解决钢材强韧性最佳匹配问题,并以此来优选钢材的回火温度或淬火温度。本文将可靠性理论引入热处理领域,以强度理论和断裂力学为依据,应用干涉模型和最弱环模型,在一定条件下计算出各种状态下材料的一系列综合失效概率,进而找出具有最小失效概率的状态,即为此条件下最佳强韧性匹配的状态,也就是我们应当优选的状态。     

分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。