【摘 要】
：
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzing
【机 构】
：
中国科学技术大学计算机科学与技术学院
论文部分内容阅读
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET（Logical Execution Time）编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM（Servant/Exe-Flow Model）和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描
其他文献
[目的]总结外伤性鼓膜穿孔行贴补术病人的护理措施。[方法]回顾性分析64例外伤性鼓膜穿孔行贴补术病人的临床资料。[结果]本组未愈合1例,未愈合但穿孔较术前缩小2例,愈合61例
目的:根据大网膜的解剖和生理特点,采用大网膜带蒂移植填塞残腔,增加局部血运,修复胆汁瘘促进残腔愈合;方法:肝包虫内囊摘除后,用28%盐水及抗生素冲洗,缝合显露胆汁漏,将大网
目的:分析讨论口腔鳞癌与年龄、性别、职业及血型的关系;方法:查阅1988年5月至2000年2月间在我院工作和学习中遇到的341例口腔鳞癌病历,分别记录每位患者的年龄、性别、职业
通过坚持合理用药、心理护理、饮食指导、定期监测血压和定期检查身体的方法，提高了高血压病用药质量，使高血压病病人的血压控制在理想范围，降低了高血压病并发症的发生率。
本文从四个方面就R／S分析法及其在金融市场中的应用进行了解构：（1）R／S法的基本要点和具体操作步骤；（2）运用R／S法分析金融市场非线性特性和演化规律的动力学意义；（3）R/S分析法对时间序列具
本课题以宁波地区体外循环资金为研究对象，分析了体外循环资金的主要形式、特点、产生的原因及对整个社会经济产生的积极影响和消极影响。在此基础上，文章提出相应的政策建议：在
[目的]探讨健康教育对系统性红斑狼疮（SLE）病人依从性的影响。[方法]将56例SLE病人随机分成实验组和对照组。对照组病人住院时给予常规护理，实验组病人住院时、出院后进行持续性
对49例呼吸机相关性肺炎（VAP）的原因进行分析,VAP的原因与胃内容物反流和误吸、长期使用抗生素、气道损伤、交叉感染及病人抗感染能力低下等因素有关,重视胃肺逆行感染预防、控
健康教育是一门研究传播保健知识和技术、影响个体和群体行为、预防疾病、促进健康的科学，目前越来越受到重视，成为护理工作的重要内容之一，但是，在临床护理工作中，健康教育仍然是
胃扭转临床上较少见，钡餐检查可确立诊断。现就我们在工作中遇到的6例慢性胃扭转及对其中1例复位的方法作一报告，并对有关问题进行探讨。 资料与方法 1 临床资料 男性4例