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

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

C~3CM系统构成原理研究

从Ｃ￣３ＣＭ系统分布式体系结构的需要出发,提出了总线型分布式Ｃ￣３ＣＭ系统的构成原理方案,在探讨Ｃ￣３ＣＭ系统的拓扑结构时,着重研究了ＮＯＶＥＬＬ网络的功能,亦提出了实现全分布式体系结构的主要技术支撑。     

坦克会战中动态武器—目标分配问题求解方法

动态武器-目标分配(DWTA)是坦克会战中取得战斗胜利的关键.建立了坦克战中DWTA模型,并提出了它的一种简单求解方法.实验结果表明求解方法是有效的.     

伪卫星辅助的车辆组合导航算法

研究了采用伪卫星辅助的车辆组合导航系统,以及SINS/里程仪/伪卫星车辆组合导航方案、误差方程、联邦滤波算法,并进行了算法仿真.仿真结果表明,伪卫星加入车辆组合导航系统后导航误差可以得到明显改善.伪卫星是一种完全自主的导航定位系统,伪卫星辅助导航不会影响车辆的快速性和机动性,提出的采用伪卫星辅助的SINS/里程仪车辆组合导航系统是一种可行的战区内车辆精确导航定位方案.     

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

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

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

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

基于斯坦克尔伯格博弈的装备采办最优合同设计

市场经济条件下，合同成为贯穿装备采办全过程的核心问题。文章认为，军品合同的不完全性更为显著，且不完全合同是装备采办的最佳选择。为此，要结合装备采办市场的特殊性，在军方主导的视角下，基于斯坦克尔伯格博弈设计装备采办最优合同。同时，交易双方可通过重新谈判，有效防止合同不完全、信息不对称所引发的逆向选择、道德风险等问题。     

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

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

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

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

利用矩阵求极大相容类的一种方法

寻找相容关系的极大相容类和简单图的极大完全子图，在解决二元关系与数据挖掘和管理决策中的具体问题时有重要作用。利用相容关系的极大相容类与简单图的极大完全子图之间的对应关系，对极大完全子图的路径长度进行分析，得到了关于极大完全子图路径长度的一个定理。并根据该定理构造了一个用矩阵的路径长度搜索简单图的极大完全子图的方法，进而利用该方法找出了对应相容关系的极大相容类。