收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

郭娜  
【摘要】:随着仿真系统复杂程度的不断增加,VVA过程也越来越复杂,人工完成需要花费大量的时间和精力。而工作流技术将工作分解成定义良好的任务。角色,按照一定规则来执行这些任务,可实现VVA工作过程的自动化,提高工作效率,降低工作成本。为此,本文专注于工作流技术在VVA过程中的应用,进行了以下几个方面的研究。 首先,针对VVA过程的复杂性,VVA相关人员之间需要进行复杂而繁多的交互,以及VVA过程缺乏必要的指导和规范等问题,本文在工作流技术的基础上,主要应用活动网络图,并结合VVA过程自身的特点,提出一种新的VVA过程形式化建模方法VPFlow。该方法规范了VVA过程,指导VVA人员正确高效地完成工作。 然后,由于VVA工作繁杂,给VVA过程模型分析带来困难。本文应用Petri网理论,首先简要分析了死锁。同步丢失和死循环三种异常结构,并提出相应的修正方案,然后重点研究了VVA过程模型自身的特点,将等效变换性能分析方法与马尔可夫性能分析方法相结合,提出一种新的性能分析方法,用于VVA工作流模型时间性能。资源利用率和成本等方面的分析,为评价和优化VVA工作流模型打下基础。 最后,因为VVA过程是一项包含很多繁杂活动和任务的复杂系统工程,如果所有工作都由人工完成,将带来工作量大,效率低,准确率低等问题。为此,要实现VVA过程的自动化,需要计算机辅助完成本文根据VVA过程建模与性能分析结果,设计并开发了VVA过程建模与分析辅助工具VPMAT,帮助VVA人员高效准确的地完成仿真系统VVA过程管理和分析工作,提高了VVA工作效率,实现了工作过程自动化。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郝莉莉;杨惠珍;谢攀;;CPN在FCM形式化建模与验证中的应用[J];计算机仿真;2011年06期
2 王焕宝;张佑生;李援;;安全协议的串空间图表示[J];计算机研究与发展;2006年12期
3 王焕宝;张佑生;;密码协议主体角色进程表示[J];微电子学与计算机;2007年04期
4 马亮;张刚;;测试用例自动生成方法的现状及研究[J];现代电子技术;2008年06期
5 邢光林;刘卫平;;工作流中资源的形式化建模[J];计算机工程与应用;2008年14期
6 江魁;黄云森;龚巧华;;基于多协议扩展边界网关协议BGP4+的形式化建模研究[J];计算机系统应用;2006年12期
7 马竹根;;软件工程教育中建模能力的培养[J];现代计算机(专业版);2010年10期
8 王健;郭黎利;李扬;;任务关键系统可生存性的形式化建模方法[J];山东大学学报(理学版);2011年09期
9 李伟;罗军舟;;基于多Agent系统网管模型的形式化建模[J];系统仿真学报;2007年S1期
10 杨俊强;杜佳;;作战计划拟制中行动方案的形式化建模[J];系统仿真学报;2009年23期
11 黎升洪;;Web服务编排中信息对齐交互建模方法研究[J];计算机工程与应用;2010年02期
12 王晓东;孙滨;;商空间模型下的Ontology形式化及其检验[J];计算机工程与应用;2010年25期
13 刘铭;张国印;姚爱红;门朝光;;基于层次实时有色Petri网的实时系统建模与分析方法研究[J];电子与信息学报;2011年03期
14 祁方民;鱼滨;牟力科;窦洪喜;;基于CCS的信号量形式化建模与验证[J];计算机应用与软件;2011年08期
15 袁禄来;曾国荪;王伟;;基于Pi-演算的信任网络形式化建模[J];系统仿真学报;2008年01期
16 董玉梅,张立臣;扩展的模糊时间Petri网[J];微电子学与计算机;2005年06期
17 董玉梅;张立臣;;模糊时间Petri网及扩展的模糊时间Petri网[J];计算机科学;2005年11期
18 彭可;罗安;张伟;涂春鸣;;网络化控制系统的协同设计与形式化建模[J];计算机集成制造系统;2011年02期
19 马忠贵;叶斌;曾广平;涂序彦;;基于π演算的软件人群体形式化建模[J];北京理工大学学报;2006年02期
20 张欢欢;宋国新;邵志清;;基2的流水式快速傅里叶变换处理机的形式化模型[J];华东理工大学学报(自然科学版);2007年02期
中国重要会议论文全文数据库 前2条
1 刘超;唐涛;;基于Epsilon的列控系统模型转换及规范验证[A];中国自动化学会控制理论专业委员会B卷[C];2011年
2 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
2 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年
3 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
4 王健;任务关键系统生存性形式化建模与分析[D];哈尔滨工程大学;2009年
5 冯晓静;面向服务的异构多核片上系统的关键技术研究及实现[D];中国科学技术大学;2013年
6 杨鹏;面向服务的新一代网络体系结构及其形式化建模的研究[D];东南大学;2006年
7 潘洪军;面向对象代数Petri网模型研究[D];吉林大学;2007年
8 薛海强;网络融合关键技术研究[D];北京邮电大学;2007年
9 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
10 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年
中国硕士学位论文全文数据库 前10条
1 周佳铭;基于PVS对SCADE开发轨交控制系统的形式化建模与验证[D];华东师范大学;2011年
2 薛海丽;网络业务建模研究—SIP建模[D];中北大学;2007年
3 孟国柱;网络协议的形式化建模与基于模型检测的攻击发现[D];天津大学;2012年
4 符艳贺;基于决策树的复杂空间关系建模研究[D];吉林大学;2009年
5 秦玲;基于STATEMATE的无线闭塞中心数据流生成及形式化验证[D];北京交通大学;2009年
6 蔡莉霞;PDM中BOM多视图的研究与实现[D];上海交通大学;2008年
7 钱磊;信息物理融合系统的形式化建模与讨论[D];华东师范大学;2013年
8 熊锡娇;列车自动防护系统的形式化建模与验证方法研究[D];华东师范大学;2012年
9 杨蒙;HMIPv6协议形式化建模及测试例生成方法研究[D];内蒙古大学;2010年
10 康智辉;基于属性的层次移动IPv6(HMIPv6)协议的验证[D];内蒙古大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978