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

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

不对称及反恐怖战争对军事经济的影响

不对称作战与反恐怖战争已经成为新世纪军事斗争的新样式,它必然对各国军事经济产生重要的影响,并催化军事后勤理论与实践的创新高潮。文章以前瞻视角,立足于我军做好未来不对称作战与反恐怖军事斗争准备与后勤保障工作,深入探讨了这个带有战略性的问题。     

平衡炮内弹道不平衡冲量技术研究

基于某型平衡炮的弹道试验,研究了不平衡冲量对无后坐力身管武器系统的影响。建立了实体模型并装配平衡体和弹丸,利用有限元分析了阻力曲线并代入编写好的内弹道程序,计算出弹丸与平衡体的运动曲线,将其作为位移荷载导入有限元中,进行了内弹道的有限元分析,进而分析了内弹道过程中的不平衡冲量。根据结果对弹丸、平衡块行程和平衡体质量进行调整,得出不平衡量基本趋于零的结构参数,为无后坐力身管武器的相关设计提供了一定的参考。     

基于操作路径评分的某雷达参数测量考试系统

参数测量训练及考核是提高雷达技师维修保障能力的重要手段。在分析当前某型雷达参数测量训练及考核手段存在不足的基础上,针对当前的考试系统软件只能对考试结果进行评分,不能适用于既要对考试的操作过程又要对考试结果同时进行评分的问题,根据某型雷达参数测量训练及考试业务的特殊需求,设计并实现了一种基于操作路径评分的软件系统,该系统能够对某型雷达参数测量训练及考试的模拟操作步骤及结果同时进行评分。系统已经投入应用,实践证明:本系统能够节约成本,有效提高训练效率。     

按天突穴治打嗝

中医认为,打嗝主要由于饮食不节,正气亏虚,导致胃气上逆,引起膈肌痉挛和胃痉挛,从而产生呃逆。因此,要缓解症状,就要疏通胃气,让上逆的胃气往下走。专家指出,治疗打嗝,可以用喝口冷水的方法来解决,但冷水不是随手可得,所以不妨试试身上的治嗝穴——天突穴。     

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

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

多站遥测数据加权融合方法

针对靶场试验中遥测数据融合处理问题,提出了一种多站遥测数据加权融合处理方法。依据对加权融合思想的分析,构建了融合权重与测量精度之间的对应计算模型;依据地面测量站对导弹实测数据的统计分析,构建了测量设备实时测量精度模型。基于典型算例对所提算法进行验证,结果表明所提算法能够较好地解决遥测数据融合处理问题,具有一定的理论意义和较好的应用价值。     

电子技术实验中误差分析与测量结果的处理

分析了电子技术实验中 ,测量误差的几种来源及其分类 ;给出了误差的表示方法 ,讨论了测量结果的处理     

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

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

扩展卡尔曼滤波的最优红外被动制导律

建立了导弹-目标攻击简化数学模型,运用线性二次型理论得出最优随机制导规律.通过建立伪测量方程,运用变增益扩展卡尔曼滤波技术求解了只有角度信号下的导弹被动制导问题.大量的数字仿真表明该导引规律具有收敛快、无偏差、精度高的特点.