基于TPS的航空火控装备板卡测试系统设计

针对航空火控装备三级修理难度大的情况,提出了基于测试程序集(TPS)技术的航空火控装备板卡测试系统设计方法。根据被测装备LRU和PCB的特点和种类,确立了以板卡测试为主,辅以其他方法的测试方案,并给出了测试系统硬件设计和软件设计思路。系统对降低维修费用、提高装备的完好率具有十分重要的意义。     

嵌入式软件测试研究

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

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

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

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

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

基于类桥CA体系结构的证书路径构造方法

分析已有证书路径构造方案,借鉴桥CA体系结构的构建思想,参考电话系统分区模式,提出了类桥CA体系结构.针对类桥CA体系结构特点,在证书路径构造中引入关系矩阵和证书路径库技术,使得构造的部分证书路径能够得到重用,优化现有证书路径构造策略.该方法具有可扩展性,能够很好的适应PKI体系发展的要求.     

测试系统的软件平台

测试软件平台为测试系统的组建提供了可视化的测试程序开发环境、测试资源的管理、测试数据的管理和仪器驱动库的管理等工具。文章介绍了软件平台的总体结构。并对软件平台的实现作了描述。     

分析机匣—支承—转子系统动态响应的子结构迭代法

为分析机匣—支承—转子系统的动力特性，发展了一种子结构迭代—传递矩阵方法。利用这一种方法使得对复杂转子系统的分析大为简化。与传统的整体传递矩阵方法相比，可大为节省机时，简化公式推导。理论证明与计算实例都表明，该方法具有收敛快、稳定性好的特点。     

国外通用开放式结构标准的应用情况

SAE AS4893标准定义的通用开放式结构（GOA）是嵌入式系统的层次化体系结构模型。通过对GOA领域目录集的开发与维护标准化过程的分析,结合GOA在航空电子领域的应用案例展示其标准化技术的应用现状;并考虑到先进综合式航空电子系统在任务功能划分和系统工程方法方面的应用要求,探讨并展望GOA标准化技术应用于新一代航空电子系统开发过程中的注意事项。     

X-cor夹层结构的平拉性能

研究了Pin植入角、Pin直径和Pin材料对X-cor夹层结构平拉强度及平拉模量的影响。平拉性能试样采用Rohacell 31泡沫作为芯材,Pin采用不同直径的T300/FW-63和SC-240/FW-63拉挤细杆。结果表明,X-cor夹层结构平拉强度增强效率随着植入角度的增加先增大、后减小,平拉模量的增强效率则随植入角的增加而减小;随Pin直径减小,平拉强度增强效率增加,平拉模量增强效率降低;不同Pin材料对X-cor夹层结构平拉强度增强效率相同,高模量的Pin对X-cor夹层结构平拉模量的增强效率更高。     

各向同性热解炭材料中的缺陷分析和超声检测技术

利用偏光金相显微镜和超声探伤仪对高性能机械密封用块体各向同性热解炭材料中的缺陷进行表征和无损检测.偏光显微观察发现,各向同性热解炭材料中的主要缺陷主要包括三种:各向异性夹杂、裂纹和各向同性夹杂.超声实验研究表明,利用脉冲反射法超声波检测技术可有效检出各向同性热解炭制件中存在的上述缺陷.目前该技术已成功地用于各向同性热解...