- consistency check
-
проверка на непротиворечивость
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Consistency Check — [engl.], Konsistenzprüfung … Universal-Lexikon
consistency check — sutapties patikrinimas statusas T sritis Standartizacija ir metrologija apibrėžtis Matavimo rezultatų patekimo į numatytąjį intervalą patikrinimas. atitikmenys: angl. consistency check vok. Eignungsprüfung, f rus. проверка совпадения, f pranc.… … Penkiakalbis aiškinamasis metrologijos terminų žodynas
проверка согласованности ( consistency check) — 3.1.2 проверка согласованности ( consistency check): Процесс верификации соответствия допущений, методов и данных, применяемых в исследовании, цели и области исследования. Примечание Согласованность проверяют до формирования заключений. Источник … Словарь-справочник терминов нормативно-технической документации
check — {{Roman}}I.{{/Roman}} noun 1 close look to make sure sth is safe/correct ADJECTIVE ▪ complete, extensive, full (esp. BrE), thorough ▪ careful, close, rigorous, tight (a … Collocations dictionary
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
Data consistency — summarizes the validity, accuracy, usability and integrity of related data between applications and across an IT enterprise. This ensures that each user observes a consistent view of the data, including visible changes made by the user s own… … Wikipedia
Occurs check — In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a logic variable V and a structure S to fail if S contains V. In theorem proving, unification without the occurs check can lead to… … Wikipedia
Immunity Aware Programming — When writing firmware for an embedded system, immunity aware programming is a set of programming techniques used in an attempt to tolerate transient errors in the program counter or other that would otherwise lead to failure.Immunity aware… … Wikipedia
проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… … Словарь-справочник терминов нормативно-технической документации
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia