排序方式: 共有477条查询结果,搜索用时 15 毫秒
261.
解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。 相似文献
262.
针对电子侦察中使用常规参数难以有效识别复杂体制雷达信号的问题,提出利用深度限制波尔兹曼机对辐射源识别的模型。模型由多个限制波尔兹曼机组成,通过逐层自底向上无监督学习获得初始参数,并用后向传播算法对整个模型进行有监督的参数微调,利用Softmax进行分类识别。通过仿真实验表明该模型能对辐射源进行有效的特征提取和分类识别,具有较高的识别精度和较强的鲁棒性。 相似文献
263.
欺骗干扰能使目标接收机得出错误的位置、时间结果,是GNSS应用安全性的一个严重威胁。提出一种利用两个接收机伪距测量值单差的抗欺骗方法,利用方差分析技术推导基于伪距单差的欺骗信号最优检测量,并分析检测量的统计特性。经分析,接收机噪声、接收机基线长度和卫星个数等参数对检测性能的影响较大;在接收机噪声和卫星个数未知的情况下,可以通过增大接收机基线长度来提高检测性能。仿真结果表明,当接收机间的基线长度为10 m时,0.01虚警概率下,欺骗信号的检测概率可达98%。 相似文献
264.
265.
被动声纳和侦察雷达等传感器材对目标的探测仅能获取目标方位信息。虽然基于纯方位信息和探测平台机动位置的方位平差法,能够解算得出定向定速运动目标的要素,然而在实际作战应用中,目标可能会频繁地出现转向机动,使运动要素永远也不可能收敛。判明目标改变机动具有十分重要的战术价值。本文研究给出了一种基于时间方位拟合的目标转向运动判断方法,并结合典型态势进行了仿真分析,得出了拟合判断参数,研究结果为目标运动要素解算控制、潜艇查明水面舰艇巡逻线等作战应用提供目标转向判断依据。与方位滤波方法相比,这一方法概念清晰、算法简单、实用性强。 相似文献
266.
267.
268.
基于仿真互操作标准组织(Simulation Interoperability Standards Organization,SISO)C4ISR/M&S互操作技术参考模型和高层体系结构(High Level Architecture,HLA),C4ISR/M&S互操作HLA仿真设施为架构仿真系统运行体系提出了面向方面框架(Aspect Oriented Framework,AOF)和应用服务平台的技术.AOF能控制C4ISR/M&S互操作所引起的仿真系统结构复杂化,应用服务平台则能丰富仿真系统的运行环境,仿真设施可作为仿真系统通用运行体系的基础组件,支持复杂互操作系统开发. 相似文献
269.
肖浩 《中国人民武装警察部队学院学报》2006,22(3):74-76
在当代社会,非理性主义、新自由主义、实用主义、道德虚无主义、虚无主义、民主社会主义思潮等都是对军校大学生影响较大的社会思潮,正确对待这些社会思潮的影响,是加强军校大学生思想政治教育的一个重要环节。 相似文献
270.