免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
DDS并行模型及其形式化
中文名称: DDS并行模型及其形式化
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3729201收藏本论文】【我的收藏】【我要投稿
英文名称: The Parallel Model of DDS and Its Formalization
学位类型: 硕士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 应用数学
毕业年份: 涉及隐私,隐去***
关键字: DDS并行模型 时段演算 分离逻辑 形式化
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文摘要: DDS模型是实时系统早期研究中取得的重要成果之(略)强的代表性,很多现实生活中存在的诸如网络拥塞、生产流程调度、交通运输等问题的解决都可以借助该模型.由于DDS模型未考虑空间限制这一约束条件,而在现实生活中,空间却是一个很关(略)就限制了DDS模型在现实工作中的应用.考虑了空间因素后的DDS并行模型能较好地解决这一问题.如果要设计一个大型自动化调度系统,其软件部分首先要解决的,即是如何将问题形式化.传统的时段演算可以很好地对DDS模型进行形式化,但却不能描述加入了空间限制条件的DDS并行模型.注意到分离逻辑能很好地体现空间分离这一概念,本文重点研究了如何(略)时段演算相结合,以便更好地对DDS并行模型进行形式化这一课题. 文章的主要内容安排如下: 第一章:前言,介绍与本文相关的研究历史和现状; (略)S并行模型,完成了数学模型的构建.通过在原始的DDS模型中加入空间限制,允许有多个处理器同时运行,得到DDS并行模型.随后在该模型下给出了极大空间相容组等概念,并且提出了主调度算法和全局调度算法,得出了本文的两个重要(略).2任给一个极...
DDS (Deadline-driven scheduler) is a classical scheduli(omitted)hm of real-time systems. Based on the original framework (omitted) form the parallel model of DDS by adding the condition of space-(omitted). In this model, multiprocessor task scheduling is investigat(omitted)e primary scheduling (omitted)and the general scheduling algorithm are presented too. In order to formalize the parallel model of DDS, we firstly introduce duration calculus with which we can formalize DDS model. Because of the space...
目录:
摘要第3-5页
Abstract第5-6页
第1章 前言第8-10页
第2章 DDS并行模型第10-17页
  ·带空间限制的DDS并行模型第10-11页
  ·DDS并行模型中的任务调度第11-16页
  ·本章小结第16-17页
第3章 时段演算第17-20页
  ·DC的形成规则第17-18页
  ·DC的公理及推理规则第18-19页
  ·本章小结第19-20页
第4章 分离逻辑语言及其应用第20-29页
  ·Hoare逻辑简介第20-21页
  ·分离逻辑的语法和语义第21-26页
    ·断言语言A的语法和语义第21-24页
    ·程序语言L的语法和语义第24-25页
    ·规约(specification)的语法和语义第25-26页
  ·分离逻辑应用实例第26-28页
  ·本章小结第28-29页
第5章 DDS并行模型的形式化第29-34页
  ·DC~*的语法和语义第29-31页
    ·DC~*的字母表第29-30页
    ·DC~*的形成规则第30页
    ·DC~*的推理规则第30-31页
  ·DDS并行模型的形式化第31-33页
  ·本章小结第33-34页
第6章 总结及展望第34-35页
参考文献第35-37页
读硕期间发表的论文目录第37-38页
致谢第38-39页
本类相关论文:
·有偏选举模型非紧邻的排它过程及其混合的遍历性等
形式化论文  
·宋代乐论研究
·基于着色Petri网的工作流建模与实现
·基于知识的居民地地图自动综合的研究
·自动信任协商中协商策略研究
·言语交际中的语用推理述评
 
  推荐期刊投稿
·合成材料老化与应用
·中国医科大学学报
·明日风尚(时尚美容)
·西北史地
·上海水务
·中国统计
·北京劳动保障职业学院学报
·中国外语
·新课程研究.教师教育
·Journal of Syste
 
·当代电影
·国土资源遥感
·细胞与分子免疫学杂志
·地下空间与工程学报
·中国发展
·生意通
·职教探索与研究
·吉林人大工作
·化学与生物工程
·金融法苑
 
·中学生数理化(教与学.教研版)
·管理与财富
·金陵科技学院学报(社会科学版)
·华商(理论研究)
·中国老区建设
·拉丁美洲研究
·黑龙江社会科学
·建筑师
·皖西学院学报
·应用化学
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号