Synthesizing robust systems

Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior if assumptions in the specification are violated. To overcome this, we define two robustness notions, combine them, and show how to enforce them in synthesis. The first notion applies to safety properties: If safety assumptions are violated temporarily, we require that the system recovers to normal operation with as few errors as possible. The second notion requires that, if liveness assumptions are violated, as many guarantees as possible should be fulfilled nevertheless. We present a synthesis procedure achieving this for the important class of GR(1) specifications, and establish complexity bounds. We also present an implementation of a special case of robustness, and show experimental results.     

Chinongruppenhaltige Polymere als Träger zur Immobilisierung von Enzymen

Crosslinked poly(4-styrenesulfonic acid chloride) was reacted with 3-amino-4-hydroxyphenyl benzoate to give a reactive carrier after saponification and oxidation. Its binding ability was tested with α-chymotrypsin. The binding ability as well as the enzyme activity could be increased by introduction of spacers, e.g. ethylenediamine and hexamethylenediamine between the poly(styrene)-matrix and p-benzoquinone. Also crosslinked poly(vinyl alcohol) was reacted with p-benzoquinone to give a reactive carrier, which could also immobilize α-chymotrypsin. Some properties of the immobilized α-chymotrypsin as activity, pH-optimum and storage stability were investigated.     

Prediction of the biologically active sites in eclosion hormone from the silkworm, Bombyx mori

The structure-activity relationship of eclosion hormone from the silkworm, Bombyx mori, was analyzed. First, the probable active residues in silkworm eclosion hormone and also tobacco hornworm eclosion hormone were predicted by the average distance map method. To examine the contributions of those residues to the activity of silkworm eclosion hormone, Gly-substituted mutants for those predicted residues were produced by site-directed mutagenesis and their activities were evaluated by a bioassay. Finally, Glu12, Met24 and Phe25 were estimated to be the crucial residues for the eclosion hormone activity. The possibility of the development of a blocker of an eclosion hormone receptor on the basis of the present work is also discussed.      

A mutational analysis of receptor binding sites of interleukin-1{beta}:differences in binding of human interleukin-1{beta} muteins to human and mouse receptors

The 3-D crystal structure of interleukin-1ß(IL-1ß)has been used to define its receptor binding surface by mutationalanalysis. The surface of IL-1ß was probed by site-directedmutagenesis. A total of 27 different IL-1ß muteinswere constructed, purified and analyzed. Receptor binding measurementson mouse and human cell lines were performed to identify receptoraffinities. IL-1ß muteins with modified receptor affinitywere evaluated for structural integrity by CD spectroscopy orX-ray crystallography. Changes in six surface loops, as wellas in the C- and N-termini, yielded muteins with lower bindingaffinities. Two muteins with intact binding affinities showed10- to 100-fold reduced biological activity. The surface regioninvolved in receptor binding constitutes a discontinuous areaof 1000 Å2 formed by discontinuous polypeptide chain stretches.Based on these results, a subdivision into two distinct localareas is proposed. Differences in receptor binding affinitiesfor human and mouse receptors have been observed for some muteins,but not for wild-type IL-1ß. This is the first timea difference in binding affinity of IL-1ß muteinsto human and mouse receptors has been demonstrated     

Preparation and properties of raney nickel electrodes on Ni-Zn base for H2 and O2 evolution from alkaline solutions Part I: electrodeposition of Ni-Zn alloys from chloride solutions

Experimental results for the electrodeposition of Ni-Zn alloys from chloride solutions, with addition of H₃BO₃ and without other additives, in a laboratory cell with a perforated nickel sheet cathode and with recirculating electrolyte are presented. The dependence of the zinc content in the alloy on the following operating conditions was investigated: cathodic current density, 1.0–20.0 A dm^–2; temperature, 35–65°C; pH 1.5–5.5; total molarity,M _tot=M _Ni ²⁺ +M _Zn ²⁺ =1.1–2.8 M; and, molar ratio,P=M _Ni ²⁺ /M _Zn ²⁺ =1.0–15. Depending on the operating conditions the Zn content in the alloy varied over the range 22–88 mol%. In separate experiments galvanostatic polarization curves were measured in the direction of increasing and then decreasing cathodic current density in the range 0.1–20.0 A dm^–2 with all other operating conditions as used for electroplating experiments. In all cases significant hysteresis effects were observed. It was found that the current efficiency for the electrodeposition of Ni-Zn alloys from chloride solutions as a function of the zinc content in the alloy showed a sharp minimum of about 55% atX _Zn=55 mol % irrespective of other operating conditions.     

Impact of processing conditions and sizing on the thermomechanical and morphological properties of polypropylene/carbon fiber composites fabricated by material extrusion additive manufacturing

For the 3D printed composites, fiber alignment is affected by the direction of melt-flow during extrusion of filaments and subsequently through the printing nozzle. The resulting fibers orientation and the fiber-matrix compatibility have a direct correlation with mechanical properties. This study investigates the impact of processing conditions on the state of the carbon fiber types and their orientation on the mechanical properties of 3D-printed composites. Short and long carbon fibers were used as starting reinforcing materials, and the state of fibers at the beginning and on the printed parts were evaluated. Strong anisotropy in terms of mechanical properties (flexural and impact properties) was observed for the samples printed with different printing orientations. Interestingly, the number of voids in the printed composites was found to be correlated with the fiber types. The present work provides a step towards the optimization of tailored composite properties by additive manufacturing.     

Runout effects in milling: Surface finish, surface location error, and stability

This paper investigates the effect of milling cutter teeth runout on surface topography, surface location error, and stability in end milling. Runout remains an important issue in machining because commercially-available cutter bodies often exhibit significant variation in the teeth/insert radial locations; therefore, the chip load on the individual cutting teeth varies periodically. This varying chip load influences the machining process and can lead to premature failure of the cutting edges. The effect of runout on cutting force and surface finish for proportional and non-proportional tooth spacing is isolated here by completing experiments on a precision milling machine with 0.1 μm positioning repeatability and 0.02 μm spindle error motion. Experimental tests are completed with different amounts of radial runout and the results are compared with a comprehensive time-domain simulation. After verification, the simulation is used to explore the relationships between runout, surface finish, stability, and surface location error. A new instability that occurs when harmonics of the runout frequency coincide with the dominant system natural frequency is identified.