Толковый словарь современной компьютерной лексики

ВЕКТОР ПРЕРЫВАНИЙ [interrupt vector].Вектор системных данных, используемый операционной системой для обработки прерываний. При работе со множеством разнотипных устройств, каждое из которых способно формировать сигналы прерывания, необходимо обрабатывать эти прерывания, причем для каждого типа устройства требуется своя уникальная программа обработки прерываний. В. п. обычно содержит адреса таких программ и, возможно, слова состояния процессора, используемые для организации соответствующего прерывания. См. прерывание, обработка прерываний

ВЕКТОРНАЯ ГРАФИКА [vector graphics]. Метод создания изображений в виде совокупности линий. Каждая линия рисунка представляется отрезками прямых (векторами) и сопрягающимися с ними отрезками стандартных геометрических кривых. Для определения формы и расположения отрезка используются математические описания. В. г. применяется в программах рисования, которые работают с рисунком как с совокупностью форм, а не как с группой точек. Рисунки, выполненные методами В. г., более компактны при хранении, допускают точное масштабирование и не зависят от разрешающей способности графических устройств. Ср. растровая графика

ВЕКТОРНЫЙ ШРИФТ [vector font].Шрифт, в котором для получения изображения символа используются математические формулы, а не зафиксированные растровые рисунки. Символы воспроизводятся в порядке следования сегментов линий и могут масштабироваться в соответствии с нужным размером. Если устройство отображения не поддерживает воспроизведение В. ш., то предварительно производится растрирование. Ср. растровый шрифт. См. шрифты TrueType

ВЕРИТЕЛЬНЫЕ ДАННЫЕ [credentials]. Имя и пароль пользователя, глобально-уникальный идентификатор, или сертификат клиента, на основании которых проверяется подлинность пользователя. См. аутентификация

ВЕРИФИКАЦИЯ ПРОГРАММЫ [program verification]. Доказательство правильности программы, т. е. соответствия программы ее спецификациям. В. п. может осуществляться любым методом, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается. Часто вывод о правильности программы делают на основе анализа результатов ее прогонов (тестирования программы). Такой подход, как правило, не охватывает всех возможных вариантов эксплуатации программы и не может служить доказательством ее правильности. Важнейшим является метод математического доказательства общей правильности программы как объекта, на который распространяются аксиомы и правила формальной логики. Для такого доказательства требуется тщательный учет структуры программы и семантики языка программирования. Трудности, возникающие на этом пути, частично устраняются компьютерными системами автоматической В. п., которые способны, анализируя текст программы, формулировать условия верификации в форме теорем и либо доказывать, что эти условия выполнены, либо предоставлять их пользователю для неавтоматического доказательства. Ср. испытание программы

ВЕРНЫЕ ЗНАЧАЩИЕ ЦИФРЫ [right significant digits].N первых значащих цифр приближенного числа называются В. з. ц., если абсолютная погрешность этого числа не превышает половины единицы разряда, выраженного N-й значащей цифрой, считая слева направо. Например, для точного числа 78.96 число 79.00 является приближением с тремя В. з. ц., т. к. |79.00 – 78.96| = 0.04 = 0.1/2 , где 0.1 – единица разряда третьей значащей цифры данного числа. Приведенный пример показывает, что в приближенном числе, имеющем N В. з. ц., не все N первых цифр должны совпадать с соответствующими цифрами точного числа. Однако во многих случаях В. з. ц. приближенного числа и соответствующие цифры точного числа одинаковы. При приближенном задании числа следует указывать только В. з. ц.