基于一阶迁移系统的限界模型检测工具实现

为了简化在限界模型检测过程中模型的建立过程,给出了一种采用基于一阶迁移系统语言的模型建立方法,并在此一阶迁移系统语言中加入了通道的功能,增强了描述能力。然后在此基础上完成了一个以基于插值和k步归纳的限界验证算法为核心的模型检测工具(BMCF),最后利用该工具对常见的互斥协议,简单数据传输协议的性质进行了分析与验证。结果表明,利用该工具对系统进行建模具有方便直观的特点,并借助实现的验证算法能高效的检验性质的正确性,如果性质不成立工具还会给出反例提示。

AGET ATRP of acrylamide in aqueous media

The recently developed initiation system, the activator generated by electron transfer (AGET) was used in atom transfer radical polymerization (ATRP) to synthesize well-controlled polyacrylamide in aqueous media at 25 degrees C. The different reducing agents involved ascorbic acid and glucosa; well-controlled polymers were obtained when ascorbic acid was used as water-soluble reducing agent. The polymerizations targeted at degrees of polymerization in the range of 400 resulted in polymers with low polydispersity indices. Moreover, first order plots were linear.

Living polymerization of 1,3-butadiene by a Ziegler-Natta type catalyst composed of iron(III) 2-ethylhexanoate, triisobutylaluminum and diethyl phosphite

Living characteristics of facilely prepared Ziegler-Natta type catalyst system consisting of iron(III) 2-ethylhexanoate, triisobutylaluminum and diethyl phosphite have been found in the polymerization of 1,3-butadiene in hexane at 40 degrees C. The characteristics have been well demonstrated by: a first-order kinetics with respect to monomer conversion, a narrow molecular weight distribution (M-w/M-n = 1.48-1.52) of polybutadiene in the entire range of polymerization conversion and a good linearity between M-n and the yield of polymer. Feasible post-polymerization of 1,3-butadiene and block co-polymerization of 1,3-butadiene and isoprene further support the living natures of the catalyst bestowed with.

Monitoring catalytic degradation of dye molecules on silver-coated ZnO nanowire arrays by surface-enhanced Raman spectroscopy

Catalytic degradation of organic dye molecules has attracted extensive attention due to their high toxicity to water resources. In this paper, we propose a novel method for the fabrication of uniform silver-coated ZnO nanowire arrays. The degradation of typical dye molecule rhodamine 6G (R6G), as an example, is investigated in the presence of the as-prepared silver-coated ZnO nanowire arrays. The experimental results show that such composite nanostructures exhibit high catalytic activity, and the reaction follows pseudo-first-order kinetics. Furthermore, these nanowire arrays are desirable SERS substrates for monitoring the catalytic degradation of dye molecules. Compared with traditional UV-visible spectroscopy, SERS technology can reflect more truly the catalytic degradation process occurring on the surface of the catalysts.

A quantitative HPLC method for determining lactide content using hydrolytic kinetics

A new method for quantitative analysis of lactide has been developed by applying chemical kinetics to a HPLC system. The most important advance is its practical approach to the quantification of analytes that are unstable in the HPLC mobile phase. In HPLC analysis, anhydrous mobile phases cannot separate lactide from impurities, and only mixtures of water and organic solvent can achieve effective separation. By selecting conditions for testing and studying the kinetics of lactide hydrolysis, extensive experiments revealed that lactide degradation can be treated as a pseudo-first-order reaction under the given HPLC conditions, and lactide content or purity can be quantitatively determined. This method is practical for measuring the purity of the intermediate lactide in polylactic acid (PLA) production and the lactide content in PLA.

Polymerization of 2,2 '-Dimethyltrimethylene Carbonate by Lutetium Complexes Bearing Amino-Phosphine Ligands

A series of lutetium alkyl, amino, and guanidinato complexes based upon an amino-phosphine ligand framework had been prepared. These complexes were applied to initiate ring-opening polymerization of 2,2'-dimethyltrimethylene carbonate (DTC). The type of the initiator significantly influenced the catalytic activity of these complexes in a trend as follows: alkyl approximate to guanidinate > amide, whereas the complexes with flexible backbone between P and N atoms within the ligand exhibited higher activity than those with rigid backbone. The isolated PDTC had bimodal-mode molecular weight distribution. The molecular weights of each fraction increased linearly with the conversion, indicating that there might be two active species. This had been confirmed by analyses of oligomeric DTC living species and oligomer with NMR technique as the metal-alkoxide and the four-membered metallocyclic lactate. Kinetic investigation displayed that the polymerization rate was the first order with the monomer concentration.

Polymerization of 1,3-butadiene with VO(P-204)(2) and VO(P-507)(2) activated by alkylaluminum

The oxovanadium phosphonates (VO(P-204)(2) and VO(P-507)(2)) activated by various alkylaluminums (AlR3, R = Et, i-Bu, n-Oct; HAIR(2), R = Et, i-Bu) were examined in butadiene (Bd) polymerization. Both VO(P-204)(2) and VO(P-507)(2) showed higher activity than those of classical vanadium-based catalysts (e.g. VOCl3, V(acac)(3)). Among the examined catalysts, the VO(P-204)(2)/Al(Oct)(3) system (I) revealed the highest catalytic activity, giving the poly(Bd) bearing M-n of 3.76 x 10(4) g/mol, and M-w/M-n ratio of 2.9, when the [Al]/[V] molar ratio was 4.0 at 40 degrees C. The polymerization rate for I is of the first order with respect to the concentration of monomer. High thermal stability of I was found, since a fairly good catalytic activity was achieved even at 70 degrees C (polymer yield > 33%); the M-n value and M-w/M-n, ratio were independent of polymerization temperature in the range of 40-70 degrees C. By IR and DSC, the poly(Bd)s obtained had high 1,2-unit content (> 65%) with atactic configuration. The 1,2-unit content of the polymers obtained by I was nearly unchanged, regardless of variation of reaction conditions, i.e. [Al]/[V], ageing time, and reaction temperature, indicating the high stability of stereospecificity of the active sites.

Electrocatalytic reduction of 1,2-diiodoethane by anions of supramolecular complex of (beta-CD)(2)/C-60 in DMF solution

The homogeneous electrocatalytic reduction of 1,2-diiodoethane by anions of the supramolecular complex of (beta-CD)(2)/C-60 in DMF solution is reported. The results show that the trianion of (beta-CD)(2)/C-60 exhibits electrocatalytic behavior towards the reduction of 1,2-diiodoethane, whereas the diani on is unable to reduce the diiodoethane. The second-order catalytic rate constant in DMF solution was determined to be 3.1 x 10(5) M-1 s(-1) by analysis of voltammetric responses under pseudo-first-order conditions with respect to (beta-CD)(2)/C-60. The results suggest that the host beta-cyclodextrin molecules have little effect on the electrocatalytic ability of the encapsulated C-60 toward organic halides.

Polymeric pH indicators immobilized PVA membranes for optical sensors of high basicity based on a kinetic process

Two kinds of polymeric pH indicators PPF (phenolphthalein-formaldehyde product) and CPF (o-cresolphthalein-formaldehyde product) immobilized cross-linked poly(vinyl alcohol) membranes (PPF-PVA and CPF-PVA) for optical intermittent determination of high basicity ([OH-] = 1-8 M) based on a kinetic process were developed. In our previous work, we had demonstrated that PPF-PVA and CPF-PVA could perform the determination of high pH values from pH 10.0 to 14.0. Here the discoloring kinetic behaviors of PPF-PVA and CPF-PVA were compared with those of free phenolphthalein, o-cresolphthalein and thymolphthalein. Experimental results and theoretical analysis indicated that the response behaviors of the optodes' membranes in concentrated NaOH solutions were diffusion-independent and still complied with the pseudo-first-order kinetics. In addition, two data analysis methods for determination were presented. One was directly based on the reduced absorbance: the other was based on the discoloring kinetic constant. It was found that the latter could perform a rapid (60 s) and reliable (relative standard deviation: 2.6%) determination for high basicity.

Stereoselective polymerization of rac-lactide with a bulky aluminum/Schiff base complex

An aluminum/Schiff base complex {[2,2-dimethyl-1,3-propylenebis(3,5-di-tert-butylsalicylideneiminato)](isopropanolato)aluminum(III) (2)} based on a bulky ligand and aluminum isopropoxide was prepared and employed for the stereoselective ring-opening polymerization (ROP) of rac-lactide (rac-LA). The initiator was characterized with nuclear magnetic resonance (NMR), crystal structure measurements, and elemental analysis. It contained a five-coordinate aluminum atom that was trigonal bipyramidal in the solid state according to the crystal structure measurements. The two conformational stereoisomers of 2 exchanged quickly on the NMR scale. Compound 2 polymerized rac-LA into a crystalline polymer that was characterized with H-1 NMR, wide-angle X-ray diffraction, electrospray ionization mass spectrometry, and gel permeation chromatography. The kinetics of the polymerization were first-order in both the monomer and initiator, and there was a linear relationship between the rac-LA conversion and the number-average molecular weight of poly(rac-LA) with a narrow molecular distribution (1.04-1.08). These features showed that the polymerization was well controlled. The high melting temperature (196-201 degreesC) and isotacticity of poly(rac-LA) indicated that complex 2 was a highly stereoselective initiator for the ROP of rac-LA.

Stereoselective polymerization of rac-lactide using a monoethylaluminum Schiff base complex

A monoethylaluminum Schiff base complex (2) with formula LA1Et (L = N,N'-(2,2-dimethylpropylene)bis(3,5-di-tei-t-butylsalicylideneimine) was synthesized and employed for the stercoselective ring-opening polymerization of rac-lactide (rac-LA). The complex 2 was characterized by nuclear magnetic resonance, crystal structure, and elemental analysis. It contains a five-coordinate aluminum atom with distorted trigonal bipyramidal geornetry in the solid state. In the presence of 2-propanol, 2 showed high stereoselectivity for the polymerization of rac-LA. The polymerization yielded crystalline poly(rac-LA) with a high melting temperature (193-201 degreesC). NMR, differential scanning calorimetry, and wide-angle X-ray diffraction indicated that the poly(rac-LA) was highly isotactic, and a stereocomplex was formed between poly-L- and poly-D-lactide block sequences. By the analysis of electrospray-ionization mass spectrometry and H-1 NMR, the polymer was demonstrated to be endcapped in both terminals with an isopropyl ester and a hydroxy group, respectively. The polymerization was of first order in rac-LA concentration. The relationship between the rac-LA conversion and molecular weights of the polymer was linear so that the polymerization could be well controlled.

Preparation of TiO2 nanocrystallites by hydrolyzing with gaseous water and their photocatalytic activity

TiO2 nanocrystallites were prepared front precursors tetra-n-butyl titanate (Ti(OC4H9)(4)) and titanium tetrachloride (TiCl4). The precursors were hydrolyzed by gaseous water in autoclave, and then calcined at predetermined testing temperatures. The samples were characterized by X-ray diffraction (XRD), thermogravimetry-differential thermal analysis (TG-DTA), field emission scanning electron microscopy (FE-SEM), Fourier transform infrared spectra (FT-IR), and UV-vis diffuse reflectance spectra (DRS). The photocatalytic activities of the samples were evaluated by the photobleaching of methylene blue (MB) in aqueous solution and the photocatalytic oxidation of propylene in gas phase at ambient temperature. The results showed that the anatase phase nanocrystalline TiO2 could be obtained at relatively low temperatures (for precursor Ti(OC4H9)4 at I I VC and for TiCl4 at 140 degrees C, respectively), and that the as prepared samples exhibited high photocatalytic activities to photobleach MB in aqueous solution. As the calcination temperatures increasing. the decolor ratio of MB increased and reached the maximum value of nearly 100% at 600 degrees C, and then decreased. The photobleaching of MB by all samples followed the pseudo-first-order kinetics with respect to MB concentration.

Mass transfer kinetics of yttrium(III) using a constant interfacial cell with laminar flow. Part II. Extraction with Cyanex 272

The yttrium(III) extraction kinetics and mechanism with bis-(2,4,4-trimethyl-pentyl) phosphinic acid (Cyanex 272, HA) dissolved in heptane have been investigated by constant interfacial cell with laminar flow. The data has been analyzed in terms of pseudo-first order constants. Studies on the effects of stirring rate, temperature, acidity in aqueous phase, and extractant concentration on the extraction rate show that the extraction regime is dependent on the extraction conditions. The plot of interfacial area on the rate has shown a linear relationship. This fact together with the strong surface activity of Cyanex 272 at heptane-water interfaces has made the interface the most probable location for the chemical reactions. The forward, reverse rate equations and extraction rate constant for the yttrium extraction with Cyanex 272 have been obtained under the experimental conditions. The rate-determining step has been also predicted from interfacial reaction models. The predictions have been found to be in good agreement with the rate equations obtained from experimental data, confirming the basic assumption that the chemical reaction is located at the liquid-liquid interface.

Mass transfer kinetics of yttriium(III) using a constant interfacial cell with laminar flow. Part I. Extraction with Cyanex 302

The interfacial tension is measured for Cyanex 302 in heptane and adsorption parameters are calculated according to Gibbs equation and Szyskowski isotherm. The results indicate that Cyanex 302 has a high interfacial activity, allowing easy extraction reaction to take place at the liquid-liquid interface. The extraction kinetics of yttrium(III) with Cyanex 302 in heptane are investigated by a constant interfacial cell with laminar flow. The effects of stirring rate, temperature and specific interfacial area on the extraction rate are discussed. The results suggest that the extraction kinetics is a mixed regime with film diffusion and an aqueous one-step chemical reaction proposed to be the rate-controlling step. Assuming the mass transfer process can be formally treated as a pseudo-first-order reversible reaction with respect to the metal cation, the rate equation for the extraction reaction of yttrium(III) with Cyanex 302 at pH <5 is obtained as follows:R-f = 10(-7.85)[Y(OH)(2)(+)]((a))[H(2)A(2)]((o))(1.00)[H+]((a))(-1.00)Diffusion parameters and rate constants are calculated through approximate solutions of the flux equation.

Kinetics of cerium(IV) extraction with DEHEHP from HNO3-HF medium using a constant interfacial cell with laminar flow

Studies of the extraction kinetics of cerium(IV) into n-heptane solutions of di(2-ethylhexyl)-2-ethylhexyl phosphonate DEHEHP from HNO3-HF solutions have been carried out using a constant interfacial cell with laminar flow. The experimental hydrodynamic conditions were chosen so that the contribution of diffusion to the measured rate of reaction was minimized. The data were analyzed in terms of pseudo-first order constants. The effects of the stirring rate, specific interfacial area, and temperature on the extraction rate showed that the most probable reaction zone is in the aqueous homogeneous phase. The results were compared with those of the system without HF. It was concluded that the presence of HF decreases the extraction rate of cerium. The addition of HF increases the activation energy for the forward reaction from 21.2 to 55.3 kJ/mol and for the reverse process from 57.9 to 79.0 kJ/mol. According to the experimental data correlated as a function of the concentration of the relevant species involved in the extraction reaction, the corresponding rate equation was deduced as follows:-d[Ce]/dt = k[Ce] center dot B-0.62 center dot HF-0.58 center dot [NO3-](0.57)