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,...     

A cathode support structure for use in a magnetron oscillator experiment

A low temperature co-fired ceramic (LTCC) material system has been used to develop a protype field emission cathode structure for use in an experimental magnetron oscillator. The structure is designed for used with 30 gated field emission array (GFEA) die electrically connected through silver metal traces and electrical vias. To approximate a cylinder, the cathode structure (48 mm long and 13.7 mm in diameter) is comprised of 10 faceted plates which cover the GFEA dies. Slits in the facet plates allow electron injection. The GFEA die (3 mm × 8 mm) are placed in axial columns of 3 and spaced azimuthally around a cylindrical support structure in a staggered configuration resulting in 10 azimuthal locations. LTCC manufacturing techniques were developed in order to fabricate the newly designed cathode with seven layers wrapped to form the cylinder with electrical traces and vias. Two different cathode wrapping techniques and two different via filling techniques were studied and compared. Two different facet plate manufacturing techniques were studied. Finally, four different support stand configurations for firing the cylindrical structure were also compared with a square post stand having the best circularity and linearity measurements of the fired structure.     

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.     

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

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

冷漠的灯光和火热的Guru

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