论文部分内容阅读
研究了利用模型检测技术对WPDL描述的工作流模型的正确性的检测方法,提出了工作流模型的正确性检测指标及其CTL*公式描述,以及博弈算法实现工作流模型的正确性检测,该方法的特点是具有较强的检测指标描述能力及高效的检测算法。
工作流模型检测研究
【摘 要】
：
研究了利用模型检测技术对WPDL描述的工作流模型的正确性的检测方法,提出了工作流模型的正确性检测指标及其CTL*公式描述,以及博弈算法实现工作流模型的正确性检测,该方法的特点是具有较强的检测指标描述能力及高效的检测算法。
【机 构】
：
郑州大学机械工程学院
【出 处】
：
计算机应用
【发表日期】
：
2007年06期
其他文献
以Arena操作系统的设计技术为基础，构建了一个适合无线传感器网络软件动态加载的总体设计方案，详细给出了动态对象加载器的接口设计技术。该设计减小了系统运行时的内核镜像，实
数据仓库中的信息以视图的形式存储,基于代价因素,要选择部分视图实体化去完成查询要求。首先提出视图实体化的代价模型,然后提出使用遗传算法及其改进算法来解决该问题的方法和策略。最后,通过实验表明提出的算法找到了近似最优解。
在蜂窝小区信道分配算法中,排序分配算法是根据待分配小区的难度系数分配信道,收敛速度较快,但很容易陷入排序的自身循环以至于无法找到更好的排序方式。在MAX-MIN蚁群算法的基础上提出一种新的启发式算法,通过概率选择避免排序自身循环,再通过判定收敛系数来确定此次迭代是否已停滞,然后重新初始化信息素以寻找更好的排序方式。在对Philadelphia典型问题的测试中,本算法较排序分配算法更接近理论边界值,
采用LAMMPS软件,基于ReaxFF,以十氢化萘、萘、2-甲基蒽、1-乙基芘为催化油浆的模型化合物研究了600~2500 K温度下催化油浆形成初始碳烟颗粒的过程,考察了2500 K时水分子对初
本文以稻瘟菌菌丝体为材料提取RNA，【目的】改进张学敏等人的方法，通过磁珠构建稻瘟菌cDNA文库，并用于下一步研究稻瘟菌与水稻之间的互作关系。【方法】通过共价键连接的寡聚oli
从历史的角度来看,运载火箭的尺寸和有效载荷能力呈现出不断增大的趋势,日本也不例外。日本有两个机构目前正在研制大型火箭。日本宇宙开发事业团即将发射的H—2火箭将主要用
以制备的重组志贺毒素B亚单位（StxB）为靶标，利用噬菌体展示亲和淘选技术，经4轮筛选，从随机十二肽库中筛选到与StxB结合的一批噬菌体克隆，对特异结合活性较高的27个噬菌体克隆的表面
在移动P2P网络中,部分自私的移动节点只是大量地消耗已有网络资源而不提供自己的资源。考虑到移动P2P网络的资源有限性以及部分节点具有自私行为的特点,提出了一种基于博弈论的协作激励机制。该机制根据移动节点的不同贡献大小来提供不同网络服务质量,最大限度地鼓励了每个移动节点参与协作和共享。同时,详细描述和分析了协作激励机制中的网络资源分配策略,并且证明了该协作激励机制的博弈存在一个稳定的纳什(Nash)