时钟变量

作品数：10被引量：29H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐建华李允张永悦孙瑜刘卓慧更多>>
相关机构：电子科技大学西南交通大学中国科学院软件研究所云南师范大学更多>>
相关期刊：《科学通报》《软件学报》《计算机工程》《钟表》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划云南省应用基础研究基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于分区的航电系统调度分析工具实现被引量：4
《计算机工程》2014年第4期42-47,共6页张永悦 云利军 孙瑜 
国家自然科学基金资助项目(60963020;60903131);教育部科学技术研究基金资助重点项目(210210);云南省应用基础研究计划基金资助面上项目(2009ZC0052M);云南省学术技术后备人才基金资助项目(2010CI042)
针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派...
关键词：多分区构架 两级调度模型 分区任务集 可调度性判定 仿真方法 时钟变量 
复杂实时系统可调度性判定工具的研究与实现被引量：4
《计算机工程》2013年第1期270-274,共5页张永悦 孙瑜 李允 徐建华 
国家自然科学基金资助项目(60903131);教育部科学技术研究基金资助重点项目(210210);云南省应用基础研究计划基金资助面上项目(2009ZC0052M);云南省学术技术后备人才基金资助项目(2010CI042)
针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度...
关键词：多处理器 多分区 实时系统 可调度性判定 仿真方法 时钟变量 
基于仿真方法的任务集可调度性判定工具被引量：1
《计算机工程》2012年第2期237-239,共3页徐建华 李允 
国家自然科学基金资助项目(90718019);国家"863"计划基金资助项目(2007AA010304)
针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判...
关键词：任务集 可调度性判定 时钟变量 周期任务 
基于单调速率的可调度性判定改进算法被引量：2
《计算机工程》2011年第22期45-47,共3页徐建华 李允 
国家自然科学基金资助项目(90718019);国家"863"计划基金资助项目(2007AA010304)
在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性...
关键词：实时调度 单调速率 任务集 可调度性判定 时钟变量 
用带时钟变量的线性时态逻辑扩充Object-Z被引量：1
《计算机应用研究》2009年第5期1764-1769,共6页文志诚 李长云 满君丰 
国家自然科学基金资助项目(60773110);湖南省教育厅科研项目(08c284;08c286)
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首...
关键词：OBJECT-Z 用带时钟变量的时态逻辑 实时系统 形式规格说明 形式验证 
时间机器:幻想还是礼物?
《自然杂志》2005年第3期178-181,共4页吴新忠 
关键词：时间机器 广义相对论 礼物 量子场论 物理理论 量子引力论 自组织机制 物理学研究 科学幻想 理论框架 理论证明 量子现象 时钟变量 量子波动 德布罗意 科幻小说 热力学 量子论 封闭 可能性 不相容 反常 热现象 引力场 负反馈 
带有时钟变量的线性时序逻辑与实时系统验证被引量：16
《软件学报》2002年第1期33-41,共9页李广元 唐稚松 
国家自然科学基金资助项目(60073020);国家九五重点科技攻关项目(98-780-01-07-01);国家863高科技发展计划资助项目(863-306-ZT02-04-1)~~
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系...
关键词：实时系统 线性时序逻辑 系统描述语言 性质验证 时钟变量 计算机控制系统 
一种异步计数器的设计方法
《科学通报》1997年第15期1672-1674,共3页杜永泰 刘卓慧 
数字电子技术中,设计一个时序电路的关键是根据状态转换图求出其状态方程和触发器的激励方程.异步计数器电路中,各触发器的时钟端不是连接在一起的,因而,要想由状态转换图求出各个触发器对于各自本身时钟的状态方程是比较困难的.在一般...
关键词：异步计数器 时钟变量 时序电路 设计 计数器 
设计异步计数器的一种方法
《钟表》1997年第1期11-13,共3页杜永泰 刘卓慧 
本文提出了采甩触发器对统一外时钟的状态方程来设计异步计数器的方法,明确了设计步骤,并给了设计实例。
关键词：异步计数器 时钟变量 电子钟 
一种分析异步计数器的方法被引量：3
《电子技术（上海）》1995年第10期23-24,共2页杜永泰 
本文介绍一种分析异步计数器的方法。文中引入了异步计数器时钟变量的概念，给出其计算方法，导出了异步计数器对统一外时钟的状态方程，并提出了用此状态方程分析异步计数器的方法和步骤，使异步计数器的分析得以简化。
关键词：异步计数器 时钟变量 时钟激励方程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部