Unusual kinetic inhibitor effects on gas hydrate formation

Gas hydrate formation experiments were conducted with a methane-ethane mixture at 273.7 or 273.9 K and 5100 kPa and using water droplets or water contained in cylindrical glass columns. The effect of kinetic inhibitors and the water/solid interface on the induction time for hydrate crystallization and on the hydrate growth and decomposition characteristics was studied. It was found that inhibitors GHI 101 and Luvicap EG delayed the onset of hydrate nucleation. While this inhibition effects has been reported previously some unusual behaviour was observed and reported for the first time. In particular, the water droplet containing GHI 101 or Luvicap EG was found to collapse prior to nucleation and spread out on the Teflon surface. Subsequently, hydrate was formed as a layer on the surface. Catastrophic growth and spreading of the hydrate crystals was also observed during hydrate formation in the glass columns in the presence of the kinetic inhibitor. Finally, when polyethylene oxide (PEO) was added into the kinetic inhibitor solution the memory effect on the induction time decreased dramatically.     

Effect of rare earth elements surface treatment on tensile properties of aramid fiber‐reinforced epoxy composites

Solutions of rare earth modifier (RES) and epoxy chloropropane (ECP) grafting modification method were used for the surface treatment of aramid fiber. Tensile properties of both the aramid/epoxy composites and single fibers were tested. The effects of RES concentration on tensile properties of aramid/epoxy composites were investigated in detail to explore an optimum amount of rare earth elements in solution for modifying aramid fiber. The fracture surface morphologies of tensile specimens were observed and analyzed with the aid of SEM. The experimental results show that rare earth treatment is superior to ECP grafting treatment in promoting interfacial adhesion between the aramid fiber and epoxy matrix. Meanwhile, the tensile strengths of single fibers were almost not affected by RES treatment. The optimum performance is obtained when the content of rare earth elements is 0.5 wt %. © 2004 Wiley Periodicals, Inc. J Appl Polym Sci 92: 1037–1041, 2004     

Activation of a Au/TiO2 Catalyst by Loading a Large Amount of Fe–Oxide: Oxidation of CO Enhanced by H2 and H2O

Catalytic activity of a 1 wt% Au/TiO₂ catalyst is markedly improved by loading a large amount of FeO_x, on which the oxidation of CO in excess H₂ is selectively promoted at temperature lower than 60 °C. Oxidation of CO with O₂ on the FeO_x/Au/TiO₂ catalyst is markedly enhanced by H₂, and H₂O moisture also enhances the oxidation of CO but its effect is not so large as the promotion by H₂. We deduced that activation of Au/TiO₂ catalyst by loading FeO_x is not caused by the size effect of Au particles but a new reaction path via hydroxyl carbonyl intermediate is responsible for the superior activity of the FeO_x/Au/TiO₂ catalyst.     

Formal verification of security protocol implementations: a survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approach.     

A Framework for Moving Least Squares Method with Total Variation Minimizing Regularization

In this paper, we propose a computational framework to incorporate regularization terms used in regularity based variational methods into least squares based methods. In the regularity based variational approach, the image is a result of the competition between the fidelity term and a regularity term, while in the least squares based approach the image is computed as a minimizer to a constrained least squares problem. The total variation minimizing denoising scheme is an exemplary scheme of the former approach with the total variation term as the regularity term, while the moving least squares method is an exemplary scheme of the latter approach. Both approaches have appeared in the literature of image processing independently. By putting schemes from both approaches into a single framework, the resulting scheme benefits from the advantageous properties of both parties. As an example, in this paper, we propose a new denoising scheme, where the total variation minimizing term is adopted by the moving least squares method. The proposed scheme is based on splitting methods, since they make it possible to express the minimization problem as a linear system. In this paper, we employed the split Bregman scheme for its simplicity. The resulting denoising scheme overcomes the drawbacks of both schemes, i.e., the staircase artifact in the total variation minimizing based denoising and the noisy artifact in the moving least squares based denoising method. The proposed computational framework can be utilized to put various combinations of both approaches with different properties together.     

Quantitative Analysis of Zinc Vaporization from Manganese Zinc Ferrites

Zinc vaporization of Mn-Zn ferrites was quantitatively characterized in terms of oxygen partial pressure P _O2, temperature, grain size and sample geometry. The amount of zinc loss was measured as a function of time at various temperatures by a thermogravimetric method. The weight loss due to irreversible zinc vaporization showed a linear behavior with time and increased exponentially with temperature. The observed weight loss due to zinc evaporation at 1100°C was small, whereas a significant weight change was detected at 1200°C. The weight loss was even greater in a reducing atmosphere ( P _O2= 5 × 10⁻⁵). Below 1300°C, the diffusion of elemental zinc was sufficiently fast to compensate the zinc loss at the interface region, resulting in a linear dependence on time. At temperatures ≥1400°C, the weight change no longer followed the linear dependence and showed a rather parabolic behavior with a concave upward slope. The core shape and the gas flow around ferrite cores were important factors that affected the rate of zinc vaporization, but not the grain size.     

Preparation and properties of polyimide/silica hybrid composites based on polymer‐modified colloidal silica

A new type of polyimide/silica (PI/SiO₂) hybrid composite films was prepared by blending polymer‐modified colloidal silica with the semiflexible polyimide. Polyimide was solution‐imidized at higher temperature than the glass transition temperature (T_g) using 3,3′,4,4′‐biphenyltetracarboxylic dianhydride (BPDA) and 4,4′‐diaminodiphenyl ether (ODA). The morphological observation on the prepared hybrid films by scanning electron microscopy (SEM) pointed to the existence of miscible organic–inorganic phase, which resulted in improved mechanical properties compared with pure PI. The incorporation of the silica structures in the PI matrix also increased both T_g and thermal stability of the resulting films. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 100: 2053–2061, 2006     

Synthesis and biological activity of phthalimide‐based polymers containing 5‐fluorouracil

The attachment of anticancer agents to polymers is a promising approach towards reducing the toxic side‐effects and retaining the potent antitumour activity of these agents. A new tetrahydrophthalimido monomer containing 5‐fluorouracil (ETPFU) and its homopolymer and copolymers with acrylic acid (AA) and with vinyl acetate (VAc) have been synthesized and spectroscopically characterized. The ETPFU contents in poly(ETPFU‐co‐AA) and poly(ETPFU‐co‐VAc) obtained by elemental analysis were 21 mol% and 20 mol%, respectively. The average molecular weights of the polymers determined by gel permeation chromatography were as follows: M_n = 8900 g mol^?1, M_w = 13 300 g mol^?1, M_w/M_n = 1.5 for poly(ETPFU); M_n = 13 500 g mol^?1, M_w = 16 600 g mol^?1, M_w/M_n = 1.2 for poly(ETPFU‐co‐AA); M_n = 8300 g mol^?1, M_w = 11 600 g mol^?1, M_w/M_n = 1.4 poly(ETPFU‐co‐VAc). The in vitro cytotoxicity of the compounds against FM3A and U937 cancer cell lines increased in the following order: ETPFU > 5‐FU > poly(ETPFU) > poly(ETPFU‐co‐AA) > poly(ETPFU‐co‐VAc). The in vivo antitumour activities of all the polymers in Balb/C mice bearing the sarcoma 180 tumour cell line were greater than those of 5‐FU and monomer at the highest dose (800 mg kg^?1). © 2002 Society of Chemical Industry     

校园网防御体系解决方案

如何发挥现有网络设备的最佳功效,从而有效地提高现有网络的利用率,是校园网目前急需解决的问题。本文从探究如何建设高效安全的校园网,让校园网更好的为教育和科研服务为出发点,较好地阐述了目前校园网防御体系存在的问题,并提出了解决问题的措施。     

耐温抗冲防腐蚀涂料的研制

以环氧丙烯酸酯与呋喃胺/环氧树脂的互穿聚合物网络(IPN)为基料,制备了耐温、抗冲击性能优良的防腐蚀涂料。讨论了环氧丙烯酸酯的用量对涂料各种性能的影响。试验表明,环氧丙烯酸酯的用量为30%,采用E-51环氧树脂与呋喃胺树脂配合时,漆膜的综合性能较优。