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

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

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

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

一种基于小波技术的GPS/SINS组合导航技术及试验

GPS／SINS的组合被认为是比较理想的导航系统,是目前导航技术发展的主要方向。为了进一步提高GPS／SINS组合导航系统的精度,文章在介绍了小波去噪原理的基础上,提出了一种基于小波技术的GPS／SINS组合导航系统新方法,并通过实际的静态试验给予验证。试验结果表明,采用该方法以后,组合导航系统的各项导航参数精度得到了非常明显的提高。     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统,旨在民机研制过程中充分发挥自主适航的能力,通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能,以保证航空产品的设计或者设计更改满足适航当局的要求。其中,设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上,从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制,给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议,并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果,进而增强设计保证系统对飞机型号研制的保证作用。     

基于AFAS 软件的机翼壁板耐久性分析及试验验证

随着航空工业的发展,对机翼壁板耐久性分析的精确性及计算速度的要求日益提高,必须考虑从手工计算到程序计算的转变。飞机结构耐久性分析软件系统(AFAS)是为了满足飞机结构耐久性分析的工程实际使用要求而编制的。本文介绍采用该软件中包含的DFR方法计算程序对机翼壁板结构进行耐久性分析的过程,并进行试验验证,分析得到的机翼壁板结构具有95%置信度、95%可靠度的可靠性寿命与试验统计结果非常相近,证明AFAS是一个可以进行耐久性分析的快速准确的计算工具。     

反推状态下大涵道比涡扇发动机气动稳定性预测与评估

为了预测与评估反推状态下,反推气流再吸入对大涵道比涡扇发动机气动稳定性的影响,采用反推气流扰流流场三维CFD数值模拟、发动机整机稳定性计算分析以及反推状态下发动机进气畸变台架试验相结合的方法,开展了反推气流对大涵道比涡扇发动机气动稳定性影响的研究。通过三维CFD数值模拟手段,捕获了反推状态下发动机进口流场的畸变程度。在此基础上,通过采用稳定性计算程序预测了发动机的气动稳定性,并进一步通过发动机台架试验,验证了预测结果。CFD计算结果表明,随着相对来流马赫数的减小,反推气流被发动机重新吸入的可能性不断增大,当相对来流马赫数减小到0.05时,外侧发动机进口的流场畸变情况变得最为严重。进气畸变情况下的整机稳定性计算分析以及发动机台架试验结果表明,在所考核的目标状态,若只存在因反推气流再吸入引起的进口流场畸变,是不会导致发动机失稳的。     

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

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

热声载荷下薄壁结构振动响应试验验证与疲劳分析

由于热声环境下金属薄壁结构表现出复杂的大挠度强非线性振动响应特性,影响结构的疲劳性能与寿命,结合有限元法与降阶模态法对四边固支高温合金矩形薄壁结构的热声响应进行计算。结果研究发现:屈曲后结构出现跳变运动且应力循环呈三角状分布,热声载荷的相对强弱决定了跳变形式。采用改进雨流计数法、Morrow平均应力模型、Miner线性损伤累积理论计算热声疲劳寿命,屈曲前到临界屈曲时应力循环损伤量级显著增大,由10-5增大到10-4,寿命随温度增加呈先减小后增加趋势。开展薄壁结构热声试验,并将仿真计算结果与试验结果进行对比,结果表明结构的模态频率偏差不超过1Hz,动态应变响应结果的量值相当,验证了薄壁结构热声响应计算方法与模型的有效性。      

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

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

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