基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

对提升后勤装备保障力的探索

胡主席深刻指出,军事训练是军队和平时期最基本的实践活动,是战斗力生成的基本途径。胡主席的重要论述是对新形势下军事训练重要意义新的深刻阐释。后勤广大官兵必须深刻领会胡主席关于大抓军事训练的重要指示精神,充分认清加强后勤装备保障训练对于实现人装结合、提升后勤装备整体保障效能和保障打赢能力的     

提高党支部遂行作战任务能力

提高党支部带领官兵遂行作战任务能力作为党支部建设的核心和着力点，必须以科学发展观为指导，在全面、协调、可持续的发展中，确保党支部战斗堡垒作用的科学实现和战斗力的有效生成。     

有效利用计算机建立机械工装分类代码系统

目前,相当一部分企业机械工装图号标识仍处于传统的落后状态,建议企业有效利用计算机,建立机械工装分类代码系统,为机加工设计提供一种现代化的标准化管理方法。     

新世纪自动喷水灭火系统应用技术发展探讨

探讨自动喷水灭火系统面向新世纪的应用技术,一是提出向综合性和可靠实用性方向发展,二是介绍并展望喷头技术的发展,三是提出自动喷水灭火系统应用中要解决的几个问题.     

使用自动变速器应注意的问题

简要介绍了自动变速器的档位名称及作用,讲述操作方法和应注意的问题。     

无人机自动驾驶仪微分控制分析

本文根据某型无人机在常值干扰力矩的作用下,飞机姿态角存在静差,并产生振荡这一现象,提出了在某型无人机中加入角速度陀螺的设想,并以纵向俯仰角为例,根据飞机纵向短周期运动方程和自动驾驶仪的控制律,利用根轨迹法对控制系统进行初步的理论分析,为某型无人机加入角速度陀螺,提供了理论依据。     

遥感图像自动配准的串行与并行策略研究

面对数据量呈指数增长的全球遥感图像,研究快速、有效、高精度的自动图像配准算法成为遥感领域迫切需要解决的问题。综述了遥感图像自动配准算法的研究现状和关键技术,且从新的角度分类总结了已有算法的特点及适用情况,并给出了综合的解决方案;同时研究并提出了三种新的并行策略,获得了较好的实验结论。由于算法采用粗粒度的数据并行方法,因此可扩展性和可移植性较好,无论在理论上还是在实践上都能为实际的遥感应用提供有益的指导和借鉴。最后提出了有待进一步研究的问题。     

坦克动力舱空气流动计算区域的网格生成

为了合理解决网格划分对坦克动力舱空气流动与传热三维数值计算效率和计算精度的影响,特提出动力舱空气流动计算区域的网格生成方法.对某型坦克动力舱的网格生成实例,显示了这种方法的实用性.     

自动喷水灭火系统可靠性分析

自动喷水灭火系统在建筑消防所占的主导地位决定了研究、分析该系统可靠性的客观性和必要性。从系统各组件出发分析了各组件运行工况、存在的问题 ,并提出解决影响系统可靠性的措施