教育论文网

基于OOCPN的软件可执行模型建模方法的研究

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
基于OOCPN的软件可执行模型建模方法的研究
论文目录
 
摘要第11-13页
ABSTRACT第13-16页
第1章 绪论第16-37页
  · 研究背景及意义第16-27页
    · 软件开发方法的历史第16-23页
    · 传统的软件建模方法及局限性第23-25页
    · 课题研究意义第25-27页
  · 相关研究工作第27-33页
    · 传统模型存在的问题第27-28页
    · 仿真可执行模型建模方法的分类第28-29页
    · 可执行模型的建模语言和方法第29-32页
    · 几种类型的可执行模型第32-33页
  · 本文的主要工作和创新点第33-35页
  · 本文的组织结构第35-37页
第2章 面向对象与Petri网的结合第37-49页
  · Petri网的基本概念第37-40页
    · Petri网的基本定义第37-38页
    · Petri网的结构关系第38-39页
    · Petri网的行为特性第39-40页
  · 面向对象与Petri网的结合方法与形式第40-43页
    · 面向对象与Petri网结合的方法第40-42页
    · Petri网中嵌入对象第42页
    · 对象中嵌入Petri网第42-43页
    · 对象与Petri网相互嵌入第43页
  · 面向对象Petri网的形式定义第43-46页
  · OOPN的面向对象特征分析第46-48页
  · 本章小结第48-49页
第3章 基于OOPN的图形界面交互行为的描述方法第49-65页
  · 已有的用户界面建模方法第49-51页
  · 基于OOPN的图形界面交互行为的建模过程第51-59页
    · 基本操作对象的属性、行为描述第51-57页
    · 操作对象的行为关联关系第57-59页
    · 模型集成、整合第59页
  · 实例应用第59-62页
  · 模型的执行及检查第62-64页
  · 本章小结第64-65页
第4章 OOPN的化简和死锁检测第65-80页
  · 基本定义第65-66页
  · 分层和化简规则第66-73页
    · 对象子网的分层原则第67-68页
    · OOPN的化简规则第68-71页
    · 验证化简规则的适用性第71-72页
    · 化简算法第72-73页
  · 死锁的检测方法第73-75页
    · 死锁标识的概念第73-74页
    · 死锁标识检测算法第74-75页
  · 实例应用第75-79页
  · 本章小结第79-80页
第5章 基于OOCPN的通信协议建模与性能分析第80-100页
  · OOCPN的定义第80-82页
  · 基于OOCPN的基本通信协议建模第82-92页
    · 基本通信协议建模的必要性第82-83页
    · 传统通信协议建模方法的局限性第83-84页
    · 一个简单通信协议的建模第84-92页
  · 协议验证及性能分析第92-99页
    · 协议验证及模型性质第92-94页
    · 仿真执行及性能分析第94-99页
  · 本章小结第99-100页
第六章 总结与展望第100-103页
  · 全文总结第100-101页
  · 研究展望第101-103页
参考文献第103-112页
致谢第112-113页
攻读学位期间发表的学术论文目录第113-114页
攻读学位期间参与科研项目情况第114-116页
学位论文评阅及答辩情况表第116-118页
外文论文第118-136 页

本篇论文共136页,点击这进入下载页面
 
更多论文
基于OOCPN的软件可执行模型建模方法
我国寿险定价利率风险研究
基于S3C2440的田间视频采集系统研究
20世纪50年代前后中国私立高校的比
模型驱动架构下模型及模型转换方法
酒店组织沟通满意度影响因素的实证
论大学学术自由与社会干预的矛盾
基于视觉的农用轮式移动机器人导航
天文信息自动处理及目标检测的研究
沪铜收益率波动性实证研究
对《乐园》中纯黑人社区的探析
基于嵌入式LINUX的远程土壤信息采集
迁移工作流过程分解及其规划方法研
基于数据包络分析的青岛市污染减排
果园生态环境WSN监测系统关键技术研
刘重德主要翻译思想研究
曲面造型理论及其在图像处理中的应
《第二十二条军规》的荒诞艺术
基于依赖感知的多租户应用构建方法
新型国有资产管理体制下的国有独资
基于无线传输的应变式扭矩测量系统
英汉否定概念的对比与翻译
聚合组播优化模型与算法研究
中国股票市场流动性对收益率影响研
基于蓝牙模块GC-05的温室环境测控系
二十世纪中国女性翻译家研究
中国旅游就业的总量与地区差异分析
电子商务服务平台中的应用协同及定
基于GPS便携式农田面积测量仪研究与
德国功能派译论视角下的广告翻译
面向模糊请求的服务组合关键问题研
基于混合推理技术的蚜虫危害诊断与
供应链环境下基于信用支付的库存优
从中国第三次翻译高潮看文化态度对
基于Kalman滤波的无线传感器网络目
基于半监督技术的集成分类研究
外资撤离对中国经济影响分析--以青
订单结构与拣选系统的适配问题研究
从关联理论看影视剧字幕的翻译
基于ARM9处理器的温室环境测控系统
青潍经济一体化中潍坊市的发展战略
多传感器离散随机系统的分布式融合
赫索格悲剧探析
山东省区域经济差异及对策研究
线性乘性不确定系统的状态估计和信
自主式苹果采摘机器人导航关键技术
从接受理论视角看《道德经》在英美
德占胶澳时期土地政策述论--以胶州
智能空间中基于多模式信息获取的物
基于Web的羊病诊断专家系统关键技术
人教版七至八年级数学实验教材实施
山东粮食价格研究(1912-1949)
基于Agent的服务交易模型与协商算法
论以教师专业化为导向的教师教育模
农村商品流通体系建设中的政府职能
建构主义学习理论与我国课程改革--
东南亚反恐合作的国际制度研究
陕西省烤烟智能施肥推荐模型的研究
公共管理视角下农村合作经济组织的
人本观下的教学与学生权利
国际人道主义法和巴勒斯坦被占领土
基于单片机的昆虫加热板温度测控系
基于体验营销的服装品牌设计策略
城镇化进程中乡镇中学老师继续教育
法源视野中的合同研究
基于PC机与单片机的分布式禽舍环境
多寡头动态电力市场的分析与仿真
中外男篮优秀后卫队员有球组合技术
刑罚功能新论
 
面向对象技术论文 Petri网论文 建模方法论文 可执行模型论文
版权申明:目录由用户sunjix**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved