A local and global tour on MOMoT

Software and Systems Modeling - Many model transformation scenarios require flexible execution strategies as they should produce models with the highest possible quality. At the same time,...     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

Short contact time dissolution of vitrinite and inertinite concentrates

The short contact time dissolution of vitrinite and inertinite concentrates of an Australian bituminous coal was studied under isothermal conditions with tetralin as solvent. The reactivity of the two maceral types and the yields and nature of the products were determined for a range of reaction temperatures (400, 420 and 440 °C) and reaction times (2–20 min). The dissolution of vitrinite proceeded at a significantly greater rate than for inertinite and was associated with greater selectivity to soluble non-gaseous products. At very short reaction times (2 min), the vitrinite underwent solubilizing reactions to yield products of higher molecular weight and greater oxygen functionality than was the case for inertinite, for which changes in the chemical nature of the products were negligible over the range of conditions studied. At longer reaction times (5 min), the composition of the vitrinite-derived products was similar to that of the inertinite-derived products.     

Vibrating Wire Thermometry in Superfluid 3He

We report systematic measurements of the response of a Vibrating Wire Resonator (VWR) in normal and superfluid liquid ³He. Special attention has been paid to the hydrodynamic regime of the superfluid B-phase, where the response parameters of the VWR do not follow a simple law. We show that a simple interpolation between the region where first order slip-corrections can be applied and the ballistic regime is insufficient. Measuring an empirical effective viscosity, we propose a temperature calibration method which allows the use of VWRs as a secondary thermometer at intermediate and high pressures in the temperature range 0.2 T _c < T < 50 mK.     

通往10 Gbps以太网的低速之路

较低的速度通常不能算是创新，但在10 Gbps以太网的领域内，两种“低速”互连标准，即LX4和CX4，正在降低实现成本，并实现新的应用。     

冷漠的灯光和火热的Guru

我已经看见了未来。它充满耀眼的光芒。这种特殊的未来的具体体现就是由Lumileds生产并打上Luxeon的品牌铛售的高亮度发光二极管，该公司把一些采用了最新技术的样机带到了我们的办公室，这给我们留下了深刻印象。     

Solidification Behavior of Undercooled Liquid Aluminum Oxide

Solidification of aluminum oxide from undercooled melts was investigated in containerless experiments. Specimens were levitated in a gas jet, stabilized with an acoustic positioning device, and melted with cw CO₂ laser beams. Cooling curves were obtained by optical pyrometry when the laser intensity was reduced. The materials examined were high-purity Verneuil sapphire, 99.5% polycrystalline alumina, and oxide materials recovered from the effluent of an aluminum-fueled rocket motor. The degree of undercooling, the apparent temperature behavior during the thermal arrest on solidification, and the structure of the materials formed were different in argon and oxygen atmospheres. Undercooling of the sapphire and alumina materials was 360 ± 10 K in an oxygen atmosphere and approximately 450 K in argon. Melting and solidification of high-purity sapphire resulted in a dendritic and porous polycrystalline material in oxygen. Dense, larger crystals were obtained in argon. Products formed from 99.5% alumina were discolored and the cores were white, indicating impurity segregation effects. More reproducible behavior was observed for the sapphire and 99.5% alumina than for the tungstencontaminated rocket motor effluent materials.