网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

Turbo Pascal语言中FOR语句执行过程的新认识

对ＴｕｒｂｏＰａｓｃａｌ语言中ＦＯＲ语句的执行过程提出了一种新的观点,并通过对几个实例的分析,对新观点进行了说明和验证。最后给出了ＴｕｒｂｏＰａｓｃａｌ语言中ＦＯＲ语句正确的执行过程,并给出了相应的流程图。     

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间.用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能.     

基于着色petri网的电子商务跨组织工作流建模与分析

在现代电子商务中,企业常常跨组织进行各种商务活动。利用着色跨组织petri网对电子商务工作流进行了建模与分析。给出了电子商务着色跨组织工作流网健壮性的概念,并利用可达标识图讨论了电子商务工作流网的健壮性。     

一类特殊矩阵的性质及其应用

本文讨论了一类特殊矩阵─—随机矩阵的性质，给出了随机矩阵在系统稳定性研究中的应用实例．叙述并证明了一个有用的结论。     

基于Petri网共享合成的网格计算资源调度方案

网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行建模与分析.通过对现有方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点.为不同层次的调度者构造了不同的有色时延Petri网模型,并利用Petri网的共享合成得到整个系统的Petri网模型.通过对Petri网可达性的分析,获得如吞吐量、负载平衡、调度时间等资源调度的一些重要特性.