Synthesis,characterization and properties of functionalized styrene–maleimide copolymers

New functionalized styrene–maleimide copolymers were prepared by free radical copolymerization of styrene (St) and N‐4‐carboxybutylmaleimide (NBMI) in chloroform, using 2,2′‐azobisisobutyronitrile (AIBN) as initiator. Monomer and copolymer characterization was carried out by ¹H‐ and ¹³C‐NMR. Copolymer composition was determined by elemental analysis and Fourier‐transform infrared (FTIR) spectroscopy. The glass transition temperature (from DSC) and the thermogravimetric analysis (TGA) of the copolymers were consistent with the thermal behavior and stability observed for alternating St–maleimide copolymers. St–NBMI copolymers crosslinked with divinylbenzene (DVB) were also synthesized and their cation exchange properties evaluated in order to assess the capacity of the new copolymers to bind metallic ions. Copyright © 2005 Society of Chemical Industry     

Analysis and synthesis of on-chip spiral inductors

This paper presents a physically based compact model for estimating high-frequency performance of spiral inductors. The model accurately accounts for skin and proximity effects in the metal conductors as well as eddy current losses in the substrate. The model shows excellent agreement with measured data mostly within 10% across a variety of inductor geometries and substrate dopings up to 20 GHz. A web-based spiral inductor synthesis and analysis tool COILS, which makes use of the compact models, is presented. An optimization algorithm using binary searches speeds up the synthesis of inductor designs.     

Use of the Precipitation Method in the Synthesis of Ceramic Pigments

The results of the synthesis of ceramic pigments using coprecipitation of hydroxides and difficultly soluble salts of multivalent metal ions are described. The specifics of the coprecipitation process and the effect of various factors on the production of the initial precipitates for subsequent synthesis of ceramic pigments are analyzed. The technology of pigment production is described. __________ Translated from Steklo i Keramika, No. 6, pp. 37 – 39, June, 2005.     

The Metaflow architecture

The Metaflow architecture, a unified approach to maximizing the performance of superscalar microprocessors, is introduced. The Metaflow architecture exploits inherent instruction-level parallelism in conventional sequential programs by hardware means, without relying on optimizing compilers. It is based on a unified structure, the DRIS (deferred-scheduling, register-renaming instruction shelf), that manages out-of-order execution and most of the attendant problems. Coupling the DRIS with a speculative-execution mechanism that avoids conditional branch stalls results in performance limited only be inherent instruction-level parallelism and available execution resources. Although presented in the context of superscalar machines, the technique is equally applicable to a superpipelined implementation. Lightning, the first implementation of the Metaflow architecture, which executes the Sparc RISC instruction set is described     

Transformational approach to program concretization

This paper focuses on the problem of program concretization by applying correctness-preserving transformations of annotated programs. According to the approach presented, a general-purpose program can be annotated by known information about a specific context of its applications and correctly transformed into a specialized program which is equivalent to the original one on the context-defined ranges of inputs and outputs and is better than it by quality criteria given by the context. Tools for program concretizations via annotated program transformations are considered.     

Theory of residence-time control by output feedback

The problem of residence-time control by the observer-based output feedback is formulated and solved for the case of linear systems with small additive input noise. Both noiseless and noisy measurements are considered. In the noiseless measurements case, it is shown that the fundamental bounds on the achievable residence time depend on the nonminimum phase zeros of the system. In the noisy measurements case, the achievable residence time is shown to be always bounded, and an estimate of this bound is given. Controller design techniques are presented. The development is based on the asymptotic large deviations theory. Recommended by T K. Caughey     

A cost-effective approach to testing

A method for assessing the differential risk of failure among a system's modules is proposed. The procedure has three components: external-risk assessment, module exposure, and module-failure likelihood. External-risk assessment is a consideration of the system's environment, almost independent of the software's details. To estimate module exposure, the model relates individual modules and their potential faults to the external-failure modes and their economic consequences by reverse-engineering the specifications and analyzing each module's expected use. To estimate failure likelihood, the method uses a reliability model. The method constitutes theoretical foundation for the cost-effective development of software that attempts to reduce the risk of failure. Managers can use the failure-risk estimates to better determine how much testing effort can be economically justified