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.     

Simulations of the mobile phase of polyethylene

Results are presented from atomistic molecular dynamics simulations of the mobile pseudo-hexagonal phase of polyethylene, which occurs under conditions of elevated pressure and temperature. Three different types of model are considered, all of which employ periodic boundary conditions. The first model consists of n-alkane sequences (48×-C₂₄H₄₈-) that are bonded across the simulation box boundaries to produce chains that are effectively infinite in extent. On heating, at high pressure, this system displays a rotator phase, in which the chains retain an all-trans conformation, and rotate as semi-rigid units. A second model, consisting of finite n-alkanes (48×C₂₄H₅₀) displays the same behaviour at low temperatures, but at high temperature and pressure forms a conformationally disordered rotator phase, characterised by a large proportion of gauche defects and a significant lattice expansion. The final model considered contains long n-alkanes (24×C₁₀₂H₂₀₆) which contain jog defects and each pass twice through the simulation box. This model forms a conformationally disordered rotator phase at high temperature and ambient pressure. The behaviour of the three models, in terms of the variations in chain conformation and rotational and translational dynamics, are compared. The conformationally disordered phases provide useful representations of the experimentally observed mobile phase.     

Effects of manufacturing defects on the mechanical properties of carbon fibre reinforced polyethersulphone laminates

The effects of defects on the mechanical properties of carbon fibre reinforced polyethersulphone laminates have been measured. The defects studied were cut fibre plies, omission of polymer films and local delamination produced by the inclusion of foreign matter. Of these it was found that only cut plies had a significant detrimental effect on the strength of a laminate. For specimens with two cut plies, the failure stress, tensile, flexural and compressive in the remaining continuous plies was the same as in the defect-free material, provided that the cut plies were widely separated. However the failure stresses were 15–18% lower in the continuous plies in the specimens containing two cut plies which were more closely spaced and in specimens containing four cut plies.     

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

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

冷漠的灯光和火热的Guru

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