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…     

A hybrid-Trefftz element containing an elliptic hole

Much work on special elements that simplify geometrical modelling of structures containing holes, cracks and/ or inclusions has been reported extensively in the literature. This paper presents a hybrid-Trefftz element containing elliptic hole formulated using Hellinger–Reissner principle by employing trial functions based on the mapping technique and the Cauchy integral method. The element presented in this paper could be regarded as an improved formulation over Piltner [Special finite elements with holes and internal cracks, Int. J. Numer. Methods Eng. 21 (1985) 1471–1485] element because the chosen trail functions in this paper have provided relatively more stable solutions. The use of the element with other ordinary displacement-based finite elements has also yielded very accurate solutions even when very coarse meshes relative to the size of the elliptic hole have been used.     

Iterative Method for Constructing Complete Complementary Sequences with Lengths of 2^mN

Complete complementary sequences are widely used in spectrum spread communications because of their ideal correlation functions. A previous method generates complete complementary sequences with lengths of N^nN （n,N ∈ Z^＋）. This paper presents a new iterative method to construct complete complementary sequences with lengths of 2^mN （m,N ∈ Z^＋）. The analysis proves that this method can produce many sequence sets that do not appear in sequence sets generated by the former method, especially shorter sequence sets. The result will certainly increase the application of complete complementary sequences in communication engineering and related fields.     

新型红外测油仪中的液芯波导技术

首次将液芯波导技术应用于中红外吸收测量的油成分分析领域, 研制的新型MFA-450型红外测油仪的灵敏度比现有同类型仪器提高一个数量级, 检出限为0.01 mg/L(油/萃取剂).     

基于层面信息的路径优化

根据分层物体快速成型（LOM）中零件逐层累积的特点，从缩短加工时间、提高制件效率方面着手阐述了路径优化的必要性，针对LOM机的运动机理和软件数据结构，给出了扫描路径优化的原理，将图论中的便宜算法用于LOM机的扫描路径优化。     

WAXS studies on block copolymers of ethylene and propylene

Wide-angle X-ray scattering from presumed block copolymers of polypropylene (PP) and ethylene-propylene copolymer (EPR), i.e., PP-EPR and PP-EPR-PP, synthesized by sequential polymerization with δ-TiCl₃? Et₂AlCl, was examined and compared with WAXS of mechanical blends and chain-transfer mixtures of PP and EPR with comparable compositions. The peak at 2θ = 20° for both the copolymers and the mixtures was attributed to the γ modification of PP in EPR. A strong variation in the ratio of diffraction intensities I₀₄₀/I₁₁₀ of PP in block copolymers and mixtures was explained in terms of crystallite growth in different directions. Analysis of the patterns and calculation of crystallinity, crystallite size, and lattice parameters led to the conclusion that block structure existed in the prepared copolymers.     

Synthesis for robust synchronization of chaotic systems under output feedback control with multiple random delays

Synchronization under output feedback control with multiple random time delays is studied, using the paradigm in nonlinear physics—Chua’s circuit. Compared with other synchronization control methods, output feedback control with multiple random delay is superior for a realistic synchronization application to secure communications. Sufficient condition for global stability of delay-dependent synchronization is established based on the LMI technique. Numerical simulations fully support the analytical approach, in spite of the random delays.     

Study of interactions of various ionic species with solvents toward the design of receptors

In earlier studies, the interactions of isolated ionic species with various solvents were investigated using ab initio calculations. The ionic species investigated included cations (proton, hydronium, ammonium, and metal cations) and anions (single electron, hydroxide, and halide anions). However in the present study, we investigate the interactions of these ionic species with the solvent in the presence of other competing ionic species. We also elaborate on how the information obtained from these extensive studies have been employed in designing and synthesizing various kinds of novel ionophores and receptors.     

A high-resolution MAS NMR study on the potential catalysts Mo/HBeta for olefin metathesis: The interaction of Mo species with HBeta zeolite

The interfacial interaction of Mo species with the HBeta zeolite was studied by multinuclear MAS NMR, XRD and N₂ adsorption. As proved by the quantitative ²⁷Al MAS NMR, this interaction is so strong as to dealuminate the framework of HBeta, and leads to a new peak appearing at −14 ppm, which indicates the formation of crystalline Al₂(MoO₄)₃. This can also be detected by XRD measurements when the Mo loading is as high as 9.0 wt.%. The corresponding quantitative ²⁹Si and ¹H MAS NMR spectra show that the amount of silanols and Brønsted acidic sites decrease obviously with increasing Mo loading. This also reveals an interaction between Mo species and HBeta support through an oxygen bridge resulting from condensation with the hydroxyls on the support. At higher Mo loadings, the interaction is so strong that it results in an extraction of aluminum from the zeolite framework, and subsequently appearance of Al₂(MoO₄)₃ and loss of Brønsted acidic sites. These can be correlated to the low catalytic activity of Mo/HBeta in metathesis of ethylene and 2-butylene to propylene.