防危核

作品数：8被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黎忠文熊光泽桑楠杨仕平陈亮更多>>
相关机构：电子科技大学厦门大学北京交通大学株洲中车时代电气股份有限公司更多>>
相关期刊：《电子科技大学学报》《现代工业经济和信息化》《电子学报》《系统仿真学报》更多>>
相关基金：福建省自然科学基金福建省农科院青年科技人才创新基金中国人民解放军总装备部预研基金国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
防危核技术在列控车载设备软件中的应用研究
《现代工业经济和信息化》2017年第23期26-27,共2页许进 夏涛 曾贤福 罗丽燕 
阐述了防危核的基本原理及优势,详细分析了防危核在列控车载设备软件中的应用,通过模拟列控车载设备模式转换外部条件对防危核的验证功能及资源消耗进行了测试,可有效提升复杂控制系统的安全性和可用性,有广阔的运用前景。
关键词：防危核 软件故障 列控车载设备 软件 
安全关键系统中防危策略的设计技术研究
《电子科技大学学报》2006年第S1期706-709,共4页杨霞 熊光泽 袁继敏 刘锦德 
国家"十五"基金资助项目(41315040106)
为保障安全关键系统的正常运行,防止由用户对安全关键设备的误操作引起的系统故障,该文提出了一种通用的安全关键系统防危体系结构和防危策略模型,并以核能发电控制系统为原型研究了一种基于有限自动机的防危策略设计技术,该技术可推广...
关键词：安全关键系统 防危中间层 防危核 防危策略 有限状态机 
基于防危核(壳)的安全关键硬实时系统响应时间的分析被引量：3
《电子学报》2006年第4期647-652,共6页黎忠文 陈亮 熊光泽 
福建省2003年青年科技人才创新基金(No.2003J020);福建省2004年自然科学基金(No.A0410004);厦门大学院士基金(No.0630-E23011);厦门大学新世纪优秀人才支持基金(No.0000-X07116);厦门大学985二期信息创新平台项目(No.2004-2007)
基于响应时间的可调度分析是设计硬实时系统的基础.防危核(壳)是安全关键硬实时系统的一种新防危措施,现有的普适响应时间分析方法不能适用于这类系统.本文的贡献在于采用检测点时间冗余容错和优先级提升思想,通过分析内/外错误、隐/显...
关键词：防危核(壳) 安全关键系统 容错 检测点 响应时间分析 
防危核一致性保障技术的研究
《系统工程与电子技术》2006年第3期393-398,共6页黎忠文 熊光泽 
福建省2004年自然科学基金(A0410004);厦门大学新世纪优秀人才基金(0000-X07116);厦门大学院士引进基金(0630-E23011)资助课题
通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全...
关键词：防危核 理想防危策略 安全系统 
防危核技术在铁路微机联锁系统中的应用研究被引量：1
《铁路计算机应用》2005年第6期13-15,共3页郑建仙 黎忠文 陈亮 
福建省青年科技人才创新基金(2003J020);福建省2004年自然科学基金(A0410004)。
防危核是针对“新安全危机”问题而提出来的一种系统防危新概念。探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;根据系统防危需求,重点研究基于防危核的系统的实时调度问题,提出了基于检测点机制并提升补任务优先...
关键词：联锁系统 防危核 反射 检测点 优先级 
基于多级关键度的高可信安全关键系统被引量：2
《系统工程与电子技术》2004年第2期277-282,共6页杨仕平 桑楠 吴新勇 熊光泽 
国家"十五"基金(41315040106);国防科技预研基金(2000J6.7.1.DZ0206)资助课题
为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守...
关键词：安全关键系统 多级关键度 防危核 反射技术 安全保障机制 信息安全 计算机安全 
安全关键系统的防危性技术研究被引量：9
《电子科技大学学报》2003年第2期164-168,共5页杨仕平 熊光泽 桑楠 
总装部预研基金项目;编号:2000J6.7.1.DZ0206
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了...
关键词：安全关键系统 防危性 防危核 反射 可信性 OpenC++ 防危机制 软件 
分布式控制系统防危体系的设计与实现
《系统仿真学报》2001年第S2期458-462,466,共6页黎忠文 李乐民 
"十五"预研项目
软件的大量应用使大型分布式控制系统面临严峻的防危考验,迫切需要新的防危技术。防危核就是应运而生的一种新防危保障技术。本文探讨了把防危核技术直接移用于大型分布式控制系统存在的困难,首次提出了建立分布式控制系统防危体系的设...
关键词：分布式控制系统 防危核 防危体系 防危策略 安全核 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部