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

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

提高HDL综合质量的探讨

提出了EDA工具QuartusⅡ和LeonardoSpeetrum组合方式在Altera公司CPLD器件开发中的应用．解决了目前集成电路设计的复杂和门级电路不易管理的一些问题。同时给出了可编程逻辑器件的开发流程以及在设计思路和语言使用上来简化、优化电路设计以提高HDL综合质量的几点探讨。     

二维非对称喷管数值模拟与验证

采用Fluent软件针对二维非对称喷管进行数值模拟,考察了其中几种常用湍流模型及网格密度对模拟精度的影响,并将计算结果与NASA公布的实验数据进行比较,找出了精度较高、求解快捷的模拟方案,结果表明FLUENT软件可以应用于带高超声速外流的非对称超声速喷管内外流场的数值计算。      

惯性平台台体组件动态特性分析

本文利用ANSYS软件通过在轴承滚珠和滚道面间建立接触单元，较好地处理了台体组件中的轴承连接问题。通过对某型号惯性平台台体组件进行有限元动态分析，发现了台体组件结构的薄弱环节；针对结构存在的问题，对如何改善结构的动态特性提出了建议，为以后进一步进行台体组件的动力学分析奠定了基础。     

基于支持向量机方法的发动机性能趋势预测

为了提高对航空发动机性能趋势预测的精度，提出利用支持向量机方法来预测表征发动机整体性能的参数一性能综合指数。建立了基于支持向量回归的一步及多步预测模型，利用该模型对性能正常衰退及性能异常发动机的综合指数分别进行预测，并与自回归(AR)模型的预测值进行比较。结果表明，基于支持向量机的预测模型比AR模型的预测精度更高，其四步预测精度由80．56％提高到88．51％。因此该模型尤其适合中、长期预测。     

实时数据处理技术在稳定裕度试飞中的应用

介绍了稳定裕度试飞流程和稳定裕度实时数据处理软件的设计思路,讨论了稳定裕度实时数据处理系统的数据流程和如何建立飞行试验数据库,最后给出了系统经过试飞验证后的几点结论。     

一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型(SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是，软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2．0活动元模型改进SPEM中活动的语义，采用泛化机制扩大实参的表达范围，细化形参和限制的表达粒度，使得改进的软件过程工程元模型(ISPEM)在语义上与软件工程过程领域的语义更为一致，表达力更强，更加符合软件工程过程领域建模的需要。     

某型发动机推力室均匀性分析与均流板设计

首先提出并应用了一些针对推力室氧腔几何模型的计算方法,结合通用CFD软件Fluent进行流场计算,并对计算结果进行了分析研究,在分析计算的基础上提出孔板的新设计思想,设计出了新均流孔板,并对氧腔进行了重新建模和流场均匀性计算分析.     

总线通信系统外场检测软件的设计与开发

结合某型飞机总线通信系统的研制实践，介绍了总线通信系统外场检测设备的组成及其与通信系统的交联关系，重点阐述了检测软件的性能设计、数据结构设计、功能模块设计和人机接口设计，以及在软件开发过程中采用的信息采集实时性技术、画面闪烁的解决和建立合理的数据结构等关键技术。     

某型反舰导弹控制系统半实物仿真软件设计

利用 dSPACE 仿真平台进行某型反舰导弹控制系统半实物仿真软件设计,比较传统方法具有方便、高效、精确等优越性。简要介绍了 dSPACE 实时仿真平台及其软件环境,并提出了半实物仿真软件系统的具体设计方案。