数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

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

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

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

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

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

基于扩展卡尔曼滤波器的微型燃气轮机传感器 故障诊断与硬件在环验证

为了解决微型燃气轮机在变工况条件下的传感器信号故障诊断问题,提出了基于1簇卡尔曼滤波器的故障诊断方法。该方法基于V字研发流程,使用基于模型的设计方法开发了Simulink微型燃气轮机部件级仿真模型,设计了变负载条件下的传感器故障诊断与隔离系统。基于全数字仿真平台和硬件在环仿真平台对模型以及故障诊断与隔离系统进行集成验证。结果表明:基于MBD方法的全数字仿真及硬件在环仿真具有很高的一致性,能够快速实现模型转换及验证,为微型燃气轮机控制算法开发与硬件在环验证提供了有力的支持。     

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

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

弹上电子产品发射可靠性试验验证必要性判别方法

提出了弹上电子产品开展发射可靠性验证试验的必要性判别方法,论述了弹上电子产品完成飞行可靠性验证试验后,无须再开展发射可靠性验证试验,为工程决策提供了技术支撑。     

飞机电气线路互联系统仿真及试验验证技术

为了验证电气互联系统设计的准则和规范,对电气线路互联系统在设计研发阶段需要开展的仿真验证及试验验证的内容进行了分析。通过软件仿真与物理试验相结合的方法,验证电气线路互联系统电磁兼容、活动部位电缆安装、特殊区域线束安装、基于三维数模的隔离检查等方面的符合性。验证方法主要分为系统级试验、组件级试验及元器件材料及试验,重点对系统级试验及组件级试验进行描述。文中的分析方法全面客观,涵盖了现阶段电气互联系统的先进技术和方法,将为今后的进一步深入工作指明了方向。     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

电子飞控飞机的飞行品质适航验证

FAA AC25-7A中的飞行品质评定方法 (HQRM)能够对使用电子飞控系统的民用运输机进行飞行品质评估。分析了HQRM评估程序以及相关适航要求,根据某民用飞机飞控系统功能危险分析,针对单侧升降舵卡阻这一典型故障,提出了在该失效状态下的模拟器飞行品质评估试验程序,分别给出了HQRM和相应军用标准评估方法,对军民评估方法的差异性和一致性进行了分析。研究结果对采用电子飞控系统的现代飞机的飞行品质适航验证具有工程参考意义。