韩国“忠武公李舜臣”级导弹驱逐舰

"忠武公李舜臣"级(KDX-2级)驱逐舰是韩国21世纪初期自行设计建造的新一代防空导弹驱逐舰,是韩国海军首级具备区域防空能力的舰艇,以舰队防空为主要任务,同时兼具反潜与反舰作战能力。首舰"李舜臣"号(DDG 975)于2002年5月22日在大宇公司玉浦造船厂下水,经过为期一年的海试后于2003年底正式服役。2号舰"文武大王"号(DDG 976)于2003年4月11日下水,2004年9月30日服役;3号舰"大祚荣"号(DDG 977)于2003年11月12日下水,2005年6月30日     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

影响上下级交往的心理因素透视

上下级交往关系,是指领导者与被领导者在完成共同工作目标的过程中所进行的相互交往和联系。作为领导者,从上下级交往的具体活动中去探析人们的交往心理,透过这些心理了解部属的心理优势,发现部属的工作潜     

舰艇红外隐身技术的探讨

舰艇红外隐身技术在现代战争中发挥着越来越重要的作用.定性描述了舰艇的主要红外辐射源,定量分析了舰艇和背景的红外辐射特征,通过分析舰艇对红外隐身的要求,结合舰艇红外隐身的发展现状,研究了舰艇红外隐身技术所采取的措施.     

舰船航渡过程中的松弛时间与航渡策略问题

针对舰船特点和任务要求,提出了舰船航渡中的松弛时间问题。在对问题分析的基础上,给出了松弛时间的定义并对其进行了建模,讨论了航渡失败的判断准则,给出了松弛时间的上下限以及航渡中实际的松弛时间的计算方法,并采用仿真的方法进行了典型航渡过程的松弛时间和成功概率的计算。在大量计算的基础上,初步探讨了航渡成功概率与各类航渡参数之间的关系,并对舰船最优航渡策略问题进行了初步分析,最后对于优化目标、计算初值、结果的表达方式等提出了一个可行的解决方案。     

一类非线性脉冲时滞抛物型偏微分方程组解的振动性

讨论了一类含脉冲的时滞抛物型方程组非零解的振动性,利用了Green定理以及Jensen不等式,得出了该方程在Robin边界条件下非零解振动的若干准则。     

基于遗传神经网络的装备抢修性预测模型

装备的抢修性是装备设计时赋予装备的一种固有属性,直接影响到战场抢修工作。抢修性模型是抢修性研究的重要内容。针对抢修性量化模型难度大的特点,尝试采用具有自学习能力的神经网络对抢修性进行仿真预测,同时为提高神经网络的性能,运用遗传算法对其优化,从而得到基于遗传神经网络的装备抢修性预测模型。最后仿真结果表明该模型可较好地用于抢修性的仿真预测,能为新研制装备的抢修性设计提供有益参考。     

以战领建提升后备力量建设质效

仗怎么打,军队就怎么建。习主席在出席十三届全国人大四次会议解放军和武警部队代表团全体会议时强调:“要坚持以战领建,加强战建统筹,抓紧推进战略性、引领性、基础性重大工程,加快打造高水平战略威慑和联合作战体系。”学习贯彻习主席重要讲话,确保军队建设“十四五”开好局、起好步,必须坚持以备战需求牵引各项建设,以打仗要求统筹谋划工作。国防后备力量作为联合作战体系重要组成部分,要突出编、训、战一体建设,做好随时应对各种复杂困难局面的准备。     

环境介质对超高强车用钢延迟开裂性能的影响

分析了环境介质对超高强车用钢的延迟开裂性能的影响,通过对DP1180、MS1180和QP1180三种材料的试验得到具体影响结果。     

基于区块链的群机器人数据完整性与隐私性保护

群机器人通过多个机器人之间的信息交互实现协同控制,保证交互数据的私密性和不可篡改是群机器人系统安全可靠运行的关键。针对群机器人系统中存在的恶意数据篡改、重要信息泄露等潜在安全问题,提出了一种基于区块链技术的群机器人数据完整性与隐私性保护方案。首先,该方案利用去中心化的分布式账本保障群机器人系统数据的完整性,并针对区块链数据公开的特性,引入脱链加解密模块避免明文数据上链,提高了数据的隐私性。其次,考虑到区块链的运行条件和物理机器人在存储和计算能力方面的性能约束,提出采用轻节点方法来降低在物理机器人上运行区块链的存储和计算负担。最后,通过实验对方法进行了验证。结果表明,基于区块链技术的保护方法对群机器人数据完整性和隐私性具有较好的保护效果,且轻节点方法可实现区块链在机器人集群上的部署。