教育论文网

基于异构系统的实时数据处理
硕士博士毕业论文站内搜索    
分类：教育论文网→航空航天论文→航空论文→航空仪表、航空设备、飞行控制与导航论文→电子设备论文
基于异构系统的实时数据处理
论文目录
 
第一章 绪论第1-19 页
　　· 研究主题及目标第9 页
　　· 研究背景第9-16 页
　　　　· 实时调度及实时系统验证的研究现状第9-12 页
　　　　· 可视化及地学可视化的研究现状第12-13 页
　　　　· 本文研究的动机第13-16 页
　　· 研究内容和创新工作第16-18 页
　　· 论文的组织结构第18-19 页
第二章 基本理论和方法第19-47 页
　　· 实时调度第19-32 页
　　　　· 实时调度的相关概念第19-21 页
　　　　· 实时调度算法第21-26 页
　　　　· 实时非精确系统的调度第26-31 页
　　　　· 实时调度框架和实时系统模型第31-32 页
　　· 实时系统验证第32-34 页
　　　　· 形式化验证第32-33 页
　　　　· 仿真验证第33-34 页
　　· 可视化第34-41 页
　　　　· 一般可视化第34-38 页
　　　　· 地学可视化第38-41 页
　　· 问题的提出第41-45 页
　　　　· 实时异构系统的调度第41-44 页
　　　　· 实时异构系统调度的仿真验证第44 页
　　　　· 实时数据的可视化第44-45 页
　　· 本章小结第45-47 页
第三章 实时异构系统的多级调度框架第47-61 页
　　· 调度问题分析第47-48 页
　　· 多级调度框架概述第48-54 页
　　　　· 重要概念第48-49 页
　　　　· 规划阶段和运行阶段第49-51 页
　　　　· 静态策略和动态策略第51-52 页
　　　　· 全局调度和局部调度第52-54 页
　　· 多级调度框架的构成第54-60 页
　　　　· 总框架第54-55 页
　　　　· 核心控制模块第55-58 页
　　　　· 常规功能模块第58-60 页
　　· 本章小结第60-61 页
第四章 实时异构系统的多级调度模型第61-99 页
　　· 概述第61-62 页
　　· 系统结构模型第62-68 页
　　　　· 概述第62-64 页
　　　　· 系统结构模型SSM第64-67 页
　　　　· 各种简化的系统结构模型第67-68 页
　　· 系统任务模型第68-84 页
　　　　· 概述第68-71 页
　　　　· 系统任务模型STM第71-72 页
　　　　· 任务属性模型TAM第72-77 页
　　　　· 事件-条件-动作规则(ECA规则)第77-82 页
　　　　· 任务资源描述模型TRDM第82-83 页
　　　　· 任务运行的顺序相关性约束第83-84 页
　　· 功能模块模型第84-93 页
　　　　· 概述第84-85 页
　　　　· 功能模块模型FMM第85-86 页
　　　　· 功能模块属性模型FMAM第86-88 页
　　　　· 变量描述模型VDM第88-90 页
　　　　· 功能模块内部所需要的ECA规则第90 页
　　　　· 核心控制模块属性模型KCMAM第90-92 页
　　　　· 常规功能模块属性模型RFMAM第92-93 页
　　· 多级调度方案模型第93-97 页
　　　　· 概述第93 页
　　　　· 多级调度方案模型MLSSM第93-94 页
　　　　· 任务分配项目模型TAIM第94-95 页
　　　　· 全局调度项目模型GSIM第95-96 页
　　　　· 局部调度项目模型LSIM第96-97 页
　　· 本章小结第97-99 页
第五章 实时异构系统的动态任务分配和调度算法第99-109 页
　　· 概述第99 页
　　· 相关假设和定义第99-100 页
　　· 任务分配策略第100-102 页
　　· 动态任务分配和调度算法第102-104 页
　　· 模拟研究第104-107 页
　　　　· 模拟方法第104-105 页
　　　　· 模拟结果第105-107 页
　　· 本章小结第107-109 页
第六章 实时异构系统调度的仿真验证方法第109-135 页
　　· 调度的仿真验证方法第109-113 页
　　· 系统模型标记语言第113-134 页
　　　　· 概述第113-114 页
　　　　· 语法描述部分第114-125 页
　　　　· 语义描述部分第125-134 页
　　　　· 其它定义第134 页
　　· 本章小结第134-135 页
第七章 机载SAR高分辨率实时成像系统的调度研究第135-153 页
　　· 概述第135-137 页
　　· 系统建模(多级调度模型)第137-145 页
　　　　· 系统结构模型第137-138 页
　　　　· 系统任务模型第138-141 页
　　　　· 功能模块模型第141-143 页
　　　　· 多级调度方案模型第143-145 页
　　· 系统模型标记语言描述第145-150 页
　　　　· 系统结构模型SSM的SMML描述第145 页
　　　　· 系统任务模型STM的SMML描述第145-147 页
　　　　· 功能模块模型FMM的SMML描述第147-149 页
　　　　· 多级调度方案模型MLSSM的SMML描述第149-150 页
　　· 调度的仿真验证第150-152 页
　　· 本章小结第152-153 页
第八章 机载SAR高分辨率实时成像系统的可视化研究第153-163 页
　　· 概述第153 页
　　· 机载SAR高分辨率实时成像系统的可视化方案第153-156 页
　　　　· 概述第153-154 页
　　　　· 全景模式第154 页
　　　　· 多视模式第154-155 页
　　　　· 其它交互控制第155 页
　　　　· 算法的时间正确性第155-156 页
　　· 缩略图的原理和实现算法第156-161 页
　　　　· 飞行方向的计算第156 页
　　　　· 缩略图的原理和实现算法第156-161 页
　　· 实际效果第161-162 页
　　· 本章小结第162-163 页
第九章 结论及进一步的工作第163-167 页
　　· 论文总结第163-164 页
　　· 进一步的工作第164-167 页
参考文献第167-179 页
攻读学位期间发表文章及参加项目情况第179-181 页
致谢第181 页

本篇论文共181页，点击这进入下载页面。
 
更多论文
基于异构系统的实时数据处理
支持多安全政策的安全操作系统的研
基于演于构件的软件复用方法
支持企业业务过程持续改善的应用系
笔式用户界面研究——理论、方法和
基于Internet/Intranet的资源共享模
计算机图形学中逆向绘制技术的研究
自治异构数据源的集成查询处理
开放式异构数据库复制框架的研究与
因特网环境下的软件演化与动态性研
基于SSL的ORBit计安全服务的设计与
入侵容忍认证机构的设计与实现
基于XML的动态联盟工作流管理系统I
基于IP和VPN安全网关的设计实现
通用医学图像处理系统的设计和实现
因特网密钥交换协议的研究与实现
高安全等级操作系统及网络服务的标
基于XML的动态联盟工作流建模研究
基于3G的移动目标监控系统的设计与
车间生产动态调度系统的设计与调度
面向主题的WWW信息挖掘及实验系统T
新华社新闻采编系统的设计研究与实
基于符号执行和约束求解的程序验证
四部丛刊电子版的设计与实现
安全操作系统实时审计分析的设计与
电子商务平台的组件及其安全性研究
利用现有协议实现组播公钥协议框架
一种用户主导的软件开发方法研究
马桑化学成分研究及马桑中黄酮的生
一种基于目标驱动的过程度量模型
短波通信系统文件传输协议的设计与
智能小区的数字电视接入和视频点播
基于负载均衡的防病毒防火墙的设计
基于消息的中间件设计模式和系统结
PADS:机动模型模拟
消息队列存储系统设计与实现
可靠数据传输服务的设计和实现技术
基于本体的军事知识联通
网络分布计算中的事务工作流研究
开放式实时系统的调度方法研究
知识服务机制研究
家庭网关中的资源管理
基于图象的实时漫游技术研究
带实时的传值与移动系统研究
Post-WIMP软件界面研究
RFRTOS——基于Linux的QoS实时操作
数字电视的视频分析与组播传输
支持概念设计的手势描述和草图设计
交换式以太网上多媒体组播的研究
有限自动机可逆性的若干结果
基于匹配跟踪的低速率视频编码
指纹识别中若干关键算法的研究
分布式系统形式化建模技术研究
流程企业生产调度方法与应用研究
通过设计模式构造的通信应用服务框
嵌入式Linux系统开发工具包LyX的设
针刺对新生大鼠缺氧缺血性脑损伤的
生物催化/光催化联合降解毒死蜱的研
多平台下嵌入式Linux的调试及驱动程
分布事务监控器的恢复处理研究
嵌入式邮件客户端I-mail的设计与实
Web News Hunter智能代理
基于Web服务的流程协作研究
可动态载入的模块化安全Linux内核
软件脆弱性测试技术
面向企业应用集成的轻型工作流系统
分布事务服务的设计和实现技术研究
软件需求管理工具的研究与实现
基于角色的访问控制模型在安全操作
事务监控器中的资源管理研究
并发传值进程模型检测工具的数据类
《结构化保护级》安全操作系统之网
数据挖掘在糖尿病数据中的应用研究
一种基于消息机制的程序框架及其应
中国省域R&D的空间计量研究
汉英平行语料库中名词短语对齐算法
工作流系统中Web服务发现和集成的研
Jini、移动代理技术及其网络应用
XML语义问题及其处理
卫星网络星座和路由算法仿真的研究
基于IP网络的视频点播系统的研究与
基于手势和两级分类器的联机手写公
经营系统中的时间序列分析
面向对象的实时系统可调度性验证和
实时操作系统资源预留的研究与实现
基于变量关系图和符号执行的指针相
基于XML的广域网Publish/Subscribe
一个并发传值系统自动验证工具的图
基于JMX的Web应用服务器可扩展管理
软件测试管理工具的研究与实现
加杯图灵度的代数结构
闪存盘固件的设计与实现
基于IPSec的安全路由器的设计与实现
基于Web Services构架的企业应用系
加杯图灵度的一个层谱
以太网接入交换机软件系统的设计与
基于SNMP的网管系统中拓扑管理的研
基于数据挖掘的案例库维护方法研究
内容管理实例设计及其XML存储策略的
实时绘制语言的研究
一个基于Linux的嵌入式操作系统的设
基于Windows平台油藏数值模拟前处理
基于身份的可信任可扩展的健壮电子
宽带接入智能交换机硬件系统的设计
XML语义的研究
分布式协作入侵检测系统的报警信息
Web应用服务器对象缓存及其一致性的
PMC8241嵌入系统的研究与开发
基于Linux系统的加密文件系统的设计
乙型肝炎病毒父婴垂直传播的危险因
引入时间特性的角色访问控制
IP网络中数字视频终端系统的设计与
Horn逻辑程序和形式文法之间的对应
钙镁硼配施对‘蜜汁’葡萄生长发育
基于神经网络的文本分类系统NNTCS的
NB和PC的比较研究
领域本体的形式分析
 
实时数据处理论文 实时异构系统论文 实时调度论文 调度的仿真验证论文 可视化论文
版权申明：目录由用户freedomlyz**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved