Proofs, Programs, Processes

The objective of this paper is to provide a theoretical foundation for program extraction from inductive and coinductive proofs geared to practical applications. The novelties consist in the addition of inductive and coinductive definitions to a realizability interpretation for first-order proofs, a soundness proof for this system, and applications to the synthesis of non-trivial provably correct programs in the area of exact real number computation. We show that realizers, although per se untyped, can be assigned polymorphic recursive types and hence represent valid programs in a lazy functional programming language such as Haskell. Programs extracted from proofs using coinduction can be understood as perpetual processes producing infinite streams of data. Typical applications of such processes are computations in exact real arithmetic. As an example we show how to extract a program computing the average of two real numbers w.r.t. the binary signed digit representation.     

Source identification of plant-wide faults based on k nearest neighbor time delay estimation

The identification of plant-wide faults is a very important topic as it enables plant operators to decrease rejections or to increase the product quality. This paper shows a fault propagation approach for this field of interest based on time delay estimation. Due to the fact that the estimation of time delays in multiple-input single-output systems or nonlinear systems is either impossible or very difficult with known methods, a new method based on k nearest neighbor imputation was developed and is validated in this paper theoretically. The effectiveness of the identification algorithm is demonstrated on several simulations and on an industrial hydrocracker plant.     

Recycling von marinen Sekundärrohstoffen

As a waste product, oyster shells pose a major environmental pollution problem and the reuse of the material is becoming increasingly important. Since the comminution process in the recycling of secondary raw materials defines the properties of the material, oyster shells were grinded using a planetary ball mill and an impact mill and the fractions obtained were analyzed in terms of size and shape and compared with each other. A comminuted material from the impact mill was used for a series of wetting experiments, which helped to demonstrate the surface free energy of the material.     

Directed Evolution of a Cp*RhIII-Linked Biohybrid Catalyst Based on a Screening Platform with Affinity Purification

Directed evolution of Cp*Rh^III-linked nitrobindin (NB), a biohybrid catalyst, was performed based on an in vitro screening approach. A key aspect of this effort was the establishment of a high-throughput screening (HTS) platform that involves an affinity purification step employing a starch-agarose resin for a maltose binding protein (MBP) tag. The HTS platform enables efficient preparation of the purified MBP-tagged biohybrid catalysts in a 96-well format and eliminates background influence of the host E. coli cells. Three rounds of directed evolution and screening of more than 4000 clones yielded a Cp*Rh^III-linked NB(T98H/L100K/K127E) variant with a 4.9-fold enhanced activity for the cycloaddition of acetophenone oximes with alkynes. It is confirmed that this HTS platform for directed evolution provides an efficient strategy for generating highly active biohybrid catalysts incorporating a synthetic metal cofactor.     

Detection of UF resin on wood particles and in particleboards: potential of selected methods for practice-oriented offline detection

In the wood-based panel industry, controlling the manufacturing process is crucial for ensuring product quality, using resources efficiently and cutting production costs. One major aspect for the final quality of particleboards is the distribution of resin on particles within a board. This study deals with the comparison of techniques that can be used for a practice-oriented detection of urea formaldehyde resin within an industrial environment. Resin detection was carried out by staining the resin with visible and fluorescent dyes as well as by near infrared spectroscopic (NIR) in combination with CHN elemental analysis. Using the fluorescent dye Brilliant Sulphaflavine, resin as well as single resin droplets could be detected best. NIR measurements did not lead to coherent results and should be further improved, especially because of its potential for online detection.