基于PXI总线的瞄准电子设备虚拟计量检定系统

基于PXI总线和虚拟仪器的设计思想 ,提出了一种新型的瞄准电子设备虚拟计量检定系统的设计方案 ,对系统的硬件组成、检测原理和系统软件进行了论述 ,并对系统的校准问题进行了分析。     

ASL3000集成电路测试系统的检定方法

介绍了ASL3000集成电路测试系统的检定方法.通过分析该测试设备的特性,对线性信号、数字信号、混合信号、射频信号、基带信号模块的检定,采用自带通用仪表和检定程序实现;对于自带仪表的检定,则通过定期送检,溯源到国家标准.     

论航天器环境工程在航天产品验证中的作用

论述了航天器环境工程对航天产品验证工作的重要性,介绍了国外的实践与有关标准,着重介绍了美军标 MIL-STD-1540D 中对航天产品的验证要求.     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

直流电阻仪器自动检测系统

介绍了直流电阻仪器自动检测系统的组成、测量原理和检定方法以及系统实现的功能和特点 ,并进行了测量不确定度评定     

基于FMECA信息的测试性验证试验样本分配方法

针对目前国内外测试性验证试验中普遍采用的基于故障率的分层抽样方法考虑因素单一,可能导致样本分配不尽合理,而现有考虑多因素的样本分配方法代表性不足,难以实现工程上的应用的问题,对影响样本分配的因素与故障模式影响及危害性分析(FMECA)信息的关系进行了详细分析,提出了基于FMECA信息的样本分配方法。首先定义了单元影响系数和影响因子向量,提出了向量各元素赋值规则,解决了影响因素选取的问题;其次通过基于逼近理想解排序法(TOPSIS)优化的层次分析法确定了权值矩阵,实现了样本分配。最后通过实例验证表明该方法考虑因素全面,运用灵活,更具代表性和工程应用价值。     

民机电传飞控系统CCAR 25.672符合性验证思路研究

首先阐述民机电传飞控系统适航符合性验证的定义,然后详细介绍了民机电传飞控系统适航符合性方法和选用原则,最后以国内某型民用客机为研究对象,开展了针对CCAR25.672条款的符合性验证思路的分析与研究。     

民用运输类飞机驾驶舱门适航要求及验证

介绍了增强型驾驶舱门的产生背景及主要组成部分,列出了增强型驾驶舱门关于泄压、防侵入与防穿透以及紧急进入驾驶舱的适航要求,归纳总结了针对上述要求的设计方法、适航验证思路和符合性方法(method of compliance,简称MOC),以及在设计和验证中要注意的问题。该研究对于飞机增强型驾驶舱门设备鉴定及装机验证具有参考价值。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

民用飞机系统安全性分析中EWIS部件的考虑

通过对适航规章25.1709的分析,结合AC25.1701,提出了民用飞机系统安全性分析中需考虑EWIS部件的一些方面,并初步研究了具体的分析方法。