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



基于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