郑建仙
- 作品数:5 被引量:4H指数:1
- 供职机构:厦门大学信息科学与技术学院更多>>
- 发文基金:福建省农科院青年科技人才创新基金福建省自然科学基金广东省自然科学基金更多>>
- 相关领域:自动化与计算机技术交通运输工程更多>>
- 反射机制的安全核技术在微机联锁系统中实现被引量:1
- 2005年
- 软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保障概念,其实施技术是当前的研究热点之一。该文以研究基于反射机制的安全核技术为出发点,在分析铁路微机联锁系统故障行为的基础上,深入研究基于反射机制的安全核技术在铁路微机联锁系统中实现的可行性及关键技术,以期为这一类安全关键系统提供新的、更有效的安全保障技术支持。
- 陈亮黎忠文李堂秋郑建仙
- 关键词:微机联锁安全关键系统
- 微机联锁仿真系统及容错机制的设计
- 本课题设计和实现了微机联锁仿真系统中的联锁机子系统和基于检测点机制的内核容错系统。微机联锁仿真系统的成功开发,为研究联锁系统安全性等问题提供了一个良好的实验环境,对于车站工作人员的岗前培训,具有较大的使用价值。检测点机制...
- 郑建仙
- 关键词:微机联锁系统容错
- 文献传递
- 容错实时系统的内存管理优化方案及实现
- 2007年
- 探讨如何把抢占门限应用于具有优先级提升和内存受限的实时系统,并进一步研究了互不抢占组内,linux平台上基于增量检测点的内存备份/恢复的方法及原型系统的实现。原型系统采用了可扩展的链接方式作为检测点文件格式,使得数据更加紧凑有序;在内存的备份操作上,提出了“影子脏位”算法来识别两检测点之间有无被改变的部分。原型实验验证了所提出方法的有效性。
- 黎忠文郑建仙罗仁泽
- 关键词:内存管理
- 防危核技术在铁路微机联锁系统中的应用研究被引量:2
- 2005年
- 防危核是针对“新安全危机”问题而提出来的一种系统防危新概念。探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;根据系统防危需求,重点研究基于防危核的系统的实时调度问题,提出了基于检测点机制并提升补任务优先级的方法,改进了现有的实时调度算法;最后通过仿真实验验证了本方法的有效性。
- 郑建仙黎忠文陈亮
- 关键词:联锁系统防危核检测点
- 安全核技术在微机联锁系统中的实现
- 软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义。安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一。本文以研究安全核为出发点,深入分析基于反射机制的安全核...
- 陈亮黎忠文郑建仙
- 关键词:联锁安全核
- 文献传递