AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme

Der Beitrag stellt AutoFocus vor, einen Werkzeugprototyp zur Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken. AutoFocus unterstützt die Systementwicklung mit integrierten, im wesentlichen graphischen Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden. Um konsistente und vollst?ndige Beschreibungen sicherzustellen, bietet AutoFocus die M?glichkeit, Konsistenzbedingungen zu formulieren und Systembeschreibungen daraufhin zu überprüfen. Aus ausführbaren Spezifikationen k?nnen Prototypen des entwickelten Systems erzeugt werden und in einer Simulationsumgebung ausgeführt und visualisiert werden. Zur formalen Verifikation von Systemeigenschaften verfügt AutoFocusüber Anbindungen an Modellprüfungswerkzeuge wie -cke oder SMV.     

Stichwort: Lernen im Museum

This contribution sketches the museum landscape and investigates – from different perspectives – to what extent museums can be defined and studied as an informal learning location. We shall start with a look at the heterogeneity of museums, which is a consequence of the different collections, the characteristics of visitors and their motives for visiting, and the relatively young history of didactic methods used in museums. Does learning take place? Research on visitors, which looks at this question, typically reflects in its theories of learning the paradigm shift from behaviourism to cognitive and constructivistic concepts with a corresponding change of perspective regarding the subject of investigation: whilst first investigations looked at the characteristic of exhibits and made recommendations on this basis for improved didactics, more recent studies look at visitors’ theoretic constructs of these characteristics. This article argues for a link between both perspectives in order to achieve further theoretical and practical insights.     

Portale Hypertension

Ohne Zusammenfassung     

Quality Assurance in an International Higher Education Area: A summary of a case-study approach and comparative analysis

Tertiary Education and Management - Transparency and comparability of higher education institutions especially in terms of their academic programmes and research activities are important issues for...     

Comparison of visual,automatic and semiautomatic methods to determine ventilatory indices in 50 to 60 years old adults

ABSTRACT

The aim of this study was to compare different methods of detecting ventilatory indices (VI) and to investigate the impact of cardiorespiratory fitness (CRF) level on VI detection. Fifty females and fifty males completed a graded exercise test until volitional exhaustion with continuous gas-exchange measurement. The first and second ventilatory indices (VI-1, VI-2) were detected through different single automatic methods and through a semiautomatic method which combines visual and automatic detection methods. Additionally, the VIs were detected visually by two experts which served as the study specific gold standard. When comparing the semiautomatic method at VI-1 (intraclass correlation coefficients (ICC) 0.88 [0.81, 0.92], Bland-Altman bias ± limits of agreement (LoA) 55 ± 334 ml O₂ · min^?1) and VI-2 (ICC 0.97 [0.96, 0.98], LoA 1 ± 268 ml O₂ · min^?1) to the visually detected VI, high levels of agreements and no significant differences were found. This was not the case for any of the other automatic methods. Additionally, we couldn’t find any relevant differences regarding the CRF level.

We therefore concluded that the semiautomatic detection method should be used for VI detection, as results are more accurate than in any of the single-automatic methods.

Abbreviations: CPET: cardiopulmonary exercise test; CRF: Cardiorespiratory fitness; VO_2peak: peak oxygen uptake; VI-1: first ventilatory indices; VI-2: second ventilatory indices; LoA: Bland-Altman bias ± limits of agreement; ICC: intraclass correlation coefficient.