基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

舰炮武器系统服务概率模型

为更有效地评价舰炮武器系统的射击能力和武器效能,本文以排队论为基础,建立了由舰炮武器系统与目标组成的排队系统服务概率数学模型,为综合评价舰炮武器系统的射击能力和系统效能提供参考依据。     

“沉默的螺旋”理论对军队思想政治教育的启示

“沉默的螺旋”理论启示我们：思想政治教育要通过“增强主旋律的影响力、发挥军人群体认同的渲染作用、发挥军人群体规范的制约作用、注重典型示范”来营造强大的“教育场”,以提高教育效果。     

基于Bayes理论的航空电子设备可靠性评估

针对航空电子设备无失效数据可靠性分析问题,提出了weibull分布下基于Bayes理论的无失效数据分析方法,基于分层Bayes思想建立了模型,推导出可靠性参数后验分布计算公式,结合实例,验证了方法的有效性,结果表明,此方法计算结果符合工程实际,在其他电子设备可靠性分析中,有一定的借鉴意义.     

基于“主体—对象—客体”关系模型的公安学基础理论体系构建研究

公安学基础理论是公安学理论体系的基础内容和重要组成部分.近年来,公安学基础理论已经取得了学科建设的阶段性成果,但与理论深入、系统完整、具有公安学特色的基础理论体系的要求还有一定距离.“H”型架构公安学基础理论体系存在着基本概念和关系模型方面的缺陷,以及文字表述和概念内涵之间的矛盾.“主体—对象—客体”关系是新的关系模型,基于该模型构建公安学基础理论基本概念和理论体系,更符合公安学基础理论的学科定位.     

气液两相管流流型识别理论研究进展

综述了气液两相流流型识别理论及方法的研究进展。首先探讨了流型划分问题,然后针对水平管路、垂直管路及摇摆管路介绍了两相流流型转换机理及转换的边界条件;对于流型的在线识别,介绍了基于波动理论、神经网络和图像处理的流型识别方法。最后提出了气液两相管流流型识别中亟待开展的理论研究方向。     

一种新的自变量选择准则

本文提出了一种着眼于提高回归系数估值精度的自变量选取准则,同时给出了相应的算法。     

临近空间对地观测平台的矢量化建模及稳定性分析

研究了临近空间对地观测平台的矢量化建模和稳定性问题.定义了描述观测平台空间运动的坐标系及运动参数;在受力分析的基础上,根据Newton-Euler方程建立了矢量形式的六自由度非线性数学模型;基于此模型,应用Lyapunov稳定性理论对观测平台的稳定性进行了分析.研究结果表明:对于给定的未扰运动,观测平台是渐近稳定的;纵...     

稀疏图DS-CDMA系统设计

DS-CDMA是在扩频技术上发展起来的多址接入方式,但在用户接入数量过载时难以保证高质量的通信性能。基于此,提出了一种基于稀疏图的DS-CDMA系统。该系统以低密度二分图的形式来描述扩频码片和用户之间的关系,使得参与通信的每个用户只在少量码片上进行非零位扩频调制,最大限度地减少了用户间的相互干扰。借助图模型的相关理论,把适合于稀疏图的置信度传播算法应用于该系统,进行多用户检测,通过码片与用户之间的消息迭代来消除噪声和多址干扰带来的影响。结合计算机仿真,从不同的角度测试了系统的误码率等性能。理论分析与性能验证表明,稀疏图DS-CDMA在接入用户数量远远超过系统容量的情况下,依然具有优良的性能。     

基于运动状态和敌我属性的空中目标融合识别

研究了基于实时跟踪器的空中目标航迹身份识别问题。从分析目标运动状态和敌我属性的不确定性出发 ,建立了空中目标身份统计模型 ;根据建立的模型 ,通过采用Dempster Shafer证据理论方法 ,对空中目标进行融合识别。仿真实验结果证明了模型和算法的有效性。