Авторский знак
[author mark, author notation, author number] — индекс, обозначающий автора произведения, используемый при расстановке и поиске книг в библиотеках.
Верификация
Предмет
Информатика
👍 Проверено
Автор24
[verification] проверка, установление подлинности или истинности чего-либо путем сопоставления предъявленных признаков объекта по присвоенному ему коду или имени с записями этих признаков, хранящимися в памяти компьютера. Например, верификация записей производится программными средствами ЭВМ по вызову имени соответствующей главной записи. При автоматизированном распознавании речи верифицируемый пользователь предварительно заявляет свой код, а затем произносит пароль или произвольную 58 фразу, что позволяет автоматизированной системе произвести проверку соответствия этому коду (паролю) голоса эталонной записи, хранящей в памяти компьютера.
Научные статьи на тему «Верификация»
Верификация услуг
Определение 1
Верификация услуг - это осуществляемое через предоставление объективных свидетельств...
Понятие верификации услуг
Неотъемлемой частью механизма обеспечения качества любого объекта (в частности...
Так, в качестве примера можно привести верификацию....
Само слово « верификация» произошло от двух латинских слов « verum» и « facere» , которые на...
Особенности верификации услуг
Обязанность организаций по осуществлению верификации услуг установлена
Статья от экспертов
ЭКСПЕРТНАЯ ОЦЕНКА РЕЗУЛЬТАТОВ ВЕРИФИКАЦИИ ИНСТРУМЕНТОВ ВЕРИФИКАЦИИ МОДЕЛЕЙ ПРОГРАММ
При проверке программ на соответствие спецификациям требований инструменты верификации моделей программ могут выдавать различные результаты верификации. Среди них вердикты, свидетельства нарушений и отчеты о покрытии кода представляют собой наибольшую ценность с точки зрения экспертов, которые хотят обнаружить ошибки в программах и оценить полноту проверки. Для индустриального использования инструментов верификации моделей программ, когда проверяется множество различных требований к различным версиям и конфигурациям многих программ, экспертам необходимы удобные средства автоматизации оценки результатов верификации. В статье рассматриваются соответствующие подходы и их реализация в системе верификации Klever.
Creative Commons
Научный журнал
Верификация и валидация в строительстве
Определение 1
Верификация - это процедура подтверждения выполнения установленных требований....
работ на первых стадиях строительства широкое распространение получили такие процедуры как верификация...
Верификация представляет собой процедуру подтверждения выполнения установленных требований....
Верификации подлежат три объекта....
В этом заключается существенное отличие валидации от верификации.
Статья от экспертов
Верификация систем видеонаблюдения
Рассмотрена проблема настройки и проверки работоспособности камер видеонаблюдения при их установке на объекте защиты или техническом обслуживании. Дается краткое описание программного функционального модуля верификации (модуль САПР СКБ «Амулет»), решаемых с его помощью задач и получаемых результатов. Определены направления дальнейшего развития модуля.
Creative Commons
Научный журнал
Еще термины по предмету «Информатика»
Алгоритмизация процесса обучения
описание процесса на языке математических символов с целью составления алгоритма; это описание отображает элементарные акты процесса, их последовательность и взаимосвязь. Для осуществления алгоритмизации процесса обучения необходимо: 1) расчленить процесс обучения на элементарные акты, применительно к которым можно дать математическое описание; 2) выявить соотношения, описывающие элементарные акты процесса обучения, которые объединяются в систему; 3) описать взаимосвязь между этими актами.
Визуальные стимулы
совокупность внешних раздражителей, воздействующих на органы зрения, под действием которых у человека возникают зрительные образы.
- Верификация (verification)
- Верификация прогноза
- Верификация требований
- Прямая верификация
- Верификация программы
- Верификация программы (program verification)
- Программа верификации (program verification)
- Верификация коридора ожидаемой доходности
- Верификация железнодорожного подвижного состава по результатам эксплуатации
- Алгоритм результативен
- Аналоговое представление
- Аналоговые данные
- Асимметричное шифрование, шифрование с открытым ключом
- Бесклавиатурный ввод
- Библиографический поиск
- Библиографическое описание, БО
- Визуальная модальность
- Двоичные данные
- Интерактивная программа
- FEK (File Encryption Key)
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
