Finite constants: characterizations of a new decidable set of constants

Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project.     

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical real-time systems, e. g., in the avionics and automotive fields. Starting with the initial works of Chen, Mok, Puschner, Shaw, and others in the mid and late 1980s, WCET analysis turned into a well-established and vibrant field of research and development in academia and industry. The increasing number and diversity of hardware and software platforms and the ongoing rapid technological advancement became drivers for the development of a wide array of distinct methods and tools for WCET analysis. The precision, generality, and efficiency of these methods and tools depend much on the expressiveness and usability of the annotation languages that are used to describe feasible and infeasible program paths. In this article we survey the annotation languages which we consider formative for the field. By investigating and comparing their individual strengths and limitations with respect to a set of pivotal criteria, we provide a coherent overview of the state of the art. Identifying open issues, we encourage further research. This way, our approach is orthogonal and complementary to a recent approach of Wilhelm et al. who provide a thorough survey of WCET analysis methods and tools that have been developed and used in academia and industry.     

Advanced Monte Carlo simulations of the adsorption of chiral alcohols in a homochiral metal‐organic framework

Grand canonical Monte Carlo (GCMC) simulations with configurational biasing were used to study the enantioselective adsorption of four alkanols in a homochiral metal‐organic framework, known as hybrid organic‐inorganic zeolite analogue HOIZA‐1. Conventional GCMC simulations are not able to converge satisfactorily for this system due to the tight fit of the chiral alcohols in the narrow pores. However, parallel tempering and parallel mole‐fraction GCMC simulations overcome this problem. The simulations show that the enantioselective adsorption of the different (R,S)‐alkanols is due to the specific geometry of the chiral molecules relative to the pore size and shape. © 2014 American Institute of Chemical Engineers AIChE J, 60: 2324–2334, 2014     

Partial hepatectomy after post-traumatic liver abscess

Post-traumatic pyogenic liver abscess is a rare disease. We present the case of a 38-year-old man with multilocular liver abscess and pleural empyema following blunt abdominal trauma. The patient had a prodrome lasting 3 months before presenting in our department. The therapy included partial hepatectomy and pleural drainage. Clinical signs, diagnosis and possible therapy are discussed in this case report.     

In Situ TEM Observation of the Behavior of an Individual Fullerene-Like MoS<Subscript>2</Subscript> Nanoparticle in a Dynamic Contact

Inorganic fullerene-(IF)-like nanoparticles made of metal dichalcogenides (IF-MoS₂, IF-WS₂) have been known to be effective as anti-wear and friction modifier additives under boundary lubrication. The lubrication mechanism of these nanoparticles has been widely investigated in the past and even if the exfoliation and third body transfer of molecular sheets onto the asperities constitute the prevalent mechanism for the improved tribological behavior of IF nanoparticles, it has also been suggested that a rolling friction process could also play a role for well crystallized and spherical particles. In this study, in situ Transmission Electron Microscopy (TEM) observations of the behavior of single IF-MoS₂ nanoparticles were conducted using a sample holder that combines TEM and Atomic Force Microscopy (AFM) which simultaneously can apply normal and shear loads. It was shown that depending on the test conditions, either a rolling process or a sliding of the fullerenes could be possible. These in situ TEM observations are the first carried out with IF nanoparticles.     

Allgemeine Untersuchungsverfahren und Laborat?riumstechnik

Ohne Zusammenfassung     

Antimicrobial peptides of the brevinin-2 family isolated from gastric tissue of the frog, Rana esculenta

Four structurally related peptides with potent growth-inhibitory activity towards Escherichia coli were isolated from an extract of the stomach of the European green frog Rana esculenta, and were identified as members of the brevinin-2 family. Two peptides, termed brevinin-2Eg (GIMDTLKNLA10 KTAGKGALQS20 LLNHASCK LS30GQC) and brevinin-2Eh (GIMDTLKNLA10 KTAGKGALQS20 LLNHASCKL S30 KQC) have not been described previously. One peptide is identical to brevinin-2Ec, previously isolated from R. esculenta skin secretions, and one peptide is identical to brevinin-2Ef whose structure has been deduced from a cloned cDNA prepared from a R. esculenta skin cDNA library. The data demonstrate that certain peptides of the brevinin-2 family, like the magainins in the toad, Xenopus laevis, may play an important role in protecting the gastrointestinal tract of Ranid frogs against microbial invasion.     

Laser beam melting of aluminum alloys with hull-core build strategy by using an initial meso-scale simulation

Laser beam melting (LBM) of aluminum alloys is gaining a wide popularity in different industrial applications as an alternative technology for the production of individual and complex parts. A long build time and the high amount of experimental work for optimizing or finding new process parameters are two of the current challenges for reaching an industrial maturity. This paper proposes an efficient way to determine new process parameters for aluminum alloy aluminum-silicon10-magnesium with highest build-up rates by using a 3D finite element model on the mesoscopic level. High laser power in combination with the hull-core build strategy was used to increase the build-up rate without impairing the part accuracy. The influences of high laser power, laser diameter and scan speed on the melt pool were studied by using a thermal simulation of single laser tracks. Based on the simulation results the process window could be derived and was tested on a laser beam melting (LBM) system. The achieved reduction of the build time of up to 31 % without loss in part accuracy proved the novel approach for the prediction of the required process window as an efficient method to reduce costly and time-consuming experimental work.