组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。     

数据仓库环境下基于知识的智能查询

提出了数据仓库环境下基于知识的智能查询方法－－KBIQ方法,详细介绍了该方法中的NQL语言和KBDL语言,并阐述了一个通用智能查询工具－－KBIQ系统的实现。     

SUN的SPARC处理器体系结构及TurboSPARC微处理器

本文介绍了Sun Microsystems公司的SPARC处理器体系结构以及TurboSPARC微处理器,详细叙述了其技术特征及优化性能。     

应用KIMRAY自力式调节阀实现地面测试求产中的天然气回收

简述了自力式调节阀的工作原理。以文古3井为例,详述了自力式调节阀的应用情况。实例证明,在地面流程中,应用自力式调节阀的压力自动控制原理,可解决油气井测试、地面计量试采过程中天然气回收的问题。     

结构化组合事务补偿精化性质研究

针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题,提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法,解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构：顺序、并行、选择和迭代结构;然后引入组合流程精化的概念,给出了精化后相关性质的证明,最后通过具体业务实例验证该精化方法的可行性。     

Java计算在企业中的应用

本文介绍了Ｊａｖａ计算技术，详细叙述了其对现有企业计算中所存在问题的解决方法，并给出了基于Ｊａｖａ计算的企业ＩＴ体系。     

制粒过程中环模力学模型的建立及有限元分析

环模制粒机广泛地应用于饲料工业、新能源技术和制药等领域,而环模和压辊是其关键部件。建立了环模挤压力学模型,并在此基础上应用ANSYS软件对环模进行了有限元力学分析,获得了沿环模轴向和周向的应力和位移数据。分析结果表明:环模沿轴向受到的是非均匀载荷,疲劳断裂是环模的一种失效形式。为改善环模的受力状况、降低环模磨损提供了一定的参考。     

地铁列车制动框架有限元分析

对地铁列车的制动框架采用有限元法,分别进行了静强度分析、模态分析和振动冲击分析.分析结果表明:制动框架的静强度和振动冲击应力满足材料的屈服极限,但需要对制动框架局部结构进行加强.     

浅析地铁列车制动系统辅助控制装置

辅助控制装置是地铁列车制动系统的重要组成部分。本文对辅助控制装置进行了详细的分析,包括了辅助控制装置的气路原理、集成方式、控制功能、出口管路、电连接器和停放隔离塞门的设置。     

八区下乌尔禾组合理泵效探讨

八区下乌尔禾组油藏的特征为气液比高,供液差,泵挂深,导致该区块抽油井泵效低.针对该油藏的特征本厂采取了相应的技术配套来提高泵效.通过研究分析发现沉没度是影响泵效的主要影响因素,统计正常生产的油井的气液比,沉没度,泵效,对数据进行拟合,发现泵效随沉没度的增大而迅速增大,沉没度继续增大而泵效增势变缓,继续增大沉没度,泵效趋于恒定值.运用该规律及现场的调整措施,可进一步提高泵效。