Верификация
Cтраница 3
Верификацию необходимо осуществлять в соответствии с запланированными мероприятиями, чтобы удостовериться, что выходные данные проектирования ( разработки) соответствуют входным требованиям. [31]
Верификацию границ патологических изменений, морфологических зон или стромы органов можно проводить не только макроскопически, но и при помощи бинокулярной лупы в режиме отраженного света: Тестовая система тогда помещается в окуляр, а не накладывается на срез органа. В необходимых случаях прибегают к дополнительной обработке органа с целью идентификации нужных структур. Так, внутреннюю поверхность тотальных препаратов аорты окрашивают Суданом для дифференцировки атеросклеротических поражений или предварительно перфузируют кровеносные сосуды раствором флуоресцина, чтобы лучше видеть границы зон ишемии в ультрафиолетовом свете. [32]
Программ верификация), а главное - выделение и изоляцию тех фрагментов программы, дальнейшая детализация к-рых требует привлечения нового знания. [33]
При верификации данные автоматически контролируются: в случае несовпадения введенного знака с повторно вводимым в ту же позицию дальнейший ввод блокируется и включается звуковой сигнал. Для продолжения работы нажимают клавишу Сброс, а затем вносят правильный знак. [34]
При верификации оператор-контролер последовательно набирает на экране дисплея записи пачки, ранее введенной в систему другим оператором. Подчеркнем, что первичный ввод и верификацию должны делать разные исполнители во избежание повторения ошибок. При наборе записей оператор-контролер имеет те Же возможности уменьшения трудоемкости набора и обнаружения ошибок, что при вводе. При совпадении данных система разрешает оператору-контролеру переходить к набору следующей записи. При несовпадении данных на экране появляется соответствующее сообщение, и оператор должен принять решение об исправлении ошибки. В его распоряжении имеются следующие возможности: заменить ошибочную запись первичного ввода данных своей записью; оставить ранее введенную запись, если она верна; вставить пропущенную запись; удалить лишнюю запись. [35]
 |
Запись в распакованном виде. [36] |
Если верификация была прервана по желанию оператора или аварийно, оператор может продолжить ее с помощью команды Продолжить Контроль Пачки. Эта команда допустима только в состоянии / СВОБОДЕН. [37]
При верификации оператор-контролер последовательно набирает на экране дисплея записи пачки, ранее введенной в память ЭВМ другим оператором. Подчеркнем, что первичный ввод и верификацию должны делать разные люди во избежание повторения ошибок. При наборе записей оператор-контролер имеет те же возможности уменьшения трудоемкости набора и обнаружения ошибок, что и при вводе. При совпадении данных система разрешает оператору-верификаторщи-ку переходить к набору следующей записи. При несовпадении на экране выдается соответствующее сообщение и оператор должен принять решение об исправлении ошибки. В его распоряжении имеются следующие возможности: заменить ошибочную запись первичного ввода данных своей записью; оставить ранее введенную запись, если она верна; вставить пропущенную запись; удалить лишнюю запись. [38]
При верификации, как и при первичном вводе, на экране могут появиться сообщения об ошибках типа ОШИБКА В ПОСТОЯННЫХ ПРИЗНАКАХ, или НЕПРАВИЛЬНАЯ ДЛИНА РЕКВИЗИТА, или НЕДОПУСТИМЫЙ СИМВОЛ. [39]
Если верификация была прервана по желанию оператора или аварийно, оператор может продолжить ее с помощью команды Продолжить Контроль Пачки. Эта команда допустима только в состоянии / СВОБОДЕН. [40]
Но верификация указанными методами защищает лишь от подмены носителя и разрушения информации или программного обеспечения неквалифицированным нарушителем. Поэтому его с успехом можно применить для защиты программного изделия, которое относительно редко содержит секретную информацию. [41]
При верификации оператор-контролер с помощью клавиатуры последовательно набирает записи информации, ранее введенной в память ЭВМ другим оператором, которые отображаются на экране дисплея. При совпадении данных система разрешает оператору-контролеру переходить к набору следующей записи. [42]
Для верификации процедур и функций нам не нужны никакие дополнительные соображения. [43]
Для верификации результатов прогноза используют эпигноз - накопленный материал. Если применяемая прогностическая модель соответствует реальному процессу, то это обнаруживается при сопоставлении результатов прогноза и реальных данных. Таким образом, для создания базы данных для верификации прогнозирующей системы условия получения информации при прогнозе и эпигнозе должны быть идентичными. Для задач прогнозирования осложнений, возникающих при бурении скважин, это условие выполнить трудно, так как, кроме вариаций в широких пределах технико-технологических параметров, практически невозможно добиться идентичности геологических условий. Даже в случае их однородности по имеющейся информации очень трудно делать об этом однозначные выводы для условий, существующих в скважине, что сильно затрудняет процедуру верификации модели. [44]
Для верификации 8-выражений достаточно следующего практического правила, которым мы обязаны, в сущности, Лесневскому: последовательно пишите вместо 5 функторы 1 /, S, N и F, затем опустите S, преобразуйте VOL в Срр, a F & - в NCpp. Если вы получите во всех случаях истинную С - / / - формулу, то выражение должно быть принято, в противном случае оно должно быть отброшено. [45]
Страницы: 1 2 3 4