安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

基于大气传输软件激光透过率对比研究

简要地归纳了目前比较通用的大气传输软件LOWTRAN7、MODTRAN和FASCODE的概况和异同,分析了大气透过率的计算和激光武器选用的波长,比较了激光传输衰减和能见度的关系,重点研究对比了用LOWTRAN7和FASCODE计算1．06μm和10．6μm激光的透过率,并得出了结论。     

叶片包容性计算的软件实现

基于英国和俄罗斯叶片包容性设计方法和理论,应用VB语言开发了叶片包容性计算软件。以某型发动机第1级涡轮叶片为例,用该软件计算了叶片包容性和满足包容性条件下的最小机匣厚度。根据实际要求,也可以用该软件确定满足包容性要求的各设计参数     

飞机导管数字化生产线探讨

介绍了国内外飞机导管制造技术的现状。参考国外飞机导管数字化生产的先进经验,结合国内实际情况,提出了实现导管数字化生产线总体设想方案。在导管CATIA数据转换、智能工艺性审查、三维弯曲仿真、数控弯管、组合夹具设计与制造、导管数控测量、系统集成等方面提出了切实可行的实施途径。     

基于过程的信息审计平台的体系结构研究

针对目前市场上安全监督产品绝大多数是事后审计模式,本文描述了一种基于过程的信息审计平台,并对其体系结构作了具体的分析和描述。最后介绍了应用这个信息审计平台实现的一个基于过程的信息审计系统。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

涡轮盘双轴对称异形孔结构建模与优化

针对发动机轮盘孔结构的应力集中问题,以某高压涡轮盘安装边螺栓孔为研究对象,建立了涡轮盘非圆异形孔数学模型.该异形孔由双轴对称的8段圆弧光滑连接而成,并满足螺栓装配的要求.使用该异形孔模型取代了原螺栓孔.以有限元分析为基础对异形孔进行了优化,得到该轮盘安装边多圆弧异形螺栓孔的最佳形状.结果表明:优化后的多圆弧异形螺栓孔边第1主应力最大值降低了14.8%,孔边应力集中程度显著下降.设计参数灵敏度分析结果表明,与主圆弧相连的过渡圆弧的尺寸对孔边应力的影响较为显著,在设计中应予以重视.      

基于任务的软件配置管理模型的研究

介绍了传统配置管理模型的特点,针对其管理分散、难于在数据以及数据版本间建立关联等问题,对基于任务的软件配置管理模型进行了深入研究.模型在传统的配置管理模型中增加任务层,以功能要求为目标驱动,创建任务结点,通过任务的完成建立起上层目标与所有相关的配置项及配置项版本的关联,从而实现了目标与基本管理单元的自动追踪.     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

数字匹配滤波器在直序扩频快速捕获中的应用

数字匹配滤波器(DMF)也称数字相关器,本文对DMF的工作原理做了简要的分析,给出了实现DMF的几种常见的结构,然后给出了DMF的实现过程,着重对DMF在部分并行捕获中的应用做了详细的描述。