Resolution theorem proving

доказательство теорем методом резолюции

Resource allocation

1. распределение ресурсов

2. предоставление [выделение] ресурса

Resource sharing

совместное использование ресурса

Response time

время ответа, время реакции; время отклика

Restart

перезапуск, повторный запуск; возобновление

Restartable instruction

прерываемая команда

Restart point

точка возобновления

Restricted data

защищённые данные

Restricted type

ограниченный [строгий] тип данных

Result address

адрес результата

Result data item

элемент данных — результат (в базах данных)

Retarget

перенастраивать (генератор объектного кода)

Retention

членство (в сетевых базах данных, основанных на стандарте КОДАСИЛ)

Retrieval

поиск; выборка

Return address

адрес возврата

Return code

код возврата; код завершения

Return instruction

команда возврата

Reverse assembler

дисассемблер

Reverse execution

обратное выполнение (программы)

Reverse index

1. обратный индекс

2. перемещение текущей позиции вверх (в обработке текста)

Reverse Polish notation

постфиксная [польская инверсная] запись, полиз

Rewrite rule

правило подстановки

RGB model

RGB-модель (в машинной графике — в качестве основных цветов используются красный, зелёный, синий)

Right-justified

выровненный по правому краю; выровненный по правому полю

Rigid disk

жёсткий диск

Ring network

кольцевая сеть, сеть типа «кольцо» (в топологии сети ЭВМ)

Ring structure

кольцевая структура; кольцевой список

Ring topology

кольцевая топология, топология типа «кольцо»

Riser

надстроечный элемент (литеры)

RJE see remote job entry

Roll

прокручивать, перемещать; просматривать (о перемещении изображения в окне экрана дисплея)

Roll-in

1. загрузка, подкачка

2. загрузка, считывание (из внешней памяти в оперативную память)

 

Roll-out

1. выгрузка, откачка 2. выгрузка, сохранение (запись группы данных из оперативной памяти во внешнюю память)

ROM see read-only memory

ROM monitor

управляющая программа, записанная в ПЗУ

Root directory

корневой каталог

Root segment

корневой сегмент

Rotation

1. поворот; вращение

2. циклический сдвиг

Round down

округлять в меньшую сторону

Rounding error

ошибка округления

Round off

округлять; округлять до ближайшего целого

round-off error see rounding error

Round-robin

«карусель» (кольцевой список готовых продолжению задач)

Round up

округлять в большую сторону

Route

маршрут (в сетях передачи данных)

Routine

1. подпрограмма 2. программа

Routine maintenance

сопровождение, обслуживание; профилактика

Routine directory, routine table

таблица маршрутизации

Row

строка (матрицы или многомерного массива)

RS (record separator)

символ разделителя записей (в коде ASCII представлен числом 30)

 

Rubber banding

метод резиновой нити (в интерактивной графике)

Rule language

язык правил

Rule-oriented language

продукционный язык; язык логического программирования

Rule-oriented programming

продукционное программирование; логическое программирование

Run

1. выполнение; запуск; счёт; работа ЭВМ

2. отрезок (в растровой графике)

Rundown

закрытие, процедура завершения

Run-length encoding

групповое кодирование (в растровой графике)

Running task

текущая задача (в многозадачной системе)

Run time

время выполнения, время счёта

Run-time check

динамический контроль, динамическая проверка

Run-time constant

константа времени выполнения

Run-time diagnostics

сообщения об ошибках во время выполнения (программы)

Run-time environment

среда [условия] выполнения (программы)

Run-time library

библиотека исполняющей системы, библиотека поддержки выполнения (программы)

Run-time system

исполняющая [административная] система, система поддержки выполнения (программы)

S

Salvager

программа восстановления (разрушенной базы данных, потерянных файлов)

sample I

1. выборка 2. замер 3. пример, образец

 

sample II

1. производить выборку 2. замерять

Sample program

пример программы

Sample space

выборочное пространство

Sampling

1. дискретизация

2. выборка, взятие образцов

Sanserif

гротесковый шрифт, сансериф

Satellite computer

периферийная ЭВМ

Satisfiability

выполнимость (логического выражения)

Saturation

насыщенность (цвета)

Save

сохранять, записывать

Save area

область сохранения (памяти)

Scalar type

скалярный тип (данных)

Scalar variable

1. простая [скалярная] переменная 2. скалярная переменная (в математике)

Scale factor

масштабный коэффициент, коэффициент масштабирования

scan I

1. просмотр, поиск

2. лексический анализ; анализ

3. развёртка; сканирование

 

scan II

просматривать, сканировать

 

Scan line

строка развёртки

Scanner

1. лексический анализатор

2. устройство ввода изображений, сканирующее изображение

Scatter loading

загрузка вразброс

Scene analysis

распознавание трёхмерных изображений

Schedule off

дезактивировать (перевести задачу или программу в остановленное состояние)

Scheduler

1. планировщик; диспетчер (программа, определяющая порядок предоставления общего ресурса различным процессам)

2. планировщик (часть системы логического вывода, определяющая порядок применения знаний)

Scheduling algorithm

алгоритм планирования, алгоритм диспетчеризации

Scientific computer

ЭВМ для научных расчётов

Scientific notation

экспоненциальная запись, экспоненциальный формат (представление действительных чисел в виде мантиссы и порядка)

Scissoring

отсечение (в машинной графике)

Scope

область видимости; контекст

Scope mode

экранный режим

Scope rules

правила видимости

Scrambled

зашифрованный

Scratch

затирать (информацию на магнитном носителе)

Scratch file

рабочий файл

Scratch-pad memory

сверхоперативная память

Scratch tape

рабочая лента

Screen editor

экранный редактор

Screen generator

программа формирования экранных форм (для использования в интерактивных системах)

Screen hard copy

копия экрана (вывод изображения с экрана дисплея на бумагу)

Screen image

отображаемое изображение

Screen refresh

регенерация изображения (на экране дисплея); восстановление изображения

Script

сценарий (в искусственном интеллекте)

Scroll bar

линейка прокрутки

Scrolling

прокрутка; просмотр (перемещение изображения в окне экрана дисплея)

Sculptured keyboard

рельефная клавиатура, клавиатура с рельефными клавишами

Search area

область поиска (область памяти, в которой производится поиск)

Search attribute

поисковый атрибут, атрибут поиска

Search domain

область поиска (множество, среди элементов которого производится поиск)

Search image

поисковый образ, образец

Search key

ключ поиска

Search space

область поиска (множество всех возможных решений)

Search tree

дерево поиска

Search word

признак (значение, задаваемое при выборке слова из ассоциативной памяти)