UV curing of composites based on modified unsaturated polyester

Synthesis and photocrosslinking of glass fiber-reinforced composites, based on epoxy acrylate-modified unsaturated polyester, have been investigated. The efficiency of the photocrosslinking process for glass fiber laminates of the polyesters that contain different comonomers has been evaluated by measuring mechanical properties. The data show (i) that 2 mm thick laminates, containing 30–40% glass fiber mats, are cured with UV irradiation for 15 sec at room temperature in air; (ii) that multifunctional acrylate or acrylether monomers added to the polyester resin improve the tensile and flexural properties of the photocured product to a greater extent than do added allylic monomers, due to the different photocrosslinking mechanisms; (iii) that the physical properties of the photocrosslinked laminates are well correlated with the molecular weight of the polyester, the amount of multifunctional monomer added, and the glass fiber content. © 1994 John Wiley & Sons, Inc.     

Photocross-linking of low-density polyethylene. III. Supermolecular structure studied by SALS

The supermolecular structure of photocross-linked polyethylene (XLPE) has been studied by small-angle light scattering (SALS). The data show that the spherulitic structure of XLPE gradually deteriorates with increasing degree of cross-linking and increasing irradiation temperature from well-developed spherulites to rodlike aggregates and disordered lamellar structures. A photocross-linked sample of PE has lower crystallinity, smaller crystallites, and smaller spherulites than does the original sample. At high degrees of cross-linking, the SALS patterns show little or no spherulitic structure. Results with photocross-linked polyethylene demonstrate that the overall effect of cross-linking on the morphological structure is similar to that of an increase in molecular weight of the polymer. © 1993 John Wiley & Sons, Inc.     

Two-variable periodic perturbation of kinetic oscillations

Using one of the generic models (CO oxidation on Pt with surface-oxide formation) predicting kinetic oscillations in heterogeneous catalytic reactions, we show that the efficiency of two-variable periodic perturbations with respect to converting natural period-1 oscillations to period-l oscillations at the forcing frequency is remarkably sensitive to the kind of perturbations used. Counter-phase perturbations are much more effective compared to in-phase perturbations. The physics underlying these findings is suggestive of their applicability to many other models and/or real systems exhibiting kinetic oscillations.     

Design and implementation of the Node Identity Internetworking Architecture

The Internet Protocol (IP) has been proven very flexible, being able to accommodate all kinds of link technologies and supporting a broad range of applications. The basic principles of the original Internet architecture include end-to-end addressing, global routeability and a single namespace of IP addresses that unintentionally serves both as locators and host identifiers. The commercial success and widespread use of the Internet have lead to new requirements, which include Internetworking over business boundaries, mobility and multi-homing in an untrusted environment. Our approach to satisfy these new requirements is to introduce a new Internetworking layer, the node identity layer. Such a layer runs on top of the different versions of IP, but could also run directly on top of other kinds of network technologies, such as MPLS and 2G/3G PDP contexts. This approach enables connectivity across different communication technologies, supports mobility, multi-homing, and security from ground up. This paper describes the Node Identity Architecture in detail and discusses the experiences from implementing and running a prototype.     

Selective potentiometric determination of uric acid with uricase immobilized on ZnO nanowires

In this study, a potentiometric uric acid biosensor was fabricated by immobilization of uricase onto zinc oxide (ZnO) nanowires. Zinc oxide nanowires with 80-150 nm in diameter and 900 nm to 1.5 μm in lengths were grown on the surface of a gold coated flexible plastic substrate. Uricase was electrostatically immobilized on the surface of well aligned ZnO nanowires resulting in a sensitive, selective, stable and reproducible uric acid biosensor. The potentiometric response of the ZnO sensor vs Ag/AgCl reference electrode was found to be linear over a relatively wide logarithmic concentration range (1-650 μM) suitable for human blood serum. By applying a Nafion^® membrane on the sensor the linear range could be extended to 1-1000 μM at the expense of an increased response time from 6.25 s to less than 9 s. On the other hand the membrane increased the sensor durability considerably. The sensor response was unaffected by normal concentrations of common interferents such as ascorbic acid, glucose, and urea.     

Selective determination of urea using urease immobilized on ZnO nanowires

Well-aligned zinc oxide (ZnO) nanowire arrays were fabricated on gold-coated plastic substrates using a low-temperature aqueous chemical growth (ACG) method. The ZnO nanowire arrays with 50–130 nm diameters and ∼1 μm in lengths were used in an enzyme-based urea sensor through immobilization of the enzyme urease that was found to be sensitive to urea concentrations from 0.1 mM to 100 mM. Two linear sensitivity regions were observed when the electrochemical responses (EMF) of the sensors were plotted vs. the logarithmic concentration range of urea from 0.1 mM to 100 mM. The proposed sensor showed a sensitivity of 52.8 mV/decade for 0.1–40 mM urea and a fast response time less than 4 s was achieved with good selectivity, reproducibility and negligible response to common interferents such as ascorbic acid and uric acid, glucose, K⁺ and Na⁺ ions.     

Modelling of interstitials in the bcc phase

There are several widespread thermodynamic datasets which produce a spurious bcc interstitial solution at high temperature and high X content (X is an interstitally dissolved element). The reason for this is the standard model for bcc interstitial solutions (M(V a,X)₃), which requires careful selection of optimising parameters to minimise spurious appearances of the bcc phase. In this work the model M(V a,X)₁ is suggested as an alternative. This model is much easier to handle and its parameters can be directly compared with those of the fcc phase. The two models are compared for the Fe–C and Nb–N systems. In the Fe–C system almost identical results are achieved. In Nb–N there are some differences for high N content, but there is no experimental data to clearly support any model.     

Active learning for extended finite state machines

We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s by dynamic black-box analysis. EFSMs can be used to model both data flow and control behavior of software and hardware components. Different dialects of EFSMs are widely used in tools for model-based software development, verification, and testing. Our algorithm infers a class of EFSMs called register automata. Register automata have a finite control structure, extended with variables (registers), assignments, and guards. Our algorithm is parameterized on a particular theory, i.e., a set of operations and tests on the data domain that can be used in guards.Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm uses tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We also show that, under these conditions, our framework induces a generalization of the classical Nerode equivalence and canonical automata construction to the symbolic setting. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library.