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…     

《唐会要》正文错误类型及成因探析

《唐会要》是现存最早的会要体史书,是研究唐史,特别是研究玄宗天宝以后历史的重要典籍。由于《唐会要》的编纂历经唐、五代至宋初几个阶段,成书于不同人之手,记事难免有舛误之处,加之宋以后至清初一直未曾刊刻,仅靠抄本流传,故文字脱讹严重,大大影响了该书的使用价值。本文把今本《唐会要》中的错误类型归纳为十二个方面,并对其成因略作分析。     

青春期女性血红蛋白正常参考值与中国地理因素

收集了中国76个单位用氰化高铁血红蛋白(HiCN)法测定的11 792例青春期女性血红蛋白正常参考值,运用相关分析和回归分析的方法,研究了其与地理因素的关系,发现青春期女性血红蛋白正常参考值与中国地理因素之间有很显著的相关关系(F=85.40).用逐步回归分析的方法推导出了一个回归方程:Y∧=120.7 0.005554X1 0.2460X3-0.8110X4±11.4如果知道了中国某地的地理因素,就可以用回归方程估算这个地区的血红蛋白正常参考值.依据血红蛋白正常参考值与地理因素的依赖关系把中国分为青藏区、西南区、西北区、东南区、华北区、东北区等六个区.     

BP网络及其应用

基函数选取和系数求解是函数逼近中的两个关键问题,目前广泛应用的回归分析或其它映射方法均有局限性。采用人工神经网络中的BP网较好地解决了这两个问题,对理论和实际的数据进行了比较与验证,结果表明.BP网络有助于提高数据处理的可靠性与预测的精度.     

超声波测井仪测量精度问题

本文着重阐述立井钻井法施工时,使用CJ501声波并仪测量井筒直径,影响测量精度的因素及其误差修正方法.     

银行的信贷决策机制（一）——信贷市场为不完全竞争情形

本文研究了信贷市场处于不完全竞争情形下的信贷决策机制，对于完全信息情形给出了信贷决策机制的设计；针对不完全信息情形提出了信贷决策模型和机制的最优性条件，讨论了信贷决策机制的若干性质．本文的研究工作是基于对风险刻画的“均值保持展形”概念的．     

对逐级递增负荷力竭性运动前后自由基代谢的灰色关联分析

采用灰色关联分析方法研究了逐级递增负荷力竭性运动前后自由基代谢指标的变化，结果显示，自由基代谢系统不同成分之间的相互影响是非常复杂的；尿液T—SOD的变化可能主要受到肾脏本身自由基代谢状态的影响；机体各组织细胞中生成的MDA对尿液MDA含量的变化有重要影响．     

论中美关系中的美国国会因素

由于宪法机制上的含糊性,美国历史上存在对外政策上的“府会”之争。冷战结束以来,国会实现了一种在对外政策上的“复兴”。伴随这一历史背景,国会在美国对华决策机制中所起的作用越来越大。从历史线索整理当代中美关系发展史上国会在不同时期对中美关系的影响,可以概括出美国国会在中美关系中的主要地位作用,进而得出影响美国国会对华政策的关键性原因:国会内部微观因素和外部制约因素。在此基础上,可以预测美国国会对中美关系进一步发挥影响的可能趋势,进而提出中国政府做国会工作的几点对策。     

膜结构裁剪及展开的修正二次测地线法

对膜结构裁剪分析中目前应用较广的裁剪线的生成方法进行了比较研究，提出修正二次测地线法。确定了采用测地线作为裁剪线及展开图形的基准线。之后对已有图形展开方法——二次测地线法做了适当改进，提出修正二次测地线法。     

径向电磁轴承的灰色系统控制与数值仿真

应用灰色系统去余控制理论，以径向电磁轴承为对象，提出该轴承的灰色系统控制方法，以实现对转子的稳定控制，并进行了数值仿真。建立了径向电磁轴承转子系统的动力学模型与传递函数，按照灰色系统理论设计了控制系统，由数值仿真结果表明，该转子系统能实现稳定良好的控制效果。