AADL模型可靠性分析评估工具

主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri网计算工具PIPE2(platform independent Petri net editor2),实现基于GSPN模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM工具的应用情况.

用于APLA→JAVA系统可靠性评估模型构建和分析

随着时代的发展,我国科技水平以及经济水平都得到了不断的发展和提高,软件在各个行业中都受到了极为广泛的应用,这也在一定程度上刺激了软件产业的发展和进步。在软件行业中,软件在研发和测试的过程中最重要一个难题就是软件的可靠性。因为程序语言具有一定的多样性以及复杂性,所以在对软件的可靠性进行测试的时候,一直找不到一个相对可靠的模型。因此,在这个基础上,结合APLA→JAVA系统的特点以及软件可靠性的工程理论,对一种用于软件可靠性的模型进行构建。本文通过对APLA→JAVA系统可靠性评估模型相关的置信区间以及参数评估,结合实际情况,对其在具体实施的可行性以及合理性进行简要分析。

电力系统继电保护可靠性评估及分析

目前,大型电力设备逐渐广泛应用于我国电力系统中,电力设备的运行稳定性与我们的生活息息相关。随着我国科学技术水平的不断提升,电力系统继电保护技术应用于电力系统中发挥了巨大的经济效益。文章将从继电保护可靠性评估及分析的基本内容和研究现状、可靠性指标及影响继电保护可靠性的因素和不同继电保护配置方案的可靠性评估及分析模型等方面进行分析。

空客飞机水平安定面驱动机构构造解析及其故障分析

通过对空客飞机水平安定面作动器(THSA)机械和液压机构的详细解析,逐步分析了THSA组件的原理、组成及其各部件功用。并结合某公司最近10年运行中的故障数据,进行定量和定性的数据分析,从而获得了运行延误故障概率值,并对故障从运行可靠性维度进行了分析评估,以获取其重要性级别。最终结合持续性适航维修项目,制定了相关维修检查工作的优先级别。

3/2隔离开关(双断口)母线环形接线研究与应用分析

针对双母线接线开关元件偏多的问题,受3/2断路器接线启发,本文提出3/2隔离开关母线环形接线。在双母线接线的气体绝缘金属封闭开关(GIS)设备扩建中,做交流耐压试验时要停双母线,本文引入双断口隔离开关,即采用一种全新的3/2隔离开关(双断口)母线环形接线,实现原运行线路不停电扩建。

产品导向的先进封装设计(英文)

在日益激烈竞争的电子工业中,高成本效益、高可靠性的电子封装方案不单是电子产品发展的主要驱动力,甚至往往成为当中的促成科技(EnablingTechnology),用于轻巧、细小的无线电/可携带式消费性电子产品中尤见适合。其中更理想的性能效益(cost/performanceratio)、更短的产品开发周期、集多功能于一身的消费性电子产品亦是崭新科技应用的主要原动力。要达到以上目标,相关的微电子封装方案与焊接技术的进步是不可或缺的:例如从金属线焊接技术发展到倒装芯片技术,及至近年的晶圆级封装技术;从外围焊接(peripheral)发展到数组焊接(area-array);从陶制基版发展到有机基版;从单芯片封装发展到复芯片封装的构装方案等。事实上,系统级封装比一般的封装方案拥有一定的优势。在报告中首先概述最近在系统级封装的发展情况与应用。另外,借此报告突显出跟供应链有关产业之间的密切协调是达到有效而迅速地执行系统级封装的关键。最后,在报告中进一步详述一个集顶尖封装设计、分析及可靠性评估技术的服务中心的好处,及如何对工业界从事原型设计发展到大量生产的协助。