面向宇航应用的高可靠SoC异常处理系统设计

实现了面向宇航应用的高可靠SoC异常处理系统软硬件设计.为提高可靠性，将处理器及异常处理系统寄存器进行冗余设计，对SoC片上SRAM及各外设存储模块引入EDAC检错/纠错(纠一检二)机制.采用中断控制器统一管理众多的外设中断请求，对数据/指令的EDAC校验一位错和二位错异常，引入不同的硬件处理机制.一位错可通过EDAC逻辑纠正，不影响处理器正常运行，通过中断控制器以异步异常方式处理；二位错不能被EDAC逻辑纠正，影响处理器指令执行，通过总线反馈信号以精确同步异常方式处理，保证了异常响应的效率和系统可靠性.仿真验证结果表明，该异常处理系统可正确处理SoC众多外设和处理器内部异常.本文中的设计方法对高可靠处理器异常处理系统设计具有一定的参考价值.     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

基于模型的民机验证需求捕获及应用技术

针对当前验证工作顶层规划性不强、研制单位与承试单位接口不清晰、验证活动充分性不确定等问题，基于系统工程的民机研制过程，结合验证场景建模，形成以验证需求为核心的验证工作技术流程。承接产品设计需求，开展验证场景利益关联方识别、验证场景活动建模及时序建模研究；定义验证需求的内涵要素，基于模型开展验证需求捕获，形成设计需求到验证方法到验证需求的映射追溯；在此基础上，研究基于验证场景模型的验证计划及验证程序定义方法。结合某型飞机起落架系统案例，形成一套从设计需求到验证需求再到验证程序的完整技术方法。所提技术方法能够充分保证从产品设计需求到验证活动开展的完整追溯，有效促进民机研制验证过程与产品研制有机融合，为民机研制早期对验证活动的规划提供重要借鉴。      

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

基于决策级数据融合的可靠性综合验证方法

可靠性验证试验是检验产品的可靠性水平是否达到要求而进行的试验,是一项重要的可靠性活动.价格昂贵或者可靠性水平较高的设备,按照经典的抽样方案进行试验,时间和费用几乎是不能承受的.为了解决上述实际问题,针对成功率的抽样检验方案,利用证据理论方法,研究了基于研制试验数据、可靠性评估结果和专家信息的基本可信度分配函数的构建方法,并给出了基于决策级数据融合的可靠性综合验证试验模型.同时,对可靠性综合验证模型的性质进行了讨论,确定了可靠性综合验证试验方案的存在性,并提出了方案的选取原则.模型可以广泛地利用研制信息,并可以统一给出基于不同分布类型和不同信息的可靠性综合验证试验方案.通过示例表明该方法可以利用各种研制信息,达到减少可靠性验证试验样本的目的.     

对接机构方案样机轴向缓冲力仿真分析与试验验证

在对接机构方案样机缓冲试验中发现了轴向缓冲力超标的问题. 针对这一问题, 理论分析了轴向缓冲力过大的原因, 进行了仿真计算, 给出了降低轴向缓冲力的措施, 并在对接机构方案样机上实施了部分措施进行验证试验, 验证试验数据表明仿真正确、措施有效. 仿真也复现了飞行器模拟件自振频率对轴向缓冲力的影响, 并在飞行器模拟件的模态测试中得到了验证, 仿真给出了必须对试验数据进行滤波分析的结论.      

资源三号卫星高精度控制分系统地面试验验证系统

针对资源三号(ZY-3)卫星高精度控制分系统地面试验验证需求,设计一整套完备的验证系统,通过对控制分系统各外接口、部件级故障诊断和切换、系统功能、姿态控制精度指标实现情况及在轨故障预案的试验验证等几个方面完成地面试验验证.ZY-3卫星发射后,控制分系统在轨稳定运行且姿态控制精度和时统精度满足整星指标要求.     

基于OMLHD的仿真模型验证方法

当仿真因子数目较多,而真实系统观测数据相对稀少时,仿真模型的验证工作难以进行.针对仿真因子空间庞大,对应于每一组仿真因子配置,有且仅有对真实系统在相应工作条件下的一次观测这一极端情形,提出一种基于最优拉丁超立方设计(OMLHD,Orthogonal-Maximin Latin Hypercube Designs)的仿真模型验证方法.利用仿真验证试验的优化设计技术对仿真因子配置进行筛选,合理的选择、安排验证试验；采用p值分析方法解决验证试验中的数据一致性分析问题；基于逆概率分布定理的思想,对各组验证试验一致性分析结果进行综合分析.以某导弹制导仿真模型验证为例,对方法的性能进行了讨论.结果表明该方法能够实现在整个因子空间上对仿真模型的可信性进行验证的目的.     

数字多用表自动检定系统设计

数字多用表型号多、功能多、检定项目多,每项具有多个量程,且各量程准确度不一,同一量程在不同检定点其技术指标也不尽相同,采用传统手动检定耗时耗力、误差大、错误几率高、工作效率低.在VEE Pro软件开发平台上,设计开发出一套数字多用表自动检定系统.该系统包括仪器信息记录、带接口数字多用表检定、不带接口数字多用表检定及打印输出四个模块,测试过程采用实时测试显示,自动进行数据处理并存档.使用结果表明:该系统操作简便,提高了工作效率及准确度,减小了人为误差,确保了测试数据准确可靠.     

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

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

基于VB6．0数据库下的示波器自动检定系统实现

以9500示波器自动检定系统为例,介绍了在VB6.0开发环境下,引用其强大的数据库功能。通过建立9500程控代码数据库、仪器登记数据库、检定参数设置信息库、检定结果信息库,实现了各库之间的数据访问和存储,达到了对各种示波器的半自动和全自动检定。并将部分代码加以介绍,可以直接在其它自动测试中应用,因此具有广泛的应用和借鉴价值。     

一种工业热电阻检定系统的设计

为实现对工业热电阻的自动检定,提高检定工作效率及量值传递的准确性,设计了一种工业热电阻自动检定系统。根据热电阻检定工作原理和实现自动检定的思想,论述了系统的硬件结构组成和检定系统操作步骤。系统采用测温电桥与低电势扫描开关配合,在工业三线铂电阻的检定中,可以实现二线接法和三线接法的自动转换。系统操作软件以VB作为开发平台,实现自动控温、采集数据和输出word报表等。实际使用表明,系统设计结构合理,软件操作方便,量值传递准确可靠。     

基于多特征融合分析的羽流烟雾区域识别

针对固体火箭发动机飞行试验中喷管排出的羽流烟雾光学信号的准确测量，应用数字图像处理技术提取羽流烟雾的静态和动态特征进行羽烟识别。为了滤除外场复杂环境对烟雾测量的干扰，设计了具有等间距的黑白条纹背景板。在黑条纹区域采用自适应的灰度阈值提取烟雾特征，在白条纹区域根据RGB和HSV颜色空间综合的方法提取烟雾特征，结合帧间差分法提取视频序列中烟雾区域的扩散边界。基于烟雾静态和动态特征综合的算法编写了烟雾处理软件，通过处理大量烟雾视频数据进行验证试验，证明羽流烟雾的识别能够有效提高光学信号测量的准确度。     

专用测试设备检定周期的确定浅析

专用测试设备计量检定/校准周期尚无统一的标准。本文采用综合加权评分法和固定阶梯调整法给出了专用测试设备检定/校准周期的确定方法,并进行了举例分析。     

砝码校准能力验证方案的设计

借鉴质量管理体系的理念和方法,结合能力验证的规则和特点,阐述了砝码能力验证方案的设计过程,具体分析了设计方案的评审、实验室分组、样品传递、结果报告发布等各阶段的内容。经实践验证,设计方案合理,控制效果显著。     

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

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