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.     

基于层面信息的路径优化

根据分层物体快速成型（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.     

Phenylene vinylene‐based electroluminescent polymers with electron transport block in the main chain

We report a new route for the design of soluble phenylene vinylene (PV) based electroluminescent polymers bearing electron‐deficient oxadizole (OXD) and triazole (TZ) moieties in the main chains with the aryloxy linkage. Both series of the PV‐based polymers were prepared by Wittig reaction. By properly adjusting the OXD and/or TZ content through copolymerization, we can achieve an enhanced balance of hole‐ and electron injections, such that the device efficiency is significantly improved. Light‐emitting diodes fabricated from P1, P2, P3, P4, P5, P6, and P7 with the configuration of Indium–Tin Oxide (ITO)/Poly (styrene sulfonic acid) doped poly (ethylenedioxythiophene) (PEDOT)/polymer/Ca/Al, emit bright green light with the maximum peak around 500 nm. For the device using the optimal polymer (P4) as emitting layer, a maximum brightness of 1300 cd/m² at 20 V and a maximum luminance efficiency of 0.325 cd/A can be obtained. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 3469–3478, 2006     

In‐line monitoring of UV photopolymerization with a quartz crystal resonator

An in‐line monitoring device using a quartz crystal resonator for thin film polymerization was proposed, and its performance has been evaluated by implementing in the UV polymerization of 2‐hydroxyethyl methacrylate with a photoinitiator of 1‐chloroanthraquinone. Because the variation of resonant resistance of the resonator is proportional to the square root of viscosity change that is closely related to the polymerization degree, the resistance can be used as a measure of the polymerization degree. The resistance measurements were compared with the outcome of instrumental analyses of polymerization degree using an FTIR spectrometer and a gel permeation chromatograph. The experimental results showed that the resistance measurements were consistent with the experimental outcome of the instrumental analyses, and this indicates the effectiveness of the proposed device. Owing to the simplicity and availability of the resonator system, its wide utilization in the monitoring of a variety of film polymerization processes, including photoresistor application, is expected. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 2428–2439, 2006     

Synthesis and application as polymer electrolyte of hyperbranched polyether made by cationic ring‐opening polymerization of 3‐{2‐[2‐(2‐hydroxyethoxy)ethoxy]ethoxymethyl}‐3′‐methyl‐oxetane

A novel cyclic ether monomer 3‐{2‐[2‐(2‐hydroxyethoxy)ethoxy]ethoxy‐methyl}‐3′‐methyloxetane (HEMO) was prepared from the reaction of 3‐hydroxymethyl‐3′‐methyloxetane tosylate with triethylene glycol. The corresponding hyperbranched polyether (PHEMO) was synthesized using BF₃·Et₂O as initiator through cationic ring‐opening polymerization. The evidence from ¹H and ¹³C NMR analyses revealed that the hyperbranched structure is constructed by the competition between two chain propagation mechanisms, i.e. active chain end and activated monomer mechanism. The terminal structure of PHEMO with a cyclic fragment was definitely detected by MALDI‐TOF measurement. A DSC test implied that the resulting polyether has excellent segment motion performance potentially beneficial for the ion transport of polymer electrolytes. Moreover, a TGA assay showed that this hyperbranched polymer possesses high thermostability as compared to its liquid counterpart. The ion conductivity was measured to reach 5.6 × 10^?5 S/cm at room temperature and 6.3 × 10^?4 S/cm at 80 °C after doped with LiTFSI at a ratio of Li:O = 0.05, presenting the promise to meet the practical requirement of lithium ion batteries for polymer electrolytes. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 3650–3665, 2006