基于航电系统架构模型的安全性分析工具的设计与实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户:mylocoy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完
其他文献
从杭州园布局、园林建筑、园林植物、园林水景观等方面,全面论述了杭州园的营造手法和景观特色。
全球3G发展步入了快车道,据信息产业部电信研究院资料统计,截至2007年6月,从3G许可证的发放情况看,全球共颁发了207张3G许可证,其中,今年上半年共发放了12张且全部来自发展中国家和
<正>【教学背景】作为主题教学四种课型样态之一的主题实践活动,本课在设计过程中力图寻找儿童生长的契合点与生命的生长点,以实践活动的方式促进课堂学习与学生的生活相联系
今年是中国网通的“奥运决战之年”,为此,中国网通开展了“中国网通宽带奥运中国行”活动,通过社区行、校园行、乡镇行、城市行以及组织优质客户进行的“奥运之旅”系列活动,让现
最后通牒博弈是研究公平决策的经典实验范式,大量研究表明在最后通牒中由于违反了公平预期,个体会拒绝不公平提议。一些研究者借助于脑电技术发现,不公平提议会诱发出更大的
是什么使一个企业不被击倒?创新求异助力企业走向成功!超前思路引导企业不断前行!
当前,我国虽然大面积推广水稻测土配方施肥多年,但至今找不到系统地生产单位产量稻谷需肥指标依据或是单位面积生产稻谷需肥指标依据。另外,蔬菜生产无公害化问题也是当务之急。
针对40mT形组合梁在预应力张拉时出现的侧弯变形进行原因分析,找出症结所在,提出相应的技术处理方案,有效地保证了现场预制梁的质量。