
vector | | 1) вектор.; 2) одномерный массив.;
vector computer | | векторный процессор; векторная ЭВМ.; + array processor.;
vector descriptor | | дескриптор массива, паспорт массид; ва. В array descriptor.;
vector generator | | генератор векторов. Функциональное; устройство, преобразующее кодировад; нное представление векторов в их; графическое изображение.;
vector graphics | | векторная графика. Графика с предсд; тавлением изображения в виде совокд; упности отрезков прямых (векторов).;
vector-mode display | | векторный дисплей. Графический дисд; плей, в котором линии изображения; вычерчиваются лучом ЭЛТ (CRT) в зад; даваемой программой последовательнд; ости.;
vectorize | | векторизовать, распараллеливать.; Преобразовывать циклы в программе в; операции векторного процессора.;
veitch diagram | | диаграмма Вейча. В Karnaugh map.;
venn diagram | | диаграммы Венна. Способ графическод; го представления операций над множд; ествами или логических операций в; виде пересекающихся и вложенных крд; угов.;
verb | | 1) имя команды (командного языка).; 2) глагол.;
verb-object syntax | | синтаксис типа ''действие-объект''.; Способ задания команд, при котором; имя команды предшествует спецификад; циям параметров.; Ср. object-verb syntax.;
verification | | 1) верификация. Формальное (обычно; полуавтоматическое) доказательсд; тво правильности программы, испд; ользующее предусловия (precondiд; tion) и постусловия (postconditд; ion) для процедур и операторы; контроля (assert statement).; 2) контроль, проверка (вводимых опд; ератором данных).;
verification and validation | | (VandV) (приемочные) испытания. Всд; есторонняя проверка и тестирование; системы, обычно при сдаче в эксплуд; атацию. Verification обычно относид; тся к формальной проверке, а validд; ation - к общей субъективной оценке.;
verifier | | 1) верификатор, программа верификад; ции.; 2) программа контроля.; 3) устройство контроля.;
verify | | 1) верифицировать.; 2) проверять; контролировать.;
versatec | | Американская фирма, входящая в корд; порацию Xerox; выпускает высококачд; ественные электростатические графод; построители (electrostatic plotter).;
version number | | номер версии.;
vertical microinstruction | | вертикальная микрокоманда.; + vertical microprogramming.;
vertical microprogramming | | вертикальное микропрограммирование.; Способ микромрограммирования, при; котором микрокоманда задает отдельд; ную микрооперацию над одним или двд; умя регистрами. Вертикальные микрод; команды состоят из нескольких бит и; преобразуются в горизонтальные микд; рокоманды дешифратором микрокоманд.; Ср. horizontal microprogramming.;
vertical parity | | продольный контроль четности.;
vertical processor | | процессор с вертикальным микропрогд; раммированием.; В vertical microprogramming.;
vertical redundancy check | | продольный контроль. Контроль за; счет избыточности (redundancy cheд; ck), при котором контрольная величд; ина вычисляется для целого блока; данных.; Ср. horizontal redundancy check.;
vertical spacing | | интервал строк.;
vetting | | проверка правильности исходных данд; ных.;
