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

Новиков Федор

ВЕКТОРНЫЙ ШРИФТ [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 первых цифр должны совпадать с соответствующими цифрами точного числа. Однако во многих случаях В. з. ц. приближенного числа и соответствующие цифры точного числа одинаковы. При приближенном задании числа следует указывать только В. з. ц.

ВЕРСИЯ [release, version]. 1. Вариант программного продукта или языка программирования. Например, Word 7.0 для Windows 95 – седьмая версия текстового редактора Microsoft Word для Windows 95. Обычно используют номера версий, состоящие из двух частей. Первая часть, называемая старшим номером версии, изменяется в том случае, когда в возможности программы вносятся принципиальные изменения. Вторая часть, называемая младшим номером версии, указывает на наличие непринципиальных изменений, скажем, исправление замеченных ошибок, уточнения и т. д. Например, UML 1.3 – версия языка UML, в которой сделаны небольшие добавления и изменена форма описания, но сам язык по существу не изменился. Другой распространенный способ именования версий основан на указании года выпуска. Например, Algol-60 – версия языка Algol, принятая в 1960 г. 2. Файл, являющийся модификацией другого файла

ВЕРСТКА СТРАНИЦ [page makeup]. Полиграфический термин, означающий размещение текстового и графического материала на печатной странице в соответствии с определенными правилами. Правила зависят от типа издания, от национальных традиций и др. Например, в отечественной научной литературе принято выравнивать текст по ширине, а в англоязычной – по левому краю. В настоящее время В. с. выполняется, как правило, с помощью компьютера, поскольку специализированные настольные редакционно-издательские системы и текстовые процессоры имеют все необходимые средства и позволяют добиться более высокого качества В. с. При В. с. используются такие средства, как масштабирование иллюстраций, изменение межстрочных интервалов, отступы, выравнивание и др.

ВЕРТИКАЛЬНОЕ МЕНЮ [vertical menu]. Меню с вертикальным расположением пунктов меню (один под другим). На экране дисплея такое меню перекрывает выведенную ранее информацию (см. рис. М.5). Противоп. горизонтальное

меню

ВЕРХНИЙ КОЛОНТИТУЛ [header, running head]. Колонтитул, расположенный в верхней части страницы, выше основного текста

ВЕРХНИЙ РЕГИСТР [uppercase]. Клавиатура компьютера (так же, как и любой пишущей машинки) имеет два регистра – верхний и нижний. В. р. служит для ввода прописных букв и других символов, указанных в верхней части клавиш. Нижний регистр предназначен для ввода строчных букв и других символов, указанных в нижней части клавиш. В исходном состоянии ввод производится в режиме нижнего регистра. Переход с нижнего регистра на верхний осуществляется нажатием клавиши <Shift>. При этом режим ввода в В. р. действует, только пока клавиша <Shift> удерживается нажатой. Клавиша <Caps Lock> служит для фиксации или отмены режима В. р. Действие нажатой клавиши <Caps Lock> распространяется только на буквенные клавиши. Противоп. нижний регистр

ВЕРХНЯЯ ПАМЯТЬ [upper memory blocks, UMB]. Область старших адресов оперативной памяти персональных компьютеров при работе под управлением операционной системы MS-DOS. В других ситуациях в настоящее время этот термин не используется. См. оперативная память персональных IBM-совместимых компьютеров

ВЕТВЛЕНИЕ ПРОГРАММЫ [branching]. Предусмотренная в программе возможность выполнения тех или иных действий в зависимости от результатов проверки некоторого условия. На блок-схеме программы В. п. изображается при помощи символа «Решение» (см. элементы блок-схем). Например, на рис. В.1 приведена блок-схема программы, определяющей координаты точки пересечения двух прямых на плоскости XOY, заданных уравнениями у = ах + b и у = сх + d. Если прямые окажутся параллельными (при условии, что а = с), то программа сообщит об этом. В языках программирования высокого уровня В. п. программируется оператором условного перехода, который в машинном языке реализуется командами условной передачи управления

Рис. В.1. Блок-схема программы определения точки пересечения прямых

ВЕТВЬ АЛГОРИТМА [algorithm branch]. Одна из альтернативных последовательностей действий алгоритма, выбор которой зависит от некоторых условий. На блок-схеме – один из альтернативных путей, исходящих из точки ветвления. В программе В. а. соответствует ветвь программы. См. ветвление программы

ВЕТВЬ ПРОГРАММЫ [program branch]. 1. Участок программы, которому может быть передано управление при ветвлении программы. 2. Участок программы, который может выполняться параллельно с другими участками. На блок-схеме В. п. изображается одним из альтернативных путей, исходящих из точки ветвления

ВЕЩЕСТВЕННАЯ КОНСТАНТА, действительная константа [real constant]. Константа, представленная в программе в виде числа вещественного типа. См. константа

ВЕЩЕСТВЕННАЯ ПЕРЕМЕННАЯ, действительная переменная [real variable]. Переменная, значением которой могут быть только числа вещественного типа. В. п. вводятся в программу с помощью описания переменной, в котором указываются идентификатор (имя) переменной и ключевое слово, определяющее вещественный тип, значения которого она может принимать. В качестве ключевых слов в описаниях В. п. применяются: real – в Фортране и Паскале и float либо double – в Си. См. описание переменной