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

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

基于分布搜索的传感器指示交接协商机制

针对传感器指示交接技术中"指示任务怎样执行"的问题,根据指示交接的实际过程,研究了多传感器针对多个协作任务怎样进行更好调度的问题,提出了基于分布搜索的多维协商机制。通过协商函数的迭代更新,不断寻找综合效用最大的传感器调度策略,优化了指示交接过程中多传感器多任务调度过程。实例仿真结果表明,所提方法合理、有效,提高了传感器协作的效率,为指示交接的深入研究奠定了基础。     

意大利WASS披露小型“黑蝎子”概念鱼雷

据2014年11月7日的《简氏国际防务评论》报道,意大利芬梅卡尼卡集团旗下的白头水下系统公司(WASS)正在开发一型名为"黑蝎子"的小型鱼雷,用以对付在近海水域的短航程小型潜艇的威胁,公司最近披露了该型鱼雷的一些相关细节。据WASS称,对于小型近海潜艇数量日增的关注引发了对新型武器的需求,希望不必使用价格昂贵的传统鱼雷就能够应对小型潜艇的威胁。WASS设想的新型武器就是由空中     

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

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

潜射鱼雷的自导方式及机动对抗条件下的运用

针对依据复杂对抗的作战条件和日益增长的鱼雷航程对潜艇鱼雷攻击带来的新问题,在综合分析潜射鱼雷各种自导方式的特点,以及针对这些特点的攻防行动策略的基础上,提出通过战术使用方法和鱼雷技术两方面保证自导鱼雷攻击的有效性。指出自适应变换自导方式搜索是提高鱼雷战斗能力的重要技术措施,而确定鱼雷自导方式转换时机和转换方案是实现鱼雷智能搜索需要解决的关键问题,最后给出了相应的技术方法。     

随机运动目标区域持续探测的概率最优性

研究了随机运动目标有限区域持续探测的概率最优性问题,证明了区域一次探测概率随时间递减。建立了相邻探测点累计发现概率与一个探测点探测周期数的数学关系,并给出了一个计算探测最大概率周期数的判据,应用此判据,可以搜索获得最优探测周期数。进行了直升机吊放声纳持续探测发现概率最优性仿真,仿真表明了计算的有效性,并得出了应以最小周期数进行直升机吊放声纳探测的结论。     

联系百姓岂能靠“百度”

“百姓”是对人民群众的俗称,“百度”则是一种网络信息搜索平台。因“百度”可快速查询到浩瀚资讯,于是“百度”成为各类信息的代名词,也成了解决各类问题的“万能钥匙”。湖北省浠水县政府网站咨询平台上,有这样一段问答。问：“村里要交100元的养老保险是什么钱？”答：“你可以在百度搜索‘浠水县城乡社会养老保险实施办法’。”民众网络问政,政府却把皮球踢给了“百度”。无独有偶,某部有基层战士到机关咨询复员经费结算办法,机关干部却让战士到单位网上搜索规定。     

韩国“浦项”级护卫舰

"浦项"级轻型护卫舰是韩国海军建造数量最多的一级护卫舰,该级舰在"东海"级的基础上改进放大而来,是韩国海军最重要的近海防卫力量,主要用于沿海反潜和巡逻,兼具有限的防空能力。     

求解面向进攻的武器-目标分配问题的蚁群算法

面向进攻的武器-目标分配问题是军事运筹学研究中的重要课题,旨在制定合理的打击策略以最大程度摧毁敌方目标。采用一种融合局部搜索和信息素控制的蚁群算法,兼顾控制解的局部收敛速度和全局收敛质量。在解的构造过程中直接处理约束条件,提高生成解的可行性,并大大缩小了搜索空间,提高了算法效率。通过采用多种算法对不同规模的武器-目标分配问题进行实验,结果表明改进的蚁群算法在收敛速度和求解质量上表现优异。     

基于代理模型的卫星系统仿真优化平台

针对既定目标,采用卫星系统进行协同观测可以最大化卫星系统的整体效能,如何对卫星系统的轨道或载荷参数设计是一个设计空间大、设计变量多的优化问题。对此,采用基于代理模型的仿真优化,通过改进广义模式搜索算法在设计空间中搜索最优解,并以此为核心设计开发卫星系统仿真优化平台。该平台集成问题建模、仿真优化和结果评估显示,为用户提供设计和改进卫星系统方案的方法和依据。采用该平台对卫星系统设计实例进行优化,通过对比发现,平台的优化结果稳定性和优化效率优于STK-Analyzer。