论文部分内容阅读
本文给出了一种将基于AADL的可靠性分析模型转换为SPN的规则和方法,使可靠性分析自动进行的实现成为可能,从而减轻设计人员的负担.
基于AADL的可靠性分析模型的转换方法研究
【摘 要】
：
本文给出了一种将基于AADL的可靠性分析模型转换为SPN的规则和方法,使可靠性分析自动进行的实现成为可能,从而减轻设计人员的负担.
【机 构】
：
中航工业西安航空计算技术研究所,陕西西安710068
【出 处】
：
全国抗恶劣环境计算机第二十三届学术年会
【发表日期】
：
2013年期
其他文献
目的:探究在医院工作中实行数字化病案信息技术价值.方法:选取我院2015年4月～2017年8月79例工作管理记录作为对照组,另外选2017年9月～2019年9月本院79例工作记录作为观察组,并
抗美援朝战争期间,我在朝鲜整整呆了三年半,经历过立体火力的战场,也经历过停战谈判的会场。我曾被美机炸埋在地下达五小时才被挖了出来,也曾作为红十字会代表去过釜山济州
矽肺的发生和空气中粉尘浓度高低,以及粉尘中游离二氧化矽含量,有着密切的关系。为了评价综合性防尘措施效果,为国家制定卫生标准提供科学依据,为加强和提高防尘工作质量,更
目的:对高位肌间沟神经阻滞用于锁骨骨折手术麻醉的应用效果进行研究.方法:从2017年8月-2019年9月期间我院接收的锁骨骨折手术患者中抽选50名来作为研究对象并分成两组,对照
于道文教授是我国自动武器学科的主要创始人之一,著名教授与专家。1915年4月10日出生于山东省安丘县,1936年毕业于北平中法大学物理系,同年赴法留学,先后获得理学硕士与工艺
为了提高移动分布式计算系统的故障检测性能,基于MH-MSS-MH模型提出了一种基于互测对比的故障检测算法.该算法包括故障检测和故障诊断两部分,故障检测过程采用移动支持站和移
目的:研究妊高症剖宫产术应用不同麻醉方法的临床效果及可行性.方法:本次纳入2018年8月至2019年7月期间在本院进行剖宫产术的90例妊高症患者展开研究,按照简单随机化法进行分
通过分析现阶段高新技术武器装备的要求及特点,发现传统试验技术已不能很好的满足这种需求,为克服其不足,本文将研究一种新的试验方法——高加速寿命试验(HALT).通过对HALT技
软件需求是用户对软件系统的功能、行为、性能、设计约束等方面的期望,也是系统必须提供的能力和必须遵从的条件.本文分析现阶段需求的各种描述方法,针对嵌入式软件需求复杂
目的:对不对称双眼皮整形患者应用重睑术修复开展分析.方法:样本即为来源于来我院实施不对称双眼皮整形的94例患者,并分为参照组(实施传统切口术修复)和治疗组(实施重睑术修