13.04.2014 |
16:50:32 |
progr. |
pattern generation |
формирование тестовых наборов (напр., для тестирования памяти. Чаще всего речь идёт об алгоритмическом формировании тестовых наборов (algorithmic pattern generation) |
13.04.2014 |
16:50:32 |
progr. |
pattern generation |
генерация тестовых последовательностей (напр., для тестирования памяти. Чаще всего речь идёт об алгоритмической генерации тестовых последовательностей (algorithmic pattern generation)) |
13.04.2014 |
16:50:32 |
progr. |
pattern generation |
генерация тестовых наборов (напр., для тестирования памяти. Чаще всего речь идёт об алгоритмической генерации тестовых наборов (algorithmic pattern generation)) |
13.04.2014 |
16:43:45 |
progr. |
algorithmic structure of the system |
алгоритмическая структура системы (структура системы, рассматриваемой как совокупность алгоритмических элементов. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
16:38:09 |
progr. |
functional structure of the system |
функциональная структура системы (структура системы, рассматриваемой как совокупность функциональных элементов. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
16:27:31 |
progr. |
disturbed process |
возмущённый процесс (процесс, протекающий одновременно с задающими воздействиями и (или) возмущениями или непосредственно после них. Для анализа устойчивости по Ляпунову, асимптотической устойчивости и других видов устойчивости можно ограничиться возмущением, вызванным начальным состоянием, не совпадающим с начальным состоянием невозмущенного процесса. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
16:21:58 |
progr. |
transient object operation mode |
переходный режим функционирования (функционирование объекта, соответствующее переходу от одного установившегося режима функционирования к другому. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
16:21:58 |
progr. |
transient object operation mode |
переходный режим функционирования объекта |
13.04.2014 |
16:14:32 |
progr. |
object operation mode |
режим функционирования объекта |
13.04.2014 |
16:14:07 |
progr. |
operation mode |
режим функционирования |
13.04.2014 |
15:51:16 |
progr. |
input state |
входное состояние (состояние объекта, определяемое значениями входных координат. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:49:17 |
progr. |
final |
исполнительный (орган управления) |
13.04.2014 |
15:46:14 |
progr. |
display |
отображающий элемент (элемент, предназначенный для представления информации человеку-оператору. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:45:21 |
progr. |
information displaying element |
отображающий элемент (элемент, предназначенный для представления информации человеку-оператору. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:24:15 |
progr. |
basic feedback circuit |
основная цепь обратной связи (цепь обратной связи, связывающая выход объекта управления со входом управляющего объекта. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:21:43 |
progr. |
basic direct circuit |
основная прямая цепь (прямая цепь, связывающая вход управляющего объекта с выходом объекта управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:16:39 |
progr. |
direct circuit |
прямая цепь (упорядоченная в соответствии с направлением передачи воздействий или сигналов совокупность элементов системы управления, через которые передаются воздействия или сигналы от некоторого входа системы к некоторому её выходу. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:12:49 |
progr. |
basic control loop |
основной контур управления (контур управления, образованный основной прямой цепью и основной цепью обратной связи. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:10:03 |
progr. |
cascaded control system |
каскадная система управления (многоконтурная система управления, в которой выходное воздействие или сигнал одного контура является воздействием или сигналом уставки для другого (вложенного) контура управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:06:22 |
progr. |
multi-loop control system |
многоконтурная система управления (замкнутая система управления с несколькими контурами управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
15:02:13 |
progr. |
single-loop control system |
одноконтурная система управления (замкнутая система управления с одним контуром управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
14:58:42 |
progr. |
comparing element |
сравнивающий элемент (систем управления; преобразователь с двумя входами, значение выходного воздействия или сигнала которого определяется различием значений входных воздействий или сигналов. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
14:50:36 |
progr. |
controlling element |
орган управления |
13.04.2014 |
14:44:39 |
progr. |
manual control element |
орган ручного управления (элемент, предназначенный для осуществления воздействий от человека-оператора на другие элементы (подсистемы) системы управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
14:41:20 |
progr. |
checking element |
контролирующий элемент (элемент, предназначенный для осуществления контроля в системе управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
14:36:13 |
progr. |
threshole sensor |
сигнализатор (первичный преобразователь, в котором изменения значений выходного воздействия или сигнала происходят дискретно, когда значения входного воздействия или сигнала достигают заранее заданных значений. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
14:28:26 |
progr. |
hardware component |
аппаратная часть системы |
13.04.2014 |
14:16:09 |
progr. |
data transmission validity |
достоверность передачи данных |
13.04.2014 |
14:11:15 |
progr. |
flow-synthesis algorithm |
алгоритм составления структурной схемы |
13.04.2014 |
13:42:39 |
progr. |
information technology association |
ассоциация по информационным технологиям |
13.04.2014 |
13:02:28 |
progr. |
sensor |
датчик (систем управления; первичный преобразователь, в котором изменения значений выходного воздействия или сигнала с заданной точностью соответствуют изменениям значений входного воздействия или сигнала. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
12:56:19 |
progr. |
primary transducer |
первичный преобразователь (преобразователь, на вход которого поступают воздействия или сигналы от объекта управления или от внешней среды, а его выходные воздействия или сигналы подаются на управляющий объект. Обычно выходные воздействия или сигналы первичных преобразователей представляются в виде, удобном для последующей их передачи и обработки. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
12:52:03 |
progr. |
transducer |
преобразователь воздействий (элемент, осуществляющий преобразования входных воздействий одного вида в выходные воздействия другого вида. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
12:52:03 |
progr. |
transducer |
преобразователь сигналов (элемент, осуществляющий преобразования входных сигналов одного вида в выходные сигналы другого вида. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
12:46:57 |
progr. |
functional element |
функциональный элемент (систем управления; элемент, представляющий отдельную функцию управляющего объекта или объекта управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
12:41:39 |
progr. |
design element |
конструктивный элемент (элемент, представляющий собой конструктивно завершенный технический элемент (или совокупность технических элементов), выполненный с учетом заданных условий эксплуатации, технического обслуживания, энергетического питания и пространственного размещения. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
12:36:15 |
progr. |
engineering element |
технический элемент (элемент, представляющий собой вещественное средство реализации одного или нескольких алгоритмических элементов. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988) |
13.04.2014 |
1:02:23 |
progr. |
numeric literals |
числовые литералы |
13.04.2014 |
0:00:22 |
progr. |
flow of control |
управление потоком (управление последовательностью выполнения операций в программе) |
12.04.2014 |
23:56:05 |
progr. |
exception safe |
устойчивость к исключениям |
12.04.2014 |
23:18:33 |
progr. |
duration model |
модель времени жизни |
12.04.2014 |
23:12:22 |
progr. |
character string literals |
символьные строковые литералы |
12.04.2014 |
2:28:25 |
progr. |
coarse-grained tests |
грубые тесты |
12.04.2014 |
2:27:55 |
progr. |
fine-grained tests |
точные тесты |
12.04.2014 |
2:26:46 |
progr. |
fine-grained |
точный (тест) |
12.04.2014 |
2:25:53 |
progr. |
coarse-grained test |
грубый тест |
12.04.2014 |
2:22:19 |
progr. |
fine-grained test |
точный тест |
12.04.2014 |
2:06:51 |
progr. |
test granularity |
степень детализации при тестировании (точность нацеливания теста. Точные (fine-grained) тесты позволяют тестировщику проверить низкоуровневые компоненты, особенно реализации; статические и структурные тесты являются точными. Грубые (coarse-grained) тесты предоставляют тестировщику информацию об общей работе системы и требованиях; поведенческие тесты и тесты для опытной эксплуатации являются грубыми) |
12.04.2014 |
2:03:38 |
progr. |
test pass |
тестовый раунд (выполнение тестов, определенных для данной фазы тестирования) |
12.04.2014 |
1:31:18 |
progr. |
testing maturity model |
модель зрелости тестирования |
12.04.2014 |
0:07:05 |
progr. |
system and software requirements specifications |
спецификации системных требований и требований к программному продукту |
11.04.2014 |
23:42:00 |
progr. |
affine algebraic decision diagrams |
аффинные алгебраические разрешающие диаграммы |
11.04.2014 |
23:40:26 |
progr. |
affine algebraic decision diagram |
аффинная алгебраическая разрешающая диаграмма |
11.04.2014 |
23:38:11 |
progr. |
multi-terminal binary decision diagrams |
многозначные разрешающие диаграммы |
11.04.2014 |
23:36:28 |
progr. |
multi-terminal binary decision diagram |
многозначная разрешающая диаграмма |
11.04.2014 |
23:32:52 |
progr. |
algebraic decision diagrams |
алгебраические разрешающие диаграммы |
11.04.2014 |
23:31:37 |
progr. |
algebraic decision diagram |
алгебраическая разрешающая диаграмма |
11.04.2014 |
23:28:10 |
progr. |
ordered binary decision diagrams |
упорядоченные бинарные разрешающие диаграммы |
11.04.2014 |
23:27:01 |
progr. |
ordered binary decision diagram |
упорядоченная бинарная разрешающая диаграмма |
11.04.2014 |
23:20:57 |
progr. |
epistemic alternatives |
эпистемологические альтернативы |
11.04.2014 |
23:16:17 |
progr. |
conative logic |
конативная логика (логика для описания желаний и целей агента) |
11.04.2014 |
23:14:56 |
progr. |
epistemic logic |
логика познания |
11.04.2014 |
23:09:54 |
progr. |
coalition logic |
коалиционная логика (Паули) |
11.04.2014 |
23:07:31 |
progr. |
alternating-time temporal logic |
логика альтернированного времени |
11.04.2014 |
23:03:07 |
progr. |
linear temporal logic |
логика линейного времени |
11.04.2014 |
23:00:30 |
progr. |
computational tree logic |
логика ветвящегося времени |
11.04.2014 |
22:53:24 |
progr. |
plan revision function |
функция обновления плана (агента) |
11.04.2014 |
22:52:36 |
progr. |
plan revision |
обновление плана |
11.04.2014 |
22:47:55 |
progr. |
belief revision function |
функция обновления представлений (агента о поведении внешней среды) |
11.04.2014 |
22:45:31 |
progr. |
belief revision |
обновление представлений |
11.04.2014 |
22:45:04 |
gen. |
belief revision |
пересмотр убеждений |
11.04.2014 |
22:40:21 |
appl.math. |
Markov-process model |
модель марковского процесса (озволяющая предсказать будущее состояние системы исходя из текущего состояния системы и предположения о том, что вероятность каждого возможного состояния системы подчиняется процессу Маркова; в маркетинге данная модель может использоваться, напр., как модель определения приверженности торговой марке, позволяющая прогнозировать будущую долю рынка на основе текущих показателей покупок) |
11.04.2014 |
22:30:37 |
progr. |
continuous-time markov chains |
непрерывные цепи Маркова |
11.04.2014 |
22:28:36 |
progr. |
continuous-time markov chain |
непрерывная цепь Маркова |
11.04.2014 |
22:25:55 |
progr. |
discrete-time markov chains |
дискретные цепи Маркова |
11.04.2014 |
22:16:57 |
progr. |
process calculus |
исчисление процессов |
11.04.2014 |
22:15:28 |
progr. |
process algebra |
алгебра процессов |
11.04.2014 |
22:03:26 |
progr. |
abstract state machines |
машины абстрактных состояний |
11.04.2014 |
22:03:03 |
progr. |
abstract state machine |
машина абстрактных состояний |
11.04.2014 |
21:46:34 |
progr. |
extended markovian process algebra |
расширенная алгебра марковских процессов |
11.04.2014 |
21:45:26 |
progr. |
markovian process algebra |
алгебра марковских процессов |
11.04.2014 |
21:32:55 |
progr. |
weak bisimulation equivalence |
слабая бисимуляционная эквивалентность |
11.04.2014 |
21:31:01 |
progr. |
strong bisimulation equivalence |
сильная бисимуляционная эквивалентность |
11.04.2014 |
21:30:25 |
progr. |
bisimulation equivalence |
бисимуляционная эквивалентность |
11.04.2014 |
21:25:38 |
progr. |
observational equivalence |
обозримая эквивалентность |
11.04.2014 |
21:24:31 |
progr. |
observational |
обозримый |
11.04.2014 |
21:21:09 |
progr. |
branching equivalence |
эквивалентность по путям |
11.04.2014 |
21:05:30 |
progr. |
communicating extended finite state machines |
взаимодействующие расширенные конечные автоматы |
11.04.2014 |
21:04:10 |
progr. |
communicating extended finite state machine |
взаимодействующий расширенный конечный автомат |
11.04.2014 |
20:59:41 |
progr. |
communicating finite state machines |
взаимодействующие конечные автоматы |
11.04.2014 |
20:57:47 |
progr. |
communicating finite state machine |
взаимодействующий конечный автомат |
11.04.2014 |
20:48:05 |
progr. |
model-driven testing |
тестирование на основе моделей |
11.04.2014 |
20:20:23 |
progr. |
data-driven testing |
тестирование на основе данных |
11.04.2014 |
20:11:53 |
progr. |
model-driven approach |
модельно-управляемый подход |
11.04.2014 |
19:44:56 |
progr. |
software quality assurance |
обеспечение качества программной системы |
11.04.2014 |
19:36:33 |
progr. |
seamless scalable computing |
непрерывно масштабируемые вычисления |
11.04.2014 |
19:32:00 |
progr. |
metacomputing |
метавычисления |
11.04.2014 |
19:30:07 |
progr. |
global computing |
глобальные вычисления |
11.04.2014 |
19:28:20 |
progr. |
grid computing |
сети вычислительных ресурсов |
11.04.2014 |
19:16:31 |
progr. |
hierarchical state machines |
иерархические конечные автоматы |