VV&A过程形式化建模与分析方法研究



VV&A过程形式化建模与分析方法研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

VV&A过程形式化建模与分析方法研究

论文目录
摘要	第1-5页
Abstract	第5-9页
第1章绪论	第9-15页
· 课题背景	第9页
· 课题研究目的和意义	第9-10页
· 国内外研究现状	第10-13页
· VV&A 过程及描述方法研究现状	第10-12页
· VV&A 辅助工具研究现状	第12-13页
· 本文的主要研究内容	第13-15页
第2章基于工作流技术的VV&A 过程形式化建模	第15-36页
· 引言	第15页
· VV&A 过程	第15-16页
· 典型VV&A 过程建模方法	第16-18页
· 工作流过程元模型	第18-19页
· 基于工作流技术的VV&A 过程元模型	第19-33页
· 工作流模型VPFlow 的基本图元	第19-21页
· 工作流模型VPFlow 基本元素的数学描述	第21-25页
· 工作流模型VPFlow 基本结构的数学描述	第25-27页
· 工作流模型VPFlow 的规则	第27-28页
· 工作流模型VPFlow 触发规则	第28-29页
· 工作流模型的角色分配准则	第29-30页
· VPFlow 与Petri网的映射	第30-33页
· VV&A 过程建模实例	第33-35页
· 本章小结	第35-36页
第3章基于Petri网的VV&A 过程模型分析	第36-53页
· 引言	第36页
· VV&A 过程模型的结构分析	第36-39页
· 死锁分析	第36-37页
· 同步丢失分析	第37-38页
· 死循环	第38-39页
· VV&A 过程模型性能分析方法	第39-44页
· 基于等价变换的性能分析方法	第39-42页
· 基于马尔可夫的性能分析方法	第42-43页
· VV&A 过程模型性能分析总体思路	第43-44页
· VV&A 过程模型的性能指标	第44-47页
· 时间性能分析	第44-45页
· 资源利用率	第45-46页
· 成本计算	第46-47页
· 性能分析实例	第47-51页
· 本章小结	第51-53页
第4章 VV&A 过程建模与分析辅助工具设计与实现	第53-65页
· 引言	第53页
· VV&A 过程建模与分析辅助工具需求分析	第53-54页
· VV&A 过程建模与分析辅助工具总体设计	第54页
· VV&A 过程建模与分析辅助工具详细设计	第54-64页
· VV&A 过程建模模块	第54-60页
· VV&A 过程运行模块	第60-62页
· VV&A 过程性能分析模块	第62-64页
· 本章小结	第64-65页
结论	第65-66页
参考文献	第66-71页
致谢	第71页

本篇论文共71页，点击这进入下载页面。

更多论文
VV&A过程形式化建模与分析方法研究
摄像机大视场标定方法研究
拱架式贴片机视觉系统的研究
基于GPU加速的三维超声成像系统
超复数描述下的超声图像压缩算法研
分布式全文检索中缓存系统研究与实
基于Hadoop的分布式网络爬虫技术
基于复述的问题扩展技术研究
隐式规则自动提取与反例检测方法研
船舶企业车间作业计划方法与系统
电子商务中针对产品的摘要挖掘技术
面向产品领域的细粒度情感分析技术
面向ICES_SSP业务服务质量监测系统
汉英双向时间数字和数量词的识别与
道路车辆软件集成开发环境设计与实
计算语言学领域英文辅助写作系统
基于击键特征的身份识别研究
基于点云的三维重建系统研究与实现
基于先验知识模型的乳腺超声图像自
基于语言学知识的机器翻译自动评价
特定环境下人群三维仿真系统研究与
人脸表情识别及其在视频分类与推荐
基于实例动态泛化的共指消解及应用
齿痕舌的识别及其与亚健康状态之间
基于GPU的心脏体绘制与电生理仿真方
基于星型模式的top-kjoin算法研究
基于粒子滤波的行人跟踪与性能分析
基于灭点的摄像机自标定方法研究
基于主动学习的汉语依存树库构建
基于K-最近邻的C克隆代码重构方法研
基于地理信息的物联网目标跟踪方法
基于DHT的物联网资源寻址关键技术研
互联网产品评论量化关键技术研究
基于MDA的模型转换工具的设计与实现
基于聚类的事件蕴涵抽取方法研究与
社交网络中的多媒体数据挖掘
基于DT-MRI数据的心肌纤维可视化及
产品名实体识别及规范化研究
服务系统运行时质量监控与评价方法
基于上下文信息的运动目标跟踪算法
全方位舌像特征提取及多核学习分类
基于压缩视频的图像插值技术研究
句子级中文事件抽取关键技术研究
基于情感分析的新闻浏览平台关键技
Linux操作系统内核可靠性评测方法研
基于非接触式掌纹特征的加解密算法
不确定序列模式发现与查询算法的研
支持定位隐私保护的物联网实体搜索
领域自适应的中文实体关系抽取研究
XML数据实体识别关键技术的研究
面向多处理器的并行垃圾回收机制的
基于局部结构特征空间拓扑关系建模
针对大规模URL关键字的多模匹配算法
结构化数据的自然语言接口技术研究

仿真系统论文 VV&论文 A过程论文工作流技术论文形式化建模论文性能分析论文
版权申明：目录由用户lxm1075**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved