【摘 要】
：
扩充的实时系统和空间推理是当前的两个新兴领域,在理论及工程应用上都有重要作用。实时系统主要研究在给定的约束条件下多任务的调度安排问题,这些任务是有截止期的,也就是
论文部分内容阅读
扩充的实时系统和空间推理是当前的两个新兴领域,在理论及工程应用上都有重要作用。实时系统主要研究在给定的约束条件下多任务的调度安排问题,这些任务是有截止期的,也就是完成的最后时限。DDS(Deadline-Driven Scheduler,即截止期优先任务调度法)能够较好的处理单处理器下的调度问题;多处理器环境下的全局调度是近年来的研究热点,Baruah提出的按比例公平分配的PFair(Proportional fair)调度是典型的全局调度技术。空间推理以空间对象的建模、空间知识表示、对象空间关系的表示和推理等为研究内容。其中,RCC(Region Connection Calculus,区域连接演算)是当前优点最多、使用最方便的关于空间位置关系的定性刻画及推理的逻辑系统。Düntsch、李三江等人已经证明BRCC系统的语义就是基于布尔代数的模型(增加了关系C(x,y)),称为关系代数或连接布尔代数。本文独立提出的课题则处于这两个领域的交叉点。在分别介绍两个领域的背景和国际研究现状之后,讨论了对并行调度进行形式化的重要性。文章建立了模块式的CBA语义(Contact Boolean Algebra),由此建立扩充的BRCC语言及其公理系统,从而实现了对并行调度的形式化刻画工作,对并行调度的有效性、优化调度的存在性的形式推理作了深入研究,其中,模块式的CBA语义及其性质是重点。文章主要成果有:⑴针对一类扩充实时系统是否存在有效调度给出了两种简单的判定算法:改进单纯形法和增强贪心算法。⑵结合工程应用中的“时间片”技术,将数据型(一般为实数)的调度离散化。构建调度问题的CBA模型。⑶在CBA模型的基础上,构建扩充的BRCC语言实现调度问题的形式化。本文的内容安排如下:第1章相关历史背景及本文研究意义第2章扩充后的并行实时系统模型第3章扩充实时系统的可判定性,给出两个判定算法:改进单纯形法及增强贪心算法。第4章空间逻辑知识及BRCC系统第5章在介绍布尔代数之后,给出并行实时系统的CBA语义模型第6章对BRCC语言进行扩充并将调度问题形式化第7章总结及展望
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
1958年,我区早稻采用水直播,普遍获得丰产。宜山县播4,433亩,亩产550斤,其中亩产最高的达1,490斤。柳江县红旗公社北弓大队,播84亩,一般亩产1,000斤,最低800——900斤,最高1
在社会信息化的进程中,信息已成为社会发展的重要资源,而信息安全在信息社会中将扮演极为重要的角色。操作系统安全是保障整个信息系统安全的根本所在,近年来关于安全操作系
数据挖掘是一个热门的新兴领域,在经历了近10几年的高速发展之后,现已开发出了很多成熟的算法用于有效的处理海量数据,并且这些算法和技术在数据挖掘领域都有良好的表现。但
我场现有双季稻田7500亩,其中3000亩是1952年建场以来逐年开垦的新稻田。随着农业学大寨运动的深入发展,场党委对新开稻田如何夺高产问题采取了积极措施去解决。1969年后,有
随着国民经济的持续发展,旅游业得到了迅速的发展。旅游在我国内需型经济生活中发挥着重要的作用,成为国民经济新的经济增长点,日益受到我国政府的关注。旅游业的兴起为我们提供了新的发展机遇,但由于旅游涉及面广、不确定因素多,其中存在着很多问题,导致旅游服务质量和安全问题日益严重,旅游投诉大幅上升。由于现代信息技术及网络技术的发展,基于Internet及其他计算机技术的旅游电子商务应运而生,并且迅速发展壮大
随着人们健康意识的提高,食品安全问题越来越受到人们的重视。乳及乳制品已成为人们息息相关的主要食品之一,是关系到人尤其是婴儿健康成长的重要食物,因此乳及乳制品质量就
漯河市委副书记、市长鲁茂升在该市前些时召开的新闻工作会议上,就舆论监督问题作了发言。他说,我们的各项工作需要新闻单位的支持,新旧单位也需要各方面、各部门的支持,尤
随着计算机技术的发展，计算机软件的质量越来越受到人们的关注。尤其是安全关键性软件，比如航空航天领域的软件，我们更加关心这些软件的可靠性。那么如何来开发可靠的软件，如何来
我们在平时的教学中,常常会碰到这样的现象,学生利用新近所学内容解决问题比较顺手,而拿到一个用以前所学知识或与书本知识关联不太大的问题时便束手无策.究其原因是我们平时