论文部分内容阅读
为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题，提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法，通过替换有效解决了这一问题，而且结合Reset网，对改进作形式化说明。
YAWL中OR—join任务使能判断的改进及形式化说明
【摘 要】
：
为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题，提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法，通过替换有效解决了这一问题，而且结合Rese
【机 构】
：
江苏科技大学经济管理学院,无锡职业技术学院,江苏科技大学电子信息学院
【出 处】
：
江苏科技大学学报：自然科学版
【发表日期】
：
2007年5期
【基金项目】
：
江苏省高校自然科学研究计划项目（06KJD520058）
其他文献
最近，来自日本东京大学的Yamaguchi A等，对自旋极化超流3^He的A1相，进行了喷泉效应实验研究．不过，实验者不是用温度梯度，而是用磁场梯度诱发喷泉压差．3^He原子不同于4^He，费米原子3^H
大多数的气象模型是将大气作为一个复杂的流体力学体系，首先用大气温度并加上树轮、气象记录等数据建立起动力学方程，再利用差分法去解这个方程．这些计算表明，地球的温度将会持续
注意是心理学的基本概念，初中物理教学中必须关注注意对学习的影响。注意的广度、稳定性和分配对物理概念的形成与规律的发现具有重要影响。在概念、规律的学习过程中，有效的教
利用有限域上辛几何构作了一类新的带仲裁的认证码，并且计算了其参数和各种攻击概率．
从2人非合作有限博弈的数学结构出发,通过Baire纲和测度两种方法,证明了在这两种意义下,对绝大多数2人非合作有限博弈分类的可行性.首先,证明了在Baire纲意义下,当一个局中人
针对模糊建模过程中最佳技术组合的选择问题,运用多Agent理论和Sun Jini技术,构建了一个分布式的模糊建模系统.通过该系统能够方便地添加、测试和选择各种模糊建模的软计算技
高氯酸盐是一种持久性污染物，对环境样品中高氯酸盐的分析方法研究已成为解决高氯酸盐污染问题的关键．介绍了高氯酸盐污染的特点、毒理效应及其环境行为，着重论述了高氯酸盐的检
应用上、下解方法和抛物型方程的极值原理,研究了非线性反应扩散系统ut-D1Δu=u（a-bu-cv）,vt-D2Δv=v（d-eu-fv）＋h在齐次Neum ann边界条件下解的渐近性态.
近年来,CuInS2作为太阳能电池光吸收材料,由于其优异的综合特征已经引起人们的广泛关注.文章介绍了CuInS2太阳能电池的发展历史和研究现状,综述了有关CuInS2材料结构与特性,