基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

GPD模型对永泰县夏季极端气温的研究

GPD模型是一个研究极值现象和极值随机变量的非常有效的工具.利用研究极值现象,有效掌握其规律并积极采取相应的措施,可以帮助人们在遇到突发事件时降低风险减少损失.利用GPD模型计算福建省永泰县某年内夏季可能出现的极端最高气温,为农作物品种的引进及农作物栽培时防高温抗干旱提供了参考依据.     

程序属性的UniNet描述

在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序.为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序.     

库所组合有色网-一种新型的有色网

为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.     

一个预测RNA二级结构的回溯算法

本文讨论了一个预测RNA二级结构的回溯算法。该算法根据极大基配对的原则按字典顺序产生所有可能的二级结构。它的时间复杂性是O(n~2),空间复杂性是O(n)。     

死路删除语义下的WS-BPEL流程的建模

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。     

基于Petri网的工作流模式--工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究.本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分.     

一个图增广问题的NC算法

随着并行计算和网络技术的广泛应用，图论中的Ｋ－边连通性增广问题受到越来越多的注意。     

ZA27合金淬火时效早期阶段的研究

利用本实验设计的热效应装置研究了ＺＡ２７合金淬火时效早期过程，结果发现：ＺＡ２７合金时效早期阶段出现了大小不等的温度峰，与对应条件下硬度曲线比较表明，淬火时效温度不同，脱溶机理不尽相同，Ｔｃ以上温度时效，发生了Ｓｐｉｎｏｄａｌ分解。     

一个子集的“复盖”问题

在这篇论文里,一个超图的着色问题被推广成一个子集的“复盖”问题。文中给出了复盖数P(n,m,K)的几个上、下界和某些特殊情况下的精确值。