张永悦
- 作品数：4 被引量：9H指数：2
- 供职机构：云南师范大学信息学院更多>>
- 发文基金：云南省应用基础研究基金教育部科学技术研究重点项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于分区的航电系统调度分析工具实现被引量：4
- 2014年
- 针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间,设计优化的调度分析算法,判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性。测试及实例分析结果表明,该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性,并能以甘特图的方式绘制系统调度过程,较现有工具更为直观、高效。
- 张永悦云利军孙瑜
- 关键词：可调度性判定仿真方法时钟变量
- 基于仿真的实时系统可调度性分析工具的研究与实现
- 随着计算机技术的飞速发展，嵌入式系统已广泛应用于科技生产及日常生活的各个领域，伴随而来的系统功能需求及复杂度也日益增大。与通用计算机系统相比，应用于不同领域的嵌入式专用系统，对系统的实时性、可靠性、稳定性的要求较高，尤其...
- 张永悦
- 关键词：实时系统多处理器可调度性分析
- 文献传递
- 复杂实时系统可调度性判定工具的研究与实现被引量：4
- 2013年
- 针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度性。测试结果及实例分析表明,该工具能自动、准确、快速地判定任务集的可调度性,并以甘特图的方式绘制任务调度过程,较现有工具更为高效、直观。
- 张永悦孙瑜李允徐建华
- 关键词：多处理器实时系统可调度性判定仿真方法时钟变量
- 基于本体的汉语时态知识库初步构建研究
- 2013年
- 在英汉互译的翻译系统中,时态转换还存在诸多的缺陷,汉语时态的确定也是汉语信息处理中的一个难点。本文提出了一种基于OWL来构建汉语时态知识库的方法,在实现知识共享和重用的同时,也提高了翻译效率和准确性。
- 于营张永悦
- 关键词：本体知识库OWL
