制药工程新专业的建设

我校药学院在创办和建设制药工程专业过程中,通过对国内外该学科的调研和有关专家的论证,确立了制药工程专业的性质、内涵、定位、培养目标、业务要求、专业知识结构与课程体系和创新能力培养,并且在学科建设方面也取得了一些进展.     

远红外丙纶的性能研究

系统测试了采用共混纺丝法研制出的远红外丙纶及织物的物理机械性能、远红外发射性能、保温性能、耐洗涤性能和抗菌性能，并对用远红外丙纶加工的护腿的医疗保健作用进行了临床检测。进而讨论了远红外丙纶及织物的医疗保健作用机理。     

Verifying anonymity in voting systems using CSP

We present formal definitions of anonymity properties for voting protocols using the process algebra CSP. We analyse a number of anonymity definitions, and give formal definitions for strong and weak anonymity, highlighting the difference between these definitions. We show that the strong anonymity definition is too strong for practical purposes; the weak anonymity definition, however, turns out to be ideal for analysing voting systems. Two case studies are presented to demonstrate the usefulness of the formal definitions: a conventional voting system, and Prêt à Voter, a paper-based, voter-verifiable scheme. In each case, we give a CSP model of the system, and analyse it against our anonymity definitions by specification checks using the Failures-Divergences Refinement (FDR2) model checker. We give a detailed discussion on the results from the analysis, emphasizing the assumptions that we made in our model as well as the challenges in modelling electronic voting systems using CSP.     

Test-data generation for control coverage by proof

Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs.     

Dynamic watermarking scheme for quantum images based on Hadamard transform

In this paper, a novel watermarking scheme for quantum images based on Hadamard transform is proposed. In the new scheme, a unitary transform controlled by a classical binary key is implemented on quantum image. Then, we utilize a dynamic vector, instead of a fixed parameter as in other previous schemes, to control the embedding process. The dynamic embedding vector is decided by both the carrier quantum image and the watermark image, which is only known by the authorized owner. The proposed scheme is analyzed from visual quality, computational complexity, and payload capacity. Analysis and results show that the proposed scheme has better visual quality under a higher embedding capacity and lower complexity compared with other schemes proposed recently.     

Novel positive‐working aqueous‐base developable photosensitive polyimide precursors based on diazonaphthoquinone‐capped polyamic esters

Novel positive‐working aqueous‐base developable photosensitive polyimide (PSPI) precursors based on partially diazonaphthoquinone (DNQ)‐capped polyamic esters bearing phenolic hydroxyl groups and a DNQ photosensitive compound (PIC‐3) were developed. The partially DNQ capped polyamic esters were prepared from an esterification reaction of 1,2‐naphthoquinone diazide‐5‐sulfonyl chloride with the polyamic esters. The partially DNQ capped polyamic esters decreased the dark film loss effectively in the aqueous‐base developer and were able to make thicker film resists compared to the uncapped polyamic esters. The 25 mol % DNQ‐capped BisAPAF–PMDA polyamic ester and BisAPAF–ODPA polyamic ester containing 25 wt % PIC‐3 photosensitive compound showed a sensitivity of 176 and 185 mJ/cm², and a contrast of 1.68 and 1.02, respectively, in a 3‐μm film with 1.25 wt % tetramethylammonium hydroxide developer. A pattern with a resolution of 5 μm was obtained from both PSPI precursor compositions. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 90: 2293–2300, 2003     

Reactive Laser Ablation Synthesis of Nanosize Alumina Powder

An aluminum (Al) target was laser ablated in an oxygen (O₂) atmosphere, producing nanosize alumina (Al₂O₃) powder. The powder surface area decreased (and the particle size increased) with both increasing oxygen pressure and laser fluence. All powders produced had surface areas between 135 and 250 m²/g, corresponding to primary particle sizes ranging from 7 to 3 nm in radius. Phase evolution with temperature was studied via X-ray diffraction. These powders showed a direct transformation from γ- to α-alumina at approximately 1200°C, bypassing other transition alumina phases, while still maintaining small particle size ( 30 nm). Despite the nanosize particles, green densities equal to 54% of the skeletal density (i.e., true density of the solid phase) were obtained by uniaxial pressing at 40 MPa.     

应用炉膛压力诊断气流床气化炉的火焰状态

气化炉是煤气化技术中的关键设备 .气化炉内火焰燃烧稳定性下降 ,会出现燃烧噪音增加、气化燃烧效率降低及熄火等现象 ,对安全性和经济性产生严重的影响 .对气流床气化炉内不同气化燃烧状态下的火焰压力信号进行了小波分析 .结果表明 ,压力信号在一定频段内的分布与气化炉内火焰燃烧的状态密切相关 ,发现随着火焰燃烧稳定性加强 ,气化炉内压力信号向高频方向移动 ,以此可以建立气流床气化炉燃烧诊断模型 .     

Properties and crystallization kinetics of poly(ether ether ketone)‐co‐poly(ether ether ketone ketone) block copolymers

A series of block copolymers composed of poly(ether ether ketone) (PEEK) and poly(ether ether ketone ketone) (PEEKK) components were prepared from their corresponding oligomers via a nucleophlilic aromatic substitution reaction. Various properties of the copolymers were investigated with differential scanning calorimetry (DSC) and a tensile testing machine. The results show that the copolymers exhibited no phase separation and that the relationship between the glass‐transition temperature (T_g) and the compositions of the copolymers approximately followed the formula T_g = T_g1X₁ + T_g2X₂, where T_g1 and T_g2 are the glass‐transition‐temperature values of PEEK and PEEKK, respectively, and X₁ and X₂ are the corresponding molar fractions of the PEEK and PEEKK segments in the copolymers, respectively. These copolymers showed good tensile properties. The crystallization kinetics of the copolymers were studied. The Avrami equation was used to describe the isothermal crystallization process. The nonisothermal crystallization was described by modified Avrami analysis by Jeziorny and by a combination of the Avrami and Ozawa equations. © 2005 Wiley Periodicals, Inc. J Appl Polym Sci 97: 1652–1658, 2005     

Synthesis and electrochemical characteristics of Al2O3-coated LiNi1/3Co1/3Mn1/3O2 cathode materials for lithium ion batteries

LiNi_1/3Co_1/3Mn_1/3O₂ cathode materials have been coated with Al₂O₃ nano-particles using sol-gel processing to improve its electrochemical properties. The X-ray diffraction (XRD) pattern of the as-prepared Al₂O₃ nano-particles was indexed to the cubic structure of the γ-Al₂O₃ phase and had an average size of ∼4 nm. The XRD showed that the structure of LiNi_1/3Co_1/3Mn_1/3O₂ was not affected by the Al₂O₃ coating. However, the Al₂O₃ coatings on LiNi_1/3Co_1/3Mn_1/3O₂ improved the cyclic life performance and rate capability without decreasing its initial discharge capacity. These electrochemical properties were also compared with those of LiAlO₂-coated LiNi_1/3Co_1/3Mn_1/3O₂ cathode material. The electrochemical impedance spectroscopy (EIS) was studied to understand the enhanced electrochemical properties of the Al₂O₃-coated LiNi_1/3Co_1/3Mn_1/3O₂ compared to uncoated LiNi_1/3Co_1/3Mn_1/3O₂.