期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一个操作系统不确定性的讲解实例
1
作者 顾剑 《海南大学学报（自然科学版）》 CAS 2006年第1期90-96,共7页
用一个简洁的C程序,实际演示1+1!=2,到达用程序来证明操作系统不确定性问题.
关键词 操作系统教学 操作系统的不确定性 C程序
下载PDF
嵌入式控制状态转移的确定性实时语义 被引量：5
2
作者 王剑平 张云生 +1 位作者 张果 张晶 《控制与决策》 EI CSCD 北大核心 2014年第1期83-88,共6页
嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程,采用超致密时间(SDT)标签表示事件的实时性,描述一种自然表达时间的实时状态转移语义模型;证明事件实时标签是时间值上的偏序函数,实时事件的状态转移顺序与对应的非实时过程一... 嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程,采用超致密时间(SDT)标签表示事件的实时性,描述一种自然表达时间的实时状态转移语义模型;证明事件实时标签是时间值上的偏序函数,实时事件的状态转移顺序与对应的非实时过程一样;针对状态转移轨迹中的实时约束条件,把非实时过程上的操作扩展到实时过程,得到确定性的操作执行顺序.一个控制横毛织机编织运动的实例表明了语义表达的有效性. 展开更多
关键词 嵌入式控制 状态转移 超致密时间 实时约束 确定性操作
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部