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.     

Vom freiwilligen Seminar zur Q2-Pflichtveranstaltung

Definition of the problem: Ethical reasoning cannot be enforced. Voluntary understanding is a basic condition for the development of ethical competencies and attitudes. The aim of this survey was to investigate whether the presence of those students who attended our seminars compulsorily would have a negative effect upon the quality of the course. Methods and results: The participants of our small-group seminars in medical ethics were asked to complete a questionnaire on teaching aims, seminar atmosphere, moderation and importance of subjects. One hundred and ninety-two voluntary participants (2001/2) and 293 compulsory participants (2002/3) completed the questionnaire and were statistically compared. There was no significant difference between voluntary and compulsory participants in any of the important items. However, there were considerable differences in some items between male and female participants. Conclusion: We were surprised that there was no difference between the two groups. This leads us to hope that our concept of case-based small-group seminars will prove capable of realising our teaching aims for all students. The difference between male and female participants may have important didactic consequences and will be the subject of further studies.     

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

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

针对医疗设备的精确电池备份

本文通过测试测量方案介绍了如何进行医疗设备的精确电池备份。     

Modelling biological processes under anaerobic conditions through integrating titrimetric and off-gas measurements-applied to EBPR systems.

An innovative method for modelling biological processes under anaerobic conditions is presented and discussed. The method is based on titrimetric and off-gas measurements. Titrimetric data is recorded as the addition rate of hydroxyl ions or protons that is required to maintain pH in a bioreactor at a constant level. An off-gas analysis arrangement measures, among other things, the transfer rate of carbon dioxide. The integration of these signals results in a continuous signal which is solely related to the biological reactions. When coupled with a mathematical model of the biological reactions, the signal allows a detailed characterisation of these reactions, which would otherwise be difficult to achieve. Two applications of the method to the enhanced biological phosphorus removal processes are presented and discussed to demonstrate the principle and effectiveness of the method.     

冷漠的灯光和火热的Guru

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