类球形低硫磷酸铁的制备技术研究

磷酸铁（FePO₄）是锂电池正极材料磷酸铁锂（LiFePO₄）的核心前驱体,FePO₄形貌及硫含量对合成的LiFePO₄材料性能有重要影响。为得到类球形低硫FePO₄产品,在传统液相沉淀法技术基础上做了改进优化,添加十六烷基三甲基溴化铵（CTAB）作为形貌助剂提高产品球形度,添加氨水作为配体形成磷酸铁铵配合物改善结晶过程,降低产品硫含量。结果表明：所制备的FePO₄产品硫质量分数低,达到2.6×10 ^-5,形貌为均一的微米类球形颗粒,D₅₀=11.4 μm,振实密度达到1.22 g/cm ³,有望成为制备高压实密度LiFePO₄材料的核心前驱体。     

Preparation of ketoprofen‐loaded high‐molecular‐weight poly(vinyl alcohol) gels

High‐molecular‐weight atactic poly(vinyl alcohol) (a‐PVA) gels loaded with (R,S)‐2‐(3‐benzoylphenyl)propionic acid (ketoprofen) were prepared from 5, 6, 7, and 8 g/dL solutions of a‐PVA with a number‐average degree of polymerization of 4000 in an ethylene glycol/water mixture with an aging method to identify the effect of the initial polymer concentration on the swelling behavior, morphology, and thermal properties of a‐PVA gels. Then, the release behavior of ketoprofen from a‐PVA gels was investigated. As the polymer concentration decreased, the ability for network formation decreased, and the degree of swelling of the a‐PVA gels increased. In addition, the enthalpy increased with an increase in the a‐PVA concentration, but the melting temperatures of the gels prepared at different initial polymer concentrations were the same; this indicated that tighter gel networks would be formed by a higher polymer chain density. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 2007     

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.     

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环氧树脂与呋喃胺树脂配合时,漆膜的综合性能较优。