Icon Informatik

Informatik Forschungsergebnisse zur Informatik

ISSN 1435-6260 | 71 lieferbare Titel | 15 eBooks
 Forschungsarbeit: Ein Modell für CADEntwurfsumgebungen

Ein Modell für CAD-Entwurfsumgebungen

Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia

Hamburg 1996, Band 27

Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu…

CAD Entwurfsumgebung Framework Hypermedia Informatik
 Forschungsarbeit: Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art

Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art

Hamburg 1996, Band 26

In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. Typische Anwendungsmöglichkeiten in der Praxis liegen u.a.…

Gleichgewicht Informatik Nash Spieltheorie Statistische Fehler Strategie
 Forschungsarbeit: Spieltheoretische Untersuchung von Problemen der Datenverifikation

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Hamburg 1996, Band 25

Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten…

Datenverifikation EDV Informatik Nash Spieltheorie
 Forschungsarbeit: Planung und Durchführung methodischer Entwurfsaktivitäten

Planung und Durchführung methodischer Entwurfsaktivitäten

Hamburg 1996, Band 24

Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der rechnergestützte Schaltungsentwurf nicht frei von…

Entwurfsumgebung Informatik Planung Schaltungsentwurf
 Forschungsarbeit: Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Hamburg 1996, Band 23

Zunächst führt Hickl in alle graphentheoretischen und geometrischen Begriffe ein, die zur Beschreibung des Ansatzes nötig sind. Sodann befaßt er sich mit Graph–Grammatiken, insbesondere mit Ableitungen in Graph–Grammatiken, der…

Informatik
 Forschungsarbeit: Schnelle Bilddatenkompression für Raumfahrtanwendungen

Schnelle Bilddatenkompression für Raumfahrtanwendungen

Hamburg 1995, Band 22

Der Autor beschreibt ein spezialisiertes Verfahren zur Kompression der Bilddaten einer CCD-Kamera. Es wird bei der wissenschaftlichen Weltraummission Cassini zum Planeten Saturn eingesetzt (Start geplant für 1997). Sämtliche Darstellungen werden…

Informatik Transformation
 Forschungsarbeit: Kontextermittlung und berücksichtigung in Hypertextinformationssystemen

Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen

Hamburg 1995, Band 21

In dieser Arbeit wird ein neuer Ansatz vorgestellt, der das Problem der unvollständigen Vernetzung innerhalb von großen Hypertextinformationssystemen wesentlich verringert. Es werden zusätzliche Navigationsmöglichkeiten hergeleitet, die den…

Generierung Hypertext Informatik
 Forschungsarbeit: Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Hamburg 1996, Band 20

Thema des Buches ist die Anwendung neuronaler Netze auf Planungsprobleme mobiler Kommunikationssysteme. Deren Planung ist dadurch gekennzeichnet, daß aufgrund von Erfahrungswerten und Expertenwissen bislang nur Speziallösungen für…

Informatik Kommunikationssysteme Neuronal Optimierung Planung
 Forschungsarbeit: Dokumenten und Prozeßmodelle für die SoftwareVerwaltung

Dokumenten- und Prozeßmodelle für die Software-Verwaltung

Hamburg 1995, Band 19

In einem Software-Projekt entsteht eine riesige Zahl verschiedenartiger Informationen. Festgehalten werden diese Informationen in Dokumenten. Solche Dokumente zu verwalten, ist Aufgabe der Software-Verwaltung. Die Software-Verwaltung muss die…

Informatik Prozessmodelle Software
 Forschungsarbeit: Abstraktion in ereignisbasierten Modellen verteilter Systeme

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Hamburg 1995, Band 18

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der…

Implementierung Informatik Sprache Verifikation
Nach oben ▲