Als interdisziplinäres Gebiet umfasst der Bau und Betrieb von Prüfständen die mechanischen, hydraulischen und elektronischen Systeme, den Signalfluss von Mess-, Überwachungs- und Regelsignalen sowie die Anwendung in Prüfaufgaben zur Verifikation von Berechnungsergebnissen und zur Absicherung der Produktzuverlässigkeit.
Aktualisiert: 2023-06-15
> findR *
Als interdisziplinäres Gebiet umfasst der Bau und Betrieb von Prüfständen die mechanischen, hydraulischen und elektronischen Systeme, den Signalfluss von Mess-, Überwachungs- und Regelsignalen sowie die Anwendung in Prüfaufgaben zur Verifikation von Berechnungsergebnissen und zur Absicherung der Produktzuverlässigkeit.
Aktualisiert: 2023-06-05
> findR *
Verilog ist die neben VHDL am weitesten verbreitete Hardware-Beschreibungssprache (HDL) für den Entwurf und die Beschreibung elektronischer Schaltkreise und Systeme. Gegenüber VHDL bietet Verilog vor allem den Vorteil der leichteren Erlernbarkeit, da es auf der im Ingenieurbereich weit verbreiteten Sprache C aufgebaut ist. Das Buch von Bernhard Hoppe vermittelt alle relevanten Grundlagen und Anwendungsmöglichkeiten von Verilog und ermöglicht so einen schnellen Einstieg und Überblick. Es ist konzipiert als Lehrbuch für Studierende der Elektrotechnik im Hauptstudium, eignet sich aber auch zum Selbststudium für Berufspraktiker und andere Interessierte. Jedes Kapitel enthält Übungsaufgaben mit Lösungen; dem Buch ist eine CD mit Powerpoint-Folien für den Unterricht, einer Laboranleitung mit Zugang zu der XILINX Studentenversion für den Simulator MODELSIM und Quellcodes beigelegt.
Aktualisiert: 2023-05-29
> findR *
Verilog ist die neben VHDL am weitesten verbreitete Hardware-Beschreibungssprache (HDL) für den Entwurf und die Beschreibung elektronischer Schaltkreise und Systeme. Gegenüber VHDL bietet Verilog vor allem den Vorteil der leichteren Erlernbarkeit, da es auf der im Ingenieurbereich weit verbreiteten Sprache C aufgebaut ist. Das Buch von Bernhard Hoppe vermittelt alle relevanten Grundlagen und Anwendungsmöglichkeiten von Verilog und ermöglicht so einen schnellen Einstieg und Überblick. Es ist konzipiert als Lehrbuch für Studierende der Elektrotechnik im Hauptstudium, eignet sich aber auch zum Selbststudium für Berufspraktiker und andere Interessierte. Jedes Kapitel enthält Übungsaufgaben mit Lösungen; dem Buch ist eine CD mit Powerpoint-Folien für den Unterricht, einer Laboranleitung mit Zugang zu der XILINX Studentenversion für den Simulator MODELSIM und Quellcodes beigelegt.
Aktualisiert: 2023-05-29
> findR *
Ausgehend von der historischen Entwicklung des Testreportings erläutert der Autor den grundsätzlichen Nutzen der Metriken und gibt einen Überblick darüber, welche verschiedenen Arten von Metriken es gibt und wie sie im Softwaretest sinnvoll eingesetzt werden können. Er zeigt, wie sich, angefangen bei der Testspezifikation über die Testdurchführung bis hin zur Entwicklung der Testabdeckung, eine bestimmte Metrik individuell auf eine zu testende Software abstimmen lässt und wie man dadurch eine Automatisierung der Tests erreichen kann. Daneben stellt er Vorzüge und Nachteile jener Testmetriken auf, die auf Fehlern basieren, also die die Fehleranzahl, die Fehlerdichte und die Entwicklung der Fehler im Zeitverlauf messen.
Mit dieser ausführlichen Auseinandersetzung mit dem Testreporting liefert der Autor eine optimale Bewertungsgrundlage, mit der sich nicht nur einschätzen lässt, welche Testmetrik man für welchen Einsatzzweck bzw. welche individuellen Projektsituation verwenden sollte, sondern auch, worin besondere Probleme einer einzelnen Metrik für das Testreporting bestehen können und wie man diese Probleme am besten löst. Damit richtet sich dieser praktische Leitfaden vor allem an Mitarbeiter in IT-Projekten, wie Projektleiter, Softwaretester und Entwickler, aber auch Unternehmens- und Technologieberater sowie Dozenten an Hochschulen und Universitäten finden hier einen spannenden Einblick in verschiedene Methoden des Softwaretestings.
Aktualisiert: 2023-05-11
> findR *
Die Vermessung der Zukunft
Wie wachsen Muttermale? Wie lassen sich Hörsäle und andere Räume optimal nutzen? Wie wird sich die Verbreitung eines Virus durch eine Impfung verändern? Alles lässt sich in ein Modell gießen und simulieren. Das ist die Kernkompetenz von Niki Popper und seinem Team – ihr Kreativort ist die »drahtwarenhandlung«, ein Biotop für Profis aus Mathematik, Simulation und künstlicher Intelligenz. Nicht die Frage nach dem »Wieviel«, sondern nach dem »Warum« treibt sie an. In seinem ersten Buch gibt Simulationsexperte Niki Popper interessante Einblicke in seinen Forscheralltag, erzählt von komplexen Herausforderungen trotz neuester Technologien, skurrilen Aufgabenstellungen, Erfolgen und Misserfolgen – und warum Menschen manchmal Kommazahlen sind.
Mit einem Glossar und zahlreichen Abbildungen
Aktualisiert: 2023-05-11
> findR *
Als interdisziplinäres Gebiet umfasst der Bau und Betrieb von Prüfständen die mechanischen, hydraulischen und elektronischen Systeme, den Signalfluss von Mess-, Überwachungs- und Regelsignalen sowie die Anwendung in Prüfaufgaben zur Verifikation von Berechnungsergebnissen und zur Absicherung der Produktzuverlässigkeit.
Aktualisiert: 2023-05-08
> findR *
Absicherungsmaßnahmen sind während des gesamten Produktentwicklungsprozesses notwendig. Denkweisen, Datentypen, Datenstrukturen und Datenablagen sind in der virtuellen Absicherung oft anders als in der physischen Absicherung. Absicherungsmanagement kann eine enge, effektive und effiziente Zusammenarbeit der beiden Bereiche unterstützen.
In dieser Arbeit wird ein Vorgehen beschrieben, Absicherungsprozesse im Detail zu analysieren und in Relation zu Unternehmensvorgaben zu setzten. Dazu werden Daten- und Informationsflüsse, Toollandschaften, Daten und Informationen sowie deren Ablagestrukturen am Beispiel eines Motorradherstellers genauer untersucht. Es werden sowohl das methodische Vorgehen, als auch die erhaltenen Ergebnisse im Untersuchungsobjekt bewertet und validiert. Die Bereiche Prozesse, Daten- und Wissensmanagement, Absicherungsplanung sowie Zusammenarbeit bieten am meisten Optimierungspotential.
Daher werden Unterstützungsansätze in diesen Bereichen entwickelt und - soweit möglich - im Untersuchungsobjekt prototypisch umgesetzt, implementiert, verifiziert und validiert. Zur Erstellung einer Absicherungsworkbench werden sowohl die IT-Sicht, als auch die Anwendersicht betrachtet. Absicherungsprozesse und existierende Standards im Datenmanagement werde verglichen, Integrationsoptionen für Versuchs- und Simulationsdatenmanagement gezeigt und bewertet. Folgende Unterstützungsansätze werden beschrieben und deren Umsetzung im Untersuchungsobjekt bewertet: ein Absicherungsplanungstool, Artefakt- und Aktivitätentabellen, ein Wissensmanagementtool, die Implementierung von spezifischen Absicherungskennzahlen, ein Wissensquiz , ein Problemtagebuch sowie eine Befragung zu Verbesserungspotentialen bei der Einführung neuer IT-Systeme.
Aktualisiert: 2023-01-19
> findR *
Die Vermessung der Zukunft
Wie wachsen Muttermale? Wie lassen sich Hörsäle und andere Räume optimal nutzen? Wie wird sich die Verbreitung eines Virus durch eine Impfung verändern? Alles lässt sich in ein Modell gießen und simulieren. Das ist die Kernkompetenz von Niki Popper und seinem Team – ihr Kreativort ist die »drahtwarenhandlung«, ein Biotop für Profis aus Mathematik, Simulation und künstlicher Intelligenz. Nicht die Frage nach dem »Wieviel«, sondern nach dem »Warum« treibt sie an. In seinem ersten Buch gibt Simulationsexperte Niki Popper interessante Einblicke in seinen Forscheralltag, erzählt von komplexen Herausforderungen trotz neuester Technologien, skurrilen Aufgabenstellungen, Erfolgen und Misserfolgen – und warum Menschen manchmal Kommazahlen sind.
Mit einem Glossar und zahlreichen Abbildungen
Aktualisiert: 2023-02-13
> findR *
Als interdisziplinäres Gebiet umfasst der Bau und Betrieb von Prüfständen die mechanischen, hydraulischen und elektronischen Systeme, den Signalfluss von Mess-, Überwachungs- und Regelsignalen sowie die Anwendung in Prüfaufgaben zur Verifikation von Berechnungsergebnissen und zur Absicherung der Produktzuverlässigkeit.
Aktualisiert: 2023-03-04
> findR *
Der Anteil von Software in industriellen Gütern und Dienstleistungen steigt stetig und deren Korrektheit ist eine deren wichtigsten Eigenschaften. Häufig werden für die Entwicklung objektorientierte Programmiersprachen eingesetzt. Die Korrektheit objektorientierter Software kann mit Hilfe dynamischer Testverfahren oder mit Hilfe formaler Methoden verifiziert werden. Dynamische Testverfahren können leicht auf jede Software angewandt werden, garantieren jedoch keine Fehlerfreiheit. Methoden der formalen Verifikation können hingegen dafür genutzt werden, Fehlerfreiheit zu garantieren. Jedoch ist ihre Anwendung wesentlich komplexer.
In dieser Arbeit wird ein neues Verfahren zu Kombination modularer, formaler Verifikationsmethoden und dynamischer Testverfahren vorgestellt. Das Ziel der vorgestellten Methodik ist es möglichst große Anteile der Software automatisiert, modular und formal zu verifizieren. Dadurch können zeitintensive, dynamische Testfälle eingespart und die Sicherheit der Software erhöht werden. Die Korrektheit von Programmabschnitten, die nicht formal verifiziert werden konnten, wird mit dynamischen Testfällen und Robustheitstests überprüft. Die Robustheitstests simulieren Fehler bezüglich aller nicht formal verifizierten Programmeigenschaften. Mit Hilfe dieser Tests wird das Verhalten der formal verifizierten Programmabschnitte im Fehlerfall analysiert. Ein sicherer Umgang mit Fehlern verhindert, dass Fehler unbemerkt durch das Gesamtsystem propagiert werden können. Stattdessen werden Fehler durch das Programm korrigiert oder die Programmausführung mit einem definierten Prozess unterbrochen. Die Robustheitstests helfen dem Entwickler, die notwendige Fehlerbehandlung zu identifizieren, zu entwickeln und final zu testen. Die auf diesem Weg entstandene Fehlerbehandlung erhöht auch die Robustheit des Gesamtsystems gegenüber potentiell nicht entdeckter Fehler.
Aktualisiert: 2023-04-05
> findR *
Mit einem Geleitwort von Prof. Dr. Dr. h.c. Manfred Broy
Aktualisiert: 2023-04-03
> findR *
Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.
Aktualisiert: 2023-03-14
> findR *
Die Arbeiten zu Bildverarbeitung und Mustererkennung sind ein Versuch, die Natur der Wahrnehmung zu begreifen und die menschliche Intelligenzleistung in einern schmalen Teilbereich zu unterstützen. Überdies trägt die zunehmende Verfügbarkeit von Rechenanlagen zu den weltweiten Bemühungen um Fortschritte auf diesem Gebiet bei. Neue Aspekte und Ergebnisse zeigen sich in so kurzen Abständen und in solcher Fülle, daß ein Überblick über das Gesarntgebiet der Muster erkennung in jährlicher Folge nützlich erscheint. Der vorliegende Tagungsband zeigt einen repräsentativen Querschnitt durch den Stand der Arbeiten in der Bundesrepublik im Sommer 1978. Das Symposium wird von der Deutschen Arbeitsgemeinschaft für Mustererkennung (DAGM) organisiert und von der Deutschen Forschungs und Versuchsanstalt für Luft- und Raumfahrt (DFVLR) ausgerichtet. Die DAGM ist ein Dachverband folgender wissenschaftlicher Gesellschaften: Deutsche Gesellschaft für angewandte Optik (DGaO), Deutsche Gesellschaft für Ortung und Navigation (DGON), Deutsche Gesellschaft für Medizinische Dokumentation, Information und Statistik (GMDS), Deutsche Gesellschaft für Angewandte Datenverarbeitung und Automation in der Medizin (GADAM), Gesellschaft für Informatik (GI), Nachrichtentechnische Gesellschaft (NTG). Die DAGM fördert den Erfahrungsaustausch auf dem Gesarntgebiet der Mustererkennung und ist als Nationales Komitee Mitglied der Inter national AS,sociation for Pattern Recogni ti on (IAPR). Für die Arbeit im Programm-Ausschuß möchte ich mich bedanken bei J.P. Foith, Karlsruhe; Prof. H. Niemann, Erlangen; Prof. E. Paulus, Braunschweig; Prof. G. Winkler, Karlsruhe. An der Organisation haben mitgewirkt J.P. FOith, Institut für Informa tionsverarbeitung in Technik und Biologie, Karlsruhe und H. Platzer, Lehrstuhl für Nachrichtentechnik der TU München, sowie das Institut für Nachrichtentechnik der DFVLR Oberpfaffenhofen.
Aktualisiert: 2022-03-12
> findR *
Aktualisiert: 2022-03-11
> findR *
Aktualisiert: 2022-03-14
> findR *
Das Buch führt in die Grundlagen des Protocol Engineerings ein. Es stellt die Funktionsweise von Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Protokollentwicklung vor. Es werden sowohl praktische als auch theoretische Aspekte des Protocol Engineerings untersucht.
Aktualisiert: 2023-03-14
> findR *
Software-Projektmanagement ist ein wichtiger Bestandteil der Ausbildung in der Informatik. Dieses Buch ist ein verständlicher Leitfaden für alle, die sich mit Software-Projektmanagement befassen und beruht auf zehnjährigen Erfahrungen des Autors in der Arbeit mit Studenten. Es werden nützliche Hinweise gegeben, wie man organisatorische Herausforderungen bewältigt, aber auch Ratschläge, wie man mit unerwarteten Problemen umgeht. Die angesprochenen Themen sind: Planung, Bedarfsanalyse, Aufbau/Struktur, Zeitmanagement, wissenschaftliche Fähigkeiten/Forschung, praktische Werkzeuge usw. Eine sorgfältige Lektüre dieses Buches hilft Studenten, eigene Softwareprojekte erfolgreich zu managen. Viele praktische Beispiele runden das Buch ab.
Aktualisiert: 2023-03-14
> findR *
Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen tiellen, auf Maschinen herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen.
Aktualisiert: 2023-04-01
> findR *
Aktualisiert: 2022-03-12
> findR *
MEHR ANZEIGEN
Bücher zum Thema Verifikation
Sie suchen ein Buch über Verifikation? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema Verifikation. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema Verifikation im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema Verifikation einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
Verifikation - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema Verifikation, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter Verifikation und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.
