What is the translation of " MODEL CHECKING " in Greek?

• ελέγχου μοντέλων
• model checking
• έλεγχο μοντέλων
• έλεγχος μοντέλων

Examples of using Model checking in English and their translations into Greek

In the area of model checking.
Ερευνητής στον τομέα του model checking.

Model checking is most often applied to hardware designs.
Ο έλεγχος μοντέλων συνήθως εφαρμόζεται σε σχεδιάσεις υλικού.

Clarke, Grumberg and Peled:"Model Checking", page 14.
Χρονική λογική Έλεγχος μοντέλων Clarke, Grumberg and Peled:"Model Checking", σελ. 14.

Bounded model checking algorithms unroll the FSM for a fixed number of steps, k{\displaystyle k}.
Οι φραγμένοι αλγόριθμοι ελέγχου μοντέλων ξεδιπλώνουν το FSM για ένα πεπερασμένο αριθμό k{\displaystyle k}.

If M is finite, as it is in hardware, model checking reduces to a graph search.
Αν η M είναι πεπερασμένη, όπως στο υλικό, ο έλεγχος μοντέλων ανάγεται σε μια αναζήτηση σε γράφο.

Four years later in 1981 E. M. Clarke and E. A. Emerson invented CTL and CTL model checking.
Τέσσερα χρόνια αργότερα, το 1981, οι E. M. Κλαρκ και E. A. Έμερσον εφηύραν τη CTL και τον έλεγχο μοντέλων σε CTL.

Both sublogics have become very important in the model checking community, while CTL* is not yet of practical importance.
Και οι δύο λογικές έχουν καταλήξει να είναι πολύ σημαντικές στην κοινότητα του ελέγχου μοντέλων, ενώ η CTL* δεν έχει ακόμα πρακτική σημασία.

All CTL formulas can be transformed to use only those operators. This is useful in model checking.
Όλοι οι τύποι της CTL μπορούν να μετασχηματιστούν ώστε να χρησιμοποιούν μόνο αυτούς τους τελεστές, κάτι που είναι χρήσιμο στον έλεγχο μοντέλων.

This is surprising because the computational complexity of model checking in CTL* is not worse than that of LTL: they both lie in PSPACE.
Παρόλα αυτά, η υπολογιστική πολυπλοκότητα του ελέγχου μοντέλων σε CTL* δεν είναι χειρότερη από αυτήν της LTL: και οι δύο ανήκουν στο PSPACE.

Within computer science, there are connections with abstract interpretation, program verification, and model checking.
Μέσα στην επιστήμη των υπολογιστών, υπάρχουν σχέσεις με την αφηρημένη διερμηνεία, την τυπική επαλήθευση(formal verification) και τον έλεγχο μοντέλων.

An important class of model checking methods have been developed for checking models of hardware and software designs where the specification is given by a temporal logic formula.
Έχει αναπτυχθεί μια σημαντική κλάση μεθόδων ελέγχου μοντέλων για τον έλεγχο μοντέλων σχεδιάσεων λογισμικού και υλικού, στις οποίες οι προδιαγραφές δίνονται από μια έκφραση χρονικής λογικής.

It has close links with other areas of computer science such as Programming language design, Type theory, Compilers and Interpreters, Program verification and Model checking.
Συνδέεται στενά με άλλες περιοχές της επιστήμης των υπολογιστών όπως η σχεδίαση γλωσσών προγραμματισμού, η θεωρία τύπων, οι μεταγλωττιστές, οι διερμηνείς, η ορθότητα προγράμματος και ο έλεγχος μοντέλων.

Model checking tools face a combinatorial blow up of the state-space, commonly known as the state explosion problem, that must be addressed to solve most real-world problems.
Τα εργαλεία ελέγχου μοντέλων αντιμετωπίζουν μια συνδυαστική έκρηξη στο χώρο των καταστάσεων, γνωστή σαν πρόβλημα έκρηξης καταστάσεων, όταν πρόκειται να λύσουν πολλά από τα προβλήματα που συναντούνται στον πραγματικό κόσμο.

A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system.
Η δομή Κρίπκε(Αγγλικά: Kripke structure) είναι ένας τύπος μη-ντετερμινιστικής μηχανής πεπερασμένων καταστάσεων που προτάθηκε από τον Σάουλ Κρίπκε το 1963 και χρησιμοποιείται στον έλεγχο μοντέλων για να αναπαριστά τη συμπεριφορά ενός συστήματος.

Bounded model checking algorithms unroll the FSM for a fixed number of steps k{\displaystyle k} and check whether a property violation can occur in k{\displaystyle k} or fewer steps.
Οι φραγμένοι αλγόριθμοι ελέγχου μοντέλων ξεδιπλώνουν το FSM για ένα πεπερασμένο αριθμό k{\displaystyle k} βημάτων και ελέγχουν αν η παράβαση κάποιας ιδιότητας μπορεί να εμφανιστεί σε k{\displaystyle k} ή λιγότερα βήματα.

The main task of the hydrology survey team is to observe and analyze waves, tides and flows in different sea areas, to issue related reports and to provide basic data for the design and model checking of major offshore projects.
Το κύριο καθήκον της ομάδας υδροηλεκτρικής έρευνας του Wang είναι να παρακολουθεί και να αναλύει τα κύματα, τις παλίρροιες και τις ροές σε διάφορες θαλάσσιες περιοχές, να εκδίδει σχετικές εκθέσεις και να παρέχει βασικά στοιχεία για τον σχεδιασμό και τον έλεγχο μοντέλων μεγάλων υπεράκτιων έργων.

Pioneering work in the model checking of temporal logic formulae was done by Amir Pnueli, who received the 1996 Turing award for seminal work introducing temporal logic into computing science", and by E. M. Clarke and E. A. Emerson and by J. P. Queille and J. Sifakis.
Σημαντικό έργο στον έλεγχο μοντέλων με εκφράσεις χρονικής λογικής έγινε από τους E. M. Clarke και E. A. Emerson και τους J. P. Queille και Ιωσήφ Σηφάκη.

A main advantage for Rice is the opportunity to work together with world-class robotics innovators and industrial partners in projects that tap our strengths in motion planning, artificial intelligence, formal methods, verification and model checking, and also sensing, haptics and controls, and are beyond the scope of a small team," she said.
Ένα βασικό πλεονέκτημα για το Πανεπιστήμιο Rice είναι η ευκαιρία να συνεργαστεί με παγκοσμίου κλάσης καινοτόμους επιστήμονες στη Ρομποτική και βιομηχανικών εταίρων σε έργα που ταιριάζουν με τα δυνατά μας σημεία στο σχεδιασμό κίνησης, της τεχνητής νοημοσύνης, την επαλήθευση και τον έλεγχο μοντέλων, αλλά επίσης και των αισθητήρων, απτικών και στα πεδία ελέγχου, και είναι πέρα από το πεδίο εφαρμογής τους από μια μικρή ομάδα» τόνισε.

Automata-theoretic linear temporal logic model checking An important way to model check is to express desired properties(such as the ones described above) using LTL operators and actually check if the model satisfies this property.
Ένα σημαντικός τρόπος ελέγχου μοντέλων είναι η έκφραση της επιθυμητής ιδιότητας(όπως οι παραπάνω) με τελεστές LTL και ο έλεγχος αν το μοντέλο την ικανοποιεί.

Model checking tools were initially developed to reason about the logical correctness of discrete state systems, but have since been extended to deal with real-time and limited forms of hybrid systems.
Τα εργαλεία ελέγχου μοντέλων αρχικά δημιουργήθηκαν για την ανάλυση της λογικής ορθότητας συστημάτων διακριτών καταστάσεων, αλλά από τότε έχουν δημιουργηθεί επεκτάσεις τους που μπορούν να χειριστούν συστήματα πραγματικού χρόνου και κάποιες(περιορισμένες) μορφές υβριδικών συστημάτων.

For the checking of models in statistics, see regression model validation. In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
Στο πεδίο της λογικής της επιστήμης των υπολογιστών, ο όρος έλεγχος μοντέλων(Αγγλικά: model checking) αναφέρεται στο εξής πρόβλημα: Δεδομένου του μοντέλου ενός συστήματος, να ελεγχθεί με αυτόματο τρόπο αν αυτό το μοντέλο συμφωνεί με δεδομένες προδιαγραφές.

One approach and formation is model checking, which consists of a systematically exhaustive exploration of the mathematical model(this is possible for finite models, but also for some infinite models where infinite sets of states can be effectively represented finitely by using abstraction or taking advantage of symmetry).
Ο πρώτος είναι ο έλεγχος μοντέλων που συστηματικά και εξαντλητικά εξερευνά το μαθηματικό μοντέλο(αυτό είναι εύκολο στα πεπερασμένα μοντέλα αλλά μπορεί να γίνει και σε κάποια άπειρα μοντέλα, όπου άπειρα σύνολα καταστάσεων μπορούν να αναπαρασταθούν με πεπερασμένο τρόπο μέσω κάποιας αφαίρεσης).

Same design is available for other models, check with us for more.
Ίδιο σχέδιο είναι διαθέσιμο για άλλα μοντέλα, ελέγξτε μαζί μας για περισσότερες πληροφορίες.

Price comparable with previous models, check if they are also as comfortable as the others, of course I will order a gray version.
Τιμή συγκρίσιμη με τα προηγούμενα μοντέλα, ελέγξτε εάν είναι επίσης άνετα όπως τα άλλα, φυσικά θα παραγγείλω μια γκρίζα έκδοση.

It does not model check CSP, but is useful for exploring very large(potentially infinite) systems.
Αν και δεν είναι ελεγκτής μοντέλων της CSP, είναι χρήσιμο για την εξερεύνηση πολύ μεγάλων(ακόμα και άπειρων σε μέγεθος) συστημάτων.

Ground model 2019: Improved model check(points without elevation).
Μοντέλο εδάφους 2019: Βελτιωμένος έλεγχος μοντέλου(σημεία χωρίς υψόμετρο).

Annex IV to Regulation No 817/2010 contains a model check report at the place of the first unloading in the third country of final destination.
Το παράρτημα IV του κανονισμού 817/2010 περιέχει υπόδειγμα εκθέσεως ελέγχου στο σημείο της πρώτης εκφόρτωσης στην τρίτη χώρα τελικού προορισμού.

Manufacturer: P&B Models Check out the new offer! $11.82 or 6900 pts. in stock!
Παραγωγός: P&B Models Επιστροφή στην προσφορά μετά από μεγάλη απουσία! €10.55 ή 6900 πόντοι διαθέσιμο!

VCI1 supports all systems on all vehicles made by Scania from 1995 till 2004 if you need a tool to work with newer models check our shop for Scania VCI2 tool.
VCI1 υποστηρίζει όλα τα συστήματα σε όλα τα οχήματα που γίνονται από Scania από το 1995 μέχρι το 2004 εάν χρειάζεστε ένα εργαλείο για να εργαστείτε με τα νεώτερα πρότυπα ελέγχετε το κατάστημά μας για το εργαλείο Scania VCI2.

Two Ford models checked in last week.
Δύο μοντέλα της Ford που ελέγχθηκαν την περασμένη εβδομάδα.