Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
explosion problem
Vertaling van "explosion problem" in Duits
Zustandsraumexplosion
The parts explosion problem is a classic application of recursion.
Das Stücklistenproblem ist eine klassische Anwendung einer Rekursion.
However, a lot of firing and explosion problem occurred.
Allerdings ist eine Menge von Feuer-und Explosions-Problem aufgetreten.
Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp.
In unserer Industrie-Fallstudie, der Anwendung automatisierter Model Checking Techniken auf das innovative TWIN Aufzugssystem von ThyssenKrupp, beweisen wir die Gültigkeit der Spezifikation bezüglich der Anforderungen; Effizienz wird durch Abstraktion und Nichtdeterminismus erreicht.
As similar approaches, we also face the so-called state space explosion problem which makes property verification computationally hard.
Wie vergleichbare Ansätze begegnen auch wir dem Problem der Zustandsraumexplosion, das die Verifikation von Eigenschaften algorithmisch schwer macht.
Nevertheless, the increasing complexity of embedded systems requires to compensate the natural disadvantages of model checking that suffers from the well-known state-space explosion problem.
Durch die steigende Komplexität von Eingebetteten Systemen muss der natürliche Nachteil der Modellprüfung, die Zustandsraumexplosion, ausgeglichen werden um akzeptable Laufzeiten des Verifikationsverfahren sicher zu stellen.
The main challenge is to cope with the state explosion problem, that is, the exponential growth of the system's state space in the size of the model.
Die größte Herausforderung ist die Bewältigung der Zustandsexplosion, des exponentiellen Wachstums des Zustandsraums mit der Größe des betrachteten Systems.
Continuous Petri nets have been introduced as a relaxation in order to deal with the state explosion problem that typically appears in discrete systems.
Kontinuierliche Petrinetze stellen eine Relaxierung dar, um dem Problem der Zustandsraumexplosion zu begegnen, das typischerweise in diskreten Systemen auftritt.
The parts explosion problem is a classic application of recursion.
Das Stücklistenproblem ist eine klassische Anwendung einer Rekursion.
Synoniemen voor explosion problem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 172 ms.
