基于规范化工作流网建模的模型验证方法

在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

一种工作流管理系统新模型的研究与实现

在分析传统企业管理系统应用局限性的基础上,讨论了工作流的基本概念.针对目前工作流管理系统在描述能力和跨平台性不强等方面的问题,以工作流管理系统参考模型为依据,提出了一个基于J2EE的工作流管理系统新模型.该模型采用分层架构分解复杂的业务流程,提高了系统的描述能力和跨平台能力.通过一个实例证明,该系统模型能够适应信息管理系统业务过程的不断重组问题,提高了应用系统开发效率.     

基于Petri网的工作流建模的研究

工作流技术作为实现企业过程的有效手段,广泛应用于各种场合.在应用中,关键是建立适合企业过程的工作流模型.Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示.本文主要介绍了Petri网和工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了设计实例.     

一种通用工作流信息图示方法的研究与实现

工作流技术在企业级管理软件中应用越来越广泛,工作流在运行过程中状态不断变化,及时了解工作流程的运行情况对用户来说至关重要,它既可以为用户采取的下一步处理提供依据,也可以让用户清楚了解该工作的处理情况,让用户做到“心中有数”。向用户展示工作流运行状态可以采用历史记录、流程图示等方式,而图示的方式更加形象、直观。以开源工作流为例,在研究典型的开源工作源图示模型的基础上,结合软件分层、设计模式等先进的软件设计理念提出一种通用的图示模型,有效减轻了表现层代码量,使得程序结构更加规范、合理与清晰,功能更加完善,提高了软件的健壮性、安全性、可维护性和可移植性,并在应用中取得了较好的效果。     

分布式工作流技术的研究

阐述了工作流技术在企业自动化管理中的重要作用,介绍了分布式工作流技术的基本原理,重点论述了分布式工作流的系统结构及分布式建模方法等。     

工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法。     

工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法.     

CPU系统级验证平台的研究与实现

随着CPU设计尺寸和设计复杂度的不断增加，功能验证已经成为整个设计过程中的严重瓶颈，文章回顾了系统级验证的一些技术，针对我们设计的64位CPU系统级验证，设计了CPU系统级自动化验证平台．实用表明，该平台简化了验证流程，提高了验证效率．     

一种新型验证码的实现

基于传统验证码容易被机器识别的问题,提出了一种新型的验证码实现思路,使得机器自动识别几乎变为不可能,阐述了新型验证码的原理,介绍了新型验证码的主要功能模块。     

真并发等价性下的流程模型转换方法

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.     

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

支票验证系统中BP网络的应用及其实现

该文阐述了银行支票验证系统的组成 ,说明了 BP网络和模糊特征提取技术在其中的应用 .重点介绍了特征向量的选取以及 BP网络结构和算法的确定 .     

快速傅里叶变换(FFT)的ASIC实现及现场可编辑门阵列(FPGA)验证

通过对FFT(fast fourier transformation),即快速傅里叶变换的一般算法的研究对比,确定合理可行的基2方法处理1024点FFT。在ASIC(application specific integrated circuit)专用集成电路上实现FFT硬件模块,并将该模块在FPGA(field programmable gate array)上进行原型验证。采用级联结构设计FFT模块,在尽量减小资源消耗的同时,提高FFT的运算速度。设计采用两组四个深度为256的双口RAM,乒乓结构处理,完成整个运算仅用了1 320个周期。最后用Xilinx公司的Vertex7-XC7VX690T芯片做FPGA原型验证,在时钟频率为50 MHz时,完成1 024点FFT仅用了26.2μs。     

基于Petri网的MMS服务描述,验证及实现

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系 抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务－－程序理服务进行描述、分析和验证。最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上的实现了ＭＭＳ服务，通过互操作测试证明了最正确性。     

基于Cookie票据的单一认证模型及实现

在远程教育与教育数字化平台中，对Web资源访问控制的前提是对用户的身份认证。介绍了基于Cookie服务票据的单一认证机制，即利用哪协议头部的Cookie信息，携带用户的电子票据凭证，自动地把它传递给所有需要的服务器，并利用票据在其有效期内的可重用性，实现单次认证，就可对Web资源进行多点、多次访问。     

卷积叠加光子剂量计算的实现和验证

针对collapsed cone卷积叠加模型光子剂量计算算法的实现,使用蒙特卡罗程序计算的多能谱计算了主注量或TERMA;采用Hoban提出的方法对射束硬化进行修正;采用Ahnesjo的平方反比定律对核倾斜进行修正.使用AAPM数据测试包和实际临床数据,对算法进行了精确性验证.结果表明测量数据和计算结果有很好的符合性,剂量计算的精度达到了3%或者3 mm的误差要求,充分说明了基于卷积叠加模型的临床可行性.