加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

一类完全非线性函数的证明与计数

Helleseth等最近给出了一类二项式形式的完全非线性函数,这是至今为止所发现的第一类由两个互不等价的单项式组成的二项式形式的完全非线性函数。本文利用Frobinus自同构将其变形为一个新的二项式,给出了其完全非线性的简洁证明,指出了这类函数与x2是等价的,最后讨论了该类完全非线性函数的计数性质。     

多级圆柱齿轮减速器等强度优化方法研究

针对工程机械和通用后勤装备中的标准圆柱齿轮减速器互换性极差,各齿轮存在较大的强度差和寿命差的特点,建立了标准直齿圆柱齿轮和标准斜齿圆柱齿轮的几何和强度优化设计的数学模型,结合优化设计的相关理论,提出了按齿轮应力最小的等强度优化方法;并运用Matlab优化工具箱对某后勤装备中使用的三级式标准圆柱齿轮减速器进行了等强度优化设计。结果表明,使用该优化设计方法既可保证齿轮强度有较大的安全裕量,又使所有齿轮寿命尽可能相等,从而具有良好的经济性并充分发挥所有齿轮的性能。     

交替极化阵列滤波性能研究

针对极化敏感阵列在工程应用中所受到的诸多限制条件,本文提出了一种新型交替极化阵列结构,分析了其在滤波抗干扰中的理论极限性能,并与极化敏感阵列滤波性能进行对比研究。研究表明:相对而言,交替极化阵列在设备量减半、信号处理自由度减半的条件下,滤波抗干扰性能逼近极化敏感阵列,克服了极化敏感阵列系统复杂性带来的一系列问题,因此在阵列雷达领域具有广泛的应用前景。     

不完全信息的装备采购博弈

目前,我国的军品市场正由封闭市场向一个相对开放竞争的环境转变。基于不完全信息的装备采购的博弈模型,探讨了在不完全信息的相对开放的竞争环境下,军企双方对对方的策略、偏好、所处的地位或者状态的信息等策略问题进行了解,并给出了求解方法,通过实例进行了说明,对装备采购实践具有一定的指导意义。     

基于双侧等截尾正态分布的均值-极差控制图

给出基于双侧等截尾正态分布的均值-极差控制图控制限的表达式,计算出参数估计使用的控制图系数表及样本量和子组容量的取值,最后给出基于正态分布和双侧等截尾正态分布两种情况下平均链长的比较。     

国防工业投入产出模型的改进

为克服现有国防工业投入产出模型的不足,作者改进了现有的投入产出表;建立了适用于分析国防工业内部诸如军转民、平转战等问题的新的数学模型;给出了几个直接消耗系数和完全消耗系数的定义;得到了模型的有关解。     

边际效用规律的修正及对消费者决策的影响

边际效用递减被许多人认为是颠簸不破的真理,这主要是由于最初边际效用理论的几个倡导者及其后的追随者都过于注重宣传他们的递减思想。经过对边际效用递减规律进行的修正研究,并对效用最大化决策充要条件进行了分析,表明如果不重视凸点的出现时机,必然会导致等边际准则失效。     

台湾海峡的不对等利益与中国的战略选择

美国和中国在台湾海峡拥有不对等的利益。中国领导人视台湾为中国领土,因此有强大的民族主义和安全动机来谋求统一。相比而言,美国在台湾的安全利益则局限于名义之上,华盛顿试图对中国大陆使用武力进行威慑以维护其地区安全的承诺。     

从识字班到重点学府

"历史将永远铭记,荒原变成绿洲,沙漠升起繁华,边境更加安宁。屯垦戍边,千秋功业,改天换地,历史伟绩。历史就是创造,希望正在这里……"在八师、石河子市的新疆兵团军垦博物馆一层大厅里,写着这样充满历史意味的一段话。这是兵团创业发轫的生动写照,也是兵团教育发展的形象描绘。