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…     

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

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

BP网络及其应用

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

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

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

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

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

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

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

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

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

子块非均匀量化的小波变换图像压缩编码方法

本文提出了一种子块非均匀量化的小波变换的图像压缩的编码方法。该方法充分利用了WT的良好的去相关特性，针对小波分解弱化各子带的统计特性的缺点给量化器设计造成困难提出了一个解决方案，并在实践中收效良好。     

广西区域开放测度与对外开放战略

通过对2000年广西区域开放度的度量和横向比较,以及20世纪90年代广西区域开放度的变动趋势纵向分析表明:广西对外开放度总体居于全国中等水平,并呈现出波动趋势,广西对外开放的质量亟待于进一步提高。在新的历史时期,广西必须抓住机遇,积极实施对外开放战略。     

SMA智能复合材料结构的力学分析与建模

介绍了SMA智能复合材料结构力学建模在弯曲变形及振动控制方面的研究现状,论述了连续型和有限元建模方法,分析了SMA智能复合材料结构大变形问题及温度影响问题,并就SMA智能复合材料结构的力学建模提出几点建议。