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

ВЕБ-ПАПКА, WEB-папка [Web folder]. Папка на веб-сервере. Файлы и папки на веб-серверах можно просматривать так же, как файлы и папки на серверах локальной компьютерной сети. При сохранении файла в В.-п. он помещается на веб-сервер, а не на жесткий диск компьютера

ВЕБ-ПОРТАЛ [portal, Web portal].To же, что портал

ВЕБ-САЙТ [Web site].To же, что сайт

ВЕБ-СЕРВЕР, WEB-сервер, интернет-сервер [Web server].Компьютер, снабженный программным обеспечением сервера и предназначенный для получения, обработки и исполнения запросов от клиентов Интернета. В.-с. использует для связи с клиентами протокол HTTP. В.-с. обслуживается системным администратором или интернет-провайдером

ВЕБ-СТРАНИЦА, страница WEB [Web page].См. веб-документ

ВЕКТОР [vector]. Одномерный массив. Упорядоченное объединение конечного числа однотипных элементов данных. Элементы В. располагаются в памяти последовательно один за другим. Начало В. определяется адресом его первого элемента, называемым базой вектора. В. широко используются в вычислительной технике, поскольку память по существу представляет собой В. байтов или слов. См. банк памяти

ВЕКТОРНАЯ КОМАНДА [vector instruction, array instruction]. Команда, среди операндов которой есть массивы (векторы). См. векторный процессор

ВЕКТОРНЫЙ ПРОЦЕССОР [vector processor]. Процессор, в набор команд которого входят векторные команды. Их операндами являются массивы (векторы). В. п. может обработать одной командой сразу множество значений, например, произвести поэлементное сложение двух массивов и присвоить полученные значения элементам третьего массива. Обычному процессору для этого пришлось бы многократно исполнить операцию сложения элементов двух массивов. Каждый операнд векторной команды хранится в особом векторном регистре большой емкости. Например, векторный регистр компьютера CRAY Y-MP C90 позволяет хранить операнд длиной 128 64-разрядных слов.

ВЕКТОРНЫЙ РЕГИСТР [vector register, V-register].См. векторный процессор

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

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