Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

基于建筑图纸的三维重建技术研究进展

基于建筑图纸的建筑物三维重建是计算机图形学和人工智能领域的重要研究方向.文章系统分析了三维重建技术研究现状,介绍了重建过程的一般流程,包括建筑图纸的轴网识别,柱、梁、板及其它符号的识别,总结目前图纸理解与识别技术的研究成果、存在的主要难点、发展趋势及产业界的相关进展,最后提出该领域进一步的发展方向.     

庙西-新北地区泉头组四段低渗透油层油水分布规律研究

基于庙西-新北地区的古构造演化、油气来源、成藏期次、成藏要素耦合及典型油气藏解剖的分析,研究庙西-西北地区泉头组四段低渗透油层组油水分布规律。结果表明:1青山口组一段烃源岩是研究区扶余油层最主要的油气来源,研究区油气来自北部以及西部青一段烃源岩;2新立-庙西-新北三者共为一个鼻状构造,其中包含一个鼻状构造高点和三个次级鼻状构造,为继承性古隆起所致,同时也是源岩大量生排烃期之前形成的,后期未发生强烈构造运动,保存完好,是油气的优势富集区;3通过典型油藏精细解剖,识别出嫩2井区的油藏在垂向上主要分布于5和12小层;在平面上以河道边界、封闭断层和底部油水界面为界圈定油藏展布范围。本文所提出的油水分布规律研究方法将会在油田下一步的勘探部署工作中发挥重要的指导作用。     

法律解释方法的适用规则

法律人在获取一项正当裁判的过程中,必然要运用到法律解释。而法律解释的方法就是法律人从法的渊源找寻法律规范的必要工具。法律人为了获得一项令人满意的解释结果,在适用法律解释的方法的同时应该遵循一定的规则。法律人只有遵循了这样一种规则,他们所做的法律解释才是可靠的,得出的法律决定才是合理的和可接受的。     

基于频繁模式树的约束最大频繁项目集挖掘算法研究

目前绝大多数频繁项目集(或最大频繁项目集)挖掘算法并没有考虑相关领域知识,其结果会产生许多无关的模式.因此,发现约束频繁(或约束最大频繁)项目集是多种数据挖掘应用中的关键问题,然而,这方面的研究工作却很少.为此该文提出了一种快速的基于频繁模式树(FP-tree:一种扩展前缀树结构)的约束最大频繁项目集挖掘及其更新算法.实验结果表明该算法是快速有效的.     

五台山—恒山地区变质岩系构造相相变成因分析

五台山—恒山地区出露有不同层次的地壳,是研究构造相最理想的地区之一。作者对该区早前寒武纪构造特征进行了分析。根据不同层次的褶皱、断裂、布丁化岩石及同构造分泌结晶脉的宏观地质特征和与其相关的微组构特征,结合当前实验研究成果,提出了变质岩构造相新的划分方案,并对该区进行了构造相的划分;综合地质单元的地质特征、岩石学、变形变质特征和同位素年代学资料,对区内早前寒武纪的构造环境进行了初步研究;并在此基础上对该区的地壳演化和构造相相变成因进行了探讨。合理地解释了变质岩区普遍发生的所谓"同岩异化"和"异岩趋同",或"同物异相"和"同相异样"现象,为变质岩区提供了一种新的研究思路和工作方法。恒山角闪麻粒岩相高级区代表中-下地壳的过渡带、拆离带,其典型的构造样式、物质组成、变质作用及深融作用对于研究中下地壳的流变习性、地壳分异作用、早期大陆裂解事件具有十分重要的意义。     

结合冲突系数K与Pignistic 概率距离的冲突度量方法

针对经典证据理论中,冲突系数K不能有效地度量证据之间的冲突程度的问题,提出了一种新的证据冲突表示方法,通过引入pignistic概率距离,将pignistic概率距离和冲突系数K看成平面直角坐标系上的一点,通过计算这个点到坐标原点的距离,以此作为衡量证据间冲突程度的标准;针对新的冲突度量方法,提出了一种改进的证据合成算法,将新的冲突系数作为修正因子,证据冲突时对合成结果进行修正,证据不冲突时采用D-S合成规则进行合成。实例及仿真验证了新冲突度量算法和改进合成算法收敛速度显著快于对比算法。     

基于关联规则和竞争凝聚算法的高压电缆缺陷识别模型

为便于运维人员及时准确判断高压电缆缺陷类型,提出了一种基于关联规则和竞争凝聚算法的高压电缆缺陷识别模型。该方法基于现有在线监测、离线试验和运维系统等数据,利用关联规则挖掘出不同缺陷类型与状态数据的关联关系,并建立电缆缺陷关联规则库;针对现有关联规则算法只能处理布尔型数据局限,采用竞争凝聚算法对连续型数据进行离散化处理;最后通过实例对所提的模型进行分析验证,仿真结果表明该模型识别准确率高、求解效率高、解释性好,有助于运维人员对电缆进行及时动态的维护管理。     

基于多维诱导分量的拓展IOWA算子及其应用

受单一诱导分量不可排序的启发,提出了一种多维诱导分量的拓展IOWA(MIOWA)算子,它可以根据特定背景定义诱导分量的涵义,从不同侧面反映数据分量的若干特性.针对具有自主式特征的协商评价问题,定义了一个二维诱导分量的拓展IOWA算子,使得在多属性信息集结的过程中能够体现方案的相对优势和绝对优势;给出一个决定位置权向量的权数非独裁性协商规则下最大化orness水平的规划模型.最后给出一个算例说明了方法的可行性.