一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

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

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告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.     

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

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

书法家炽情创作状态刍议

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