State/event fault trees—A safety analysis model for software-controlled systems

Safety models for software-controlled systems should be intuitive, compositional and have the expressive power to model both software and hardware behaviour. Moreover, they should provide quantitative results for failure or hazard probabilities. Fault trees are an accepted and intuitive model for safety analysis, but they are incapable of expressing state dependencies or temporal order of events. We propose to combine fault trees with an explicit State/Event semantics, using a graphical notation that is similar to Statecharts. Our new model, named State/Event Fault Trees (SEFTs), subsumes both deterministic state machines suited to describe software behaviour, and Markov chains that model probabilistic failures, while keeping the visualisation of causal chains known from fault trees. We allow exponentially distributed probabilistic events, deterministic delays, and triggered events. The model provides a component concept, where components are connected by typed ports. Quantitative evaluation is achieved by translating the component models to Deterministic and Stochastic Petri Nets (DSPNs) and using an existing tool for analysis or simulation. This paper, which is an extended version of [Kaiser B, Gramlich C. State-Event-Fault-Trees—a safety analysis model for software controlled systems. Computer safety, reliability, and security. Proceedings of the 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21st–24th. Lecture Notes in Computer Science, vol. 3219, 2004.p. 195–209], revisits the model elements and the analysis procedure and provides a small case study of a fire alarm system, completed by an outlook on our tool project ESSaRel.     

Prediction of pyrolysis of pistachio shells based on its components hemicellulose, cellulose and lignin

The objective of this contribution is to describe thermal degradation of pistachio shells by a detailed reaction mechanism. Pistachio shells are assumed to be composed of hemicellulose, cellulose and lignin of which degradation is described by relevant kinetics based on experimental data. The mechanism yields a detailed composition of product gases, and therefore, is well-suited to predict evolution of both thermal decomposition and products. Thermal degradation is described by a system of coupled differential conservation equations for mass, momentum, species, and energy for a pistachio shell particle. The relevant conservation equations are discretised by the Finite Volume Method (FVM) and solved within the conversion module of the Discrete Particle Method (DPM). A comparison between experimental data and predicted results yielded good agreement.     

Determination of hemin-binding characteristics of proteins by a combinatorial peptide library approach

Studies of the binding of heme/hemin to proteins or peptides have recently intensified as it became evident that heme serves not only as a prosthetic group, but also as a regulator and effector molecule interacting with transmembrane and cytoplasmic proteins. The iron‐ion‐containing heme group can associate with these proteins in different ways, with the amino acids Cys, His, and Tyr allowing individual modes of binding. Strong coordinate‐covalent binding, such as in cytochrome c, is known, and reversible attachment is also discussed. Ligands for both types of binding have been reported independently, though sometimes with different affinities for similar sequences. We applied a combinatorial approach using the library (X)₄(C/H/Y)(X)₄ to characterize peptide ligands with considerable hemin binding capacities. Some of the library‐selected peptides were comparable in terms of hemin association independently of whether or not a cysteine residue was present in the sequence. Indeed, a preference for His‐based (≈39 %) and Tyr‐based (≈40 %) sequences over Cys‐based ones (≈21 %) was detected. The binding affinities for the library‐selected peptides, as determined by UV/Vis spectroscopy, were in the nanomolar range. Moreover, selected representatives efficiently competed for hemin binding with the human BK channel hSlo1, which is known to be regulated by heme through binding to its heme‐binding domain.     

Kinetics of nucleation and crystallization in poly(?-caprolactone) (PCL)

The recently developed differential fast scanning calorimetry (DFSC) is used for a new look at the crystal growth of poly(?-caprolactone) (PCL) from 185 K, below the glass transition temperature, to 330 K, close to the equilibrium melting temperature. The DFSC allows temperature control of the sample and determination of its heat capacity using heating rates from 50 to 50,000 K/s. The crystal nucleation and crystallization halftimes were determined simultaneously. The obtained halftimes cover a range from 3 × 10⁻² s (nucleation at 215 K) to 3 × 10⁹ s (crystallization at 185 K). After attempting to analyze the experiments with the classical nucleation and growth model, developed for systems consisting of small molecules, a new methodology is described which addresses the specific problems of crystallization of flexible linear macromolecules. The key problems which are attempted to be resolved concern the differences between the structures of the various entities identified and their specific role in the mechanism of growth. The structures range from configurations having practically unmeasurable latent heats of ordering (nuclei) to being clearly-recognizable, ordered species with rather sharp disordering endotherms in the temperature range from the glass transition to equilibrium melting for increasingly perfect and larger crystals. The mechanisms and kinetics of growth involve also a detailed understanding of the interaction with the surrounding rigid-amorphous fraction (RAF) in dependence of crystal size and perfection.     

Synchronous Motors with Cylindrical Rotors for the Petrochemical Industry

An important role is played by the compressor in the petrochemical industry. Typical high-speed compressor drivers are turbines and induction and synchronous motors. The cylindrical-rotor synchronous motor and its application as a high-speed compressor driver is discussed. Important tasks within the production processes of the petrochemical industry include gas liquefaction, compression, refrigeration, and heat recovery. Compressor drive systems constitute important components in plants for such processes. In the past, large high-speed radial and axial compressors were driven mainly by turbines, but in recent years electric motors have been used increasingly. In addition to lower plant costs, the advantages Include high operating efficiency, low pollution, and simpler handling and maintenance. The majority of drives are operating at constant speed, using a four-or six-pole motor with stepup gear. For large ratings, synchronous motors are preferred. For these a number of specific characteristics, such as electrically excited oscillating torques during asynchronous acceleration and special cooling conditions, must be considered. The urge for optimum operating characteristics has led to the development of the synchronous motor with laminated cylindrical rotor, derived from the two-pole turbine-driven generator. The design structure, the steady-state and dynamic operating characteristics, and the starting performance during asynchronous acceleration of such synchronous drive systems are the topics covered here. The theoretical background has been excluded from the normal text and is summarized in the Appendices.     

Flammability of layered silicate epoxy nanocomposites combined with low‐melting inorganic ceepree glass

Tetraphenylphosphonium modified layered silicate epoxy nanocomposite (EP/TPPMMT) combined with low‐melting silicate glass, Ceepree (CP) is investigated by thermal analysis, flammability tests and cone calorimeter at different heat fluxes. Adding CP and TPPMMT does not change the pyrolysis apart from increasing inorganic residue. The total heat evolved (THE) is changed insignificantly, as neither relevant additional carbonaceous charring nor flame inhibition occurs. However, flame retardancy is clearly observed due to an inorganic‐carbonaceous surface protection layer. The peak heat released rate (PHRR) is reduced by around 32–42% when 5 wt% TPPMMT is added, and 51–63% when 10 wt% CP is added. PHRR reduction less than expected is observed when both additives are combined. The reduction is greater than that achieved by using TPPMMT but less than when only CP is used. The morphology of fire residue is investigated by scanning electron microscope on different length scales and turns out to be the key to understanding the efficiency of flame retardancy. The fire residue of EP/CP shows a layered structure, whereas separated columns limit the barrier properties for EP/5%TPPMMT on the micrometer scale. Columns dominating the fire residue structure of EP/5%TPPMMT/10%CP deteriorate the fire retardancy, whereas a more integral structure at the top of the residue causes the improvement over EP/5%TPPMMT. POLYM. ENG. SCI., 2012. © 2011 Society of Plastics Engineers     

Synthesis and functional characterization of tridegin and its analogues: inhibitors and substrates of factor XIIIa

Tridegin, a 66‐mer peptide isolated from the leech Haementeria ghilianii, is a potent inhibitor of the coagulation factor XIIIa. This paper describes the chemical synthesis of tridegin by two different strategies—solid‐phase assembly and native chemical ligation—both followed by oxidation in solution phase. Tridegin and truncated analogues were examined for their activity and revealed a particular importance of the C‐terminal region of the parent peptide. Based on these studies a minimal sequence required for factor XIIIa inhibition could be identified. Our data revealed that the glutamine residue at position 52 (Q⁵²) of tridegin most likely binds to the active site of factor XIIIa and was therefore suggested to react with the enzyme. The function of the N‐terminal region is also discussed, as the isolated C‐terminal segment of tridegin lost its inhibitory activity rapidly in the presence of factor XIIIa, whereas this was not the case for the full‐length inhibitor.     

Simultaneous purification and site-specific modification of pyrroline-carboxy-lysine proteins

Sticky residue: Pyrroline-carboxy-lysine (Pcl) can be readily incorporated into proteins expressed in E. coli and mammalian cells by using the pyrrolysyl tRNA/tRNA synthetase pair. Pcl can be used as a single amino acid purification tag and can be site-specifically modified with functional probes during the elution process.     

A two-step strategy for structure-activity relationship studies of N-methylated aβ42 C-terminal fragments as aβ42 toxicity inhibitors

Neurotoxic Aβ42 oligomers are believed to be the main cause of Alzheimer's disease. Previously, we found that the C-terminal fragments (CTFs), Aβ(30-42) and Aβ(31-42) were the most potent inhibitors of Aβ42 oligomerization and toxicity in a series of Aβ(x-42) peptides (x=28-39). Therefore, we chose these peptides as leads for further development. These CTFs are short (12-13 amino acids) hydrophobic peptides with limited aqueous solubility. Our first attempt to attach hydrophilic groups to the N?terminus resulted in toxic peptides. Therefore, we next incorporated N-methyl amino acids, which are known to increase the solubility of such peptides by disrupting the β-sheet formation. Focusing on Aβ(31-42), we used a two-step N-methyl amino acid substitution strategy to study the structural factors controlling inhibition of Aβ42-induced toxicity. First, each residue was substituted by N-Me-alanine (N-Me-A). In the next step, in positions where substitution produced a significant effect, we restored the original side chain. This strategy allowed exploring the role of both side chain structure and N-Me substitution in inhibitory activity. We found that the introduction of an N-Me amino acid was an effective way to increase both the aqueous solubility and the inhibitory activity of Aβ(31-42). In particular, N-Me amino acid substitution at position 9 or 11 increased the inhibitory activity relative to the parent peptide. The data suggest that inhibition of Aβ42 toxicity by short peptides is highly structure-specific, providing a basis for the design of new peptidomimetic inhibitors with improved activity, physicochemical properties, and metabolic stability.