верификатор
21Проверка моделей — (проверка на модели, англ. model checking)  метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… …
22PUF — Физически неклонируемая функция (англ. Physical Unclonable Function ( PUF))  это функция, воплощенная в физической структуре, которую просто оценить, но трудно охарактеризовать, смоделировать или воспроизвести. Физическая структура,… …
23П:М — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия …
24Капкан Брокау — «Капкан Брокау» (англ. Brokaw hazard)  игнорирование индивидуальных речевых и поведенческих особенностей человека при определении степени его правдивости. Понятие ввёл в 1985 году психолог Пол Экман в своей книге «Психология лжи»,… …
25проверщик — ревизор, контролер, поверщик, проверяльщик, досмотрщик, считчик, испытатель, исследователь, сверщик, переверщик, выверщик Словарь русских синонимов. проверщик сущ., кол во синонимов: 13 • верификатор (2) …
26сличатель — сущ., кол во синонимов: 2 • верификатор (2) • сличитель (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …
27Портал:Математика — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия …
28ГОСТ ИСО/МЭК 15426-1-2003 — Автоматическая идентификация. Кодирование штриховое. Верификатор линейных символов штрихового кода. Требования соответствия раздел 35.040 …
29ГОСТ Р ИСО/МЭК 15426-1-2002 — 16 с. (3) Автоматическая идентификация. Кодирование штриховое. Верификатор линейных символов штрихового кода. Требования соответствия раздел 35.040 …
30интерактивная проницаемость — Протокол общения двух сторон, когда сторона, называемая prover, пробует доказать некоторый факт другой стороне, называемой верификатором. Обычно это происходит в форме "вопрос ответ", где верификатор задает вопросы, а prover отвечает с… …
