求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于人工势场的潜艇搭载AUV回收路径规划

紧密结合未来无人作战侦察对潜艇搭载自主水下航行器(AUV)水下自主回收的需求,对水平面内基于水声定位的AUV的自主回收对接技术进行了研究。运用了基于人工势场的导引方法规划了AUV的回坞路径,然后基于AUV的运动方程设计了滑模跟踪控制律来解决AUV在复杂的回收环境下的避障问题,并通过引入"填平势场"来引导AUV走出局部极小点。最后采用了REMUS AUV的模型参数对水下回收进行了仿真试验研究,仿真结果验证了方法的有效性。     

基于向量皮尔森相关系数的组合赋权法

针对多属性决策中属性权重的确定问题,提出了一种基于皮尔森相关系数的主、客观权重的集成方法。用权向量的相关度作为不同赋权方法重要性的度量,意义明确,计算简单,可操作性强。最后采用算例验证了此方法的有效性和实用性。     

反辐射导弹告警技术效能分析

基于反辐射导弹告警技术的原理,分析了反辐射导弹雷达告警技术和光电告警技术的可行性。定义了告警设备的抗电子摧毁因子,并给出了分析过程和计算模型。以命中概率为指标,对反辐射导弹告警技术的作战效能进行了分析研究。仿真得出反辐射导弹命中概率与告警设备告警距离、发现概率等参数的关系,可为反辐射导弹告警技术的研究提供一定的参考。     

针对应急救援路径规划的一种改进蚁群算法

针对不返回起始点、多个待救援点的应急救援路径规划问题,提出了一种应急救援路径规划的改进蚁群算法,设计了一种新的路径构造方法,为蚁群算法求解该类问题打下了基础。为提高收敛性,改进了信息素更新规则,构造了一种与蚁群算法有效结合的局部搜索算法,提高了算法快速寻优的能力。仿真结果表明:改进蚁群算法能够快速找到一条从救援中心到多个待救援点的优化路径,且收敛速度和最短路径较同类算法更优。     

保证率点值区间估计的Monte-Carlo方法

提出了一种根据实测样本系列对保证率点值进行区间估计的Ｍｏｎｔｅ─Ｃａｒｌｏ方法。对于具有正态分布或对数正态分布的样本,首先推出总体参数的分布,然后用Ｍｏｎｔｅ─Ｃａｒｌｏ法生成总体参数系列,据此求得相应的保证率点值系列,最后通过经验分布推得在给定置信度下保证率点值的区间估计,本文还给出了一个算例。     

步兵三角队形作战能力的评估

结合步兵战斗队形——三角队形的实际作战特点,考虑战斗中可能出现的具体情况,提出相关假设,并依据此假设分别建立了枪械的命中概率模型和命中有防护目标、无防护目标后的毁伤模型。具体地分析了敌我双方进行三次有效交火(存在死伤)后的队形变化情况,最终得出该步兵战斗队形的完成目标任务的概率,并以此概率值评估该三角队形的作战能力。     

论警卫学学科建设

警卫工作是公安工作的重要组成部分,警卫学是公安学的分支学科,加强警卫学学科建设,对于推动公安警卫事业和公安现役院校建设与发展均具有十分重要的理论和现实意义。探讨警卫学研究领域和研究方向、警卫学理论体系和学科体系的构建、警卫学学科建设的思路和措施等问题。     

连续不间断高层建筑快速逃生装置的设计与应用研究

高层建筑数量增多的同时,其人员安全疏散问题日益凸显,研究高层建筑受困人员火灾情况下的自救逃生和连续疏散非常重要。结合国内外高层建筑逃生装置研究现状和存在的主要问题,研究设计了连续不间断高层建筑快速逃生装置的结构,分析了其结构设计特点,并与传统救援设备进行了性能对比分析。针对国内高层建筑火灾形势,探讨了该装置在高层建筑受困人员快速、多人连续逃生方面的优势和应用前景。     

Mandated defence offsets: can they ever deliver?

Defence offsets are elements of defence procurement deals additional to the primary content. Offsets are usually expected to yield technological or industrial benefits to the purchasing country (e.g. countertrade, technology transfers, or additional jobs) and military buyers often require suppliers to make offsets available “cost-free.” The authors argued previously that such strategies achieve little of value to buyers that lack market power and are unnecessary otherwise, since purchasers with the market power to extract more value for money from foreign suppliers can do so anyway. This article also focuses on the supply side of offset deals. The USA is the world's largest defence offsets supplier but the US government opposes offsets demands as economically inefficient and trade distorting. Even if offsets are inefficient and trade distorting, they may still benefit a materiel-exporting country such as the USA as they may induce exports and create associated benefits for the offsets provider.