Filters








283 Hits in 2.7 sec

A Categorical Approach to Algebraic [chapter]

Henning Urbat
2018 GI Ausgezeichnete Informatikdissertationen  
In der algebraischen Theorie der formalen Sprachen werden Automaten und ihre Sprachen klassifiziert, indem man ihnen algebraische Strukturen zuordnet.  ...  Der algebraische Ansatz wurde für verschiedene Typen von Sprachen erfolgreich umgesetzt und führte zu einer Vielzahl von wichtigen Ergebnissen (z.B.  ...  Sie wird von dem abgebildeten endlichen Automaten erkannt.  ... 
dblp:series/gidiss/Urbat18 fatcat:avbypkexgbbp3nugrl7jdw7qf4

Page 1215 of Mathematical Reviews Vol. 41, Issue 4 [page]

1971 Mathematical Reviews  
Schmitt (Erlangen) Walter, Hermann Erweiterungen von linearen Automaten. Russian summaries) Elektron. Informationsverarbeit. Kybernetik 5 (1969), 97-107.  ...  Der Autor beschaftigt sich mit endlichen stochastischen Moore-Automaten.  ... 

Optimalsteuerung kooperierender MehrfahrzeugsystemeOptimal Control of Cooperative Multi-Vehicle Systems

Christian Reinl, Markus Glocker, Oskar von Stryk
2009 at - Automatisierungstechnik  
Die Verfahren werden auf exemplarische Problemstellungen angewendet: Die simultane Wegpunktreihenfolge-und Trajektorienoptimierung von Luftfahrzeugen sowie die Optimierung von Rollenverteilung und Trajektorien  ...  Die Erweiterungen der Modellierung auf hierarchische hybride Automaten, die Nebenläufigkeit und Synchronisation beschreiben, sind ebenfalls Gegenstand aktueller Untersuchungen.  ...  Arbeiten von Engell (z.B. [18, 23] ) oder Bemporad [2] befassten sich mit gemischt-ganzzahligen linearen Problemen zur approximativen Optimalsteuerung hybrider Systeme.  ... 
doi:10.1524/auto.2009.0778 fatcat:3xa3gcp5svftvn3ktpjdwz4j54

Temporale Verifikation mit Transitionsinvarianten

Andrey Rybalchenko
2005 Jahrestagung der Gesellschaft für Informatik  
Temporale Verifikation von Programmen befasst sich mit der Erstellung von Korrektheitsaussagen über Programmausführungen.  ...  Transitionsinvarianten stellen eine neue Art von Hilfsaussagen für die Verifikation von Lebendigkeitseigenschaften dar.  ...  ARMC wird u.a. benutzt, um die Terminierung von C Programmen [Con03] und durch ganzzahlige Zähler-erweiterten endlichen Automaten [IBB + 06] zu beweisen.  ... 
dblp:conf/gi/Rybalchenko05 fatcat:fouaetds75efpemmxr5qitzkoi

Spezifikation und Modellierung [chapter]

Peter Marwedel
2021 Eingebettete Systeme  
Es gibt Erweiterungen von Petrinetzen, die einige dieser Schwächen beheben.  ...  Einige Erweiterungen von SDF-Modellen wurden vorgeschlagen (siehe z.B. Stuijk [515]): • Eine Ergänzung sind Modi, die den Zuständen eines zugehörigen endlichen Automaten entsprechen.  ... 
doi:10.1007/978-3-658-33437-6_2 fatcat:vol7ufcuara45bvzrjso7uyfaq

Rekurrente Fuzzy-Systeme

Roland Kempf
2004 at - Automatisierungstechnik  
Anwendungen, Modifikationen und Erweiterungen.  ...  Bei der Verwendung von linearen Funktionen f und g ergeben sich lineare zeitdiskrete Systeme, bei nichtlinearen Funktionen dementsprechend nichtlineare zeitdiskrete Systeme.  ...  Man betrachte dazu eine beliebige Komponente x h von x.  ... 
doi:10.1524/auto.52.8.398.36680 fatcat:2kfk4btdqvalvna246mhwjko24

Die Enden des Körpers und die Negation der Prothetik

Stefan Rieger, Mediarep, Philipps Universität Marburg
2019 Navigationen. Zeitschrift für Medien- und Kulturwissenschaften  
DIE GEOMETRIE DES MENSCHEN Die Rede von den Enden des Körpers als Voraussetzung für die von einer Negativen Prothetik nimmt den Körper in einem schlicht geometrischen Sinne beim Wort. 2 Sie fragt danach  ...  Diesen Topos zu invertieren und für die Theoriebildung nutzbar zu machen, ist einer Veränderung von Medien geschuldet.  ...  Medientheorie verbucht Erweiterungen oder extensions wie Werkzeuge, Prothesen oder Orthesen in der Regel als Zugewinn.  ... 
doi:10.25969/mediarep/12598 fatcat:izkpbqetn5ejllecuhb2xrk4qq

Schnittstelle für Selbstbedienungsautomaten in RFID-Bibliotheken : Vergleich der Schnittstellen SIP2 und NCIP [article]

Barbara Michaelis
2014
Erweiterungen müssen in Profilen bekannt gegeben werden.  ...  Auf Grund der linearen Struktur lassen sich multiple Angaben nicht abbilden. Definierte Vorgaben für die Belegung sind nur an wenigen Stellen vorhanden.  ... 
doi:10.15771/rfid_2014_13 fatcat:qrcb7sdy4fcqnjap37tdkre6ma

Pattern Matching auf FPGAs

Heiko Schwedhelm, Technische Universität Dortmund, Technische Universität Dortmund
2017
Selbst für eingeschränkte Erweiterungen von DFAs in Richtung Nichtdeterminismus (wie z.  ...  In der VHDL-Beschreibung des Automaten wird anstelle vieler Instanzen ähnlicher bzw. identischer Zustandsmodule für einen solchen linearen Pfad eine einzige Instanz von einer der erzeugten VHDL-Entitäten  ...  Das Verfeinern von split(P, B, σ) bzgl. S − B und σ unterteilt D 2 nicht. 4 .  ... 
doi:10.17877/de290r-17767 fatcat:xdtqhwgzzjbltbj6mduyobi3h4

Grammatik und Parsing

Horst Lohnstein
1994 Zeitschrift für Sprachwissenschaft  
Einleitung Die grammatische Kompetenz von Sprechern wird in der GB-Theorie durch eine Menge von Prinzipiensystemen erfaßt, deren Anwendung auf verschiedenen syntaktischen Ebenen stattfindet.  ...  Und wie kann der Aspekt, daß sprachliche Äußerungen von links nach rechts, d. h. zeitlinear berechnet werden, in diese Sichtweise integriert werden?  ...  Einen solchen Automaten verwenden wir sodann, um die Struktur von Sätzen zu berechnen.  ... 
doi:10.1515/zfsw.1994.13.1.56 fatcat:ixmsanjievdbxcvwckqvaczy5y

Bewertung und Validierung [chapter]

Peter Marwedel
2021 Eingebettete Systeme  
Für kurze Eingabefolgen kann es ausreichen, die Rückkopplung des Automaten aufzutrennen und im Endeffekt mehrere Kopien dieses Automaten zu betrachten, von denen jede die Auswirkung eines Eingabemusters  ...  Die letzten Erweiterungen betreffen die Modellierung von Leitungen in Chips, von kontextabhängigen Speicherzugriffen, von Leitungstreibern und von Leitungsempfängern.  ... 
doi:10.1007/978-3-658-33437-6_5 fatcat:oxas6xozzjeu5gvakqjkpa6rwy

Optimierung und Klinische Entscheidungsunterstützung

Sebastian Sager
2018 Mitteilungen der DMV  
Wir erläutern, wie durch eine Kombination von Mathematik, modelliertem Expertenwissen und klinischen Daten neuartige automatisierte Systeme zur Entscheidungsunterstützung entstehen.  ...  Clustern von RR Zeiten, Maschinelles Lernen, Zelluläre Automaten, oder Nichtlineare Zeitreihenanalyse.  ...  Ein Differentialgleichungssystem mit vier differentiellen Zuständen und mehreren geschätzten Modellparametern war in der Lage, bis dato unbekannte Phänomene vorherzusagen und führte zu vielen Erweiterungen  ... 
doi:10.1515/dmvm-2018-0030 fatcat:v3uk53j6b5ckzcehzuu24bel2q

Entwurf und Bewertung fehlertoleranter, verteilter Echtzeitsysteme am Beispiel MARS [chapter]

H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl, C. Senft, R. Zainlinger
1988 GI — 18. Jahrestagung II  
Diese Erweiterungen sollten deshalb bereits vom Hersteller berücksichtigt werden.  ...  Tabelle 9.1: Abweichungen der statischen Analyseergebnisse von der Referenzmessung Anhand des linearen Codes wird die Genauigkeit der Pipelinesimulation aufgezeigt.  ...  Die WCET dieses Pfads ist im Allg. sehr weit von der des ausführbaren Pfades entfernt und somit sehr pessimistisch.  ... 
doi:10.1007/978-3-642-74135-7_29 dblp:conf/gi/KopetzDKMSSZ88 fatcat:4ix4a4mqg5hp7dmme75e5anq6q

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Elke Tetzner
2008
linearen, null-eins zustände + alternierende (lineare, null-eins und überwachten, Transitionsfolge aus Constraints boolscher linearen Constraints linearen, null-eins Werte für diskrete und überwachten  ...  In der Arbeit von [LAB07] werden für Eigenschaften interessante Pfade auf Basis der linearen Programmierung ausgewertet.  ... 
doi:10.18453/rosdok_id00000446 fatcat:muayvzwe3jaajeor6cbfkwzhgm

Simulation städtischer und touristischer Flächenexpansionen als Grundlage für eine nachhaltige Entwicklung-Fernerkundung und GIS als Planungsinstrumente Simone Naumann

Real Proceedings, Corp
2009 unpublished
ZUSAMMENFASSUNG Eine der größten Begleiterscheinungen der Globalisierung ist die flächenhafte Ausdehnung von städtischen Räumen.  ...  Auf den Kanarischen Inseln erfolgt seit Beginn des Tourismus in den 1960er Jahren ein sozioökonomischer Wandel von einer Agrar-zu einer Dienstleistungsgesellschaft.  ...  Die Nachbarschaftsbeziehung jeder einzelnen Zelle ist abhängig von der Dimension und der Geometrie des Zellulären Automaten.  ... 
fatcat:ogcvlwtpjjg27awyo2aofxoxoa
« Previous Showing results 1 — 15 out of 283 results