基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

一类非完整系统的输出反馈控制问题研究

针对一类具有虚拟控制方向和非线性不确定项的非完整系统,研究了其输出反馈控制器的设计问题。采用状态转换技术和反推方法,设计了只依赖于输出值的输出反馈控制器。同时为了处理初值为零的情况,提出了基于第一个子系统输出值的切换控制策略,通过仿真算例说明了控制器的有效性。     

简论故意泄漏国家秘密罪

为完善国家秘密保护法律制度,现行《刑法》规定了故意泄漏国家秘密罪。在司法实践中,需严格把握本罪的构成要件,并以此为基础,准确区分此罪与彼罪,正确施以刑罚。     

带有消声瓦的潜艇耐压壳的稳态振动和横向应力

采用混合分层理论和Ressiner混合变分原理,在壳的厚度方向取二次插值函数来描述位移沿厚度方向的变化规律;采用三次和四次插值函数来描述横向应力沿厚度方向的变化,线形处理筋条的变形,推导出粘弹加筋层合圆柱壳的动力学方程和协调方程组,并采用拉普拉斯变换,得出简支粘弹加筋层合圆柱壳稳态振动的响应解。对于自由阻尼层合圆柱壳,所给出的振动频率和结构损耗因子与解析解吻合良好.结果表明,较高的层间横向正应力是引起潜艇消声瓦脱落的主要因素,而采用较高模量的粘弹性阻尼材料将降低层间横向应力的幅值.     

综合火力／飞行控制系统空对空射击模态的半物理仿真研究

采用半实物仿真方法研究了综合火力／飞行控制系统的动态特性、作战有效性和工程实现的可行性。文中给出了系统的数学模型、系统的硬件结构和仿真试验结果。结果表明,综合火力／飞行控制系统可以减少瞄准过程时间,增加可射击时间,提高瞄准精度和系统稳定性,扩大攻击范围（全向攻击）,减轻飞行员工作负担,提高载机生存力。因而是很有发展前途的一种航空火力控制新概念。实验也表明工程实现是可能的。     

12150L发动机工作状况监测系统

介绍了12150L发动机工作状况监测系统的组成,各参数的检测原理、应用,控制系统和数据处理的工作原理.     

The socialization of military power: security cooperation and doctrine development through multinational military exercises

Multinational Military Exercises (MMEs) are often viewed by states as opportunities to increase interoperability, improve cooperation, and solve common security problems. We argue that in addition to this, MMEs work as tools to shape the shared beliefs of coalition partners surrounding threat. Specifically, MMEs allow multinational forces to identify best practices, consolidate beliefs, and codify behavior through doctrine, typically by means of some institutional process. We examine our argument on MMEs through an analysis of various multinational and coalition partner efforts to identify security threats and cooperate through the development of common doctrine at the strategic, operational, and tactical levels of warfare. Our analysis suggests that the use of MMEs for doctrine development does help to socialize states in terms of identifying common threats and subsequently sharing a process by which to address them.     

火灾事故调查的现状与对策

阐述当前我国火灾事故调查现状 ,分析当前火灾事故调查工作存在的问题 ,并提出了加强火灾事故调查工作的建议。     

书法家炽情创作状态刍议

炽情创作状态是书法家追求艺术高境界的一种心理体验,是一种突然的颖悟,是一种表现的激情,是一种审美的愉悦,是一种“如痴如醉”的精神状态。     

状态X~2检验法在联邦滤波器中的应用

针对联邦滤波器的特殊性,基于残差故障统计检验原理,详细研究了状态检验法应用时存在的几个问题。由于信息分配,造成子滤波器局部估计次优,从而基于残差的故障统计检验方法不能够直接使用;针对这一问题,修正了残差方差阵的计算方法,并提出一种次优自适应补偿方法,能够有效改善局部估计次优性对故障检测灵敏度的影响。最后的仿真结果表明了研究的有效性和可行性。