基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

冲孔灌注桩的质量控制

桩基工程是中型桥梁经常采用的一种桩基形式,本文介绍了泥浆护壁桩基础水下砼浇筑施工的桩机对位,冲孔、清孔、安放钢筋笼、灌注砼等技术问题,对施工人员及监理人员在施工过程中应该注意的问题和必需遵循的施工控制程序进行了论述。     

新型先简支后连续板梁的施工工艺

结合新型先简支后连续施工工艺在宁波市东外环,江南公路互通立交工程中的应用,系统介绍了该工艺的施工方法、施工控制关键点、特点、优点等,指出该工艺可在全国推广应用.     

新形势下大型综合医院保卫工作现状及对策

当前我国的医疗行业进行着一系列的改革,为保证医院的改革顺利进行和健康发展,医院的安全保卫工作应研究改革的现状和发展趋势,就如何做好医院的安全保卫工作探讨相应的对策是十分必要的.     

满汉全席美“石”宴

~~满汉全席美“石”宴@施德勇~~     

民族、宗教文献汉译英中理解的历史语境

运用阐释学、语用学的有关理论 ,结合民族、宗教文献汉译英中的一些问题 ,探讨了在翻译的过程中建立历史语境意识的必要性。     

利用“控制平衡”原理计算沉淀的溶解度

大多数沉淀在水溶液中存在着多重平衡。因此，我们在计算沉淀的溶解度时，应利用“控制平衡”原理来处理。所谓“控制平衡”原理是考虑多种平衡的情况下，抓住起始反应物和溶液中主要反应平衡关系的方法。设起始物为A，可能发生以下反应：A＝＝B＋C＠或——E＋F②——B＋E＠若其中某一个反应为主反应，那么此反应就称为控制平衡反应。该物质人的溶解度可由它大致求出来。然后，再根据其它平衡常数的大小，进一步求出准确的溶解度。如何寻找控制平衡反应呢？首先需将有关平衡反应—一列出来，将各平衡常数除以该平衡生成的总分子数n，其…