Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Hydrogenation of canola oil in the presence of nickel and the methyl benzoate-chrome carbonyl complex

Canola oil was hydrogenated using a mixture of homogeneous methyl benzoate-Cr(CO)₃ and heterogeneous nickel catalysts. The effect of the methyl benzoate-Cr(CO)₃_to-nickel ratio on the activity, specific isomerization index, linoleate and linolenate selectivities, and fatty acid composition was evaluated, and the results compared with those obtained with commercial nickel catalyst and methyl benzoate-Cr(CO)₃ used individually. At higher chromium-to-nickel ratios the activity of nickel was inhibited and the system behaved essentially like the pure chrome complex, while at low chromium-to-nickel ratios the characteristics of the nickel predominated. In a short transition zone relatively high reaction rates were obtained with significantly reducedtrans-isomer levels in the product. In a broader sense, it may be possible to combine a homogeneous and heterogeneous catalyst while retaining the advantages of both. We may thus be able to design catalyst systems for specific applications.     

Effect of specimen size and loading conditions on spalling of concrete

Different qualities of concrete have been fire tested using different geometries of the specimens as well as different load levels and load configurations. The main objective with the study was to examine a test methodology consisting of a full‐scale test and different small scale‐tests for determining the probability of spalling and the amount of spalling of fire exposed concrete structures. A reference specimen was defined as a one‐sided fire exposed slab with the dimensions 1800 × 1200 mm² giving an exposed area of 1500 × 1200 mm². A number of concrete qualities with different probabilities for spalling, were tested using the reference specimen. These tests showed that the reference specimens worked well giving the expected test results. Small specimens were manufactured in different shapes with the same concrete as the one used in the reference tests. These small specimens were tested either at the same time as the reference specimens in the large furnace or afterwards on a small‐scale furnace where the fire exposed surface was 450 × 360 mm². The test results clearly show the increased probability and the increased amount of spalling by using external compressive loading. The results also show that by using pre‐stress through bars or wires the load can be lost due to heating of the bars/wires which results in a decreased amount of spalling. The boundary of the specimen also affects the amount of spalling. The spalling around the edges was in all tests less than the spalling on the central parts of the exposed area. It could also be noted that the spalling did not pass completely through any of the specimens. The reason for this is probably that the water/vapour could migrate out from the unexposed surface of the specimen. Copyright © 2006 John Wiley & Sons, Ltd.     

Pro Online-Durchsuchung

Zusammenfassung Die rasante Entwicklung des Internets bewirkt neben einer sich verst?rkenden Internationalisierung von Terrorismus und Organisierter Kriminalit?t einen Strukturwandel weltweiter Kommunikation und Datenspeicherung.     

Electronic Transport in Ultrathin Gold Films on Si(111)

The morphology and electronic transport of ultrathin Au films with thicknesses d = 1 ? 5 monolayers (ML) deposited on Si(111)7 × 7 surfaces is investigated by in situ scanning tunneling microscopy and electrical resistance measurements for temperatures T = 2 ? 300 K. With decreasing film thickness, i.e. decreasing sheet conductance G_s, a transition from a weakly conducting regime described by a logarithmic temperature dependence to an insulating regime occurs. In the insulating regime, the temperature dependence is described by G_s ∝ exp[?(T ₀ /T) ⁿ] with an exponent n which gradually changes from 0.69 to 1 with decreasing film thickness. In contrast, for the Si(111)6 × 6-Au reconstruction obtained after annealing, an exponent n = 1/2 is found suggesting the formation of a soft Coulomb gap due to electron-electron interaction. PACS numbers: 68.37.-d, 68.55.-a, 73.50.-h, 73.25.+i, 81.15.-z     

Mesa and planar SiGe-HBTs on MBE-wafers

SiGe-HBTs have the potential for outstanding analog and digital or mixed-signal high frequency circuits widely based on standard Si technology. Here we review on MBE grown transistors and circuits. Processes and results of a research-like SiGe HBT and two possible production relevant HBT versions are presented. The high frequency results with f_max and f_T up to 120 GHz and a minimum noise figure of 0.9 dB at 10 GHz demonstrate the advantage of using MBE samples with steep and high base doping and high germanium contents. A comparison to the concept of reported low doped, low germanium and triangular profiled SiGe base layers, realized by UHV-CVD, is given. In addition, some circuit demonstrators of SiGe-ICs will be presented.