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 признак (значение, задаваемое при выборке слова из ассоциативной памяти)
Популярное: Организация как механизм и форма жизни коллектива: Организация не сможет достичь поставленных целей без соответствующей внутренней... Как вы ведете себя при стрессе?: Вы можете самостоятельно управлять стрессом! Каждый из нас имеет право и возможность уменьшить его воздействие на нас... Личность ребенка как объект и субъект в образовательной технологии: В настоящее время в России идет становление новой системы образования, ориентированного на вхождение... ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (239)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |