CAD系统的多任务模型

本文以实际系统为背景，利用Ｐｅｔｒｉ网建立分析ＣＡＤ系统的多任务模型。我们从最基本Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的调用模型出发，按调用关系扩展了两类多任务模型；有环模型和无环模型，并利用面向对象的观点提出了建构实用系数模型的模块化构造方法，同时还给出了一个简单的差错处理模型。     

FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

带预读/写的移动事务模型

移动事务处理一直是移动数据库技术中的一个难点和热点。分析了移动事务处理的特点和要求，在引入项读、预写及相应锁的基础上，提出了一种移动事务处理模型Pre-R／W模型，并着重讨论了移动事务处理协议。     

事务工作流模型定义及完全性分析

事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点,提出将工作流的模型定义同其事务属性的定义独立开来,尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性,提供了一个通用规则——放宽的完全性准则,以适应现实运行中事务管理的需要,以一个网上电子书店工作流应用为例来阐明这种思路。     

ESB事务模型的设计与实现

企业服务总线中,传统事务处理模型、扩展事务处理模型和Web服务事务处理模型都无法满足该环境下服务流程的事务处理需求.提出一种以流程进行事务注册、以事务性消息进行事务划分的面向流程的事务处理模型来解决企业服务总线环境下具有服务松耦合、运行时间长短不确定,服务类型多样以及服务流程的静态编制等特性的服务流程的事务需求.该事务处理模型已在企业服务总线产品中得到了成功应用.     

数据库系统中并发事务死锁的解除与避免

本文利用Ｐｅｔｒｉ网作为工具，从提高事务进程并行性出发，建立数据库系统的并发事务进程竞争数据资源的模型。并由此推导出死锁和临界死锁的充分必要条件及提邮相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源进行控制分配来实现避免死锁。     

做办公事务代理也可创业

2003年12月28日,临近元旦。 位于泉城路╳╳写字楼的一间办公室内,电话非常繁忙。 “张经理吗,委托你们招聘的设计师怎么样了?” “根据你们的要求,初步约了几个人,水平都不错。” “伟业中心吗,有几个特快要送到邮局去。” “好的,马上派人去办。”     

多代理数据库事务连接池的研究

为了解决数据库管理系统中事务请求拥塞问题,运用多代理技术设计了一种数据库事务连接池,该连接池具有良好的事务拥塞控制,事务自动拆解分配,异构数据库的识别等功能,使用多代理开发工具jade编写了相关代码。在连接控制技术和代理复用技术的比较实验中,验证了使用了代理复用技术的连接池更加稳定,具有优良的性能。最后利用多代理技术的灵活性实现了服务管理模块和事务分配模块用于解决连接池中复杂事务的处理问题。     

基于Petri网的CAD系统奇异情况处理

为了提高CAD系统的健壮性,以Petri网为理论基础,提出了一种具有奇异情况处理能力的CAD系统模型--Broker-Employee结构。它具有如下特点：可计算性（应用Petri网建模,可以进行数学分析）、可复用性（适用范围广,可以重复利用）和可替换性（具有统一、标准的接口,可心具有相同接口的Employee进行替换）。同时也阐述了应用这种模型建立起相应层次结构的方法,并对该模型的可计算性进行了说明。     

基于颜色Petri网的有偿交互QA系统投诉模型

有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义。     

基于有色Petri网的资源共享多线程数据采集系统

针对一种资源共享多线程数据采集系统的模型，采用基本网系统分析其系统行为，并用有色网模拟系统，提出了资源的部分共享方案，解决了系统的资源冲突和调度问题。     

移动多数据库事务模型及其可串行化事务管理

提出了一个移动多数据库全局事务模型及其可串行化事务管理技术。该技术通过从各自治站点中获取本地可串行化信息构造全局事务可串行化图GTSG来判定全局事务的可串行性。它支持全局事务的迁移、网络的断接(包括可能发生的灾难性断接)并保证全局事务的关键站点子事务的原子性和隔离性。     

一个基于Agent的跨语种搜索模型

文章提出了一个在Web上查找信息的跨语种搜索模型,该模型基于Agent技术设计,由用户交互Agent、自动翻译Agent和网络搜索Agent组成,能够帮助用户跨越语言障碍,获取Internet上用其他语种表示的信息.详细讨论了该模型的结构和工作流程,并介绍了基于该模型实现的服务.     

航班延误波及链的有色出现网模型

针对基本Petri网的出现网在描述有色Petri网动态行为时的局限性,在基本出现网的基础上定义了一种扩展的出现网,即有色出现网,直观地反映了有色Petri网系统中资源流动及变化之间的顺序和并发关系,也大大减小了图形的复杂程度.同时,将有色Petri网和这种有色出现网应用于航班延误波及链的建模中,反映了航班执行时所需的多种资源的分布及流动情况,描述了航班在执行过程中与机场之间的相互影响及延误的链式波及反应.     

基于Agent的软件可靠性评估系统

1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是开发者,是软件质量诸多因素中最容易度量的属性。软件可靠性模型是随机过程的一种表示,可以将软件可靠性或与其直接有关的量(如平均无故障时间或故障率)表示成时间以及软件产品     

网格环境下数据库事务模型的研究

在分析纲格和网格数据库事务特点的基础上，本文提出了一个适用于纲格环境下的数据库事务模型。该模型采用网格中间件和移动Agent技术。不仅能够满足网格环境中对短时间原子操作的要求。还能满足涉及海量数据的长时间协作的事务要求。     

基于颜色Petri网的交通信息网格系统建模与分析

交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性。     

基于主体的自适应视频传输系统

为及时评估网络的状况，动态调整发送帧率，保证视频传输的最佳服务质量，该文以反应型主体模型为指导，应用基于消息的行为组织方法维护主体行为模型的消息一行为准则，并考虑了多主体并行以及协调与协作等特点，设计了基于主体的具适应性视频传输系统。此系统中采用了实时传输协议，根据客户主体的反馈信息预测网络状况并据此实现对发送帧率的动态调整。     

分布式工作流中的柔性事务模型

描述了一种可以为分布式工作流提供事务支持的模型设计、并提出了一种柔性事务模型。给出了柔性事务的定义,然后描述了保证柔性事务被正确调度的可串行化正确性准则。该模型具有在多层工作流管理系统中处理分布式业务流程的能力。