教育论文网

多层次仿真模型组合理论与集成方法研究
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→信息处理（信息加工）论文→计算机仿真论文
多层次仿真模型组合理论与集成方法研究
论文目录
 
摘要第11-13 页
Abstract第13-15 页
第一章 绪论第15-41 页
　　· 背景与问题第15-19 页
　　　　· 研究背景第15-17 页
　　　　· 研究问题的提出第17-19 页
　　· 相关研究领域的现状综述与分析第19-33 页
　　　　· 组合仿真理论第19-25 页
　　　　· 组合仿真方法第25-33 页
　　　　· 卫星导航系统仿真平台第33 页
　　· 研究目标及研究意义第33-35 页
　　　　· 研究目标第33-35 页
　　　　· 研究意义第35 页
　　· 论文主要工作及创新点第35-40 页
　　　　· 研究思路与内容第35-37 页
　　　　· 本文的主要创新第37-40 页
　　· 论文的组织结构第40-41 页
第二章 组合仿真的概念研究第41-59 页
　　· 组合仿真的基本过程第41-43 页
　　· 组合仿真概念框架第43-51 页
　　　　· 经典建模仿真框架第43 页
　　　　· 基于多层次仿真模型描述的组合仿真概念框架第43-51 页
　　· 仿真模型可组合性的参考模型第51-58 页
　　　　· 仿真模型可组合性的定义第51-53 页
　　　　· 可组合性的横向概念辨析第53-55 页
　　　　· 仿真模型可组合性的分析框架第55-58 页
　　· 本章小结第58-59 页
第三章 仿真模型的语法组合问题及组合性质分析第59-83 页
　　· 仿真模型语法组合的问题分析第59-63 页
　　　　· 仿真模型的语法描述第59-61 页
　　　　· 仿真模型的组合失配问题第61-63 页
　　· 类型系统概述第63-65 页
　　　　· 类型系统的基本元素第63-64 页
　　　　· 简单类型化的λ演算第64-65 页
　　· 仿真模型定义语言的简单类型系统第65-72 页
　　　　· SMDL内置类型分析第65-68 页
　　　　· STS形式化定义第68-72 页
　　· 类型组合匹配第72-79 页
　　　　· 类型的组合匹配关系第72 页
　　　　· 严格类型匹配关系第72-74 页
　　　　· 子类型关系第74-76 页
　　　　· 类型的弱化匹配关系第76-79 页
　　· 基于类型匹配关系的组合性质分析第79-81 页
　　　　· 基于模型接口类型的组合相容性及可替换性第79-80 页
　　　　· 相容性分析第80-81 页
　　　　· 可替换性分析第81 页
　　· 本章小结第81-83 页
第四章 仿真模型的语义描述及组合性质分析第83-99 页
　　· 仿真模型语义组合问题分析第83-84 页
　　· 仿真模型的语义描述第84-88 页
　　　　· 模型语义的分类框架第84-87 页
　　　　· 典型仿真模型表示方法的语义描述能力分析第87-88 页
　　· 基于前后断言的仿真模型形式化语义描述及组合机制第88-92 页
　　　　· Hoare逻辑第89-90 页
　　　　· 基于前后断言的仿真模型语义描述第90-91 页
　　　　· 模型语义组合的推理机制第91-92 页
　　· 仿真模型的语义组合性质分析第92-95 页
　　　　· 语义相容性第92-93 页
　　　　· 语义可替换性第93-94 页
　　　　· 相容性与可替换性的关系第94-95 页
　　· 支持语义组合性质分析的算法设计及实例分析第95-98 页
　　· 本章小结第98-99 页
第五章 扩展DEVS的仿真模型语用层次描述及组合性质分析第99-124 页
　　· 语用层次的仿真模型组合需求第99-101 页
　　· 行为建模方法概述第101-105 页
　　　　· UML行为建模机制第101-102 页
　　　　· 自动机理论第102 页
　　　　· Euler网第102-103 页
　　　　· Petri网第103 页
　　　　· DEVS第103 页
　　　　· 进程代数第103-104 页
　　　　· 行为建模方法小结第104-105 页
　　· DEVS模型的形式语义及行为等价性第105-113 页
　　　　· DEVS规范第105-106 页
　　　　· DEVS模型的形式语义第106-108 页
　　　　· DEVS模型行为等价性准则第108-113 页
　　· 扩展DEVS形式规范支持语用层次仿真模型组合第113-123 页
　　　　· DEVS模型组合面临的问题第114-115 页
　　　　· 基于角色-协议-协作(RPC)扩展DEVS形式规范第115-123 页
　　· 本章小结第123-124 页
第六章 模型驱动的多层次建模与集成第124-148 页
　　· 模型驱动的组合仿真集成框架第124-128 页
　　　　· 仿真领域对MDSD的借鉴与运用第124-125 页
　　　　· 模型驱动的组合仿真集成框架第125-128 页
　　· 支持层次化模型描述的精确元建模框架第128-132 页
　　　　· 多层次组合建模的元建模需求第128-129 页
　　　　· 元建模语言的选择第129-130 页
　　　　· 支持层次化仿真模型描述的精确元建模框架第130-132 页
　　· 面向卫星导航系统总体仿真的元模型设计第132-146 页
　　　　· 卫星导航系统总体仿真的模型体系分析第133 页
　　　　· MSSD元模型第133-140 页
　　　　· SCM元模型第140-141 页
　　　　· REM元模型第141-144 页
　　　　· 元模型变换第144-146 页
　　· 本章小结第146-148 页
第七章 卫星导航仿真辅助开发与集成环境原型第148-167 页
　　· 组合仿真开发环境的功能与组成第148-152 页
　　　　· 系统目标与需求第148-149 页
　　　　· 系统功能分析第149-151 页
　　　　· 系统体系结构第151-152 页
　　· 核心子系统的设计与实现第152-166 页
　　　　· 面向组合仿真的多层次建模工具第152-154 页
　　　　· 模型组装及分析工具第154-161 页
　　　　· 仿真运行支撑工具第161-166 页
　　· 本章小结第166-167 页
第八章 卫星导航系统的组合建模与仿真应用实例第167-184 页
　　· 问题背景第167-168 页
　　· 论文理论方法的应用思路及验证目标第168 页
　　· SVS模型体系分析第168-171 页
　　· 多层次仿真模型设计与实现第171-176 页
　　· 模型组装及组合分析第176-180 页
　　　　· 模型的组合与再组合第176-178 页
　　　　· 模型组合分析第178-180 页
　　· 基于模型组合的仿真运行及实验分析第180-182 页
　　· 仿真模型组合理论方法的应用效果分析第182-184 页
第九章 结束语第184-187 页
　　· 论文的主要贡献第184-185 页
　　· 下一步的工作展望第185-187 页
致谢第187-188 页
参考文献第188-200 页
作者在攻读博士学位期间取得的学术成果第200 页

本篇论文共200页，点击这进入下载页面。
 
更多论文
多层次仿真模型组合理论与集成方法
余干方言地区儿童语音意识发展特点
语境驱动的仿真模型可组合性测试方
9-11岁儿童情绪表达规则认知的发展
仿真元建模中的拟合方法及其应用研
不同神经质水平大学生对情绪图片刺
蛋白质组学中串联质谱数据搜库结果
棉铃虫对辛硫磷的抗性遗传及机理研
信息质量对反舰导弹作战效果影响的
基于折反射全景的动态虚拟环境建模
运动估计在稳像和匹配跟踪中的应用
学习困难儿童认知特征的研究
基因芯片表达数据分析相关问题研究
课堂教学中内隐学习和外显学习协同
红外地面目标的检测、识别与跟踪技
反事实思维与情绪、态度、自尊及内
高性能路由器中NP并行处理及拥塞控
大学生内隐—外显性态度的测量与关
多本体环境下服务发现的相关技术研
高校辅导员素质模型构建及测验编制
P2P分布存储系统中海量数据的数据一
契嵩孝亲观探究
安全事件管理系统关键技术研究
伦理学视野下的基督教乡村教会研究
大规模自治系统的路由优化技术研究
牛头禅佛性论思想研究
域间路由系统自组织特性及关键问题
注意缺陷儿童注意力特征及其干预研
服务组合的形式化检验与QoS感知的服
黄伞的交配及发育相关基因的研究
应力对纳米晶光电性能影响的研究
缓冲区溢出漏洞的静态检测方法研究
中国栽培灵芝资源的遗传多样性评价
基于Delft3D模型的鄱阳湖水动力模拟
P2P覆盖网拓扑优化技术研究
长期定位施肥对不同品质类型小麦籽
面向分布式交互仿真的应用层组播关
水稻种子休眠性数量性状基因座的定
科学发展观的生态价值探析
网格资源发现关键技术研究
太湖流域粳稻地方品种铁杆青对稻瘟
鄱阳湖生态经济区人力资本投资与经
网络入侵检测系统高速处理技术研究
水稻籼粳亚种间杂种不育性的遗传分
生态文明视阈下江西省城镇化建设研
面向流量工程优化的约束路由算法研
棉纤维发育的超微结构研究
虚拟计算环境下的组信誉与激励机制
葡萄、桃抗病基因同源序列的克隆与
基于信任管理系统的点对点网络安全
小麦Waxy基因的分子标记及其应用
基于虚拟计算环境的内存资源共享技
水稻主要杂交稻亲本抽穗期基因型分
移动自组织网络组播安全技术研究
花铃期土壤水分胁迫对棉花成铃的影
区域农田水分氮素管理模型研究
基于财务指标的企业社会责任评价研
水分胁迫及恢复过程中甜椒体内活性
基于服务质量的动态Web服务组合关键
施肥对栽培丹参和药用白菊花有效成
传染病动力学模型中的地方病阈值
基于内容分析的高速网络协议识别技
农杆菌介导MSI-99基因转化马铃薯及
中国电信普遍服务市场竞争发展模式
网络安全定量风险评估及预测技术研
高速网络TCP加速关键技术研究
生产企业物流成本核算的研究
小麦T型雄性不育育性恢复基因Rf6的
网络安全告警信息处理技术研究
分配正义--罗尔斯政治哲学研究
菊花自毒作用的初步研究
靶场图像预处理和目标运动单像机测
我国民事诉讼证据失权制度的探讨
飞行器网络控制系统研究
纤维发育相关基因的SNP研究与棉花蔗
构建社会主义和谐社会视角下的农民
名人代言虚假广告的法律责任研究
经济增长与金融发展--基于湖南省情
面向地理数据服务的集成空间查询处
陈云的综合平衡思想与当前我国农村
土壤机械阻力连续测定及初步应用的
异步电机无速度传感器直接转矩控制
波动鳍仿生水下推进器及其控制方法
民国江西茶叶地理
镉诱导细胞凋亡与Bcl-2抗凋亡机理研
我国企业社会责任的约束条件与实现
多频生物电阻抗断层参数成像系统基
论行政听证制度的立法构想
山羊和黄牛肠道内环境对β-胡萝卜素
网络信息中介评价与品牌声誉对消费
面向空间遥科学实验的流场可视化技
河南省部分地区羊寄生虫感染情况调
市场经济条件下国有企业高管薪酬制
发动机试验传感器数据证实的软计算
秸秆原位降解菌选育与应用及其土壤
我国企业技术联盟知识管理策略探析
星载信号处理平台单粒子效应检测与
畜禽粪便堆制过程中氮素损失及接种
社会资本对企业竞争力的作用及其培
星载遥感图像实时压缩中的关键技术
白粉菌诱导的簇毛麦叶片SSH文库的构
基于网络媒体的中小企业品牌传播效
机载光电稳定平台数字控制关键技术
大豆蛋白质和油份含量基因的SSR标记
矩阵张量积数据加密的理论与实现
蚁群优化理论在无人机战术控制中的
大豆苗期耐旱性的鉴定及苗期耐旱性
军用自动测试系统及其不确定度评定
具有认知诊断功能的计算机化自适应
犬冠状病毒的流行病学调查
关系代数→关系演算转换系统的研制
对地观测分布式卫星系统任务协作问
盐酸克伦特罗残留检测方法的研究
基于概率包标记的IP追踪研究与实现
战争背景下的独特的小说叙事--四十
替米考星对猪肺炎支原体的药效试验
应用于足球机器人的彩色全向视觉关
南昌城市形象传播研究--以“中国红
部分野生小麦的白粉病抗性鉴定和抗
媒体在危机传播中的问题及对策
沼气技术在欠发达地区应用研究
仿鱼柔性长鳍波动推进理论与实验研
电视栏目的品牌传播
 
组合仿真论文 模型组合论文 多层次建模论文 可组合性论文 语法 语义 语用 集成框架论文 模型 驱动 元模型论文 模型转换论文
版权申明：目录由用户zhang**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved