多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Analysis of transient wave scattering from an inclusion with an unilateral smoothly contact interface by BEM

Summary A 2D time-domain Boundary Element Method (BEM) is applied to solve the problem of transient scattering of plane waves by an inclusion with a unilateral smooth contact interface. The incident wave is assumed strong enough so that localized separations take place along the interface. The present problem is indeed a nonlinear boundary value problem since the mixed boundary conditions involve unknown intervals (separation and contact regions). In order to determine the unknown intervals, an iterative technique is developed. As an example, we consider the scattering of plane waves by the cross section of a circular cylinder embedded in an infinite solid. Numerical results for the near field solutions are presented. The distortion of the response waves and the variation of the interface states are discussed. The financial support by the China National Natural Science Foundation under Grant No. 19872001 and No. 59878004 is gratefully acknowledged. The second author is also grateful to the support of the National Science Fund for Distinguished Young Scholars under Grant No. 10025211.     

The influence of hard‐segments on two‐phase structure and shape memory properties of PCL‐based segmented polyurethanes

Poly(ε‐caprolactone)‐based segmented polyurethanes (PCLUs) were prepared from poly(ε‐caprolactone) diol, diisocyanates (DI), and 1,4‐butanediol. The DIs used were 4,4′‐diphenylmethane diisocyanate (MDI), 2,4‐toluenediisocyanate (TDI), isophorone diisocyanate (IPDI), and hexamethylene diisocyanate (HDI). Differential scanning calorimetry, small‐angle X‐ray scattering, and dynamic mechanical analysis were employed to characterize the two‐phase structures of all PCLUs. It was found that HDI‐ and MDI‐based PCLUs had higher degree of microphase separation than did IPDI‐ and TDI‐based PCLUs, which was primarily due to the crystallization of HDI‐ and MDI‐based hard‐segments. As a result, the HDI‐based PCLU exhibited the highest recovery force up to 6 MPa and slowest stress relaxation with increasing temperature. Besides, it was found that the partial damage in hard‐segment domains during the sample deformation was responsible for the incomplete shape‐recovery of PCLUs after the first deformation, but the damage did not develop during the subsequent deformation. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 557–570, 2007     

Microstrip Interdigital Hairpin Resonator With an Optimal Physical Length

In this letter, we report a novel microstrip interdigital hairpin resonator by having the parallel coupled lines in a conventional miniaturized hairpin resonator replaced by an interdigital capacitor. Equations are derived in order to design the resonator with an optimal physical length. It will be proved that the novel resonator can achieve even more size reduction than the conventional miniaturized hairpin resonator owing to the employment of the slow-wave structure. Finally, a four-pole cross-coupled bandpass filter using the optimal resonator is fabricated as verification     

Preparation of nanosized ZnO using α brass

Nanosized ZnOs were synthesized on the surface of α brass coated a film of nickel catalyst at 500-700 °C under atmosphere of O₂ and CH₄ gases. The nanosized ZnOs have shapes including pillar, leaf, sheet and rod, which were determined by the synthesis temperature and the flow rates of O₂ and CH₄ gases. The nanosized ZnOs were characterized by electron microscopy including transmission electron microscope for crystal structure, morphology and high resolution images, both field emission scanning electron microscope and scanning electron microscope for morphology, and energy dispersive X-ray spectroscope equipped in electron microscope for chemical composition. A mechanism was proposed for the growth of nanosized ZnO obtained in this work.     

Self-Organization of Microlens Arrays Caused by the Spin-Coating-Assisted Hydrophobic Effect

A simple, low-cost, low-temperature, and shape-controllable approach has been demonstrated to fabricate polymer microlens arrays (MLAs). By using microcontact printing of the self-assembled monolayers and then spin coating, the microlenses were able to organize themselves on the patterned glass substrate. High-quality MLAs made of NOA65 prepolymer with lens-diameters of 50, 75, and 100 mum have been fabricated by this method. Lens shapes can be controlled by changing the spin rates of the prepolymer coating. Optical measurements have revealed an excellent light-collecting capability from the fabricated MLAs. It is anticipated that the technique will be ideally suited to low-cost and high-volume production     

电子镇流器的电磁兼容问题研究

电磁兼容是目前电子镇流器最需要解决的问题之一。介绍了电子镇流器产生的辐射干扰、传导干扰及电流谐波畸变干扰的形成和所造成的影响,分析了产生这些干扰的原因,并分别给出了抑制这些干扰的方法,最后就电子镇流器设计制造中的难点问题作了简要说明。     

浅谈开关电源中的平面变压器

与传统变压器相比较,使用平面变压器可以提高开关电源的功率密度,减小开关电源中磁性元件的体积。因此,近年来平面变压器被广泛地研究。文章介绍了平面变压器的结构,将平面变压器与传统变压器进行比较,分析综述了平面变压器在当今开关电源发展应用的优势和前景,并进一步说明了平面变压器中绕组间距选择,绕组交叉技术及PCB绕组设计等要点。     

Photoinitiated cationic polymerization of cycloaliphatic epoxide with siloxane or alkoxysilane functionalized polyol coatings

Polyols were reacted with tetraethyl orthosilicate (TEOS) or 3-isocyanatopropyltriethoxysilane (IPTES) to form siloxane functionalized polyols. The UV-reactivity of these siloxane functionalized polyols were investigated using real-time FT-IR spectroscopy. The reactivity of TEOS modified polyols was dependent on the relative humidity. However, for the IPTES functionalized polyols the effect of relative humidity was dependent on the degree of IPTES functionalization. When the polyols were only partially functionalized with IPTES, the effect of relative humidity was minimal. However, when polyols were fully functionalized with IPTES, the curing was dependent on relative humidity. The siloxane functionalized polyols were formulated with a cycloaliphatic epoxide and cationic photoinitiator. The photo-induced curing kinetics of these cycloaliphatic epoxide/siloxane functionalized polyol coatings were also investigated. Unlike the TEOS functionalized polyols, the addition of IPTES functionalized polyols into the formulation inhibited the curing speed. This inhibition was attributed to the basicity nitrogen of the urethane linkage. The effect of relative humidity on the UV-curing reaction of cycloaliphatic epoxide coatings was lowered by the incorporation of the TEOS functionalized polyols.     

过渡金属催化的1,6-烯炔环异构化反应

1,6-烯炔底物在过渡金属催化剂作用下的化学行为得到了广泛的研究,重点是关于过渡金属催化的1,6-烯炔环异构化反应.从反应机理角度入手,把1,6-烯炔环异构化反应按启动方式总结为三类,并对这三种方式启动的1,6-烯炔环异构化反应进行了详细地总结和阐述.