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…     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。     

优化铅酸蓄电池化成工艺参数的研究

本文针对生极板为同一型号的电池，采用二次加酸化成，改变电流密度和时间．控制电解液的温度等方法．得到优化的工艺参数。采用该组工艺参数，不仅缩短铅酸蓄电池化成周期．提高生产效率，而且节约能源。     

高等级公路水泥稳定土施工工艺--博茨瓦纳帕塞公路水泥稳定层平地机施工技术研究

以博茨瓦纳帕塞公路工程施工为例，详细介绍了高等级公路水泥稳定土的施工准备、工艺流程与技术要求，指出了施工中应注意的问题。     

两指标随机过程的停止

~~(2 ) z∈ R+ 2 ,{z∈ D′{ D相似文献   

并行处理可视化监测环境

针对并行程序的工程化开发中缺乏有效的并行程序执行过程的可视化、性能监测与分析工具 ,该文设计和实现了一个面向并行程序的集成开发环境的可视化与监测分析工具。该环境集成并行过程的可视化、并行性能监测和评价于一体 ,根据它提供的直观可视信息 ,程序员能形象化地看到并行程序的运行状况 ,了解并行程序的执行性能 ,并通过性能监测分析比较并行算法 ,找出并行算法的性能瓶颈。该工具已应用于胜利油田的油藏数值并行模拟中 ,有效地支持了油藏数值模拟并行程序设计的开发 ,并获得了较好的效果     

Impoverishment of Soil Nutrients in Gully Erosion Areas in Yuanmou Basin

The impoverishment of soil nutrients of nine gully head areas in Yuanmou Basin is assessed through an integrated evaluation method established on the basis of Fuzzy mathematics and multivariate mathematical theory. Results show that soil erosion of gully erosion area in Yuanmou basin has resulted in severe impoverishment of soil nutrients. All gully head areas are at high leves of impoverishment except for one at middle. By probing into and analyzing the mechanism of impoverishment of soil nutrients, we find that soil erosion has led to impoverishment of soil nutrients in a way of compacting soil, heightening position of obstacle horizon, and reducing the content of organic matter, as well as the direct loss of nutrient elements. Finally, this paper points out that soil and water conservation arming at the prevention of soil erosion is the most effective way against impoverishment of soil nutrients in Yuanmou basin.     

大孔树脂提取中药有效成分的放大研究

用两种不同的方法对大孔树脂吸附柱进行了工艺放大,确定了大柱的上柱流量,计算出其吸附量、吸附效率等参数.结果表明,采用保持柱内通过时间不变(v/L=常数)的方法进行放大,其计算值与实验值吻合较好,树脂的吸附效率在90%左右,处理能力能够满足生产需要,可以作为大孔树脂吸附柱工艺放大的依据.当上柱流量在40～170L·h-1范围内变动时,其吸附效率在71 15%～91 56%的范围之内变化.     

Simulation of the diffusion process in composite porous media by random walks

A new random-walk interpolation scheme was developed to simulate solute transport through composite porous media with different porosities as well as different diffusivities. The significant influences of the abrupt variations of porosity and diffusivity on solute transport were simulated by tracking random walkers through a linear interpolation domain across the heterogeneity interface. The displacements of the random walkers within the interpolation region were obtained explicitly by establishing the equivalence between the Fokker-Planck equation and the advection-dispersion equation. Applications indicate that the random-walk interpolation method can simulate one- and two-dimensional, 2nd-order diffusion processes in composite media without local mass conservation errors. In addition, both the theoretical derivations and the numerical simulations show that the drift and dispersion of particles depend on the type of Markov process selected to reflect the dynamics of random walkers. If the nonlinear Langevin equation is used, the gradient of porosity and the gradient of diffusivity strongly affect the drift displacement of particles. Therefore, random-walking particles driven by the gradient of porosity, the gradient of diffusivity, and the random diffusion, can imitate the transport of solute under only pure diffusion in composite porous media containing abrupt variations of porosity and diffusivity.     

厂拌法拌刚性稳定层的施工方法与工序控制

厂拌法是公路基层施工建设的方法。本文对此方法作了详实的论述,将材料要求、施工前各个环节的准备工作、施工过程的工序控制以及后期养生等内容一一介绍。