11.09.2011 |
0:16:47 |
progr. |
application heap |
динамически распределяемая память приложения |
11.09.2011 |
0:16:47 |
progr. |
application heap |
проф. хип приложения |
11.09.2011 |
0:11:23 |
progr. |
Markov algorithm |
алгоритм Маркова |
11.09.2011 |
0:07:56 |
progr. |
active procedure |
активная процедура |
11.09.2011 |
0:05:24 |
progr. |
call activation |
активация вызова |
10.09.2011 |
23:53:12 |
progr. |
execution of logic program |
исполнение логической программы |
10.09.2011 |
23:52:33 |
progr. |
execution of logic program |
выполнение логической программы |
10.09.2011 |
23:48:01 |
progr. |
dataflow coroutining execution |
исполнение в сопрограммном режиме под управлением потока данных (логическое программирование) |
10.09.2011 |
23:36:41 |
progr. |
coroutining execution |
исполнение в сопрограммном режиме |
10.09.2011 |
22:32:47 |
progr. |
dataflow execution |
исполнение под управлением потока данных |
10.09.2011 |
21:56:45 |
progr. |
domain of discourse |
область интерпретации |
10.09.2011 |
21:52:02 |
progr. |
non-resolution inference |
нерезолютивный вывод |
10.09.2011 |
21:48:30 |
progr. |
non-standard logic |
нестандартная логика |
10.09.2011 |
21:45:37 |
progr. |
last-call optimization |
оптимизация последнего вызова |
10.09.2011 |
21:38:29 |
progr. |
common instance |
общий пример |
10.09.2011 |
21:30:29 |
progr. |
procedure calling operation |
операция вызова процедуры |
10.09.2011 |
21:24:56 |
progr. |
cut operator |
оператор отсечения |
10.09.2011 |
21:15:04 |
progr. |
general structure of logic program |
общая структура логической программы |
10.09.2011 |
21:11:39 |
progr. |
general structure |
общая структура (напр., программы) |
10.09.2011 |
21:02:05 |
progr. |
optimal fixpoint |
оптимальная неподвижная точка |
10.09.2011 |
20:59:34 |
progr. |
least fixpoint |
наименьшая неподвижная точка |
10.09.2011 |
20:56:43 |
progr. |
greatest fixpoint |
наибольшая неподвижная точка |
10.09.2011 |
20:43:35 |
progr. |
finite failure set |
множество финитно-неудачных вызовов |
10.09.2011 |
20:35:24 |
progr. |
assertion set |
множество фактов |
10.09.2011 |
20:31:17 |
progr. |
procedure set |
множество процедур |
10.09.2011 |
20:28:39 |
progr. |
multikey hashing |
многоключевое хэширование |
10.09.2011 |
20:21:52 |
progr. |
bottom-up simulation |
моделирование поведения снизу вверх |
10.09.2011 |
20:16:05 |
progr. |
bottom-up reasoning |
рассуждения от фактов к цели (в СИИ) |
10.09.2011 |
20:06:22 |
progr. |
top-down design |
программирование сверху вниз (описание спецификаций системы (программы) на очень высоком уровне с последующим поэтапным разбиением на более детальные уровни, пока степень детализации не станет достаточной для кодирования. Ant: bottom-up implementation) |
10.09.2011 |
20:06:22 |
progr. |
top-down design |
нисходящее программирование |
10.09.2011 |
20:01:27 |
progr. |
bottom-up implementation |
проектирование снизу вверх (разработка и тестирование вначале компонентов нижних уровней с последующим их объединением в подсистемы и системы верхних уровней. У этой стратегии два существенных недостатка по сравнению с нисходящим проектированием (top-down design): 1) работающая (работоспособная) система появляется только на последних этапах разработки 2) избыточный объём кодирования из-за отсутствия видения всей системы в целом. Syn: bottom-up design . Ant: top-down design) |
10.09.2011 |
20:01:27 |
progr. |
bottom-up implementation |
восходящее проектирование |
10.09.2011 |
20:01:27 |
progr. |
bottom-up implementation |
восходящее программирование |
10.09.2011 |
20:01:27 |
progr. |
bottom-up implementation |
программирование снизу вверх |
10.09.2011 |
19:53:26 |
progr. |
bottom-up programming |
программирование снизу вверх (методика разработки программы) |
10.09.2011 |
19:53:26 |
progr. |
bottom-up programming |
восходящее программирование |
10.09.2011 |
19:47:51 |
progr. |
parent sentence |
родительское предложение (в логическом программировании) |
10.09.2011 |
19:43:11 |
progr. |
valid sentence |
общезначимое предложение (в логическом программировании) |
10.09.2011 |
19:26:15 |
progr. |
equivalence substitution rules |
правила эквивалентной подстановки |
10.09.2011 |
19:21:08 |
progr. |
selection rules |
правила выбора |
10.09.2011 |
19:18:30 |
progr. |
search rule |
правило поиска |
10.09.2011 |
19:10:46 |
progr. |
correctness of programs |
правильность программ |
10.09.2011 |
19:07:52 |
progr. |
correctness of algorithms |
правильность алгоритмов |
10.09.2011 |
19:01:42 |
progr. |
domain of problem |
проблемная область |
10.09.2011 |
18:53:09 |
progr. |
validity problem |
проблема общезначимости |
10.09.2011 |
18:49:58 |
progr. |
occur check |
проверка вхождения |
10.09.2011 |
18:46:49 |
progr. |
data assignment |
присваивание данных |
10.09.2011 |
18:39:57 |
progr. |
producer-consumer protocol |
протокол производителей-потребителей |
10.09.2011 |
18:31:03 |
progr. |
meta-level reasoning |
рассуждения на метауровне |
10.09.2011 |
18:27:06 |
progr. |
solvable program |
разрешимая программа |
10.09.2011 |
18:18:58 |
progr. |
referential transparency |
референциальная прозрачность |
10.09.2011 |
18:10:55 |
progr. |
incremental problem solving |
пошаговое решение задач |
10.09.2011 |
17:58:02 |
progr. |
binding of variables |
связывание переменных |
10.09.2011 |
17:42:24 |
progr. |
model-theoretic |
теоретико-модельный |
10.09.2011 |
17:33:24 |
progr. |
non-procedural semantics |
непроцедурная семантика |
10.09.2011 |
17:32:11 |
progr. |
non-printing character |
не воспроизводимый при печати символ |
10.09.2011 |
17:29:09 |
progr. |
nonprintable character |
не воспроизводимый при печати символ (тж. непечатаемый символ; символ, для которого в шрифте принтера отсутствует графическое представление. В эту категорию, в частности, попадают все управляющие символы, напр., перевод строки (line feed), знак табуляции (tabulation character), возврат каретки (carriage return) и т.д. Пример, Non-printing and other special characters are preceded with a backslash. – Непечатаемым и другим специальным символам предшествует обратная косая черта) |
10.09.2011 |
17:23:13 |
progr. |
non-printing characters |
непечатаемые символы |
10.09.2011 |
17:20:07 |
progr. |
non-processor request |
непроцессорный запрос |
10.09.2011 |
17:11:19 |
progr. |
fixpoint semantics |
семантика неподвижной точки (логическое программирование) |
10.09.2011 |
16:58:15 |
progr. |
semantics of logic programs |
семантика логических программ |
10.09.2011 |
16:50:27 |
progr. |
knowledge slice |
секция знаний (часть базы знаний или семантической сети) |
10.09.2011 |
16:50:27 |
progr. |
knowledge slice |
раздел знаний (часть базы знаний или семантической сети) |
10.09.2011 |
16:48:19 |
progr. |
concrete semantic network |
конкретная семантическая сеть (см. semantic network) |
10.09.2011 |
16:43:25 |
progr. |
semantic network |
в ИИ семантическая сеть (способ представления знаний в виде графа, вершины которого представляют собой именованные узлы, обозначающие объекты, факты или понятия, а соединяющие их именованные дуги, именуемые связями, – отношения между объектами. Связи можно использовать для отображения свойств наследования или подчинённости. Выводы по такой сети делаются путём прослеживания связей. Работы по теории семантических сетей развивались в основном для решения задачи понимания естественных языков, требующей намного больше знаний, чем для работы ЭС. Классическая семантическая сеть разделяется на два уровня, конкретную и абстрактную семантические сети. Конкретная семантическая сеть (concrete semantic network) содержит один или несколько разделов знаний (knowledge slice) с детальной информацией по концепциям и их отношениям (ассоциациям). Абстрактная семантическая сеть (abstract semantic network) содержит только доменные концепции (domain concept) и их связи с разделами знаний конкретной семантической сети) |
10.09.2011 |
16:34:49 |
progr. |
synthesis of programs |
синтез программ |
10.09.2011 |
16:31:47 |
progr. |
structure sharing |
совместное использование структур |
10.09.2011 |
16:29:07 |
progr. |
difference list |
список различий (в логическом программировании) |
10.09.2011 |
16:26:43 |
progr. |
specified relation |
специфицируемое отношение |
10.09.2011 |
16:19:53 |
progr. |
parameter matching |
согласование параметров (в логическом программировании) |
9.09.2011 |
19:58:21 |
progr. |
method implementation language |
язык реализации метода (в ООП) |
9.09.2011 |
19:50:58 |
progr. |
implementation language |
язык реализации (язык программирования, на котором написана конкретная программа, компилятор, система или приложение. Syn: host language) |
8.09.2011 |
13:28:51 |
GOST. |
translation dictionary |
переводной словарь (языковой словарь, в котором сопоставляются языковые единицы двух или более языков (ГОСТ 7.60 3.2.4.3.5.2.2.4)) |
8.09.2011 |
13:08:22 |
GOST. |
deferred searching |
пакетный поиск (автоматизированный информационный поиск, при котором информационные запросы накапливаются в специальном массиве для последующей совместной обработки (ГОСТ 7.73 3.4.6)) |
8.09.2011 |
13:02:22 |
GOST. |
alphabetical subject index to the classified catalogue |
алфавитно-предметный указатель к систематическому каталогу (вспомогательный аппарат к систематическому каталогу, представляющий собой алфавитный перечень предметных рубрик, раскрывающих содержание отраженных в систематическом каталоге документов с указанием соответствующих классификационных индексов (ГОСТ 7.76 8.10)) |
8.09.2011 |
13:02:22 |
GOST. |
alphabetical subject index to the classified catalogue |
АПУ |
8.09.2011 |
11:49:19 |
GOST. |
computerised information retrieval system |
автоматизированная информационно-поисковая система (ИПС, реализованная на базе электронно-вычислительной техники (ГОСТ 7.73 3.2.5)) |
7.09.2011 |
1:02:20 |
progr. |
unknown variable name |
неизвестное имя переменной |
7.09.2011 |
0:57:05 |
progr. |
send event queue timeout |
таймаут очереди посылки события |
7.09.2011 |
0:50:43 |
progr. |
access event queue error |
ошибка доступа к очереди событий |
7.09.2011 |
0:46:07 |
progr. |
event queue is full |
очередь событий заполнена |
7.09.2011 |
0:35:27 |
progr. |
creates a communication channel identifier |
создаёт идентификатор канала связи |
7.09.2011 |
0:34:45 |
progr. |
communication channel identifier |
идентификатор канала связи |
7.09.2011 |
0:30:15 |
progr. |
last detected status |
последний определённый статус |
7.09.2011 |
0:24:49 |
progr. |
identification of the communication channel |
идентификация канала подключения |
7.09.2011 |
0:23:49 |
progr. |
communication channel |
канал подключения |
7.09.2011 |
0:14:28 |
progr. |
real value |
реальное значение |
7.09.2011 |
0:07:38 |
progr. |
differentiated output |
дифференцированный выход |
7.09.2011 |
0:04:53 |
progr. |
detects a falling edge of a Boolean variable |
определяет задний фронт булевой переменной |
7.09.2011 |
0:04:53 |
progr. |
detects a falling edge of a Boolean variable |
детектирует задний фронт булевой переменной |
7.09.2011 |
0:00:08 |
progr. |
integrated output |
интегрированный выход |
6.09.2011 |
23:56:50 |
progr. |
overriding reset |
основной сброс |
6.09.2011 |
23:39:54 |
progr. |
hysteresis value |
величина гистерезиса |
6.09.2011 |
23:36:47 |
progr. |
low limit value |
значение нижнего предела |
6.09.2011 |
23:32:32 |
progr. |
high limit value |
значение верхнего предела |
6.09.2011 |
23:27:20 |
progr. |
high level vision |
верхний уровень машинного зрения |
6.09.2011 |
23:27:20 |
progr. |
high level vision |
верхний уровень СТЗ |
6.09.2011 |
23:16:58 |
progr. |
detects a rising edge of a Boolean variable |
определяет передний фронт булевой переменной |
6.09.2011 |
23:16:58 |
progr. |
detects a rising edge of a Boolean variable |
детектирует передний фронт булевой переменной |
6.09.2011 |
23:10:59 |
progr. |
any Boolean variable |
любая булева переменная |