14.09.2011 |
22:47:33 |
progr. |
product maintenance package |
пакет программ технического обслуживания |
14.09.2011 |
22:47:33 |
progr. |
product maintenance package |
пакет программ сопровождения |
14.09.2011 |
21:57:50 |
progr. |
property: A named value denoting a characteristic of an element |
свойство: именованное значение, обозначающее характеристику некоторого элемента (см. The Unified Modeling Language User Guide First Edition by Grady Booch et al. Свойство имеет собственную семантику. Некоторые свойства предопределены в языке UML, другие могут быть определены разработчиком) |
14.09.2011 |
21:51:07 |
progr. |
characteristic of an element |
характеристика некоторого элемента |
14.09.2011 |
21:19:25 |
progr. |
behavioral feature: A dynamic feature of an element such as an operation or method |
свойство поведения: динамическая характеристика элемента модели, такая как операция или метод (см. The Unified Modeling Language User Guide First Edition by Grady Booch et al.) |
14.09.2011 |
21:07:27 |
progr. |
dynamic feature of an element |
динамическая характеристика элемента (модели) |
14.09.2011 |
20:37:37 |
progr. |
dynamic feature |
динамическая характеристика |
14.09.2011 |
20:15:54 |
progr. |
behavioral feature |
элемент поведения (динамическое свойство элемента модели (model element ), такое как операция или метод; перевод и комментарий из Computers (En-Ru) к версии ABBYY Lingvo x5) |
14.09.2011 |
1:17:37 |
progr. |
submachine state |
состояние подавтомата |
14.09.2011 |
1:11:25 |
progr. |
behavioral feature |
свойство поведения (в ООП – динамическая характеристика элемента модели (model element ), такая как операция или метод) |
14.09.2011 |
0:55:38 |
progr. |
static classification |
статическая классификация (одна из семантических вариаций обобщения, при которой объект не может изменять свой тип или свою роль (не может изменять классификатор). Выбор между статической и динамической классификацией считается точкой семантических вариаций) |
14.09.2011 |
0:49:25 |
progr. |
business worker |
сотрудник (индивидуум, который действует внутри моделируемой системы (организации), взаимодействует с другими сотрудниками и манипулирует бизнес-сущностями в процессе выполнения отдельных операций бизнес-процесса) |
14.09.2011 |
0:42:16 |
progr. |
subactivity state |
состояние под-деятельности (состояние в графе деятельности, которое служит для представления неатомарной последовательности шагов в некотором направлении) |
14.09.2011 |
0:35:27 |
progr. |
structural model aspect |
структурный аспект модели |
14.09.2011 |
0:22:07 |
progr. |
synch state |
состояние синхронизации (вершина в конечном автомате, которая используется для синхронизации параллельных областей конечного автомата) |
14.09.2011 |
0:11:37 |
comp., net. |
exterior gateway protocol |
протокол внешних шлюзов (межсетевой протокол для обмена информацией между автономными системами) |
14.09.2011 |
0:08:47 |
comp., net. |
exterior router |
внешний маршрутизатор (маршрутизатор, подключенный к AURP-туннелю, который отвечает за инкапсуляцию и деинкапсуляцию пакетов AppleTalk в заголовке постороннего протокола (напр., IP)) |
13.09.2011 |
23:56:35 |
comp., net. |
communication server |
сервер связи (коммуникационный процессор, который соединяет асинхронные устройства с локальной или глобальной сетью с помощью сетевого программного обеспечения и эмуляции терминала. Выполняет только асинхронную маршрутизацию по протоколам IP и IPX) |
13.09.2011 |
23:51:09 |
comp., net. |
bandwidth allocation |
выделение полосы пропускания |
13.09.2011 |
23:44:41 |
IT |
background mode |
низкоприоритетный режим (обработка данных, не требующая взаимодействия компьютера с пользователем. Такие процессы используют свободные компьютерные ресурсы для выполнения низкоприоритетных задач) |
13.09.2011 |
23:40:41 |
comp., net. |
back pressure |
противодавление (в сети; распространение информации о перегрузке сети в обратном направлении) |
13.09.2011 |
23:35:26 |
comp., net. |
autonomous confederation |
автономная конфедерация (группа автономных систем, надежность которой определяется в большей степени достижимостью и маршрутной информацией в пределах её собственной сети, чем маршрутной информацией, получаемой от других автономных систем или конфедераций.) |
13.09.2011 |
23:31:51 |
comp., net. |
AURP Tunnel |
AURP-туннель (соединение, создаваемое в глобальной сети с помощью протокола AURP, которое функционирует как единый виртуальный канал между сетевыми комплексами Apple Talk, физически разделенными друг от друга посторонней сетью (напр., TCP/IP)) |
13.09.2011 |
23:27:57 |
comp., net. |
AppleTalk Update-based Routing Protocol |
протокол маршрутизации с обновлением маршрутной информации в среде AppleTalk (сокр. AURP; метод инкапсуляции трафика в сети AppleTalk в заголовок внешнего протокола, позволяющий двум или более разобщенным сетевым комплексам AppleTalk соединяться через внешнюю сеть (напр., через сеть TCP/IP), образуя глобальную сеть AppleTalk. Такое соединение называется туннелем AURP. Кроме функции инкапсулирования, протокол AURP, благодаря обмену маршрутной информацией между внешними маршрутизаторами, позволяет вести таблицы маршрутизации для всей глобальной сети AppleTalk) |
13.09.2011 |
23:22:44 |
comp., net. |
AppleTalk Transaction Protocol |
протокол транзакций в сетях AppleTalk (сокр. ATP; протокол транспортного уровня, который без потерь выполняет транзакции между сокетами. Такая служба позволяет осуществлять обмен между двумя сокет клиентами, при котором один клиент просит другого выполнить конкретную задачу и сообщить результат. Протокол АТР связывает вместе запрос и ответ, гарантируя тем самым надежный обмен запрос – ответ) |
13.09.2011 |
23:17:15 |
comp., net. |
Autonomous System Boundary Router |
пограничный маршрутизатор автономной системы (сокр. ASBR; маршрутизатор, который находится между автономной системой OSPF и сетью, не входящей в OSPF. На них выполняется как протокол OSPF, так и любой другой протокол маршрутизации, напр., RIP. Маршрутизаторы ASBR должны размещаться в проходных областях OSPF) |
13.09.2011 |
23:13:59 |
comp., net. |
Automatic Repeat Request |
запрос автоматического повторения (сокр. ARQ; методика коммуникации, при которой принимающее устройство выявляет ошибки и запрашивает повторную передачу) |
13.09.2011 |
23:10:27 |
comp., net. |
Asynchronous Response Mode |
асинхронный режим откликов (сокр. ARM; коммуникационный режим протокола HDLC между одной первичной и, как минимум, одной вторичной станциями, при котором первичная или любая из вторичных станций может инициировать передачу) |
13.09.2011 |
23:07:23 |
comp., net. |
Area Border Router |
маршрутизатор на границе области |
13.09.2011 |
22:49:29 |
comp., net. |
admission control |
контроль нагрузки |
13.09.2011 |
22:43:31 |
comp., net. |
admission control |
управление допуском (в сеть; 1) (политическое) решение, относящееся к запросам на резервирование полосы пропускания с целью обеспечения приемлемого качества сетевого обслуживания (QoS ); при этом нагрузки сетевых каналов не должны превышать допустимых значений 2) процесс в сервере, призванный гарантировать, что требуемая полоса пропускания не будет чрезмерно увеличиваться при поступлении новых запросов) |
13.09.2011 |
22:39:27 |
comp., net. |
administrative distance |
административное расстояние (степень доверия к источнику информации о маршрутизации. Напр. на маршрутизаторах Cisco административное расстояние выражается численным значением от 0 до 255. Чем больше число, тем ниже степень доверия) |
13.09.2011 |
22:30:26 |
comp., net. |
address mapping |
совмещение по адресу (методика, разрешающая взаимодействие разных протоколов посредством перевода адресов из одного формата в другой. Например, при маршрутизации IP через X.25 IP адреса должны быть совмещены с X.25 адресами, чтобы IP пакеты могли передаваться по сети X.25) |
13.09.2011 |
22:26:53 |
IT |
adaptor board |
адаптер (печатная плата, вставляемая в свободный слот микрокомпьютера и используемая для управления внешним устройством) |
13.09.2011 |
22:21:54 |
comp., net. |
acknowledgment number |
число подтверждения (следующий ожидаемый пакет TCP) |
13.09.2011 |
0:21:16 |
progr. |
object flow state |
состояние потока объекта (см. UML) |
12.09.2011 |
16:07:33 |
progr. |
logic program example for orderliness testing in lists |
пример логической программы для проверки упорядоченности списка |
12.09.2011 |
16:06:36 |
progr. |
orderliness testing in lists |
проверка упорядоченности списка |
12.09.2011 |
16:02:19 |
progr. |
orderliness testing |
проверка упорядоченности |
12.09.2011 |
14:39:06 |
progr. |
logic program example for substring searching |
пример логической программы для поиска подстроки (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
14:37:37 |
progr. |
substring searching |
поиск подстроки |
12.09.2011 |
14:34:00 |
progr. |
logic program example for counting and filtering lists |
пример логической программы для подсчёта числа различных элементов в списке (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
14:32:49 |
progr. |
counting and filtering lists |
подсчёт числа различных элементов в списке (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
14:25:48 |
progr. |
logic program example for reversing lists |
пример логической программы для обращения списков (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
14:24:35 |
progr. |
reversing lists |
обращение списков |
12.09.2011 |
14:17:08 |
progr. |
logic program example for peak detection |
пример логической программы для обнаружения пика (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
14:15:28 |
progr. |
peak detection |
обнаружение пика (напр., задача, в которой требуется определить, является ли последовательность чисел унимодальной в том смысле, что сначала она возрастает до некоторого единственного максимума, а затем убывает (т.е. имеет единственный пик). Так ведет себя, напр., последовательность L = (l, 3, 4, 8, 6, 5, 2, 0), пиком которой оказывается число 8) |
12.09.2011 |
13:55:51 |
progr. |
logic program example for eigenproblems |
пример логической программы для нахождения собственного вектора матрицы (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
13:53:01 |
progr. |
eigenproblems |
нахождение собственного вектора (матрицы) |
12.09.2011 |
13:53:01 |
progr. |
eigenproblems |
нахождение собственных значений (матрицы) |
12.09.2011 |
13:37:02 |
auto. |
eigenproblem |
проблема собственных значений |
12.09.2011 |
13:24:24 |
progr. |
logic program example for consecutivity testing in lists |
пример логической программы для нахождения следующего элемента в списке (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
13:23:10 |
progr. |
consecutivity testing in lists |
нахождение следующего элемента в списке |
12.09.2011 |
12:47:04 |
progr. |
logic program example for path finding |
пример логической программы для нахождения путей в графе |
12.09.2011 |
12:46:25 |
progr. |
path finding |
нахождение путей в графе |
12.09.2011 |
12:35:29 |
progr. |
logic program example for linear search through lists |
пример логической программы для линейного поиска в списке |
12.09.2011 |
12:34:12 |
progr. |
linear search through lists |
линейный поиск в списке |
12.09.2011 |
12:27:59 |
progr. |
logic program example for subset problem |
пример логической программы для задачи о подмножествах |
12.09.2011 |
12:26:19 |
progr. |
subset problem |
задача о подмножествах |
12.09.2011 |
12:25:32 |
progr. |
logic program example for palindrome problem |
пример логической программы для задачи о палиндроме |
12.09.2011 |
12:24:43 |
progr. |
palindrome problem |
задача о палиндроме |
12.09.2011 |
12:11:18 |
progr. |
logic program example for factorials |
пример логической программы для вычисления факториала |
12.09.2011 |
12:04:52 |
progr. |
logic program example for pair selection |
пример логической программы для выбора пар элементов |
12.09.2011 |
12:04:10 |
progr. |
pair selection |
выбор пар элементов |
12.09.2011 |
11:58:25 |
progr. |
logic program example for square root estimation |
пример логической программы для вычисления квадратного корня |
12.09.2011 |
11:55:14 |
progr. |
logic program examples |
примеры логических программ |
12.09.2011 |
11:48:03 |
progr. |
square root estimation |
вычисление квадратного корня |
12.09.2011 |
3:10:45 |
progr. |
total correctness |
полная правильность |
12.09.2011 |
3:08:41 |
progr. |
lemma generation |
порождение лемм |
12.09.2011 |
3:05:01 |
progr. |
completeness of resolution |
полнота резолюции |
12.09.2011 |
3:01:51 |
progr. |
completeness of program |
полнота программы |
12.09.2011 |
2:59:00 |
progr. |
completeness of procedure set |
полнота множества процедур |
12.09.2011 |
2:53:02 |
progr. |
total computation space |
полное пространство вычислений |
12.09.2011 |
2:47:58 |
progr. |
specified solution |
специфицируемое решение |
12.09.2011 |
2:45:05 |
progr. |
specified |
специфицируемый |
12.09.2011 |
2:38:48 |
progr. |
relational model of databases |
реляционная модель баз данных |
12.09.2011 |
2:33:29 |
progr. |
tail recursion |
хвостовая рекурсия |
12.09.2011 |
2:30:30 |
progr. |
bottom-up resolution |
резолюция снизу вверх (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
2:27:13 |
progr. |
top-down resolution |
резолюция сверху вниз (см. Introduction to logic programming by Ghristopher John Hogger) |
12.09.2011 |
2:21:07 |
progr. |
binding protocol |
протокол связываний |
12.09.2011 |
1:56:35 |
progr. |
resolution as partial decision procedure |
резолюция как частичная разрешающая процедура |
12.09.2011 |
1:46:49 |
progr. |
resolution for procedure derivation |
резолюция для вывода процедур |
12.09.2011 |
1:31:37 |
progr. |
deletable frame |
удаляемый фрейм |
12.09.2011 |
1:28:52 |
progr. |
parent frame |
родительский фрейм |
12.09.2011 |
1:25:17 |
progr. |
global frame |
глобальный фрейм |
12.09.2011 |
1:19:31 |
progr. |
local stack |
локальный стек |
12.09.2011 |
1:18:00 |
progr. |
copy stack |
стек копий |
12.09.2011 |
1:11:25 |
progr. |
execution stack |
стек выполнения |
12.09.2011 |
1:10:05 |
progr. |
execution stack |
стек исполнения |
12.09.2011 |
1:07:38 |
progr. |
global stack |
глобальный стек |
12.09.2011 |
1:04:49 |
progr. |
standard strategy |
стандартная стратегия |
12.09.2011 |
1:02:16 |
progr. |
depth-first traversal |
обход в глубину |
12.09.2011 |
1:02:16 |
progr. |
depth-first traversal |
обход графа преимущественно в глубину |
12.09.2011 |
1:01:13 |
progr. |
depth-first search technique |
метод поиска в глубину |
12.09.2011 |
1:01:13 |
progr. |
depth-first search technique |
метод поиска по поддеревьям |
12.09.2011 |
0:58:37 |
progr. |
depth-first strategy |
стратегия поиска в глубину |
12.09.2011 |
0:41:38 |
progr. |
inference step |
шаг вывода |
12.09.2011 |
0:38:55 |
progr. |
purity of interpreter |
чистота интерпретатора |
12.09.2011 |
0:22:59 |
progr. |
immediate consequence function |
функция непосредственного следования |
12.09.2011 |
0:21:50 |
progr. |
immediate consequence |
непосредственное следование |