AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme     

Manfred Broy  Franz Huber und Bernhard Sch?tz 《Informatik - Forschung und Entwicklung》1999,14(3):121-134

Zusammenfassung.   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. Eingegangen am 23. Dezember 1998 / Angenommen am 16. Juni 1999  相似文献   

Lernen mit Kernen
Support-Vektor-Methoden zur Analyse hochdimensionaler Daten     

Bernhard Sch?lkopf  Klaus-Robert Müller  Alexander J. Smola 《Informatik - Forschung und Entwicklung》1999,50(4):154-163

Dieser Beitrag erl?utert neue Ans?tze und Ergebnisse der statistischen Lerntheorie. Nach einer Einleitung wird zun?chst das Lernen aus Beispielen vorgestellt und erkl?rt, dass neben dem Erkl?ren der Trainingdaten die Komplexit?t von Lernmaschinen wesentlich für den Lernerfolg ist. Weiterhin werden Kern-Algorithmen in Merkmalsr?umen eingeführt, die eine elegante und effiziente Methode darstellen, verschiedene Lernmaschinen mit kontrollierbarer Komplexit?t durch Kernfunktionen zu realisieren. Beispiele für solche Algorithmen sind Support-Vektor-Maschinen (SVM), die Kernfunktionen zur Sch?tzung von Funktionen verwenden, oder Kern-PCA (principal component analysis), die Kernfunktionen zur Extraktion von nichtlinearen Merkmalen aus Datens?tzen verwendet. Viel wichtiger als jedes einzelne Beispiel ist jedoch die Einsicht, dass jeder Algorithmus, der sich anhand von Skalarprodukten formulieren l?sst, durch Verwendung von Kernfunktionen nichtlinear verallgemeinert werden kann. Die Signifikanz der Kernalgorithmen soll durch einen kurzen Abriss einiger industrieller und akademischer Anwendungen unterstrichen werden. Hier konnten wir Rekordergebnisse auf wichtigen praktisch relevanten Benchmarks erzielen.  相似文献   

Reflections on working with virtual action learning     

Mike Pedler  Bernhard Hauser  Ghislaine Caulat 《Action Learning: Research and Practice》2014,11(1):88-97

This paper brings together the reflections of the authors on their shared and individual experiences of virtual action learning. Whilst many conclusions are shared, there are also some points of difference in practices.  相似文献   

Introduction     

José Ferreira Marques  Edwin L. Herr  Bernhard Jenschke  Raoul Van Esbroeck 《International Journal for Educational and Vocational Guidance》2001,1(1-2):7-11

  相似文献   

Manifest: Strategische Bedeutung des Software Engineering für die Medizin     

Sabine Glesner  Stefan J?hnichen  Barbara Paech  Bernhard Rumpe  Thomas Wetter und Alfred Winter 《Informatik - Forschung und Entwicklung》2008,22(3):127-135

Ohne Zusammenfassung  相似文献   

Mehr Markt oder mehr Staat oder beides in der Weiterbildung?     

Bernhard Nagel 《Zeitschrift für Erziehungswissenschaft》2002,5(2):241-260

  相似文献   

EJEE Editorial for Special Issue: Research Methodologies that link theory and practice     

Principal Guest editor Anne Gardner  Co-editors Jonte Bernhard  Sally Male  Jennifer Turns 《European Journal of Engineering Education》2019,44(1-2):1-5

  相似文献   

A Conceptual View of Web-Based E-Learning Systems     

Klaus-Dieter Schewe  Bernhard Thalheim  Aleksander Binemann-Zdanowicz  Roland Kaschek  Thomas Kuss  Bernd Tschiedel 《Education and Information Technologies》2005,10(1-2):83-110

Starting from a general framework for web-based e-learning systems that is based on an abstraction layer model, this paper presents a conceptual modelling approach, which captures the modelling of learners, the modelling of courses, the personalisation of courses, and the management of data in e-learning systems. Courses are modelled by outline graphs, which are further refined by some form of process algebra. The linguistic analysis of word fields referring to an application domain helps to set up these course outlines. Learners are modelled by classifying value combinations for their characteristic properties. Each learner type gives rise to intentions as well as rights and obligations in using a learning system. Intentions can be formalised as postconditions, while rights and obligations lead to deontic constraints. The intentions can be used for the personalisation of the learning system to a learner type. Finally, the management of data in an e-learning system is approached on two different levels dealing with the content of individual learning units and the integrated content of the whole system, respectively. This leads to supporting databases and views defined on them.  相似文献   

Epistemic and social scripts in computer–supported collaborative learning     

Armin?WeinbergerEmail author  Bernhard?Ertl  Frank?Fischer  Heinz?Mandl 《Instructional Science》2005,33(1):1-30

  相似文献   

Book reviews     

Gheorghe Radu  Stephen Jackson  T. L. Pilkington  I. F. W. K. Davidson  Alastair Milne  Bernhard Schiff 《International Review of Education/Internationale Zeitschrift für Erziehungswissenschaft/Revue internationale l'éducation》1974,20(3):403-413

  相似文献