【摘 要】
：
随着实时系统在时间关键和安全关键的行业的广泛应用,程序的时间属性受到越来越广泛的关注.Henzinger提出了LET（Logical Execution Time）编程模型,提供了明确描述时间属性的机
【机 构】
：
中国科学技术大学计算机科学与技术学院,中国科学技术大学苏州研究院
论文部分内容阅读
随着实时系统在时间关键和安全关键的行业的广泛应用,程序的时间属性受到越来越广泛的关注.Henzinger提出了LET（Logical Execution Time）编程模型,提供了明确描述时间属性的机制,确保了系统的时间确定性.但传统的实时操作系统模型采用了与LET截然不同的抽象,难以很好地支持LET编程模型.Minicore是一种新型操作系统模型,程序由一组内部没有同步点的服务组成,具有较好的时间确定性和可控性,与LET编程模型的思想更吻合.将LET的控制模型和Minicore的运行模型相结合,可形成一
其他文献
针对电纸书显示屏灰度等级不足的问题,提出了利用半色调图像处理技术的改进算法实现电纸书显示优化的方法.在阐述半色调技术与电子纸特点的基础上,介绍了抖动算法和误差扩散算法,通过对这两种算法进行改进提高电纸书显示的灰度级数及视觉效果.其中重点对误差扩散算法中的阈值、滤波器及扫描方式的设定进行设计,并提出一种基于误差动态检测的新的改进算法,能有效提高图像灰度级数,改善电纸书的图像显示质量.最后在电纸书系统
对IVI（Interchangeable Virtual Instrument）技术规范的结构、特点及在软件中的应用进行了研究.通过虚拟仪器技术利用Lab Windows/CVI工具开发了一套基于IVI驱动的虚拟信号发生
基于P2P的网络测量系统以降低单点瓶颈和部署开销为目标,其中结构化P2P一般假设节点具有相同的能力,不适合大规模部署;非结构化P2P通信负载过大,可扩展性差.因此,本文结合多
在线考试相比传统考试方式有着很多的优点,例如在线考试的成本更低,在线考试试题的即时更新性,在线考试可以更快给出应试人员的答题情况的统计分析,还可以给不同的应试人员随
针对网络控制系统中存在于传感器．控制器．执行器间的双时延问题，提出了一种基于Markov模型的状态反馈控制策略．与传统应用Markov随机过程的方式相比，该策略采用两个Markov链描述每
中文自动分词是web文本挖掘以及其它中文信息处理应用领域的基础.蓬勃发展的中文信息处理应用对分词技术提出了更高的要求.提出了一种新的分词算法FPLS,该算法用拼音首字母作
按照大数据定义,油气勘探数据处理工作显然是一种大数据应用模式,而作为油气勘探核心工作平台的勘探云计算中心,其建设目的首先是为了满足企业内部业务数据处理工作需求,在确
对废弃话单进行有效管理,是保障通信系统计费可靠性的重要内容之一,然而对于废弃话单数据所呈现出的实时性、突发性等特征,现有的大数据处理模式并不能很好地应对.本文采用动
基于Web日志挖掘的个性化推荐技术已在电子商务网站中广泛应用,针对现有推荐系统的准确性不高等问题,提出一种基于Web日志挖掘和相关性度量的个性化推荐系统.首先,提取用户的
基于中国科学院资源规划（Academia Resource Planning,简称ARP）项目建设,阐述针对科学院院所两级管理情况下,将服务、科研、管理信息化,集成人、财、物、项目以及多种资源共享