Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
parameterized systems
Vertaling van "parameterized systems" in Duits
parametrisierte Systeme
We show that the concept of predicate diagrams can be used to verify not only discrete systems, but also some more complex classes of reactive systems such as real-time systems and parameterized systems.
Wir zeigen, daß das Konzept von Prädikatendiagrammen verwendet werden kann, um nicht nur diskrete Systeme zu verifizieren, sondern auch kompliziertere Klassen von reaktiven Systemen wie Realzeitsysteme und parametrisierte Systeme.
Furthermore, we show that local theory extensions allow us to decide certain verification problems for parameterized systems and develop increasingly complex system models of an automatic train controller on which we demonstrate how to use local reasoning to verify safety properties of such systems.
Weiterhin zeigen wir, dass lokale Theorieerweiterungen es uns ermöglichen, bestimmte Verifikationsprobleme für parametrisierte Systeme zu entscheiden und entwickeln eine Reihe komplexer werdender Modelle eines automatischen Zugsteuerungssystems an denen wir demonstrieren, wie man mittels lokalen Beweisens Sicherheitseigenschaften solcher Systeme verifizieren kann.
This thesis focusses on infinite-state and parameterized systems, and builds tool-support on interactive theorem-proving.
Die vorliegende Arbeit konzentriert sich auf unendliche und parametrisierte Systeme und verwendet interaktives Theorembeweisen.
It demonstrates how to apply various techniques to tackle proofs about infinite-state and parameterized systems with large descriptions, discusses the support that theorem-provers can offer, and presents a foundational platform for reasoning about mobile systems in a general-purpose theorem-prover. Several design-decisions have to be taken.
Es wird gezeigt, wie sich verschiedene Beweistechniken auf unendliche und parametrisierte Systeme anwenden lassen, und welche Unterstützung dabei Theorembeweiser bieten können. Darüber hinaus wird eine grundlegende Beweiserplattform für mobile Systeme geschaffen. Verschiedene Designentscheidungen mussten getroffen werden.
Such systems can be characterized as parameterized systems.
Derartige Systeme fallen in die Klasse der parametrisierten Systeme.
We define two variants of predicate diagrams, namely timed predicate diagrams and parameterized predicate diagrams, which can be used to verify real-time and parameterized systems.
Wir definieren zwei Varianten von Prädikatendiagrammen, nämlich gezeitete Prädikatendiagramme und parametrisierte Prädikatendiagramme, die benutzt werden können, um die Realzeit- und parametrisierten Systeme zu verifizieren.
Examples include predictive maintenance and a large number of other applications in production optimization, highly parameterized systems, intelligent industrial image processing and history-based vendor evaluation.
Neben Predictive Maintenance sehen wir eine Vielzahl weiterer Anwendungsfelder in der Produktionsoptimierung, hoch parametrisierten Systemen, intelligenten Bildverarbeitung oder historienbasierten Lieferantenbewertung.
There exist several approaches for the (automatic) verification of special sub-classes of (mostly untimed) parameterized systems.
Es existieren Ansätze für die automatische Verifikationen spezieller Subklassen von parametrisierten Systemen.
Synoniemen voor parameterized systems in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 31 ms.
