检索结果-维普期刊中文期刊服务平台

飞机整机级系统安全性评估方法探讨被引量：13: 1; 作者宗蜀宁端木京顺 +1 位作者汪建华赵瑞贤《中国安全科学学报》 CAS CSCD 北大核心 2011年第10期125-130,共6页; 为提高飞机整机级系统安全性评估效果,在明确整机级系统安全性评估思想的情况下,详细描述了整机级系统安全性分析和整机级系统安全性验证的流程;运用故障树分析法和故障模式与影响分析法研究了能够满足整机级系统安全性要求的评估方法... 展开更多; 关键词系统安全性评估整机级两阶段指标分配法系统安全性分析系统安全性验证; 在线阅读下载PDF 职称材料

模型驱动的嵌入式系统设计安全性验证方法研究被引量：2: 2; 作者刘雪胡军 +3 位作者黄志球马金晶程桢石娇洁《计算机工程与科学》 CSCD 北大核心 2015年第8期1498-1509,共12页; 基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型... 展开更多; 关键词系统安全性分析模型驱动工程 SysML/MARTE 状态机模型嵌入式系统; 在线阅读下载PDF 职称材料

基于燃爆危险源评估法的安全性定量分析模型被引量：1: 3; 作者王耀华王亮 +2 位作者王云峰杨小强武光华《探测与控制学报》 CSCD 北大核心 2011年第3期56-59,64,共5页; 已有的燃爆危险源评估法不能完全适用于应急开启系统安全性定量分析,因此提出基于燃爆危险源评估法的应急开启系统安全性定量分析模型。该模型在考虑了应急开启系统自身及所处航空环境特点情形下,对原有的评估模型进行合理简化和变形。... 展开更多; 关键词系统安全性分析燃爆危险源评估法应急开启系统; 在线阅读下载PDF 职称材料

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究被引量：6: 4; 作者黄传林黄志球 +2 位作者胡军徐丙凤曲长亮《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页; 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 展开更多; 关键词嵌入式系统安全性分析 SysML活动图 MARTE 模型转换形式化方法; 在线阅读下载PDF 职称材料

城市轨道交通运营系统风险分析方法探讨被引量：9: 5; 作者叶庆辉李毅雄 +1 位作者陈波何同庆《中国安全生产科学技术》 CAS 2007年第5期92-95,共4页; 本文通过分析城市轨道交通运营系统风险特性,结合系统安全性分析理论,提出选用作业过程风险分析、事故树分析及事件树分析相结合的综合方法分析城市轨道交通运营风险,介绍了该综合性分析方法结合的思路与方法,并运用该方法分析了广州地... 展开更多; 关键词系统安全性分析作业过程风险分析事故树分析事件树分析城市轨道交通运营风险危险源; 在线阅读下载PDF 职称材料

多天线频谱共享CR-NOMA系统安全中断性能分析: 6; 作者吕铄嵇建波《电子测量技术》北大核心 2023年第17期71-78,共8页; 认知无线电(CR)非正交多址接入(NOMA)网络(记为CR-NOMA)已是无线通信领域的研究热点之一。由于无线信道的开放性,使得无线网络的安全通信成为当前急需解决的问题。该文研究了频谱共享多天线CR-NOMA网络安全中断性能,首先分析了最优天线... 展开更多; 关键词认知无线电非正交多址接入安全中断性能安全中断概率; 在线阅读下载PDF 职称材料

题名飞机整机级系统安全性评估方法探讨被引量：13: 1; 作者宗蜀宁端木京顺汪建华赵瑞贤; 机构空军工程大学工程学院北京航空工程技术研究中心飞行事故与失效分析研究室; 出处《中国安全科学学报》 CAS CSCD 北大核心 2011年第10期125-130,共6页; 文摘为提高飞机整机级系统安全性评估效果,在明确整机级系统安全性评估思想的情况下,详细描述了整机级系统安全性分析和整机级系统安全性验证的流程;运用故障树分析法和故障模式与影响分析法研究了能够满足整机级系统安全性要求的评估方法和关键技术。实例表明:整机级严酷等级评估方法能够定性地防止颠覆性的逻辑错误;功能故障树可以对安全性指标进行精确的分配和计算;结合故障树和故障模式与影响分析法而形成的两阶段指标分配法提高了个别安全性指标数值,但仍符合安全性要求。; 关键词系统安全性评估整机级两阶段指标分配法系统安全性分析系统安全性验证; Keywords system safety assessment aircraft level two-phrase index allocation method system safety analysis system safety validation; 分类号 X949 [环境科学与工程—安全科学]; 在线阅读下载PDF 职称材料

题名模型驱动的嵌入式系统设计安全性验证方法研究被引量：2: 2; 作者刘雪胡军黄志球马金晶程桢石娇洁; 机构南京航空航天大学计算机科学与技术学院南京大学计算机软件新技术国家重点实验室; 出处《计算机工程与科学》 CSCD 北大核心 2015年第8期1498-1509,共12页; 基金国家重点基础研究发展计划973计划资助项目(2014CB744904) 国家自然科学基金资助项目(61100034 +2 种基金 61170043) 回国留学人员科研启动基金资助项目(2012); 文摘基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。; 关键词系统安全性分析模型驱动工程 SysML/MARTE 状态机模型嵌入式系统; Keywords system safety analysis model-driven engineering SysML/MARTE state machine model embedded system; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于燃爆危险源评估法的安全性定量分析模型被引量：1: 3; 作者王耀华王亮王云峰杨小强武光华; 机构解放军理工大学工程兵工程学院; 出处《探测与控制学报》 CSCD 北大核心 2011年第3期56-59,64,共5页; 基金国家重大工程专项资助(KY-ZT-2008-004); 文摘已有的燃爆危险源评估法不能完全适用于应急开启系统安全性定量分析,因此提出基于燃爆危险源评估法的应急开启系统安全性定量分析模型。该模型在考虑了应急开启系统自身及所处航空环境特点情形下,对原有的评估模型进行合理简化和变形。重新建立的模型从事故发生概率和事故后果严重程度两方面进行分析,具有获取参量方便、计算过程简单的特点。运用该模型,计算了采取安全改造措施前后应急开启系统危险度的达标情况,与实际情况具有较好的一致性。由此可见,该模型为系统的安全性设计方案的选择提供了一种定量分析方法。; 关键词系统安全性分析燃爆危险源评估法应急开启系统; Keywords system safety analysis explosion hazard assessment method emergency opening system; 分类号 TJ43 [兵器科学与技术—火炮、自动武器与弹药工程]; 在线阅读下载PDF 职称材料

题名基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究被引量：6: 4; 作者黄传林黄志球胡军徐丙凤曲长亮; 机构南京航空航天大学计算机科学与技术学院南京大学计算机软件新技术国家重点实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页; 基金国家自然科学基金项目(61100034 61170043)资助 +2 种基金中央高校基本科研业务费专项资金(CXZZ11_0218)资助; 文摘能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.; 关键词嵌入式系统安全性分析 SysML活动图 MARTE 模型转换形式化方法; Keywords analysis of embedded system SysML activity diagram MARTE model transformation formal method; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名城市轨道交通运营系统风险分析方法探讨被引量：9: 5; 作者叶庆辉李毅雄陈波何同庆; 机构广州市地下铁道总公司运营事业总部; 出处《中国安全生产科学技术》 CAS 2007年第5期92-95,共4页; 文摘本文通过分析城市轨道交通运营系统风险特性,结合系统安全性分析理论,提出选用作业过程风险分析、事故树分析及事件树分析相结合的综合方法分析城市轨道交通运营风险,介绍了该综合性分析方法结合的思路与方法,并运用该方法分析了广州地铁1、2、3、4号线运营风险。; 关键词系统安全性分析作业过程风险分析事故树分析事件树分析城市轨道交通运营风险危险源; Keywords system safety analysis, working process risk analysis, fault tree analysis, incident tree analysis, operation risk of urban rail transit, dangerous source; 分类号 TU94 [建筑科学—建筑技术科学]; 在线阅读下载PDF 职称材料

题名多天线频谱共享CR-NOMA系统安全中断性能分析: 6; 作者吕铄嵇建波; 机构桂林电子科技大学电子工程与自动化学院桂林航天工业学院电子信息与自动化学院; 出处《电子测量技术》北大核心 2023年第17期71-78,共8页; 基金国家自然科学基金(61650103) 广西自然科学基金(2018GXNSFAA281161)项目资助。; 文摘认知无线电(CR)非正交多址接入(NOMA)网络(记为CR-NOMA)已是无线通信领域的研究热点之一。由于无线信道的开放性,使得无线网络的安全通信成为当前急需解决的问题。该文研究了频谱共享多天线CR-NOMA网络安全中断性能,首先分析了最优天线选择(OAS)方案的安全中断概率(SOP),并推导了其精确的闭合表达式。其次,分析了空时传输(STT)方案的SOP,并推导了其精确的闭合表达式。最后,对次用户两种方案的SOP渐近性能进行了分析,揭示了系统参数对SOP的影响。最后,采用Monte Carlo仿真验证了理论分析的正确性。研究发现,两种方案基站分别存在一个最优峰值发射功率,使得远距离次用户的安全中断性能最佳。仿真结果表明增大基站峰值发射功率,OAS方案的近距离次用户的SOP会始终优于STT方案,远距离次用户的SOP会劣于STT方案。; 关键词认知无线电非正交多址接入安全中断性能安全中断概率; Keywords cognitive network non-orthogonal multiple access secrecy outage performance secrecy outage probability引用本文吕铄,嵇建波.多天线频谱共享CR-NOMA系统安全中断性能分析[J].电子测量技术,2023,46(17):71-78复制分享0文章指标点击次数:16下载次数:63 HTML阅读次数:0历史; 分类号 TN929.5 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	飞机整机级系统安全性评估方法探讨	宗蜀宁端木京顺汪建华赵瑞贤	《中国安全科学学报》 CAS CSCD 北大核心	2011	13	在线阅读下载PDF 职称材料
2	模型驱动的嵌入式系统设计安全性验证方法研究	刘雪胡军黄志球马金晶程桢石娇洁	《计算机工程与科学》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
3	基于燃爆危险源评估法的安全性定量分析模型	王耀华王亮王云峰杨小强武光华	《探测与控制学报》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
4	基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究	黄传林黄志球胡军徐丙凤曲长亮	《小型微型计算机系统》 CSCD 北大核心	2015	6	在线阅读下载PDF 职称材料
5	城市轨道交通运营系统风险分析方法探讨	叶庆辉李毅雄陈波何同庆	《中国安全生产科学技术》 CAS	2007	9	在线阅读下载PDF 职称材料
6	多天线频谱共享CR-NOMA系统安全中断性能分析	吕铄嵇建波	《电子测量技术》北大核心	2023	0	在线阅读下载PDF 职称材料