20.05.2012 |
20:05:13 |
progr. |
conjunction of the guards |
конъюнкция предохранителей |
20.05.2012 |
20:02:27 |
progr. |
composite location obtained from the target locations of the individual transitions |
составная позиция, полученная из целевых позиций отдельных переходов |
20.05.2012 |
19:59:36 |
progr. |
target locations of the individual transitions |
целевые позиции отдельных переходов |
20.05.2012 |
19:58:59 |
progr. |
target locations |
целевые позиции |
20.05.2012 |
19:55:28 |
progr. |
target location |
целевая позиция |
20.05.2012 |
19:47:25 |
progr. |
composite location obtained from the source locations of the individual transitions |
составная позиция, полученная из исходных позиций отдельных переходов |
20.05.2012 |
19:44:11 |
progr. |
source locations of the individual transitions |
исходные позиции отдельных переходов |
20.05.2012 |
19:39:29 |
progr. |
composite location |
составная позиция |
20.05.2012 |
19:37:40 |
progr. |
source location |
исходная позиция |
20.05.2012 |
19:35:17 |
progr. |
for each pair of transitions from the individual automata with the same action |
для каждой пары переходов отдельных автоматов, помеченных одним и тем же действием |
20.05.2012 |
19:26:23 |
progr. |
each pair of transitions from the individual automata |
каждая пара переходов отдельных автоматов |
20.05.2012 |
19:24:55 |
progr. |
each pair of transitions from the individual timed automata |
каждая пара переходов отдельных временных автоматов |
20.05.2012 |
19:22:59 |
progr. |
individual timed automata |
отдельные временные автоматы |
20.05.2012 |
19:21:44 |
progr. |
individual automata |
отдельные автоматы |
20.05.2012 |
19:20:30 |
progr. |
individual automaton |
отдельный автомат |
20.05.2012 |
19:19:41 |
progr. |
individual timed automaton |
отдельный временной автомат |
20.05.2012 |
19:18:13 |
progr. |
each pair |
каждая пара (напр., переходов) |
20.05.2012 |
19:16:43 |
progr. |
each pair of transitions |
каждая пара переходов |
20.05.2012 |
19:15:28 |
progr. |
pair of transitions |
пара переходов |
20.05.2012 |
19:12:24 |
progr. |
conjunction of the invariants of the component locations |
конъюнкция инвариантов составляющих позиций |
20.05.2012 |
19:10:08 |
progr. |
component locations |
составляющие позиции |
20.05.2012 |
19:09:10 |
progr. |
conjunction of the invariants |
конъюнкция инвариантов |
20.05.2012 |
19:06:16 |
progr. |
pairs of locations from the component automata |
пары позиций составляющих автоматов |
20.05.2012 |
19:03:32 |
progr. |
component automata |
составляющие автоматы |
20.05.2012 |
19:01:55 |
progr. |
pairs of locations |
пары позиций |
20.05.2012 |
18:58:08 |
progr. |
locations of the parallel composition |
позиции параллельной композиции |
20.05.2012 |
17:18:35 |
progr. |
parallel compositions of timed automata |
параллельные композиции временных автоматов |
20.05.2012 |
17:08:01 |
progr. |
Developing such representations is the main topic of the following sections |
Разработка подобных представлений главная тема следующих разделов |
20.05.2012 |
17:08:01 |
progr. |
Developing such representations is the main topic of the following sections |
Разработка подобных представлений – главная тема следующих разделов |
20.05.2012 |
17:06:23 |
progr. |
developing such representations |
разработка подобных представлений |
20.05.2012 |
17:02:44 |
progr. |
main topic of the following sections |
главная тема следующих разделов |
20.05.2012 |
17:01:05 |
progr. |
main topic |
главная тема |
20.05.2012 |
16:58:19 |
progr. |
finite representation for the infinite state space |
конечное представление бесконечного пространства состояний |
20.05.2012 |
16:56:04 |
progr. |
infinite state space |
бесконечное пространство состояний |
20.05.2012 |
16:52:27 |
progr. |
infinite number of states |
бесконечное число состояний |
20.05.2012 |
16:50:35 |
progr. |
set of all states |
множество всех состояний |
20.05.2012 |
16:48:58 |
progr. |
given a set of initial states |
заданное множество начальных состояний |
20.05.2012 |
16:43:29 |
progr. |
combining the delay and action transitions |
объединение переходов по задержке и по действию |
20.05.2012 |
16:42:55 |
progr. |
delay and action transitions |
переходы по задержке и по действию |
20.05.2012 |
16:30:07 |
progr. |
some location |
некоторая позиция |
20.05.2012 |
16:28:12 |
progr. |
elapsing of time |
течение времени |
20.05.2012 |
16:23:19 |
progr. |
action transitions |
переходы по действию |
20.05.2012 |
16:20:13 |
progr. |
delay transitions |
переходы по задержке (соответствуют течению времени, пока автомат остается в некоторой позиции) |
20.05.2012 |
16:17:06 |
progr. |
two basic types of transitions |
два основных типа переходов |
20.05.2012 |
16:13:36 |
progr. |
some notation |
некоторые обозначения |
20.05.2012 |
16:09:55 |
progr. |
transition relation |
отношение перехода |
20.05.2012 |
16:08:00 |
progr. |
state transition relation |
отношение перехода на состояниях (графа) |
20.05.2012 |
15:55:46 |
progr. |
infinite state transition graph |
граф переходов с бесконечным числом состояний |
20.05.2012 |
15:52:38 |
progr. |
a set of transitions |
множество переходов |
20.05.2012 |
15:50:40 |
progr. |
mapping from locations to clock constraints, called the location invariant |
отображение позиций во временные ограничения, называемое инвариантом позиций |
20.05.2012 |
15:48:05 |
progr. |
mapping from locations to clock constraints |
отображение позиций во временные ограничения |
20.05.2012 |
15:40:40 |
progr. |
a set of clocks |
множество часов |
20.05.2012 |
15:39:36 |
progr. |
a set of starting locations |
множество начальных позиций |
20.05.2012 |
15:37:19 |
progr. |
starting location |
начальная позиция |
20.05.2012 |
15:33:01 |
progr. |
finite set of locations |
конечное множество позиций |
20.05.2012 |
15:32:30 |
progr. |
set of locations |
множество позиций |
20.05.2012 |
15:28:44 |
progr. |
convex subset of k-dimensional Euclidean space |
выпуклое подмножество k-мерного евклидова пространства |
20.05.2012 |
15:27:15 |
progr. |
k-dimensional Euclidean space |
k-мерное евклидово пространство |
20.05.2012 |
15:24:53 |
progr. |
k-dimensional |
k-мерный |
20.05.2012 |
15:14:07 |
progr. |
nonnegative rational number |
неотрицательное рациональное число |
20.05.2012 |
15:12:09 |
progr. |
set of clock constraints |
множество временных ограничений |
20.05.2012 |
15:07:32 |
progr. |
real numbers |
действительные значения (из множества) |
20.05.2012 |
15:03:31 |
progr. |
a set of clock variables |
множество переменных-часов |
20.05.2012 |
14:59:55 |
progr. |
precise definition of clock constraints |
точное определение временных ограничений |
20.05.2012 |
14:58:24 |
progr. |
clock constraints |
временные ограничения |
20.05.2012 |
14:54:13 |
progr. |
formal semantics for timed automata in terms of infinite state transition graphs |
формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний |
20.05.2012 |
14:51:55 |
progr. |
infinite state transition graphs |
графы переходов с бесконечным числом состояний |
20.05.2012 |
14:48:14 |
progr. |
transition graphs |
графы переходов |
20.05.2012 |
14:46:07 |
progr. |
formal semantics for timed automata |
формальная семантика временных автоматов |
20.05.2012 |
14:39:30 |
progr. |
transition back |
обратный переход |
20.05.2012 |
14:30:25 |
progr. |
Time can elapse in the location only as long as the invariant of the location is true |
Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
20.05.2012 |
14:25:58 |
progr. |
invariant of the location |
инвариант этой позиции |
20.05.2012 |
14:22:54 |
progr. |
invariant of the location |
инвариант позиции |
20.05.2012 |
14:15:27 |
gen. |
taken |
бравший |
20.05.2012 |
14:15:27 |
gen. |
taken |
тративший |
20.05.2012 |
14:15:27 |
gen. |
taken |
потраченный |
20.05.2012 |
14:15:27 |
gen. |
taken |
заражённый |
20.05.2012 |
14:12:31 |
progr. |
taken |
предпринятый |
20.05.2012 |
14:09:20 |
progr. |
taken |
совершенный |
20.05.2012 |
13:56:30 |
progr. |
current values of the clocks |
текущие показания часов |
20.05.2012 |
13:55:49 |
progr. |
current values |
текущие показания (часов) |
20.05.2012 |
13:50:55 |
progr. |
clock constraint |
временное ограничение |
20.05.2012 |
13:46:21 |
progr. |
only a finite number of transitions can happen within a finite amount of time |
лишь конечное количество переходов может произойти за конечный отрезок времени |
20.05.2012 |
13:44:49 |
progr. |
finite amount of time |
конечный отрезок времени |
20.05.2012 |
13:26:37 |
progr. |
finite number of transitions |
конечное количество переходов |
20.05.2012 |
13:24:49 |
progr. |
finite number |
конечное количество |
20.05.2012 |
13:17:46 |
progr. |
simple timed automaton |
простой временной автомат |
20.05.2012 |
13:12:42 |
progr. |
time passes at the same rate for all clocks |
темп времени одинаков для всех часов |
20.05.2012 |
13:07:32 |
progr. |
time passes |
темп времени |
20.05.2012 |
12:58:45 |
progr. |
to be a finite automaton |
представлять собой конечный автомат |
20.05.2012 |
12:52:50 |
progr. |
real-valued clock |
часы, принимающие действительные значения |
20.05.2012 |
12:41:55 |
progr. |
augment |
снабжать |
20.05.2012 |
12:28:04 |
progr. |
consult the papers referenced earlier |
обращаться к упомянутым ранее работам |
20.05.2012 |
12:21:05 |
progr. |
papers referenced earlier |
упомянутые ранее работы |
20.05.2012 |
11:56:02 |
progr. |
realistic examples |
реальные примеры |
20.05.2012 |
11:55:27 |
progr. |
realistic example |
реальный пример |
20.05.2012 |
11:51:45 |
progr. |
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata |
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов |
20.05.2012 |
11:50:53 |
progr. |
algorithms for CTL model checking, LTL model checking |
алгоритмы верификации моделей для формул CTL и для формул LTL |
20.05.2012 |
11:41:47 |
progr. |
algorithms for testing inclusion between timed omega automata |
алгоритмы проверки включения временных омега-автоматов |
20.05.2012 |
11:40:42 |
progr. |
testing inclusion between timed omega automata |
проверка включения временных омега-автоматов |