On the Undecidability of Implications between Embedded Multivalued Database Dependencies

The implication and finite implication problems for embedded multivalued database dependencies are both shown to be algorithmically undecidable. The proof is by an interpretation of semigroup word problems via systems of permuting equivalence relations into database dependencies. In contrast, it is shown that for each fixed premise H one has a decision procedure for implications H F.     

CMOS on FZ-high resistivity substrate for monolithic integration ofSiGe-RF-circuitry and readout electronics

The choice of a highly resistive substrate for silicon millimeter-wave integrated circuits (SIMMWIC) imposed by the requirement of low RF-substrate losses requires the adaptation of a CMOS process on float zone silicon (FZ). A comparison of n- and p-channel devices realized on high resistivity substrate (p-type, 5000 Ω·cm) and standard CMOS substrates (CZ, n-type, 4-6 Ω·cm) is given. Using careful process design, we obtained device characteristics on FZ-substrates that are closely similar to those on standard material, thus allowing direct transfer of existing circuit designs     

Erfolgsfaktoren bei der Einführung von Wissensmanagementsystemen in die Praxis

Neben der Gestaltung technischer Systeme zur Unterstützung des Wissensmanagements ist die Ausgestaltung organisatorischer Ma?nahmen gleichbedeutend wichtig.     

Pressure infiltration of boron nitride preforms with molten aluminum

The infiltration of compacted cubic BN (cBN) with molten aluminum has been investigated as a potential route for a cheap and easy method of manufacturing cBN/metal composites. CBN compacts have been infiltrated with molten Al at a temperature between 670 and 800 °C and pressure of 15 MPa in vacuum. At these temperatures no pronounced interactions between hexagonal and cubic BN with Al was observed, allowing the complete infiltration of cBN with 12 μm mean grain size. After infiltration at 800 °C, the temperature was increased without pressure to convert aluminum into borides and AlN. The hardness of the resulting materials depends on the content of hexagonal, cubic BN and the rate of conversion of Al into borides and AlN. The infiltration height of less than 1 mm obtained from infiltrating the 3 μm cBN powder green compacts gave a hardness of 22.0 ± 0.6 GPa after heat treatment.     

Numerical simulation model for exhaust gas transportation of dust in the BOF

During the BOF process for the production of crude steel, the specific amount of dust emitted is of the order of 2 % of the steel weight at turn down. The process gas conveys the dust through the boiler system into the primary and secondary dust catchers. The transportation of dust particles is influenced by blowing parameters; physical properties of process gas and of dust phases; and, type and layout of the converter and the filter system. In this work, a numerical simulation model is developed that simulates the pneumatic conveyance and sedimentation of primarily coarse dust particles in the BOF gas cleaning system. Comparison is then made of predicted coarse dust characteristics with values for dust sampled from an existing plant in order to verify the plausibility of the developed model.     

CAMS dirigiert die eGK

Die elektronische Gesundheitskarte (eGK) bietet viele neue M?glichkeiten für eine vernetzte, effiziente Gesundheitsversorgung. Komplexe ≫Card and Application Management Systeme≪ (CAMS) gew?hrleisten im Hintergrund Funktionsf?higkeit und Sicherheit — von der Ausgabe der Karte bis zu ihrer Erneuerung.