- 1、本文档共5页,其中可免费阅读2页,需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第卷第期陕西师范大学学报自然科学版年月文章编号基于规范化工作流网建模的模型验证方法刘木春艾玲梅魏清陕西师范大学计算机科学学院陕西西安陕西省交通规划设计研究院陕西西安摘要在比较分析已有工作流模型验证算法优缺点的基础上提出一种新的工作流模型验证方法该方法基于规范化工作流网不仅可以检测死锁孤立点等常规模型错误结构而且能够检测隐蔽性很强的结构为了成功检测结构详尽分析了不同结构的特点并找到它们之间的共同特征进而通过探测该共同特征来检测是否存在结构从而克服已有算法无法验证结构的缺陷此外还给出模型规范化规则使
第 卷 第 期 陕西师范大学学报(自然科学版)
42 3 Vol.42 No.3
年 月 ( ) ,
2014 5 JournalofShaan
您可能关注的文档
- 基于潜变量与空间统计理论的耐多药结核病空间流行病 - 中国卫生统计.pdf
- 基于熵权与混合代理模型的永磁驱动器的优化设计 - 电机与控制学报.pdf
- 基于热扩散理论的窗融合方法研究 - 电子科技大学学报.pdf
- 基于特制隐藏式马可夫模型之中文断词研究 - association for .pdf
- 基于犓狉犻犵犻状犵模型的冷水机组故障检测与诊断 - 湖南大学学报.pdf
- 基于犜型模板匹配半自动提取高分辨率遥感影像带状道路.pdf
- 基于状态空间模型的极点配置设计法.pdf
- 基于状态空间的工作流模型验证 - 复旦大学软件工程实验室.pdf
- 基于独立成分分析的自适应图像滤波算法.pdf
- 基于生物特征的随机序列发生器 - journal of northeastern university.pdf
- 幼儿教师资格证(考试资料)《幼儿保健知识与能力》新版初级练习卷有答案与.docx
- (附答案)川农12月《中药化学》作业考核-.docx
- (附答案)川农12月《园林植物保护学(本科)》作业考核-.docx
- (附答案)川农12月《有机化学(专科)》作业考核-.docx
- (附答案)川农12月《植物保护学(本科)》作业考核-.docx
- (附答案)东师《教育心理学》在线作业2-1(1).docx
- (附答案)川农12月《药剂学》作业考核-.docx
- (附答案)川农12月《配方饲料制造工艺与技术(专科)》作业考核-.docx
- 幼儿教师资格证(考试资料)《幼儿保健知识与能力》新版基础知识题库带解析.docx
- 幼儿教师资格证(考试资料)《幼儿保健知识与能力》基础知识模拟押题卷.docx
文档评论(0)