- checking machine
-
контрольно-измерительный механизм
Англо-русский словарь терминов металлургии и сварки. 2011.
checking machine
Смотреть что такое "checking machine" в других словарях:
automatic checking machine — tikrinimo automatas statusas T sritis automatika atitikmenys: angl. automatic checking machine vok. Kontrollautomat, m rus. контрольный автомат, m pranc. automate de contrôle, m … Automatikos terminų žodynas
Machine De Turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise … Wikipédia en Français
Machine de turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise … Wikipédia en Français
Machine translation — Part of a series on Translation Types Language interpretation … Wikipedia
Machine d'état — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine … Wikipédia en Français
Machine à états finis — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine … Wikipédia en Français
Machine Check Exception — A Machine Check Exception (MCE) is a type of computer hardware error that occurs when a computer s central processing unit detects a hardware problem. Microsoft Windows displays the error using the blue screen of death containing the error… … Wikipedia
machine rest — noun : a fixed support for holding a firearm while it is fired (as for determining the accuracy of the weapon or checking ammunition loadings) … Useful english dictionary
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Lisp machine — Lisp machines were general purpose computers designed (usually through hardware support) to efficiently run Lisp as their main software language. In a sense, they were the first commercial single user workstations. Despite being modest in number… … Wikipedia
