The hypersonic environment: Required operating conditions and design challenges

Hypersonic flight powered by airbreathing engines offers the potential for faster response time at long ranges, and reduced cost for access-to-space. In the present paper the operating environment of typical hypersonic vehicles are discussed, including results for the radiation equilibrium wall temperature of external vehicle surfaces and the flow properties through three sample engines spanning the range of hydrocarbon-fueled Mach 4-8 flight and hydrogen-fueled flight at speeds up to Mach 17. Flow conditions at several locations through the sample engines were calculated to provide indications of the required operating flow environment. Additional system consideration such a seals, joints, vehicle integration and in-service engineering are addressed.     

Über die Anwendung von Ionensensitiven Feldeffekttransistoren zur Untersuchung von Korrosionsvorgängen

On the application of ion sensitive field-effect transistors for the investigation of corrosion phenomena Ion sensitive field-effect transistors (ISFET) are chemical sensors based on semiconductor technology. They exhibit small dimensions, a plane measuring surface and have short response times. Thus, they are very suitable for the determination of local changes of the pH value at electrochemical corrosion studies. The described in this paper experimental set-up allows in situ measurements of the pH value by means of ISFET sensors in amounts of liquids below 1 mm³; the active surface area of the material under test may be below 1 mm². In model tests preferably changes of the pH value of dist. water due to the corrosion of steel St 38 have been investigated. After an initial short-time rise caused by oxygen reduction a decay of the pH value to pH = 3 ?4 was obseved. Furthermore, ISFET sensors have been used as a potential probe for electrochemical polarization measurements in low conductive media. It was shown, that the dynamic behaviour of potentiostatic control circuits may be influenced favourably by the low output resistance of the ISFET.     

Crystallographic electron microscopy

We present a family of techniques for the transmission electron microscope that generate surface zone-axis patterns. These patterns display the variation of the diffracted-beam intensity as a function of the angle of the incident electrons. The conditions of the experiments are those of reflection high-energy electron diffraction at near grazing incidence. The techniques are: surface convergent-beam diffraction, a surface analogue of the Tanaka method and a modified double-rocking scheme. Experimental results are presented for diffraction from surfaces of MgO and MoS₂. We anticipate that surface zone-axis patterns (surface ZAPs) will become established as an important tool for surface characterization, especially when used in conjunction with high-resolution surface imaging and surface energy loss spectroscopy; surface ZAPs may be expected to play, in surface analysis, a role analogous to that played by convergent-beam diffraction in normal transmission electron microscopy.     

Positive interpolation with rational quadratic splines

A necessary and sufficient criterion is presented under which the property of positivity carry over from the data set to rational quadratic spline interpolants. The criterion can always be satisfied if the occuring parameters are properly chosen.     

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.