3.08.2018 |
13:58:17 |
progr. |
container element |
элемент-контейнер |
3.08.2018 |
13:58:12 |
progr. |
operations section |
секция операций |
3.08.2018 |
13:58:12 |
progr. |
strongly typed language |
язык, ориентированный на работу с типами |
3.08.2018 |
13:58:11 |
progr. |
post-condition |
постусловие |
3.08.2018 |
13:58:08 |
automat. |
power-supply functions |
функции источника питания |
3.08.2018 |
13:58:08 |
automat. |
power-supply functions |
функции обеспечения электропитанием |
3.08.2018 |
13:58:07 |
progr. |
cyclic transmission in real-time |
циклическая передача данных процесса в реальном времени |
3.08.2018 |
13:58:06 |
progr. |
processor-level parallelism |
параллелизм на уровне процессоров |
3.08.2018 |
13:58:03 |
progr. |
in-process |
незавершённый |
3.08.2018 |
13:58:02 |
progr. |
analogy with real-life concrete objects |
аналогия с объектами реального мира |
3.08.2018 |
13:58:02 |
progr. |
some real-life objects |
некоторые объекты реального мира |
3.08.2018 |
13:58:02 |
progr. |
So, some real-life objects have behavior |
Итак, некоторые объекты реального мира обладают поведением |
3.08.2018 |
13:58:02 |
progr. |
real-life object |
реальный объект |
3.08.2018 |
13:58:02 |
progr. |
model of the real thing |
модель реальной сущности |
3.08.2018 |
13:58:01 |
progr. |
middleware |
программное обеспечение промежуточного уровня (необходимое, напр., для связывания клиента и сервера) |
3.08.2018 |
13:58:01 |
progr. |
middleware |
ПО промежуточного уровня |
3.08.2018 |
13:58:01 |
progr. |
perfective maintenance |
улучшающее сопровождение (перепроектирование и модификация системы для удовлетворения новых или существенно изменившихся требований) |
3.08.2018 |
13:58:00 |
progr. |
have no real impact |
не оказывать значительного влияния (на; on; кого(что)) |
3.08.2018 |
13:58:00 |
progr. |
property description |
описание свойств |
3.08.2018 |
13:58:00 |
progr. |
improper use |
неверный способ использования |
3.08.2018 |
13:58:00 |
progr. |
requirements specification |
специфицирование технических требований |
3.08.2018 |
13:58:00 |
progr. |
requirements phase |
фаза установления требований |
3.08.2018 |
13:57:58 |
progr. |
keeping score |
оценка производительности (алгоритмов) |
3.08.2018 |
13:57:57 |
progr. |
reduced-order models |
понижение порядка моделей |
3.08.2018 |
13:57:57 |
progr. |
closed-loop discrete-time system |
замкнутая дискретная система |
3.08.2018 |
13:57:57 |
progr. |
closed-loop discrete-time systems |
замкнутые дискретные системы |
3.08.2018 |
13:57:52 |
commer. |
inventory system |
система учёта запасов |
3.08.2018 |
13:57:52 |
progr. |
measures |
критерии |
3.08.2018 |
13:57:51 |
progr. |
requester |
запрашивающее устройство |
3.08.2018 |
13:57:51 |
progr. |
program organization unit |
организационная единица программы |
3.08.2018 |
13:57:50 |
progr. |
get |
снимать |
3.08.2018 |
13:57:49 |
progr. |
finite automaton augmented with a finite set of real-valued clocks |
конечный автомат, снабжённый конечным набором часов, принимающих действительные значения |
3.08.2018 |
13:57:49 |
progr. |
to be a finite automaton augmented with a finite set of real-valued clocks |
представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения |
3.08.2018 |
13:57:49 |
progr. |
A timed automaton is a finite automaton augmented with a finite set of real-valued clocks |
Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
3.08.2018 |
13:57:49 |
progr. |
nonnegative real numbers |
неотрицательные действительные значения (из множества) |
3.08.2018 |
13:57:49 |
progr. |
nonnegative real number |
неотрицательное действительное число |
3.08.2018 |
13:57:49 |
progr. |
nonnegative real numbers |
неотрицательные действительные числа |
3.08.2018 |
13:57:48 |
progr. |
finite set of real-valued clocks |
конечный набор часов, принимающих действительные значения |
3.08.2018 |
13:57:47 |
progr. |
implicit binding |
неявная привязка |
3.08.2018 |
13:57:47 |
progr. |
compiled code |
скомпилированный код |
3.08.2018 |
13:57:47 |
progr. |
primitives |
элементарные процедуры |
3.08.2018 |
13:57:46 |
progr. |
automounter |
автоматический монтировщик (файловых систем) |
3.08.2018 |
13:57:46 |
progr. |
automounter |
утилита автоматического монтирования |
3.08.2018 |
13:57:45 |
progr. |
lower priority process |
процесс с более низким приоритетом |
3.08.2018 |
13:57:44 |
progr. |
continuous real-time system |
система непрерывного реального времени |
3.08.2018 |
13:57:44 |
progr. |
continuous real-time systems |
системы непрерывного реального времени |
3.08.2018 |
13:57:44 |
progr. |
verifying continuous real-time systems |
верификация систем непрерывного реального времени |
3.08.2018 |
13:57:44 |
progr. |
methods for verifying continuous real-time systems |
методы верификации систем непрерывного реального времени |
3.08.2018 |
13:57:44 |
progr. |
much more |
намного более |
3.08.2018 |
13:57:44 |
progr. |
check in |
пометка об освобождении (элемента) |
3.08.2018 |
13:57:44 |
progr. |
user agent |
пользовательский агент |
3.08.2018 |
13:57:44 |
progr. |
grace period |
период амнистии |
3.08.2018 |
13:57:44 |
progr. |
determining the amount of priority inversion in a real-time system |
определение количества инверсий приоритета в системе реального времени |
3.08.2018 |
13:57:43 |
progr. |
model for the real-time system |
модель системы реального времени |
3.08.2018 |
13:57:43 |
progr. |
method for specifying and verifying discrete real-time systems |
метод спецификации и верификации дискретных систем реального времени |
3.08.2018 |
13:57:43 |
progr. |
various real-time constraints |
различные ограничения реального времени |
3.08.2018 |
13:57:43 |
progr. |
an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints |
Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
3.08.2018 |
13:57:42 |
progr. |
discrete real-time system |
дискретная система реального времени |
3.08.2018 |
13:57:42 |
progr. |
discrete real-time systems |
дискретные системы реального времени |
3.08.2018 |
13:57:42 |
progr. |
development systems |
системы разработки программ |
3.08.2018 |
13:57:42 |
progr. |
development systems |
инструментальные системы |
3.08.2018 |
13:57:41 |
progr. |
complex real-time systems |
сложные системы реального времени |
3.08.2018 |
13:57:41 |
progr. |
validation of real-time systems |
проверка систем реального времени |
3.08.2018 |
13:57:41 |
progr. |
Because real-time systems are used in critical application, conservative approaches have been traditionally used in their design |
Поскольку системы реального времени используются в критических приложениях, для их разработки традиционно применялись консервативные подходы |
3.08.2018 |
13:57:41 |
progr. |
behavior of a real-time system |
поведение систем реального времени |
3.08.2018 |
13:57:41 |
progr. |
techniques to analyze the behavior of a real-time system |
методы анализа поведения систем реального времени |
3.08.2018 |
13:57:41 |
progr. |
more powerful techniques to analyze the behavior of a real-time system |
более мощные методы анализа поведения систем реального времени |
3.08.2018 |
13:57:41 |
progr. |
CPU utilization |
коэффициент использования процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
3.08.2018 |
13:57:41 |
progr. |
CPU utilization |
коэффициент использования ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
3.08.2018 |
13:57:41 |
progr. |
CPU utilization |
доля занятости процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
3.08.2018 |
13:57:41 |
progr. |
CPU utilization |
доля занятости ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
3.08.2018 |
13:57:41 |
progr. |
total CPU utilization |
полный коэффициент использования процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
3.08.2018 |
13:57:41 |
progr. |
total CPU utilization |
полный коэффициент использования ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
3.08.2018 |
13:57:41 |
progr. |
powerful tool for analyzing real-time systems |
мощный инструмент для анализа систем реального времени |
3.08.2018 |
13:57:40 |
progr. |
complex real-time system |
сложная система реального времени |
3.08.2018 |
13:57:40 |
progr. |
correctness of a complex real-time system |
корректность сложных систем реального времени |
3.08.2018 |
13:57:40 |
progr. |
guaranteeing the correctness of a complex real-time system |
обеспечение корректности сложных систем реального времени |
3.08.2018 |
13:57:39 |
progr. |
verifying |
верификация |
3.08.2018 |
13:57:39 |
progr. |
continuous real time |
непрерывное реальное время |
3.08.2018 |
13:57:39 |
progr. |
verifying real-time systems |
верификация систем реального времени |
3.08.2018 |
13:57:39 |
progr. |
related methods for verifying real-time systems |
родственные методы верификации систем реального времени |
3.08.2018 |
13:57:39 |
progr. |
discrete real-time and quantitative temporal analysis |
дискретное время и количественный анализ |
3.08.2018 |
13:57:38 |
progr. |
linear temporal logic |
темпоральная логика линейного времени (сокр. LTL) |
3.08.2018 |
13:57:37 |
progr. |
big-endien format |
формат с порядком следования байтов, начиная со старшего (формат хранения в памяти многобайтовых слов, при котором наиболее значащий байт находится по самому младшему адресу (напр., в мэйнфреймах IBM). Это понятие применимо и к расположению битов при записи чисел – старшим является самый левый бит. Термин происходит от аналогии с ситуацией из "Путешествия Гулливера" Джонатана Свифта, где псевдорелигиозной причиной войн лилипутов было расхождение во мнениях относительно того, с какого конца разбивать варёное яйцо – с тупого или острого) |
3.08.2018 |
13:57:37 |
progr. |
big-endien format |
формат с порядком следования битов, начиная со старшего |
3.08.2018 |
13:57:37 |
progr. |
big-endian |
перевёртыш (сетевой адрес в электронной почте, записанный в обратном порядке и не соответствующий принятому в Интернете) |
3.08.2018 |
13:57:37 |
progr. |
big-endian format |
формат с обратным порядком байтов |
3.08.2018 |
13:57:37 |
auto. |
Anti-lock Braking System |
антиблокировочная система (сокр. ABS, АБС; система, предотвращающая блокировку колёс транспортного средства при торможении. Основное предназначение системы состоит в том, чтобы предотвратить потерю управляемости транспортного средства в процессе резкого торможения и исключить вероятность его неконтролируемого скольжения. В настоящее время АБС, как правило, является более сложной электронной системой торможения, которая может включать в себя антипробуксовочную систему, систему электронного контроля устойчивости, а также систему помощи при экстренном торможении) |
3.08.2018 |
13:57:37 |
auto. |
Adaptive Cruise Control |
адаптивный круиз-контроль (сокр. ACC; также следит за расстоянием до впереди идущего автомобиля и следует за ним на заданном удалении в режиме "сопровождения" при условии, что заданная скорость автомобиля с ACC выше скорости впереди идущего автомобиля. При необходимости ACC включает тормозную подсистему. В некоторых ACC также присутствует система предотвращения скатывания автомобиля на подъеме HLA (Hill Launch Assist). АСС зависит от систем безопасности автомобиля ABS и ESP: если любая из них неисправна, АСС выключается) |
3.08.2018 |
13:57:29 |
progr. |
content distribution network |
сеть распределения содержимого |
3.08.2018 |
13:57:29 |
progr. |
content distribution network |
сеть распространения контента (т.ж. сеть доставки контента; такие сети состоят из специальных информационных центров, расположенных близко от целевых групп потребителей и содержащих копии различных видов данных. Информация в таких центрах кэшируется и автоматически обновляется. Сети доставки (распространения) контента позволяют предотвратить сетевые заторы, увеличить пропускную способность сети и предоставить пользователям более быстрый доступ к контенту. Через них можно распространять такие виды контента, как веб-объекты, загружаемые объекты (мультимедиа-файлы, ПО, документы), приложения, медиа-потоки реального времени, запросы к базам данных и т.д.) |
3.08.2018 |
13:57:24 |
progr. |
secure socket layer |
уровень защищённых сокетов (сокр. SSL) |
3.08.2018 |
13:57:24 |
progr. |
real-time transport protocol |
транспортный протокол реального времени (сокр. RTP) |
3.08.2018 |
13:57:24 |
progr. |
transactional messaging |
транзакционный обмен сообщениями |
3.08.2018 |
13:57:24 |
progr. |
transactional queue |
транзакционная очередь |
3.08.2018 |
13:57:24 |
progr. |
weak consistency |
слабая непротиворечивость |
3.08.2018 |
13:57:24 |
progr. |
middleware |
система промежуточного уровня |
3.08.2018 |
13:57:23 |
progr. |
running object |
запущенный объект |
3.08.2018 |
13:57:23 |
progr. |
distributed shared object |
распределённый разделяемый объект |
3.08.2018 |
13:57:23 |
progr. |
out-of-band |
конец связи |