20.05.2012 |
11:40:00 |
progr. |
testing inclusion |
проверка включения |
20.05.2012 |
11:33:58 |
progr. |
timed omega automata |
временные омега-автоматы |
20.05.2012 |
11:33:21 |
progr. |
timed omega automaton |
временной омега-автомат |
20.05.2012 |
11:26:51 |
progr. |
algorithms for LTL model checking |
алгоритмы верификации моделей для формул LTL |
20.05.2012 |
11:24:36 |
progr. |
algorithms for CTL model checking |
алгоритмы верификации моделей для формул CTL |
20.05.2012 |
11:20:57 |
progr. |
reachability problem |
проблема достижимости |
20.05.2012 |
11:18:17 |
progr. |
major technique |
основной метод |
20.05.2012 |
11:13:24 |
progr. |
properties of timed automata |
свойства временных автоматов |
20.05.2012 |
11:10:47 |
progr. |
Certainly, most of the research on continuous-time model checking is based on this model |
Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
20.05.2012 |
11:07:39 |
progr. |
most of the research on continuous-time model checking |
большая часть исследований по верификации с непрерывным временем |
20.05.2012 |
11:05:02 |
progr. |
continuous-time model checking |
верификация с непрерывным временем (моделей) |
20.05.2012 |
10:59:05 |
progr. |
most of the research |
большая часть исследований |
20.05.2012 |
10:51:50 |
gen. |
certainly |
без сомнения |
20.05.2012 |
10:49:14 |
gen. |
certainly |
бесспорно |
20.05.2012 |
0:39:56 |
progr. |
blow up the state space |
эффект "комбинаторного взрыва" в пространстве состояний |
20.05.2012 |
0:25:23 |
progr. |
choice of a sufficiently small time quantum to model an asynchronous system accurately |
выбор достаточно малого кванта времени для точного моделирования асинхронной системы |
20.05.2012 |
0:20:14 |
progr. |
choice of a sufficiently small time quantum |
выбор достаточно малого кванта времени |
20.05.2012 |
0:18:40 |
progr. |
sufficiently small time quantum |
достаточно малый квант времени |
20.05.2012 |
0:14:14 |
progr. |
reachability problem for asynchronous circuits with bounded delays |
задача достижимости для асинхронных схем с ограниченными задержками |
20.05.2012 |
0:12:31 |
progr. |
asynchronous circuits with bounded delays |
асинхронные схемы с ограниченными задержками |
20.05.2012 |
0:11:57 |
el. |
asynchronous circuits |
асинхронные схемы (управляемые событиями) |
20.05.2012 |
0:10:54 |
progr. |
bounded delays |
ограниченные задержки |
20.05.2012 |
0:06:52 |
progr. |
number of different models of continuous time |
множество различных моделей непрерывного времени |
20.05.2012 |
0:06:10 |
progr. |
different models of continuous time |
различные модели непрерывного времени |
20.05.2012 |
0:05:26 |
progr. |
models of continuous time |
модели непрерывного времени |
20.05.2012 |
0:04:41 |
progr. |
different models |
различные модели |
19.05.2012 |
23:57:48 |
progr. |
accuracy with which systems can be modeled |
точность моделирования системы |
19.05.2012 |
23:40:03 |
progr. |
delay between any two events |
задержка между любыми двумя событиями |
19.05.2012 |
23:39:11 |
progr. |
any two events |
любые два события |
19.05.2012 |
23:36:12 |
progr. |
some fixed time quantum |
некоторый фиксированный квант времени |
19.05.2012 |
23:29:43 |
progr. |
fixed time quantum |
фиксированный квант времени |
19.05.2012 |
23:22:43 |
progr. |
Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed |
Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
19.05.2012 |
23:20:04 |
progr. |
speed of the environment |
быстродействие окружения |
19.05.2012 |
23:12:23 |
progr. |
model of time |
модель времени |
19.05.2012 |
23:08:28 |
progr. |
representing causally independent events in an asynchronous system |
представление причинно независимых событий в асинхронной системе |
19.05.2012 |
23:07:40 |
progr. |
causally independent events in an asynchronous system |
причинно независимые события в асинхронной системе |
19.05.2012 |
23:06:08 |
progr. |
causally independent events |
причинно независимые события |
19.05.2012 |
22:59:38 |
progr. |
Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small |
Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
19.05.2012 |
22:57:48 |
progr. |
separation of events |
промежуток времени, разделяющий события |
19.05.2012 |
22:56:54 |
progr. |
arbitrarily small |
сколь угодно малый |
19.05.2012 |
22:50:06 |
progr. |
natural model for asynchronous systems |
естественная модель для асинхронных систем |
19.05.2012 |
22:47:46 |
progr. |
natural model |
естественная модель |
19.05.2012 |
22:34:51 |
progr. |
basic unit for measuring time |
единица измерения времени |
19.05.2012 |
22:34:18 |
progr. |
unit for measuring time |
единица измерения времени |
19.05.2012 |
22:30:32 |
progr. |
duration between successive clock ticks |
продолжительность времени между двумя последовательными тиками часов |
19.05.2012 |
22:29:18 |
progr. |
clock ticks |
тики часов |
19.05.2012 |
22:28:43 |
progr. |
clock tick |
тик часов |
19.05.2012 |
22:26:53 |
progr. |
duration |
продолжительность времени |
19.05.2012 |
21:17:00 |
progr. |
this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock |
Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
19.05.2012 |
21:13:34 |
progr. |
all of the components are synchronized by a single global clock |
все компоненты синхронизированы едиными глобальными часами |
19.05.2012 |
21:09:29 |
progr. |
single global clock |
единые глобальные часы |
19.05.2012 |
21:09:01 |
progr. |
global clock |
глобальные часы |
19.05.2012 |
20:54:24 |
progr. |
nonnegative integers |
неотрицательные целые числа |
19.05.2012 |
20:50:45 |
progr. |
possible clock values |
возможные показания часов |
19.05.2012 |
20:50:18 |
progr. |
clock values |
показания часов |
19.05.2012 |
20:43:36 |
progr. |
integer time values |
целочисленные моменты времени |
19.05.2012 |
20:42:50 |
progr. |
time values |
моменты времени |
19.05.2012 |
20:35:58 |
progr. |
system with complex timing constraints |
система со сложными временными ограничениями |
19.05.2012 |
20:34:36 |
progr. |
complex timing constraints |
сложные временные ограничения |
19.05.2012 |
20:28:34 |
progr. |
execution times for more complex sequences of events |
время выполнения более сложных последовательностей событий |
19.05.2012 |
20:25:21 |
progr. |
more complex sequences of events |
более сложные последовательности событий |
19.05.2012 |
20:07:43 |
progr. |
To test the effect of this change, the model can be analyzed again in order to check schedulability |
для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
19.05.2012 |
20:05:39 |
progr. |
analyze again in order to check schedulability |
снова подвергать анализу с целью проверить планируемость |
19.05.2012 |
19:52:38 |
progr. |
changing the period |
изменение периода (напр., выполнения задачи) |
19.05.2012 |
19:48:38 |
progr. |
response time for the display graphic subsystem |
время реакции подсистемы графического дисплея |
19.05.2012 |
19:47:56 |
progr. |
display graphic subsystem |
подсистема графического дисплея |
19.05.2012 |
19:43:37 |
progr. |
impact on various alternatives to improve the performance |
влияние различных вариантов на улучшение производительности |
19.05.2012 |
19:42:26 |
progr. |
impact on various alternatives |
влияние различных вариантов |
19.05.2012 |
19:41:52 |
progr. |
various alternatives |
различные варианты |
19.05.2012 |
19:33:22 |
progr. |
reducing the CPU utilization slightly |
несущественное уменьшение времени использования ЦП |
19.05.2012 |
19:32:59 |
progr. |
reducing the CPU utilization slightly |
несущественное уменьшение времени использования процессора |
19.05.2012 |
19:22:50 |
progr. |
Except for the most critical process, all others maintain their schedulability if a nonpreemptive scheduler is used |
Исключая наиболее требовательные процессы, все остальные сохраняют свою планируемость при использовании планировщика без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
19.05.2012 |
19:20:08 |
progr. |
the most critical processes |
наиболее требовательные процессы |
19.05.2012 |
19:14:08 |
progr. |
schedulability if a nonpreemptive scheduler is used |
планируемость при использовании планировщика без приоритетов |
19.05.2012 |
19:09:29 |
progr. |
big impact on response times |
значительное влияние на время реакции |
19.05.2012 |
19:06:11 |
progr. |
big impact |
значительное влияние |
19.05.2012 |
19:01:53 |
progr. |
total CPU utilization |
суммарная загруженность ЦП |
19.05.2012 |
19:01:21 |
progr. |
total CPU utilization |
суммарная загруженность процессора |
19.05.2012 |
18:57:56 |
progr. |
best-case computations |
удачные вычисления |
19.05.2012 |
18:56:01 |
progr. |
worst case |
худший случай |
19.05.2012 |
18:49:21 |
progr. |
many important parameters of the system |
многие важные параметры этой системы |
19.05.2012 |
18:47:45 |
progr. |
parameters of the system |
параметры этой системы |
19.05.2012 |
18:44:55 |
progr. |
process set |
множество процессов |
19.05.2012 |
18:40:41 |
progr. |
minimum and maximum execution times |
минимальное и максимальное время выполнения |
19.05.2012 |
18:32:45 |
progr. |
nonpreemptive scheduler |
невытесняющий планировщик |
19.05.2012 |
18:31:07 |
progr. |
preemptive scheduler |
вытесняющий планировщик |
19.05.2012 |
18:21:12 |
progr. |
deadlines |
директивные сроки |
18.05.2012 |
23:58:47 |
progr. |
time slicing |
разделение времени |
18.05.2012 |
23:55:21 |
progr. |
shared state |
общее состояние |
18.05.2012 |
23:54:07 |
progr. |
shared state |
разделяемое состояние |
18.05.2012 |
23:52:24 |
progr. |
scanning out internal definitions |
прочёсывание внутренних определений |
18.05.2012 |
23:47:50 |
progr. |
self-evaluating expression |
самовычисляющееся выражение |
18.05.2012 |
23:38:54 |
progr. |
smoothing a signal |
сглаживание сигнала |
18.05.2012 |
23:35:18 |
progr. |
syntax interface |
синтаксический интерфейс |
18.05.2012 |
23:26:51 |
progr. |
merging infinite streams |
слияние бесконечных потоков |
18.05.2012 |
23:23:09 |
progr. |
term list of polynomial |
список термов многочлена |
18.05.2012 |
23:22:30 |
progr. |
term list |
список термов |
18.05.2012 |
23:14:59 |
progr. |
program counter |
счётчик программы |
18.05.2012 |
22:26:41 |
progr. |
power series, as a stream |
степенной ряд, представленный как поток |
18.05.2012 |
22:23:09 |
progr. |
expression-oriented style |
стиль, ориентированный на выражения |