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

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

我国消防产业现状分析及对策建议

我国消防产业经过几十年的发展,在企业规模、市场开发、技术水平、规范管理、政策调控、中介组织等方面都有了很大发展,但也存在许多不足,与社会经济发展需要和国际竞争局势不相适应,必须整体谋划,寻求新的发展。     

布达拉宫古建筑灭火设施优化配置研究

为配合布达拉宫的消防工程改造，优化其建筑灭火设施的配置，针对现阶段布达拉宫建筑灭火设施现状，剖析了其存在的问题和缺陷，介绍了国外文物古建筑消防保护的理念，阐明了古建筑灭火设施优化配置应遵循的原则，通过对各类灭火设施保护宫殿的可行性和适用性分析，提出了布达拉宫古建筑灭火设施优化配置方案。     

基于SEA炮兵声测和雷达组网反炮兵侦察效能分析

反炮兵侦察是炮兵侦察的一项重要任务,声测和雷达是反炮兵侦察的主要装备。针对SEA方法的要求,提出了评估由炮兵声测和雷达组网的作战效能的3个主要性能度量(MOP)。结合信息化战场环境,建立炮兵声测和雷达组网的反炮兵侦察效能的动态评估模型,为其作战使用提供了理论依据。     

慷慨雄壮的爱国乐章——曹植《白马篇》浅析

《白马篇》全诗以“忠勇”二字为线索,用赋的手法,热情赞颂边塞英雄少年高超的武艺,昂扬的斗志和为国捐躯、视死如归的英雄气概,表达了诗人为国建功立业的雄心大志和忧国忘身的豪情壮志。既是我国古代诗坛风格独特的篇章,也是今天辉映千古的爱国绝唱。     

高双折射光子晶体光纤用于温度传感的研究

文中分析了高双折射光子晶体光纤用于温度传感的应用。在高双折射光子晶体光纤的特定空气孔中填充折射率温度系数高的液体材料,温度的变化会导致光纤传输特性的变化,通过检测其双折射的变化从而实现温度传感。文中运用平面波扩展法计算分析了该新型光子晶体光纤的双折射特性随温度变化的关系。     

引信传爆管破片参数研究

理论分析传爆管破片的数质量分布和最大质量的计算模型，采用水箱法进行了部分引信传爆管破碎性试验。试验数据及理论分析结果表明：计算榴弹破片数质量分布的Mott公式并不适用于传爆管类非榴弹破片的计算，因此利用试验所得数据对西德最大破片质量公式进行了修正。修正后的公式对丙型引信传爆管破片最大质量的计算结果与试验数据较为吻合。     

高校思想政治理论课的困惑与反思

高校思想政治理论课是大学生思想政治教育的重要组成部分。但是，在有的高校，作为高校课程体系重要内容的思想政治理论课遭遇了冷遇。其原因是多方面的，但最根本的深层次的原因是当今中国社会对待理性的追求与经验的沉迷的态度使然。具体表现为：人的全面发展与社会的实证科学支配、一元的主流思想与多元的社会思潮、工厂式的人才生产与个性化的发展要求三对矛盾的冲突。     

公安现役部队后勤专业人才队伍建设的思考

公安现役部队后勤专业人才队伍建设是后勤信息化建设的重要智力基础,关系到部队后勤全面建设和长远规划。当前,复杂的国际国内形势与繁重的边、消、警任务,对后勤专业技术人才队伍建设提出了更高要求。如何认清形势,更新观念,实现部队后勤工作的跨越式发展,关键在于更快更好地培养融指挥、管理、技术为一体的“复合型”高素质人才。     

消防行政强制若干理论问题探析

安全是社会和谐稳定的保障，而消防安全是社会安全的主要构成要素。消防行政强制，作为保障消防执法权的有效运作，及时消除火灾隐患的手段，是消防行政管理中不可或缺的。对消防行政强制的概念进行了界定，对消防行政强制权实施的程序、原则及消防行政强制的救济途径等理论问题进行了研究，以期为消防行政强制实践提供有益的理论参考。