没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
新的基于图搜索的工作流图验证算法
新的基于图搜索的工作流图验证算法
工作流图验证算法
需积分: 8
0 下载量
65 浏览量
2010-04-10
19:26:11
上传
评论
收藏
275KB
CAJ
举报
温馨提示
立即下载
新的基于图搜索的工作流图验证算法 新的基于图搜索的工作流图验证算法
资源推荐
资源评论
论文研究-基于图裁减和图搜索的工作流图验证算法.pdf
浏览:83
为对矿井井下人员出勤情况进行有效的统计和管理,实现矿山井下人员管理的信息化和自动化,采用RFID技术作为人员信息采集的手段,选用有源射频卡作为考勤卡,从而实现远距离、多人员、高速度被动式刷卡。通过分任务数据处理的方式设计上位机控制模块。以J2EE架构开发考勤信息处理发布系统,使井下人员信息共享。现场应用结果表明,系统设计合理、稳定,被动式刷卡避免了以往的黑工现象。
论文研究-一种基于流图变换的代码迷惑算法.pdf
浏览:78
为了提高软件的安全性,常使攻击者难以理解专利软件系统内部的工作机制,代码迷惑技术因其代价低廉而越来越受到人们的重视。代码迷惑技术的提出对于软件保护具有非常重要的意义,代码迷惑技术的使用可以对程序代码及核心算法进行保护。简要概述了代码迷惑技术基本内容,阐述了基本块和流图的相关知识,给出了可归约流图变换为不可归约流图的迷惑变换具体的算法及实验结果,并对算法的有效性进行了分析。
基于工作流图的办公自动化系统及实现最终版.pdf
浏览:66
基于工作流图的办公自动化系统及实现最终版.pdf
工作流验证算法JAVA源码
浏览:102
基于petri网的工作流验证算法JAVA源码,可对工作流的结构进行验证。并给出错误信息
论文研究-基于模型检测的工作流访问控制策略验证.pdf
浏览:197
访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限...
论文研究-基于Petri网的工作流建模合理性验证算法.pdf
浏览:97
介绍了一种新的数控车床螺纹插补加减速控制方法,其核心思想就是将加减速的过程离散成N级,在每一级中步进电机要以给定的频率恒速运行给定的步数...在配以MCF375和RTOS数控系统的TDNC150型车床上验证了该算法的可行性。
工作流模型验证及分解的多项式算法分析
浏览:198
基于工作流的Petri网结构化建模方法,证明了工作流</div><div>网的T一不变量和P一不变量的存在性、可覆盖性,给出了一</div><div>个工作流模型完整性的充要条件,进一步得到了基于丁一不</div><div>变量的多项式分解...
论文研究-基于SaaS的XPDL工作流验证服务实现 .pdf
浏览:188
基于SaaS的XPDL工作流验证服务实现,张茜茜,,流程子模型是工作流模型的核心,在流程部署前验证流程子模型能够降低运行时期停机和恢复所带来的开销。本文提出的验证算法关注于
论文研究-一种多学科设计优化工作流验证方法.pdf
浏览:191
当前验证方法主要针对办公自动和企业管理系统中的工作流验证问题,多学科设计优化集成系统中的工作流验证问题研究较少。在分析前期工作验证技术的基础上,针对以循环结构为特征的优化环,提出一种基于图论方法的,名...
论文研究-基于工作流日志的决策规则挖掘研究.pdf
浏览:93
基于算法挖掘工作流日志过程模型,对过程模型中的决策点进行分析,通过决策树分析技术结合工作流日志中的数据属性挖掘出影响工作流实例路由的决策规则。分析了现实应用中决策规则挖据所遇到的问题,并提出解决算法。...
论文研究-基于蚁群算法的多目标网页综合评价策略.pdf
浏览:197
工作流程中的结构冲突将导致工作流管理系统无法正常运行,因此需要在工作流图付诸实施之前要验证工作流的正确性,检测出其中的冲突。目前,无环工作流图的冲突检测在Mahanti-Sinnakkrishnan算法中已经得到了较好的...
一种工作流模型的性能分析方法
浏览:15
流网的概念,并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型 的映射. 为了处理工作流模型中的循环结构,对具有无环自由选择工作流网到一组变迁组件网(T-component)的...
论文研究-一种发现复杂工作流结构的扩展α算法.pdf
浏览:38
通过分析当前工作流挖掘中存在的多种复杂结构并存的问题,基于α**算法中对重复任务处理的方法,提出一种能够发现工作流日志中包含循环、重复以及非自由选择等复杂结构的算法。该算法首先对α**算法中对重复任务处理...
论文研究-优化协同商务虚拟工作流的Web服务组合路径搜索.pdf
浏览:83
探讨基于工作流环境实施动态Web服务组合的多层次组合方案推理和选择的一般化模型,在多层多可选服务情况下基于路径代价和服务偏好设计了一种最优服务组合路径的搜索算法,并对该算法进行了验证。验证结果表明,该...
论文研究-基于改进微粒群的分布式工作流调度优化.pdf
浏览:121
论文研究-基于改进微粒群的分布式工作流调度优化.pdf, 为了...通过仿真实验和原型系统的运行,验证了IBPSOA算法是解决分布式计算环境下工作流调度优化问题的一个有效途径.
基于改进高斯过程回归的云工作流调度算法
浏览:8
本文针对现有基于强化学习的云工作流调度算法收敛速度慢的问题,详细分析云工作流任务的执行流程,设计了一种细粒度的云工作流系统模型,提出了一种结合自适应自然梯度高斯过程回归和强化学习的云工作流调度算法。...
论文研究-基于高级对象Petri网的工作流过程建模研究.pdf
浏览:20
论文研究-基于高级对象Petri网的工作流过程建模研究.pdf, 通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri ...
基于业务流原理的露天采矿运输调度算法研究
浏览:193
以车载计算机终端为例,剖析露天采矿各生产环节的事务性属性,研究各节点之间的关系,应用工作...然后提取各流程节点的事务属性,设计基于工作流的调度算法;最后,将算法实际应用于运输系统中,验证了算法的正确性和可行性。
基于UML-Statecharts的工作流控制结构的验证 (2006年)
浏览:143
工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最...给出了一个定理并进行了证明,基于定理给出了一个验证完全性的算法,对于工作流语义相关性质的验证给出了一模型检测算法。
基于群智能算法优化SVR的短时交通流预测_方仁孝.caj
浏览:64
引入人工鱼群算法中感知视野和移动步长参数的自适应搜索机制,建立了基于人工鱼群 算法优化支持向量回归的短时交通流预测模型。实际数据的仿真实验和模型的对比结果 表明了提出的回归预测模型的可行性和有效...
论文研究-基于模糊集与TOPSIS的工作流任务分配方法研究.pdf
浏览:139
为了解决工作流中任务的自动优选分配问题,提出了一种基于模糊集与TOPSIS的任务分配方法。在详细分析任务分配影响因素的基础上,建立了工作流任务分配决策模型。引入模糊集对模糊元素的处理,进而讨论了模型中的各...
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:57
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:195
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:92
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:20
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
NPPJSONViewer.zip
浏览:164
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览:107
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览:194
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:18
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
duandian5134
粉丝: 0
资源:
21
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
c语言-c语言编程基础之leetcode题解第24题两两交换链表中的节点.zip
一个简单二阶系统的滑模控制算法(基于比例切换函数的滑模控制)
网络购物中心项目源码.rar
基于java的网上淘书吧网站源码
HDX屏笔,电脑屏幕录制
Windows操作系统介绍.zip
NC65 UAP65 主子单据开发 带审批流 详细笔记
综合布线单选题,含答案和解析 共118题,不重复
libADLMIDI1-1.5.0-bp153.1.1.aarch64.rpm
https抓包与手机抓包操作介绍
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功