A Petri net based design engine for manufacturing systems

Support for the efficient design and operation of complex manufacturing systems requires an integrated modelling, analysis, and control methodology as well as its implementation in a software tool. In this paper the Petri net based design engine TimeNET is presented for this task. Petri nets are able to capture the characteristic features of manufacturing systems in a concise form. A subclass of coloured Petri nets is used, which has been developed especially for the application area of manufacturing. Structure and work plans are modelled separately. Stochastic as well as deterministic and more general distributions are adopted for the firing times of transitions. Fundamental questions about system properties can be answered using qualitative analysis. For an efficient performance and dependability prediction, different evaluation techniques are proposed: direct numerical analysis, approximate analysis, and simulation. Finally, the model can be used to evaluate different control strategies and to control the manufacturing system directly. There is no need to change the modelling methodology, thus avoiding additional effort, for example for model conversion. In the paper this necessary steps are described using an application example.     

3D printing of bone substitute implants using calcium phosphate and bioactive glasses

Customized implants for bone replacement are a great help for a surgeon to remodel maxillofacial or craniofacial defects in an esthetical way, and to significantly reduce operation times. The hypothesis of this study was that a composite of β-tricalcium phosphate (β-TCP) and a bioactive glass similar to the 45S5 Henchglass^® is suitable to manufacture customized implants via 3D-printing process. The composite was chosen because of the bioresorption properties of the β-TCP, its capability to react as bone cement, and because of the adjustability of the bioactive glass from inert to bioresorbable. Customized implants were manufactured using the 3D-printing technique. The four point bending strength of the printed specimens was 14.9 MPa after sintering. XRD analysis revealed the occurrence of two other phases, CaNaPO₄ and CaSiO₃, both biocompatible and with the potential of biodegradation. We conclude that it is possible to print tailored bone substitute implants using a bioactive TCP/glass composite. The glass is not involved as reactive substance in the printing process. This offers the opportunity to alter the glass composition and therefore to vary the composition of the implant.     

A survey of recent advances in SAT-based formal verification

Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver, such as application-specific heuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far and note the major challenges in making this technology more pervasive in industrial design verification flows.     

Synthesis and conductivities of (μ-cyano)phthalocyaninatometal compounds

A review of the synthesis and characterization of a new type of stacked, bridged macrocyclic metal complexes, the (μ-cyano)phthalocyaninatometal compounds [PcMCN]_n (2) is given. By using the routes described in Fig. 3 the polymers were synthesized with M = Co³⁺, Fe²⁺, Fe³⁺, Mn³⁺ and Cr³⁺ as the central metal ion. The compounds were characterized by IR, far-IR, UV, thermal and elemental analysis, and partly by ¹H NMR and FD (field desorption) mass spectroscopy.[PcCoCN] (2a) and [PcFeCN]_n (2b) exhibit d.c. room temperature conductivities around 10^?2 S/cm without doping, thereby showing conductivities which are in the same range as the iodine-doped phthalocyaninatosiloxanes [PcSiO]_n.     

Polyplexes of polyethylenimine and per-N-methylated polyethylenimine-cytotoxicity and transfection efficiency

For non-viral gene delivery, the carriers for DNA transfer into cells must be vastly improved. The branched cationic polymer polyethylenimine has been described as an efficient gene carrier. However, polyethylenimine was demonstrated to mediate substantial cytotoxicity. Therefore, this study is aimed at investigating per-N-methylated polyethylenimine, which is thought to have a much lower cytotoxicity due to its lower charge density. Results from a gel retardation assay and laser light scattering indicated that per-N-methylated polyethylenimine condenses DNA into small and compact nanoparticles with a mean diameter <150 nm. Furthermore, polyplexes of polyethylenimine and per-N-methylated polyethylenimine with DNA had a positive zeta potential and the polymers protected DNA from nuclease-mediated digestion. The transfection efficiency of polyethylenimine and per-N-methylated polyethylenimine was tested in CHO-K1 cells. Using green fluorescent protein as reporter gene and flow cytometry analysis, we demonstrated that per-N-methylated polyethylenimine has a lower cytotoxicity, but also a significantly lower transfection efficiency. Using propidium iodide staining, we could additionally distinguish between viable and dead cells. At NP > or = 12, per-N-methylated polyethylenimine showed a much higher cell viability and the ratio of viable and transfected cells to dead and transfected cells was about 1.5 to 1.7 fold higher than for polyethylenimine. The results of cell viability from flow cytometry analysis were confirmed by the MTS assay. Using luciferase reporter gene for transfection experiments, the gene expression of per-N-methylated polyethylenimine was lower at NP 6, 12 and 18 as compared to polyethylenimine, but at NP 24 it yielded similar levels.     

A stereophonic acoustic signal extraction scheme for noisy and reverberant environments

In this contribution, a novel two-channel acoustic front-end for robust automatic speech recognition in adverse acoustic environments with nonstationary interference and reverberation is proposed. From a MISO system perspective, a statistically optimum source signal extraction scheme based on the multichannel Wiener filter (MWF) is discussed for application in noisy and underdetermined scenarios. For free-field and diffuse noise conditions, this optimum scheme reduces to a Delay & Sum beamformer followed by a single-channel Wiener postfilter. Scenarios with multiple simultaneously interfering sources and background noise are usually modeled by a diffuse noise field. However, in reality, the free-field assumption is very weak because of the reverberant nature of acoustic environments. Therefore, we propose to estimate this simplified MWF solution in each frequency bin separately to cope with reverberation. We show that this approach can very efficiently be realized by the combination of a blocking matrix based on semi-blind source separation (‘directional BSS’), which provides a continuously updated reference of all undesired noise and interference components separated from the desired source and its reflections, and a single-channel Wiener postfilter. Moreover, it is shown, how the obtained reference signal of all undesired components can efficiently be used to realize the Wiener postfilter, and at the same time, generalizes well-known postfilter realizations. The proposed front-end and its integration into an automatic speech recognition (ASR) system are analyzed and evaluated in noisy living-room-like environments according to the PASCAL CHiME challenge. A comparison to a simplified front-end based on a free-field assumption shows that the introduced system substantially improves the speech quality and the recognition performance under the considered adverse conditions.