Formal techniques for performance analysis: blending SAN and PEPA

In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, and the potential for reduction in the Markov process. Such careful comparison of modelling techniques allows us to appreciate the strengths and weaknesses of different approaches, and facilitates cross-fertilization between them. In the present case we take a characteristic of one formalism, functional rates in Stochastic Automata Networks, and introduce it to the other formalism, Performance Evaluation Process Algebra. We investigate the benefits of this cross-fertilization, particularly from the perspectives of Markov process generation and reduction.     

2D Image Construction from Low Resolution Response of a New Non‐invasive Measurement for Medical Application

This paper presents an application of digital signal processing to data acquired by the radio imaging method (RIM) that was adopted to measure moisture distribution inside the human body. RIM was originally developed for the mining industry; we are applying the method to a biomedical measurement because of its simplicity, economy, and safety. When a two‐dimensional image was constructed from the measured data, the method provided insufficient resolution because the wavelength of the measurement medium, a weak electromagnetic wave in a VHF band, was longer than human tissues. We built and measured a phantom, a model simulating the human body, consisting of two water tanks representing large internal organs. A digital equalizer was applied to the measured values as a weight function, and images were reconstructed that corresponded to the original shape of the two water tanks. As a result, a two‐dimensional image containing two individual peaks corresponding to the original two small water tanks was constructed. The result suggests the method was applicable to biomedical measurement by the assistance of digital signal processing. This technique may be applicable to home‐based medical care and other situations in which safety, simplicity, and economy are important.     

A Family of Far‐Infrared‐Transmitting Glasses in the Ga–Ge–Te System for Space Applications

Conditions of formation of bulk tellurium chalcogenide glasses, containing 70–80 at % Te associated to Ga and Ge are described. The characteristic temperatures are measured: the glass‐transition temperature, T_g, is situated in the range 140–185 °C and the difference T_x – T_g, where T_x is the onset crystallization temperature, is in the range 76–113 °C. Moreover, the optical transmission window is exceptional, ranging from 1.99 μm in the bandgap up to 28 μm in the phonon region. Developed within the framework of requirements for the Darwin mission (a search for and study of extrasolar planets), feasibility of infrared optical fibers formed from these glasses is studied. Drawing experiments are conducted with the glass Ga₂‐Ge₃Te₁₅, which possesses the maximum T_x – T_g, and a first optical fiber is presented.     

溶胶-凝胶生物玻璃多孔材料显微结构和生物活性的扫描电镜及红外光谱分析

本文利用溶胶．凝胶法制备了CaO-P2O5-SiO，系统生物活性玻璃，并以其为原料制备了用于骨修复及骨组织工程支架的块状生物活性材料。利用体外实验方法(invitro)结合x射线衍射(XRD)、扫描电子显微镜(SEM)和傅立叶变换红外光谱分析(FTIR)技术对不同烧结工艺制备的材料结构、晶相和生物活性的影响进行了分析研究。研究表明，经800℃和1100℃烧结5min的两种材料均有硅磷酸钙Ca5(PO4)2SjO4微晶相析出。烧结温度越高，析出微晶相的体积比例越大，材料的生物活性则越低。在模拟生理溶液中碳酸羟基磷灰石(HCA)只在烧结体中的玻璃颗粒表面形成，而在其硅磷酸钙Ca5(PO4)2SiO4微晶相表面未发现HCA形成。     

The flame retardant mechanism of polyolefins modified with chalk and silicone elastomer

This paper presents the current understanding of the flame retardant mechanism of Casico?. The study includes the flame retardant effect of each individual component: ethylene–acrylate copolymer, chalk and silicone elastomer, as well as the formation of an intumescent structure during heating. The flame retardant properties were investigated by cone calorimetry and oxygen index tests. To obtain insight into the flame retardant mechanism, heat treatment under different conditions has also been performed. The results indicate that the flame retardant mechanism of Casico is complex and is related to a number of reactions, e.g. ester pyrolysis of acrylate groups, formation of carbon dioxide by reaction between carboxylic acid and chalk, ionomer formation and formation of an intumescent structure stabilized by a protecting char. Special emphasis is given to the formation of the intumescent structure and its molecular structure as evaluated from ¹³C MAS‐NMR and ²⁹Si MAS‐NMR, ESCA and XRD analysis. After treatment at 500°C the intumescent structure consists mainly of silicon oxides and calcium carbonate and after treatment at 1000°C the intumescent structure consists of calcium silicate, calcium oxide and calcium hydroxide. Copyright © 2003 John Wiley & Sons, Ltd.     

Associative properties of perfluorooctyl end‐functionalized polystyrene–poly(ethylene oxide) diblock copolymers

The synthesis of 2,2,3,3‐tetrahydro‐perfluoroundecanoyl end‐functionalized polystyrene–poly(ethylene oxide) block (PS‐block‐PEO‐R_F) copolymers and their matching PS‐block‐PEO diblock copolymers was carried out by sequential anionic polymerization. Viscometry and ¹⁹F NMR studies show that the PS‐block‐PEO copolymers, in contrast to their matching PS‐block‐PEO‐R_F copolymers, exhibit a micellar rather than the associative behavior seen for the latter. However, the presence of an excess of fluorinated acid, used for end‐functionalization, produces a reduction of the associative behavior above the overlap concentration, with the fluorinated acid acting like a surfactant. A competition may also occur between PS—and R_F—mediated micellization. Copyright © 2004 Society of Chemical Industry