Inheritance of Temporal Logic Properties

Abstract. Inheritance is one of the key features for the success of object-oriented languages. Inheritance (or specialisation) supports incremental design and re-use of already written specifications or programs. In a for-mal approach to system design the interest does not only lie in re-use of class definitions but also in re-use of correctness proofs. If a provably correct class is specialised we like to know those correctness properties which are preserved in the subclass. This can avoid re-verification of already proven properties and may thus substantially reduce the verifi-cation effort. In this paper we study the question of inheritance of correctness prop-erties in the context of state-based formalisms, using a temporal logic (CTL) to formalise requirements on classes. Given a superclass and its specialised subclass we develop a technique for computing the set of for-mulas which are preserved in the subclass. For specialisation we allow addition of attributes, modification of existing as well as extension with new methods.

Thermal conductivity and thermal boundary resistance of nanostructures

International audienceWe present a fabrication process of low-cost superlattices and simulations related with the heat dissipation on them. The influence of the interfacial roughness on the thermal conductivity of semiconductor/semiconductor superlattices was studied by equilibrium and non-equilibrium molecular dynamics and on the Kapitza resistance of superlattice's interfaces by equilibrium molecular dynamics. The non-equilibrium method was the tool used for the prediction of the Kapitza resistance for a binary semiconductor/metal system. Physical explanations are provided for rationalizing the simulation results

A High Resolution Real-Time SAR Processor for the DLR Airborne SAR System.

This paper presents the conceptual design, performance analysis and results of the high resolution, real-time processor integrated in the experimental, multiband (P, L, C, X), airborne SAR-system of DLR. A Real-Time Subaperture (RTS) approach, which is suitable for airborne real-time SAR processing, was chosen for the hardware implementation

Development of a Real-Time Airborne SAR Processor Using a Subaperture Approach

This paper presents the real-time SAR processor for the airborne SAR system of DLR. The hardware consists of a processing unit, which performs basically the compression of the SAR signal in two one-dimensional steps, and a control computer

Significance of metabolite ratios in the interpretation of segmental hair testing results—differentiation of single from chronic morphine use in a case series

In morphine intoxication cases, forensic toxicologists are frequently confronted with the question of if the individual was opioid-tolerant or opioid-naïve, which can be investigated by hair analysis. However, interpretation of results can be challenging. Here, we report on hair testing for morphine and its metabolite hydromorphone following morphine intoxication without tolerance and upon chronic use. Two consecutive hair samples were collected after a non-fatal intoxication. Analysis comprised short hair segments and their initial wash water solutions. In the intoxications, morphine and hydromorphone levels were 3.3 to 56 pg/mg and at maximum 9.8 pg/mg, respectively. Both levels and hydromorphone to morphine ratios were significantly lower compared to chronic morphine use. In the non-fatal intoxication, the highest hydromorphone to morphine ratio was obtained in the segment corresponding to the time of intoxication. Morphine ratios of wash to hair were significantly higher in the intoxications compared to chronic use, being indicative of sweat/sebum contamination. We recommend including the analysis of hydromorphone and the initial wash solution in cases of morphine intoxications. Our study demonstrates that hydromorphone to morphine ratios can help in distinguishing single from chronic morphine use and in estimating the period of exposure when a consecutive hair sample can be collected in survived intoxications

Conceptual Design, Performance Analysis and Results of the High Resolution Real-Time Processor of the DLR Airborne SAR System.

A new on-board high resolution real-time processor has been developed which works with a new time domain subaperture approach. The main advantages of this approach are the simple hardware implementations reduced computational and memory requirements and efficient time domain correction of the range migration

Arbeitslosigkeit und Strukturwandel in Frankreich und in der Bundesrepublik Deutschland Beitraege aus einem Seminar der Fachhochschule fuer Oeffentliche Verwaltung Nordrhein-Westfalen und Rheinland-Pfalz und dem Institut Regional d'Administration de Metz in der Europaeischen Akademie Otzenhausen, Saar (6.5.84-12.5.84)

With 22 contributionsBibliothek Weltwirtschaft Kiel C 140634 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman