丁万夫
- 作品数：23 被引量：62H指数：5
- 供职机构：中国科学院沈阳计算技术研究所更多>>
- 发文基金：国家科技重大专项中国科学院知识创新工程重要方向项目国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术金属学及工艺机械工程更多>>
- RTAI混合任务调度器的设计与实现
- 2010年
- 针对RTAI系统只能调度单一类型任务的问题,提出一种可调度多类型任务的混合任务调度器。该调度器支持CBS调度策略,并采用LXRT机制关联软实时任务和CBS服务器,根据服务器调度策略对软实时任务进行调度。实验结果表明,该混合任务调度器在保证硬实时任务正常运行的同时提高了软实时任务的服务水平。
- 王保胜马跃吴文江秦承刚丁万夫
- 容错优先级可提升的抢占阈值容错调度算法被引量：5
- 2011年
- 基于软件容错模型,提出了允许容错优先级提升的抢占阈值容错调度算法(extended fault-tolerantfixed-priority with preemption threshold,简称FT-FPPT*).该算法能够在抢占式容错调度算法(fault-tolerantfixed-priority preemptive,简称FT-FPP)和抢占阈值容错调度算法(fault-tolerant fixed-priority with preemptionthreshold,简称FT-FPPT)无法提高系统容错能力的情况下,进一步提高系统的容错能力.为了获得系统中任务优先级分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的优先级配置搜索算法(priorityassignment search algorithm,简称PASA).经过深入分析和实验证明,与FT-FPPT算法相比,FT-FPPT*算法能够有效地提高硬实时系统的容错能力.
- 丁万夫郭锐锋秦承刚刘娴郭凤钊
- 关键词：实时系统容错调度抢占阈值调度可调度性分析
- 回卷恢复模型下容错实时系统的可调度性分析被引量：2
- 2013年
- 实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.
- 郭锐锋刘娴丁万夫李杰王鸿亮
- 关键词：实时系统可调度性分析回卷恢复
- 基于软件容错的抢占阈值调度算法设计与仿真被引量：2
- 2012年
- 为了提高硬实时系统的容错能力,同时减少任务间的抢占次数,基于软件容错模型提出了抢占阈值容错调度算法(FT-FPPT).为了获得系统中任务抢占阈值分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的抢占阈值配置搜索算法(PTCSA).PTCSA算法能够将搜索空间由O(n!)减少到O(n 2),其中n为任务的个数.最后给出了该算法的最优性证明.仿真实验表明,抢占阈值容错调度算法能够在抢占式容错调度算法的基础上,进一步提高系统的容错能力。
- 丁万夫郭锐锋刘娴秦承刚郭凤钊
- 关键词：硬实时系统容错调度抢占阈值
- 改进的八叉树模型在3D刀轨显示系统中的应用被引量：4
- 2010年
- 在传统的八叉树模型的基础上增加了扩展八叉树结点,同时引入了混合式的八叉树数据结构,并将它们应用到数控加工的三维刀轨显示系统中;叙述了实体从B-rep表示法转换为相应的改进型八叉树模型的方法,并在这种改进的八叉树模型的基础上完成对零件加工过程的实时性仿真;最后通过运行实际的数控加工程序证明该算法的可行性和有效性.
- 郭锐锋刘春辉丁万夫
- 关键词：刀具轨迹
- 基于Lebesgue采样的动态反馈实时调度模型被引量：4
- 2010年
- 提出一种基于Lebesgue采样方法和弹性调度算法的动态反馈实时调度模型。通过调整实时任务的执行速率,使软实时系统的系统负载始终保持在参考值以下。利用硬件看门狗技术在系统过载时产生中断,实现基于事件的Lebesgue采样。在实时操作系统RTAI中实现该调度模型,并对模型的暂态性能和稳态性能进行分析验证。实验结果表明,该模型不仅保持了系统的稳定性,还能显著降低调度算法的系统开销。
- 秦承刚于东吴文江丁万夫胡毅
- 基于回卷恢复的容错硬实时系统可调度性分析被引量：1
- 2011年
- 在硬实时系统中,由于任务超时完成将会导致灾难性后果,因此硬实时系统必须具有实时性和可靠性保障。为了提高硬实时系统的容错能力,基于回卷恢复模型提出了允许容错优先级提升的分配策略。为了获得系统中容错优先级分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的容错优先级配置搜索算法(fault-tolerant priority configuration search algorithm,FTPCSA)。该算法能够将搜索空间由O(n!)减少到O(n2)。最后给出了该算法的最优性证明。经过深入分析和实验证明,允许容错优先级提升的分配策略能够在容错优先级继承策略的基础上,进一步提高系统的容错能力。
- 丁万夫郭锐锋赵进刘娴李杰
- 关键词：回卷恢复硬实时系统可调度性分析检查点
- 面向数控系统的三级调度模型研究被引量：3
- 2011年
- 针对硬实时系统中多种类型任务并存的特点,提出一种三级实时调度模型--TLRtS(three-level real-time scheduling).该模型将整个系统空间划分为硬实时、软实时和非实时空间,分别用来处理硬实时、软实时和非实时任务.TLRtS模型不仅可以动态加载多种实时调度算法,还可以集成相应的资源访问控制协议,解决了任务之间存在资源竞争的问题.实验结果表明,此方法既保证了所有硬实时任务严格按照其时间约束在截止期前完成,又尽可能地提高了软实时和非实时任务的服务质量.
- 丁万夫郭锐锋高甜容秦承刚
- 关键词：实时系统数控系统实时调度服务器服务质量
- 软件PLC梯形图开发系统的研究与实现被引量：1
- 2010年
- 软件PLC技术是工业自动化领域兴起的一项基于PC的控制技术。结合数控系统用户实际需求,同时为了减少用户在使用产品上的差异,在Windows平台上设计实现了基于IEC61131-3标准的软件PLC梯形图开发系统。首先介绍了系统整体结构设计,主要模块包括梯形图编辑、语法检查、梯形图向文本化指令表语言的转换、指令表程序的编译,接着详细介绍了各个模块的实现方法,并用实例验证了开发系统的正确性,从而保证梯形图程序经过转换和编译过程后得到预期的目标代码。
- 郭书杰马跃王品丁万夫
- 关键词：软件PLC梯形图指令表IEC61数控系统
- 基于优先级混合策略的回卷恢复容错实时系统的可调度性被引量：3
- 2012年
- 实时系统具有严格的实时性及高度的可靠性要求。考虑到系统可能出错的情况,对回卷恢复容错模型下实时系统的可调度性进行了研究,提出了容错优先级混合策略,并推导出该策略下任务最坏响应时间的计算公式。结合系统的可调度性分析,提出了混合策略的优先级配置搜索算法(FTPCS_MS算法),该算法将最优容错优先级混合配置的搜索空间由O(nn)降低为O(n2)。仿真实验表明,容错优先级混合策略能够在继承策略的基础上进一步提升系统的容错能力。
- 刘娴郭锐锋丁万夫
- 关键词：计算机系统结构容错实时系统回卷恢复可调度性分析
