应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

智能可穿戴设备军事应用与发展趋势

介绍智能可穿戴设备的基本概念、发展历程、分类与功能,归纳智能可穿戴技术在作战指挥、武器装备、军事训练、安全管理和后勤装备保障等方面的应用现状,分析在新材料技术、人机交互技术、物联网技术、大数据与云计算技术等新技术影响下军用智能可穿戴技术的发展前景。     

隐身飞机突防建模及低可探测性轨迹规划

针对隐身飞机突防飞行规划,分析了隐身飞机对警戒雷达网突防过程问题特性,建立了雷达探测模型与组网警戒雷达信息融合模型;综合考虑隐身飞机的隐身能力、预警时间和燃料消耗将隐身飞机低可探测性轨迹规划问题形式化为一个复杂多目标非线性连续时间最优控制问题;并提出基于伪谱法的低可探测性轨迹规划方法。仿真实验实现了在组网警戒雷达下隐身飞机的低可探测性突防轨迹规划,证明了方法的可用性和有效性。     

基于可拓方法的炮兵作战指挥训练手段运用效果评价

为评价炮兵作战指挥训练手段运用效果,在分析影响炮兵作战指挥训练手段运用效果因素的基础上,应用可拓方法建立了炮兵作战指挥训练手段运用效果多指标参数的物元可拓评估模型,以定量评估结果对炮兵作战指挥训练手段运用效果进行了评价分级,并与层次分析法和模糊综合评判法的评估结果进行了比较,结论基本一致。其评估结果可为发展信息化炮兵作战指挥训练手段提供依据。     

可竞争市场理论对我国构建竞争性装备采办市场的启示

可竞争市场理论认为,在近似的完全可竞争市场中,自由放任政策比行政手段主动管制能够更有效地保护公众利益,即便是在垄断条件下,效率仍然可通过市场来实现。这一理论启示我们,尽管我国装备采办市场的可竞争性是不完全的,需要进行必要的行政管制,但目的不是取代市场,而是要通过各种手段为实现市场可竞争性创造条件,以实现良好的经济效率。     

做好院校的保密工作

随着军队建设进入信息化时代,信息网络利用的不可替代性,信息网络空间中安全攻击源的不确定性,以及活动主导体与内容认定的困难性,使院校安全保密工作面临着更加严峻的形势。要使院校的保密工作经受住严峻形势的考验,确保院校官兵的纯洁可靠和核心秘密的安全,必须采取以下对策：     

基于欺骗的网络主动防御技术研究

针对网络对抗和计算机网络安全防护的现实需求,提出了一种在分布式欺骗空间中实施多重欺骗的网络主动防御技术,通过仿真常用的网络服务程序以及伪造安全漏洞来诱骗入侵者,利用内核级操作控制、文件系统镜像和信息欺骗,构建基于Windows和Linux平台的欺骗性操作环境,实现了对网络入侵全过程的欺骗、监视与控制.该技术突破了普通蜜罐技术单一欺骗层次的局限性,使得欺骗性、交互性和安全性同时得到明显提高.     

基于FPLD的片上数字实验系统

FPLD具有可编程性、高速度、高集成度和高可靠性等特点,这为改善数字逻辑电路实验提供了条件。本文介绍了针对传统数字逻辑电路实验存在的缺陷而设计的一种新型的基于FPLD的片上数字实验系统,并结合实例说明了实验的方法和步骤,阐述了这种实验系统有利于培养学生基本技能和创造力,实验取得了良好的效果。     

基于三级维修体制的设备可用度模型

以具有三级维修级别的复杂设备为对象,通过对设备使用、修理流程分析,给出了设备使用与修理状态转移图,建立了设备一个更新周期内,维修间隔期与可用度关系模型,并给出了相应应用案例,案例说明了模型的适用性与灵敏性。     

联网平台扩大了海上防空能力

完善的网络连接和先进的防空管理功能极大地提高了部队级的海上防空能力。参与防空战作战实践的人都意识到防空战（AAW）是一个动态的、困难的和高度复杂的领域,由于组成部分的缺陷、人的错误和／或系统的缺陷,易于产生指挥和控制上的故障。指挥过程中某一或某几部分性能的降低将导致整个AAW功能链的崩溃,带来灾难性的后果。造成这样的结果可能是由于采取的行动基于不能满足要求或不完整的信息,或者未能对容易识别的目标做出响应,或者由于操作人员的压力或信息超量而做出了不正确的决策。