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

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

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

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

内埋式模型操纵面自动变角度系统研制

针对风洞试验模型操纵面角度的改变,开发了内埋式自动变角机构及控制系统,对控制角度进行了地面校准,并采用三角翼模型进行了风洞常规测力实验、重复性实验和操纵面效率试验。结果表明,采用自动变角机构改变操纵面角度的试验精准度均较高,完全满足国军标的要求,说明本操纵面自动变角系统的研制是成功的,在风洞试验中可以代替人工更换角度片方式,大大提高实验效率。     

PWM型电压调节器单粒子效应及加固技术研究

机理分析和地面重离子试验显示,受高能粒子影响,脉宽调制型（Pulse\|Width Modulation,PWM）电压调节器容易产生单粒子瞬态（Single Event Transient,SET）和功能失效。文章分析了可能产生上述异常的原因,提出了一些抗单粒子效应改进设计建议,最后给出了一种基于器件冗余的系统级SEE防护设计方案,在实验室环境下模拟验证了此方案对单粒子效应防护的有效性。该方案可以为有关航天电子设备设计提供参考。
     

一种基于可靠性数学的电磁兼容性分析方法研究

以系统可靠性预计理论为切入点,分析系统可靠性与系统级电磁兼容性的关联性。分析基于电磁干扰"三有限"和可靠性"三规定"的电磁兼容性预测方法。初步建立系统级电磁兼容性指标和性能降级的准则,给出包括串联、并联、混联等几种典型的系统电磁兼容预测模型和预测方法,最后得出基于可靠性预计理论的系统级电磁兼容预测公式,进而为预测电磁兼容性奠定了条件。采用所提方法对某军用计算机系统进行系统级的电磁兼容性预测,预测结果证明了方法的有效性及可实施性。     

A method of multi-objective reliability tolerance design for electronic circuits

Tolerance design plays an important role in reliability design for electronic circuits. The traditional method only focuses on the consistency of output response. It is not able to meet the needs of increasing development of electronic products. This paper researches the state of related fields and proposes a method of multi-objective reliability tolerance design. The characteristics of output response and operating stresses on critical components are both defined as design objectives. Critical components and their operating stresses are determined by failure mode and effect analysis (FMEA) and fault tree analysis (FTA). Sensitivity analysis is carried out to determine sensitive parameters that affect the design objectives significantly. Monte Carlo and worst-case analysis are utilized to explore the tolerance levels of sensitive parameters. Design of experiment and regression analysis are applied in this method. The optimal tolerance levels are selected in accord with a quality-cost model to improve consistency of output response and reduce failure rates of critical components synchronously. The application in light-emitting diode (LED) drivers indicates details and potential. It shows that the proposed method provides a more effective way to improve performance and reliability of electronic circuits.     

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

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

嫦娥二号卫星CCD立体相机设计与验证

介绍了嫦娥二号卫星CCD立体相机的设计思想与结果、发射前检测与地面推扫成像试验.嫦娥二号卫星CCD立体相机仍采用与嫦娥一号相同的线阵推扫成像模式,但嫦娥二号卫星CCD立体相机的技术指标要求大幅度提高,主要表现为地元分辨率由嫦娥一号的120m提高为嫦娥二号在100km圆轨上优于7m与在100km/15km椭圆轨道近月弧段...     

考虑应力松弛的涡扇发动机高压涡轮持久寿命可靠性

建立了考虑应力松弛的持久寿命可靠性分析方法及公式。采用3维接触有限元模型,获得涡轮盘叶弹塑性应力应变场,筛选了某高压涡轮的危险部位。对涡轮危险部位进行了考虑应力松弛影响的持久寿命可靠性分析。分析结果表明所建立的分析方法及公式具有足够高的精度。在涡轮部件持久寿命可靠性分析时采用考虑蠕变松弛的概率寿命分析方法是非常重要的。     

基于单循环方法的涡轮叶片可靠性及多学科设计优化

为了得到适用于涡轮叶片复杂结构并同时考虑可靠性的多学科设计优化方法,将基于单循环方法的可靠性分析（SLBRA）与并行子空间设计优化方法 （CSSO）相结合,提出了一种基于可靠性的多学科设计优化（RBMDO）方法。在优化过程中使用Kriging近似模型并不断提高模型精度。该方法在计算最可能失效点（MPP）的过程中避免了优化迭代,提高了计算效率。以涡轮叶片的设计优化为例,对该方法进行了验证并与传统双循环方法进行了对比。结果表明,优化结果满足可靠性的要求,与双循环方法相比优化效率明显提高,证明了该方法在工程应用中的可行性和有效性。