您的位置： 专家智库 > >

福建省农科院青年科技人才创新基金(2003J020)

作品数：8 被引量：11H指数：2
相关作者：黎忠文陈亮郑建仙熊光泽姚绍文更多>>
相关机构：厦门大学电子科技大学云南大学更多>>
发文基金：福建省农科院青年科技人才创新基金福建省自然科学基金云南省自然科学基金更多>>
相关领域：自动化与计算机技术电子电信自然科学总论更多>>

文献类型

  • 8篇期刊文章
  • 1篇会议论文

领域

  • 5篇自动化与计算...
  • 2篇电子电信
  • 1篇交通运输工程
  • 1篇自然科学总论

主题

  • 4篇微机联锁
  • 4篇微机联锁系统
  • 4篇联锁
  • 4篇联锁系统
  • 3篇安全关键系统
  • 3篇安全核
  • 3篇检测点
  • 2篇实时系统
  • 2篇防危核
  • 2篇DMR
  • 2篇DVS
  • 1篇队列
  • 1篇硬实时
  • 1篇硬实时系统
  • 1篇容错
  • 1篇铁路
  • 1篇嵌入式
  • 1篇嵌入式实时系...
  • 1篇主动队列
  • 1篇主动网

机构

  • 8篇厦门大学
  • 2篇电子科技大学
  • 1篇云南大学

作者

  • 8篇黎忠文
  • 4篇陈亮
  • 3篇郑建仙
  • 1篇姚绍文
  • 1篇熊光泽
  • 1篇蒋业逢
  • 1篇李堂秋
  • 1篇李乐民

传媒

  • 2篇计算机科学
  • 1篇电子学报
  • 1篇南京大学学报...
  • 1篇四川大学学报...
  • 1篇电子科技大学...
  • 1篇计算机工程与...
  • 1篇铁路计算机应...

年份

  • 3篇2006
  • 3篇2005
  • 3篇2004
共 8 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
反射机制的安全核技术在微机联锁系统中实现被引量：1
2005年
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保障概念,其实施技术是当前的研究热点之一。该文以研究基于反射机制的安全核技术为出发点,在分析铁路微机联锁系统故障行为的基础上,深入研究基于反射机制的安全核技术在铁路微机联锁系统中实现的可行性及关键技术,以期为这一类安全关键系统提供新的、更有效的安全保障技术支持。
陈亮黎忠文李堂秋郑建仙
关键词：微机联锁安全关键系统
主动网络资源动态协商机制的研究被引量：1
2004年
从通信服务集和安全性这两个关键角度探讨了主动网络中采用资源动态协商机制的重要性。在此基础上建立了主动队列模型作为资源协商之地;同时设计了资源分配算法和资源价格凸函数,让用户直接参与资源协商,自主地共享节点资源。通过OPNET进行仿真实验,实验中设计了资源动态协商和非协商两种方案,从队列长度、包延迟等方面说明了前者的优势。
黎忠文李乐民黎忠秀
关键词：主动网络主动队列资源价格
基于能量件和DMR的最佳检测点间隔设置的研究
2005年
基于DMR(Double modular redundancy),提出了DVS(Dynamic voltage scaling)技术与比较存贮检测点(CSCP)、存贮检测点(SCP)、比较检测点(CCP)三类检查点的集成方案.同时应用概率知识分别导出该方案完成实时任务所需的平均执行时间,以及使平均执行时间最短的最佳检测点数.最后,通过实例对采用DVS技术前后系统的性能进行了分析和比较,验证了本方案的优越性.
蒋业逢黎忠文
关键词：DMRDVS
基于防危核(壳)的安全关键硬实时系统响应时间的分析被引量：4
2006年
基于响应时间的可调度分析是设计硬实时系统的基础.防危核(壳)是安全关键硬实时系统的一种新防危措施,现有的普适响应时间分析方法不能适用于这类系统.本文的贡献在于采用检测点时间冗余容错和优先级提升思想,通过分析内/外错误、隐/显错误,提出了一种合适的响应时间分析方法,从而为这类系统提供有效的离线可调度分析工具,同时也为这类系统设计了一种基于检测点的容错方案.本方法稍作修改也可为其它安全关键系统服务.最后通过仿真实验验证了本方法的有效性和优越性.
黎忠文陈亮熊光泽
关键词：安全关键系统容错检测点
安全核技术在微机联锁系统中的实现
2004年
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义.安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一.本文以研究安全核为出发点,深入分析基于反射机制的安全核实现方式以及安全策略调度问题实现的可行性和关键技术,以期为这类安全关键系统提供新的,更有效的安全保障技术支持.
陈亮
关键词：联锁安全核
软件安全核的可信性问题被引量：2
2006年
软件的大量应用,使控制系统面临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题,测试和限制安全核尺寸是当前采用的方法,它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质;结合安全关键系统的基本构架,提出了从安全需求分析开始到安全核生成过程中,如何通过形式化的方法来提高安全核可信性的方法,为安全核技术在复杂系统中的应用提供了一种新思路;以交通灯控制为例全过程地实现和验证了所提出思想的正确性和可行性。
黎忠文姚绍文
关键词：安全核安全关键系统交通灯安全保障技术控制系统复杂系统
防危核技术在铁路微机联锁系统中的应用研究被引量：2
2005年
防危核是针对“新安全危机”问题而提出来的一种系统防危新概念。探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;根据系统防危需求,重点研究基于防危核的系统的实时调度问题,提出了基于检测点机制并提升补任务优先级的方法,改进了现有的实时调度算法;最后通过仿真实验验证了本方法的有效性。
郑建仙黎忠文陈亮
关键词：联锁系统防危核检测点
安全核技术在微机联锁系统中的实现
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义。安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一。本文以研究安全核为出发点,深入分析基于反射机制的安全核...
陈亮黎忠文郑建仙
关键词：联锁安全核
文献传递
嵌入式实时系统容错集成技术的研究被引量：1
2006年
本文提出了一种用于嵌入式实时系统的集成检查点回卷、任务重复和 DVS 的容错方法。该方法支待处理器速度的在线调整,并根据系统的特点,分别插入额外的 SCP 或 CCP 点,有效使用检查点的存贮和比较功能,减少任务的执行时间,提高系统性能。通过概率原理导出了该方法任务的平均执行时间。仿真结果表明在 DMR 系统上,与原有的方法相比,所提出的方法明显减少了任务的平均执行时间。在此基础上,进一步提出了可适配处理器速度的算法,在减少任务执行时间的同时又节约系统能源。本文研究成果也可用于其它任务重复系统,如 TMR-F、DMR-F-1和 RFCS 等。
黎忠文
关键词：嵌入式实时系统
全选 清除 导出
共1页<1>
聚类工具0