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…     

论一种直观的思维模式——用运动的观点分析立体几何点滴

初等数学研究的数和形总是循着“运动变化”的轨迹走向纵深，渗透了辩证思想，把人们带进逻辑思维深奥而幽美的花园。如函数解析式：Y=f（X）中Y随着X的变化而变化，而连续函数的图象正是由点按某一规则运动而成的，即所谓轨迹。数与形的结合生动地描述了一种运动的变化，一种对立统一的思想方法，它已成为数学的重要思维模式和基本的理论知识。但学生较难在各数学分支中真正掌握这种思维方法；尤其是立体几何，它作为专门的一个数学分支把学生引向另一个似乎与此种思维方法无关的广阔天地去了。     

电子被HF和HCl分子散射总截面的计算

利用光学势方法计算了能量在１０ｅＶ—１０００ｅＶ范围内电子被Ｈ、Ｆ和Ｃｌ原子散射的总截面，并与已有的实验结果和理论计算进行了比较；又利用可加性规则（ａｄｄｉｔｉｖｉｔｙｒｕｌｅ）计算得到了电子被ＨＦ和ＨＣｌ分子散射的总截面，计算结果也与已有的实验结果和理论计算进行了比较     

On the Seneta Sequences

In this paper, we prove some properties of the Seneta sequences and functions, and in particular we prove a representation theorem in the Karamata sense for the sequences from the Seneta class SOc.     

D→Klv～l衰变过程的研究

用光锥QCD求和规则研究D→Klv～_l衰变过程，首先计算D→K跃迁形状因子，通过构造新的关联函数，消除了twist-3波函数的不确定性给计算结果所带来的影响，从而使计算结果更加精确. 计算得到的分支比与最近的实验数据相一致. 关键词： QCD光锥求和规则 D介子半轻衰变 分支比 形状因子     

游戏在规则之间--解读唐宋词审美愉悦

词作为"艳科"、"小道",起源于宴乐,流行于舞榭歌场,以艳情柔媚的风格作为叙事方式,取代了诗歌的统治地位而成为鼎盛一时的文学主流.这样一种文学形式的流行和兴盛,可以说是一个社会符号系统对欲望的妥协.在这场语言的集体狂欢中,词作为一种特殊的文化景观,游戏在社会角色规则、性别规则以及语言本身的规则之中,成为中国古代文学一朵盛极而糜的奇葩,也为今世之人带来与众不同的审美愉悦.     

基于﹒NET平台的魔芋专家系统的设计与实现

通过对农业技术应用现状的分析,指出了研制网上魔芋专家系统的必要性以及主要功能。本论文介绍了ASP.NET技术的特点、ADO.NET技术、以及初级魔芋专家系统开发的部分实例。     

VA族元素对阳极铅(Ⅱ)氧化物膜半导体性质的影响(Ⅱ)

用光电化学电流法研究了铅、铅砷、铅锑和铅铋合金在4．5mol·L－1H2SO4溶液（22℃）中，以0．9V（vs．Hg／Hg2SO4）极化7h而形成的阳极膜中的氧化铅的半导体性质，合金添加剂砷、锑和铋对t－PbO（四方氧化铝）和o-PbO（斜方氧化铝）的禁带宽度没有影响，从量子效率和电位的关系可求Pb，Pb－lat％As（at％表示原子百分比，全文同），Pb-lat％Sb和Sb－lat％Bi上膜中t－Pbo的施主密度（ND）分别为9．3×1015，1．0×1016，3．1×1016和1．3×1017cm-3，平带位分别为-0．20，－0．22，－0．28和-0．08V（vs．Hg／Hg2SO4）．比较VA元素砷、锑和铋对上述膜中t－Pbo的ND（从而自由电子密度）和膜中t－Pbo的生长速率的影响，可认为法添加剂砷、锑和铋对阳极膜中t-Pbo的作用符合Hauffe规则．     

改进加权单纯形方法在反相高效液相色谱操作条件最佳化中的应用

 ]本文介绍了改进加权单纯形方法（MWCM）的寻优规则，较系统地考察了MWCM方法在反相HPLC操作条件最佳化中的应用。通过对反相色谱二元和三元体系操作参数的优化选择，确证了方法的可靠性。与等度单纯形法及改进单纯形法相比，MWCM方法具有更高的寻优效率和寻优精度。此外，还对初始单纯形的选择方法进行了讨论。