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…     

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

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

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

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

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

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

Rhodathiaboranes with `anomalous' electron counts: synthesis, structure and reactivity

Analysis of the structures of 8,8-(PPh₃)₂-8,7-nido-RhSB₉H₁₀ and 9,9-(PPh₃)₂-9,7,8-nido-RhC₂B₈H₁₁ by RMS misfit calculations has confirmed that these rhodaheteroboranes possess nido 11-vertex cluster geometries in apparent contravention of Wade's rules. However, examination of the molecular structures of both species shows that the {RhP₂} planes are inclined by ca. 66° with respect to the metal-bonded SB₃ or CB₃ faces, and that two weak ortho-CHRh agostic interactions occupy the vacant co-ordination position thereby created. As a consequence of these agostic bonds the Rh atom, and hence the overall cluster, is provided with an additional electron pair, meaning that their nido structures are now fully consistent with Wade's rules. The chelated diphosphine compound 8,8-(dppe)-8,7-nido-RhSB₉H₁₀ is similar to the PPh₃ compound in showing the same agostic bonding. Attempts to prepare a bis-P(OMe)₃ analogue result in ligand scavenging and the formation of 8,8,8-{P(OMe)₃}₃-8,7-nido-RhSB₉H₁₀. Similarly, reaction between Cs[6-arachno-SB₉H₁₂] and RhCl(dmpe)CO does not result in CO loss but in formation of 8,8-(dmpe)-8-(CO)-8,7-nido-RhSB₉H₁₀, shown to exist as a mixture of two of three possible rotamers. Deprotonation of 8,8-(PPh₃)₂-8,7-nido-RhSB₉H₁₀ and 8,8-(dppe)-8,7-nido-RhSB₉H₁₀ with MeLi yields the anions [1,1-(PPh₃)₂-1,2-closo-RhSB₉H₉]⁻ and [1,1-dppe-1,2-closo-RhSB₉H₉]⁻, respectively, with octadecahedral cage structures. It is argued that anion formation causes the agostic bonding to be `switched-off' and results in the cluster adopting the closo architecture predicted by Wade's rules. This structural change is fully reversible on reprotonation, and if reprotonation of [1,1-(dppe)-1,2-closo-RhSB₉H₉]⁻ is carried out in MeCN, the product 8,8-(dppe)-8-(MeCN)-8,7-nido-RhSB₉H₁₀ forms. Interestingly, 8,8-(dppe)-8-(MeCN)-8,7-nido-RhSB₉H₁₀ reconverts to 8,8-(dppe)-8,7-nido-RhSB₉H₁₀ on standing in CDCl₃, suggesting that the agostic bonding is sufficiently strong to displace co-ordinated MeCN. All new compounds are fully characterised by multinuclear NMR spectroscopy and, in many cases, by single crystal X-ray diffraction.     

Luminescence kinetic and association equilibria of lanthanide ions in aqueous solutions. II. Determination of the formation constant of Tb acetato complex by means of luminescence lifetime measurement

The association constant K of mono-acetato complex of Tb³⁺ has been determined at normal p and T conditions by measurement of its luminescence lifetime in aqueous solution containing increasing concentrations of acetate. Two experimental arrangements used for the measurement are described.     

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规则．     

A microcalorimetric study of the association of hexacyanoferrate(II) ions with calcium and magnesium ions in aqueous solution

Using flow microcalorimetry, the ion association reaction M²⁺(aq)+Fe(CN) ₆ ^4– (aq)=MFe(CN) ₆ ^2– (aq) (M=Ca, Mg) has been studied at 25°C over the ionic strength range 0.02 to 0.08 mol-dm^–3. Analyses of the data to obtain H^o, the enthalpy change at infinite dilution, are described. The value obtained for H^o is sensitive to the kind of functions used to correct for non-ideal behavior.     

pH,Definition and measurement at high temperatures

In this review paper, the NBS scale and its limitations are briefly discussed. The magnitude of liquid junction potentials and some calculated values are presented. The use of a molality scale for hydrogen electrode concentration cells at high temperatures is described, and results from measurements on ionization equilibria are summarized. Use of this scale is also recommended for certain circumstances with cells without liquid junction. As an alternative activity scale, use of the Pitzer ion-interaction treatment for ions is recommended for special cases. Finally, reference data are presented for _±HCl in HCl(aq) to 350°C and (HCl+NaCl)(aq) to 200°C that were derived by use of the Pitzer ion-interaction treatment.Presented at the Second International Symposium on Chemistry in High Temperature Water, Provo, UT, August 1991.     

Conductance in homomorphous solvents: Tetrabutylammonium salts and alkali picrates in butyrolactone-sulfolane mixtures

Conductance measurements are reported for LiPi, NaPi, KPi, RbPi, CsPi, Bu₄NPi, Bu₄NBr, Bu₄NClO₄, Bu₄NNO₃, and Bu₄NBBu₄ at 25°C in -butyrolactone-sulfolane mixtures. In these mixtures of solvents that are practically homomorphous, isodielectic and with comparable dipole moments, the ion pair association and ionic mobilities of large ions conform to the expectations of the primitive model. Electrolytes containing lithium or sodium ions show anomalies indicating that other factors besides shape, dipole moment, and polarizability of the solvent molecules are involved in the association and transport processes of these ions.