Das Schädigungspotenzial von extremen Lärmeinwirkungen und Kräften bei der Applikation von Implantaten soll so nachgebildet werden.
Wegen der starken Vernetzung und Verkopplung der physikalischen Vorgänge beim Hören erfordert diese Aufgabe oft ein sehr umfassendes Betrachten zur Datengewinnung und Verifikation der postulierten Modelle und der gefundenen Parameter.
<!====== AUSFUELLEN PFLICHT ENDE =========>
www.itm.uni-stuttgart.deThe potential damage from extreme noise exposure and ability in the application of implants should be emulated.
Because of the strong networking and coupling of physical processes in hearing this task often requires a very comprehensive look at the data collection and verification of the postulated models and the parameters found.
<!====== AUSFUELLEN PFLICHT ENDE =========>
www.itm.uni-stuttgart.deNeben der Dokumentation und der Spezifikation von Domänenmodellen ist auch die automatische Generierung von Software für die Industrie interessant, um langfristig Kosten zu minimieren und bei der Weiterentwicklung und Wartung der eigenen Softwaresysteme die Übersicht zu behalten.
Durch die systematische Verfeinerung und Verifikation von Spezifikationen und die automatische Erzeugung von Software aus Modellen können verschiedene Technologien und Plattformen parallel eingesetzt werden, ohne die aufwändige und mühsame Rekonstruktion des technischen Domänenmodells aus einer konkreten, technologieabhängigen Implementierung.
In gleicher Weise wird es einfacher, bestehende Softwaresysteme auf neue Technologien umzustellen, und damit die Vorteile der neuen Technologie für zukünftige Erweiterungen zu nutzen oder die bestehenden Softwaresysteme überhaupt erst in neue Umgebungen (z. B. WWW, mobile Endgeräte) zu bringen.
www.scch.atBeyond documentation and specification of domain models, automatic generation of software for industry proves interesting in order to minimize long-range costs and to maintain a handle on further development and maintenance or a company ’s own software systems.
Systematic refinement and verification of specifications and automatic generation of software from models enables the parallel use of different technologies and platforms without the costly and cumbersome reconstruction of the technical data model from a concrete technology-bound implementation.
Similarly, it becomes easier to migrate existing software systems to new technologies and thus to enjoy the advantages of such new technology for future extensions, or to port existing software system to new environments (e.g., WWW, mobile end devices).
www.scch.atUnser Lehrstuhl beschäftigt sich mit grundsätzlichen Fragen der Hardware-Konstruktion von Rechenanlagen.
Dies umfasst den Entwurf integrierter Schaltungen, deren Analyse durch Simulation oder formale Verifikation, die rechnergestützte Synthese und Optimierung digitaler Schaltkreise, automatische Layout-Synthese, Diagnose und Test von Schaltkreisen und Systemen sowie den Entwurf dazugehöriger wiederverwendbarer Anwendungssoftware.
Dazu zählen etwa FPGAs und Mikrokontroller, die beispielsweise in Eingebetteten Systemen ( Embedded Systems ) oder drahtlosen Sensornetzwerken ( Wireless Sensor Networks, WSN ) anzutreffen sind.
www.informatik.uni-wuerzburg.deOur Chair of Computer Science V deals with fundamental issues of hardware design of computer systems.
This includes the design of integrated circuits, their analysis using simulation as well as formal verification, computer-aided synthesis and optimization of digital circuits, automatic layout synthesis, diagnostics and testing of circuits and systems, and finally the design of associated but reusable application software.
This also includes FPGAs and microcontrollers, which are assembled for instance in Embedded Systems and Wireless Sensor Networks ( WSN ).
www.informatik.uni-wuerzburg.deDer Lehrstuhl für Leichtbau im Automobil ( LiA ) erforscht innovative Lösungen für den automobilen Leichtbau mit der Fokussierung auf die drei Hauptforschungsrichtungen höchstfeste metallische Werkstoffe, faserverstärkte Werkstoffe und Hybridwerkstoffe.
Die Forschungsaktivitäten erstrecken sich von der Konzeption und Auslegung von Leichtbaukomponenten über die Berechnung und Simulation bis hin zur experimentellen Verifikation der Forschungsergebnisse.
ilh.uni-paderborn.deThe Institute for Automotive Lightweight Construction ( LiA ) develops innovative solutions for the automotive lightweight focused on the three main research directions, high-strength metallic materials, fiber-reinforced materials and hybrid materials.
The activities includes the design and interpretation of lightweight components, the calculation and simulation as well as the experimental verification of research results.
ilh.uni-paderborn.deBachelor
Anfragen für die Verifikation verhaltensbasierter Systeme sollen automatisch generiert werden.
Christopher Armbrust Lisa Kiekbusch
agrosy.informatik.uni-kl.deBachelor
Queries for the verification of behaviour-based systems shall be generated automatically.
Christopher Armbrust Lisa Kiekbusch
agrosy.informatik.uni-kl.deSECURITY FIX :
14. Januar 2009 alle Architekturen named(8) hat den Rückgabewert einer DSA-Verifikationsfunktion nicht richtig überprüft, wodurch möglicherweise die Verifikation von DNSSEC-DSA-Signaturen überbrückt werden könnte.
CVE-2009-0025.
www.openbsd.orgSECURITY FIX :
January 14, 2009 All architectures named(8) did not correctly check the return value of a DSA verification function, potentially allowing bypass of verification of DNSSEC DSA signatures.
CVE-2009-0025.
www.openbsd.orgNeben der Lehrveranstaltung Technische Informatik I, die jeweils im Sommersemester abgehalten wird, bietet die Arbeitsgruppe den Studierenden Projekte, Vorlesungen und Seminare aus dem Bereich des computergestützten Schaltkreis- und Systementwurfes an.
Im wissenschaftlichen Umfeld arbeiten wir auf den Gebieten Synthese, Verifikation, Test und Zuverlässigkeit.
+++ Aktuelles +++ || » Zu allen Einträgen seit 2004
www.informatik.uni-bremen.deBeside the lectures for graduate and undergraduate students, we run student team projects to enforce research oriented learning.
In research the groups are successful in Computer Aided Design (CAD) of circuits and systems covering synthesis, verification, test and reliability.
+++ News (available in german) +++ ( view all )
www.informatik.uni-bremen.deIn Abbildung 2 sieht man einen vergrößerten Ausschnitt mit dem HF-PCB und dem Strahlrohr.
Die Messungen waren trotz ihrer hohen technischen Komplexität äußerst erfolgreich und ergeben eine wichtige und tragfähige Basis für die Modellentwicklung und deren Verifikation.
Abbildung 2:
www.ptb.deFigure 2 shows an enlarged section with the HF-PCB and the microbeam exit nozzle.
In spite of their high technical complexity, the measurements were extremely successful and provided an important and firm basis for the model development and its verification.
Figure 2:
www.ptb.deWould you like to add some words, phrases or translations?
Submit a new entry.