English | Russian |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
a simple example class | простой пример класса (ssn) |
A simple way to guarantee this is by instantiating stream within block | Простейший способ обеспечить это состоит в создании экземпляра потока внутри блока (ssn) |
anatomy of a simple multithreaded program | анатомия простой многопоточной программы (ssn) |
applying simple procedures | применение простых процедур (ssn) |
as we will see, this unsurprisingly is a convenient value for a range of simple timing applications, using software delay loops and the counter/timer | как мы увидим позже, это – очень удобное значение для многих простых задач, опирающихся на синхронизацию, в которых используются программные циклы временной задержки и счётчики / таймеры |
assignment to simple variables | присваивание простым переменным (ssn) |
class of simple precedence languages | класс языков простого предшествования (ssn) |
comparatively simple way | сравнительно простой способ (ssn) |
declaring a simple class | объявление простого класса (ssn) |
developing a simple project | разработка простого проекта (ssn) |
developing simple programs | разработка простых программ (ssn) |
each simple operation | любая простая операция (ssn) |
example of a simple configuration | пример простой конфигурации (ssn) |
Given a suitable recipe, such a simple operating mechanism is sufficient to support a whole hierarchy of structures and phenomena | если задан подходящий набор правил рецепт, то такой простой операционный механизм достаточен для поддержания целой иерархии структур и явлений (ssn) |
graphic example of a simple configuration | графический пример простой конфигурации (ssn) |
in the case of a simple vending machine, there are two kinds of event | в случае простого торгового автомата существуют два вида событий |
initial concurrent collaboration diagram with simple message | начальная диаграмма параллельной кооперации с простым сообщением (ssn) |
initial concurrent collaboration diagram with simple messages | начальная диаграмма параллельной кооперации с простыми сообщениями (ssn) |
layout of a simple C++ program | структура простой программы на C++ (ssn) |
layout of a simple program | структура простой программы (ssn) |
low intellectual overhead – simple, intuitive, pragmatic | малая интеллектуальная перегрузка – простота, интуитивность и практичность (при представлении проблемы или системы; см. IEC 61508-7:2010 и ГОСТ Р МЭК 61508-7-2012 ssn) |
low intellectual overhead simple, intuitive, pragmatic | малая интеллектуальная перегрузка простота, интуитивность и практичность (при представлении проблемы или системы; см. IEC 61508-7:2010 и ГОСТ Р МЭК 61508-7-2012 ssn) |
manufacturer of a simple vending machine | изготовитель простого торгового автомата (ssn) |
modeling of a simple computer system | моделирование простой вычислительной системы (ssn) |
multiple assignment to simple variables | кратные присваивания простым переменным (ssn) |
not a simple matter | непростое дело (ssn) |
one simple part problem | отдельные простейшие фрагменты задачи (ssn) |
operation of a simple alarm annunciator | действие простого устройства аварийной сигнализации (ssn) |
our goal in decomposing a program is to create modules that are themselves small programs that interact with one another in simple, well-defined ways | Нашей целью при декомпозиции программы является создание модулей, которые в свою очередь представляют собой небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986) |
passing simple data types by reference | передача по ссылке аргументов стандартных типов (ssn) |
pathetically simple alarm clock | трогательно простой будильник (ssn) |
Petri net model of a simple machine shop | модель сети Петри для простого автомата-продавца (ssn) |
really simple syndication | очень простое распространение (RSS 2.x Alex_Odeychuk) |
relatively simple concept | относительно простое понятие (ssn) |
relatively simple form of propositions | относительно простая форма высказываний (ssn) |
review of suggestions for developing simple programs | обзор предложений по разработке простых программ (ssn) |
search through code for simple text | выполнять поиск последовательности символов в коде (Alex_Odeychuk) |
simple activity diagram | простая диаграмма деятельности (ssn) |
simple adaptive diagnosing experiment | простой условный диагностический эксперимент (ssn) |
simple adaptive diagnosing experiments | простые условные диагностические эксперименты (ssn) |
simple adaptive homing experiment | простой условный установочный эксперимент (ssn) |
simple adaptive homing experiments | простые условные установочные эксперименты (ssn) |
simple addressing | простая адресация (ssn) |
simple alarm clock | простой будильник (ssn) |
simple and effective way | простой и эффективный способ (ssn) |
simple and efficient adaptation level | простой и эффективный уровень адаптации (ssn) |
simple and uniform semantics | простая и унифицированная семантика (ssn) |
simple animation | простая анимация (ssn) |
simple app | простое приложение (ssn) |
simple application | некоторое применение (ssn) |
simple application | простой пример использования (ssn) |
simple application | простое приложение (ssn) |
simple application specification | спецификация простого приложения (ssn) |
simple applications | некоторые применения (ssn) |
simple applications | простые примеры использования (ssn) |
simple applications of the ADT queue | некоторые применения абстрактной очереди (ssn) |
simple applications of the ADT stack | простые примеры использования абстрактного стека (ssn) |
simple architecture | простая архитектура (ssn) |
simple arithmetic | простая арифметика (ssn) |
simple array | простой массив (IBM Alex_Odeychuk) |
simple assignment | простое присваивание (ssn) |
simple assignment operator | простая операция присваивания |
simple assignment statement | простой оператор назначения (ssn) |
simple assignments | простые присваивания (ssn) |
simple authentication | простая аутентификация (ssn) |
simple averaging method | метод подвыборки (ssn) |
simple block diagram | простая блок-схема (ssn) |
simple block diagram of an automobile steering control system | простая блок-схема системы управления движением автомобиля (ssn) |
simple box | простой блочный элемент (ssn) |
simple box containing the timer mode | простой блочный элемент, содержащий режим таймера (ssn) |
simple branching mechanism | простой механизм ветвления (ssn) |
simple but powerful technique for finding roots of an equation | простой, но мощный способ нахождения корней уравнения (ssn) |
simple camera system | простая система камер (ssn) |
simple chart | простая диаграмма (ssn) |
simple circuit | простая схема (ssn) |
simple circuits | простые схемы (ssn) |
simple class | простой класс (ssn) |
simple classes | простые классы (ssn) |
simple classes and parameterless methods | простые классы и методы без параметров (ssn) |
simple clip | простой ролик (ssn) |
simple code selection | простой выбор кода (ssn) |
simple computer system | простая вычислительная система (ssn) |
simple configuration | простая конфигурация (ssn) |
simple constraint | простое ограничение (ssn) |
simple control | простое средство управления (ssn) |
simple controls | простые средства управления (ssn) |
simple data object | простой объект данных (Alex_Odeychuk) |
simple data structure | простая структура данных (Alex_Odeychuk) |
simple data type | простой тип данных (простые типы данных делятся на две основные категории: порядковые типы (ordinal type) и вещественные типы (real type) ssn) |
simple data types | простые типы данных (ssn) |
simple data types | аргументы стандартных типов (в контексте передачи аргументов в функцию ssn) |
simple database | простая база данных (ssn) |
simple datatype | простой тип данных (ssn) |
simple decimal format | обычный десятичный формат (ssn) |
simple deployment | простое развёртывание (ssn) |
simple derived data type | простой производный тип данных (ssn) |
simple derived data types | простые производные типы данных (ssn) |
simple design | простая структура проекта (ssn) |
simple device | простое устройство (ssn) |
simple digital control | простые средства управления дискретного действия (ssn) |
simple digital control and indicators | простые средства управления и индикаторы дискретного действия (ssn) |
simple digital input | простое входное устройство дискретного действия (напр., кнопка ssn) |
simple digital inputs | простые входные устройства дискретного действия (кнопки, джойстики, переключатели и т.д. ssn) |
simple direct representation | простое прямое представление (ssn) |
simple distributed application | простое распределенное приложение (ssn) |
simple distributed applications | простые распределенные приложения (ssn) |
simple distributed environment | простая распределённая среда (ssn) |
simple dynamic object | простой динамический объект (ssn) |
simple electrical network | простая электрическая цепь (ssn) |
simple energy source | простой источник энергии (ssn) |
simple engine | простой механизм (ssn) |
simple engine that processes an array of integers | простой механизм обработки массива целых чисел (ssn) |
simple escape sequence | простая управляющая последовательность (ssn) |
simple estimation quiz | простой тест по оценке (ssn) |
simple event processing service | служба простой обработки событий (фильтрация, промежуточное хранение событий, сгенерированных источником событий, или пополнение события доступной во время его возникновения информацией Alex_Odeychuk) |
simple example | простой пример (ssn) |
simple example of refactoring | простой пример рефакторинга (ssn) |
simple example of using a pattern-matching filter | простой пример использования фильтра для сопоставления по образцу (ssn) |
simple expression | простое выражение (ssn) |
simple family of items | простое семейство элементов (см. ГОСТ Р 54132-2010/ISO/TS 13399-4:2007 ssn) |
simple fax | простое факсимильное сообщение (ssn) |
simple file input/output | простой файловый ввод-вывод (ssn) |
simple file input/output | простой файловый ввод / вывод |
simple file I/O | простой файловый ввод-вывод (ssn) |
simple filled path | простой закрашенный контур (ssn) |
simple finite-state machine | простая диаграмма состояний конечного автомата (ssn) |
simple flow of control | простейшее управление потоком (ssn) |
simple form | простая разновидность (ssn) |
simple form of episodic computation | простая разновидность эпизодического вычисления (ssn) |
simple functions | простые функции (ssn) |
simple graphical user interface | простой графический интерфейс пользователя (ssn) |
simple graphics animation | простая графическая анимация (ssn) |
simple graphics library | простая графическая библиотека (ssn) |
simple integration | простая интеграция (ssn) |
simple Java object | простой объект языка Java (не унаследованный от какого-то специфического объекта и не реализующий никаких служебных интерфейсов сверх тех, которые нужны для модели предметной области; англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
simple layout | простой макет (ssn) |
simple linear gradient | простой линейный градиент (ssn) |
simple list text chart | текстовая диаграмма в виде простого списка (ssn) |
simple lock manager | простой диспетчер блокировки (ssn) |
simple loop | обычный цикл (Alex_Odeychuk) |
simple loop | простой цикл (в графе ssn) |
simple loop by timer | обычный цикл по таймеру (Alex_Odeychuk) |
simple loop mechanisms | простые механизмы циклического выполнения (ssn) |
simple machine | простейший механизм (ssn) |
simple machine shop | простой автомат-продавец (ssn) |
simple machine shop modeling | моделирование простого автомата-продавца (ssn) |
simple machine shop modeling problem | задача моделирования простого автомата-продавца (ssn) |
Simple Mail Transfer Protocol | Простой протокол электронной почты (стандартный протокол Интернета для передачи и приёма электронной почты. Общепринятым стал метод совместного использования протоколов SMTP и POP. За последние годы предложены важные дополнения, которые позволили включать в сообщение символы разных кодировок и отправлять вложением мультимедийные, графические и крупные текстовые файлы. Гибкость протокола SMTP позволяет отправлять сообщения любого содержания по любому адресу, в том числе через третьи руки. Помимо очевидных достоинств, имеет существенные недостатки, связанные с легкостью распространения спама и проблемами борьбы с ними ssn) |
simple mail transfer protocol | простой протокол пересылки электронной почты (протокол SMTP ssn) |
simple manufacturing plant | простой промышленный агрегат (ssn) |
simple mathematical notation | простая математическая нотация (ssn) |
simple measurement data processing | основы обработки измерительной информации (ssn) |
simple member-by-member copy | простое копирование всех членов (ssn) |
simple member-by-member copy of the source object | простое копирование всех членов исходного объекта (ssn) |
simple message | простое сообщение (ssn) |
simple messages | простые сообщения (ssn) |
simple messaging | простой обмен сообщениями (ssn) |
simple method | простой метод (ssn) |
simple microcomputer | простой микрокомпьютер (ssn) |
simple microcomputer memory circuit | схема памяти простого микрокомпьютера (ssn) |
simple microwave oven | простая микроволновая печь (ssn) |
simple microwave oven equipped with buttons to set the power and the timer and to start the system | простая микроволновая печь, оборудованная кнопками включения питания, таймера и запуска системы (ssn) |
simple motor starter circuit | простая схема пускового устройства электродвигателя (ssn) |
simple mouse click | простой щелчок мыши (ssn) |
simple movie clip | простой фрагмент ролика (ssn) |
simple movieclip | простой фрагмент ролика (ssn) |
simple multiple-choice game | простая игра с множественным выбором (ssn) |
simple multithreaded program | простая многопоточная программа (ssn) |
simple MXML component | простой компонент MXML (ssn) |
simple name declared by a type declaration | простое имя, стоящее в объявлении типа (ssn) |
simple names | простые имена (ssn) |
simple navigation | простая навигация (ssn) |
simple neuron | простой нейрон (ssn) |
simple noise generator | простой генератор шума (ssn) |
simple numerical data | простые численные данные (ssn) |
simple object | простой объект (ssn) |
Simple Object Access Protocol | русскоязычный эквивалент отсутствует и вводить его признано нецелесообразным (стандарт и соответствующий ему протокол на основе XML/HTTP, предназначенный для обеспечения независимого от платформы доступа к сервисам, объектам и серверам. Предложен фирмой Microsoft. В дальнейшем фирма IBM выпустила собственную Java-версию, известную под названием IBM SOAP4J. SOAP обеспечивает простой и гибкий механизм для отсылки запросов и получения ответов через HTTP. Данный протокол не связан с какой-либо объектной моделью и может использоваться в различных бизнес-сценариях. В разработке первой версии (SOAP 1.0) участвовали фирмы Userland, Microsoft и Developmentor. С сентября 2000 г. и в настоящее время развитием протокола занимается рабочая группа комитета W3C – XMLP (XML Protocol). Задачей группы является создание версии SOAP нейтральной ко всему, кроме языка XML, используемому для представления данных ssn) |
simple observation | простое наблюдение (ssn) |
simple one-dimensional partitioning | простое одномерное разбиение (ssn) |
simple operating mechanism | простой операционный механизм (ssn) |
simple operations | простые операции (ssn) |
simple paragraph | обычный абзац (ssn) |
simple parallel operations | простые параллельные операции (ssn) |
simple password | простой пароль (ssn) |
simple password authentication | простая аутентификация по паролю (ssn) |
simple path | простой путь (в графе ssn) |
simple path | простой контур (ssn) |
simple pattern | простой шаблон (ssn) |
simple pattern | простой паттерн (ssn) |
simple pattern administration | администрирование простых шаблонов (ssn) |
simple pattern administration menu | меню администрирования простых шаблонов (ssn) |
simple pattern matching | сопоставление с простыми шаблонами (ssn) |
simple perceptron | простой перцептрон (ssn) |
simple Petri net view of a system | простое представление системы сетью Петри (ssn) |
simple picture | простое изображение (ssn) |
simple POJO | простой объект языка Java (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
simple policy | простая политика (шаблон проектирования Alex_Odeychuk) |
simple predicate | простой предикат (ssn) |
simple preset diagnosing experiment | простой безусловный диагностический эксперимент (ssn) |
simple preset diagnosing experiments | простые безусловные диагностические эксперименты (ssn) |
simple preset homing experiment | простой безусловный установочный эксперимент (ssn) |
simple preset homing experiments | простые безусловные установочные эксперименты (ssn) |
simple procedure | простая процедура (ssn) |
simple procedures | простые процедуры (ssn) |
simple producer and consumer | простая программа типа "производитель-потребитель" (ssn) |
simple program | элементарная программа (ssn) |
simple programmable function | простая программируемая функция (ssn) |
simple programs | простые программы (ssn) |
simple project | обычный проект (ssn) |
simple project | простой проект (ssn) |
simple proportional closed loop control | простая замкнутая система с пропорциональным управлением (ssn) |
simple proposition statement | простое высказывание (ssn) |
simple prototype | простой прототип (ssn) |
simple prototypes | простые прототипы (ssn) |
simple query | простой запрос (ssn) |
simple random sampling | простая случайная выборка (ssn) |
simple record set navigation bar | простая панель навигации наборов записей (ssn) |
simple recordset navigation bar | простая панель навигации наборов записей (ssn) |
simple rectangular box picture | одиночное изображение прямоугольника (ssn) |
simple recurrent network | простая рекуррентная сеть (ssn) |
simple replication | простая репликация (ssn) |
simple rule for detecting overflow in addition | простое правило обнаружения переполнения при сложении (ssn) |
simple schematic diagram | простая принципиальная схема (ssn) |
simple schematic diagram on paper | простая принципиальная схема, выполненная на бумаге (ssn) |
simple script kiddie | самый тупой хакер-дилетант (ssn) |
simple selector | простой селектор (ssn) |
simple sequence | простая последовательность (ssn) |
simple sequential flow | простая последовательность операций (ssn) |
simple sets | простые множества (ssn) |
simple software suite | комплексное программное решение (ssn) |
simple software system | простая программная система (ssn) |
simple sorting | простая сортировка (ssn) |
simple square | простой квадрат (ssn) |
simple state | простое состояние (состояние, которое не имеет вложенных состояний. Множество вложенных состоянии образует дерево, листьями которого являются простые состояния. У простого состояния нет никакой внутренней структуры, у него могут быть только внутренние переходы и действия при входе и выходе ssn) |
simple state machine diagram | простая диаграмма состояний (ssn) |
simple storage management | простое управление хранением (ssn) |
simple, straightforward task | совершенно простая задача (ssn) |
simple stream | простой поток (данных ssn) |
simple stream | простой поток данных (содержит только одну последовательность данных ssn) |
simple string | простая строка (ssn) |
simple string literal | простой строковый литерал (ssn) |
simple substitution | простая подстановка (ssn) |
simple syntax-directed definitions | простые синтаксически управляемые определения (ssn) |
simple syntax-directed translations | простые синтаксически управляемые переводы (ssn) |
simple syntax-directed translator | простой синтаксически управляемый транслятор (ssn) |
simple system | простая система (напр., управления ssn) |
simple systems | простые системы (управления ssn) |
simple text | простой текст (ssn) |
simple text | простой текстовый (ssn) |
simple text | последовательность символов (Alex_Odeychuk) |
simple text editor | простой текстовый редактор (ssn) |
simple text password | простой текстовый пароль (ssn) |
simple threaded program | простая поточная программа (ssn) |
simple timed automaton | простой временной автомат (ssn) |
simple transition | простой переход (представляет собой отношение между двумя последовательными состояниями, которое указывает на факт смены одного состояния другим. Пребывание моделируемого объекта в первом состоянии может сопровождаться выполнением некоторых действий, а переход во второе состояние будет возможен после завершения этих действий, а также после удовлетворения некоторых дополнительных условий. В этом случае говорят, что переход срабатывает. До срабатывания перехода объект находится в предыдущем от него состоянии, называемом исходным состоянием, или в источнике, а после его срабатывания объект находится в последующем от него состоянии (целевом состоянии) ssn) |
simple two port hub | обычный портовый концентратор (ssn) |
simple type system | простая система типов (ssn) |
simple unified storage | простое унифицированное хранение (ssn) |
simple user interface | простой пользовательский интерфейс (ssn) |
simple variable | переменная простого типа (ssn) |
simple variables | простые переменные (ssn) |
simple vending machine | простой торговый автомат (ssn) |
simple view | упрощённая схема (напр., выполнения программы ssn) |
simple view of running a program | упрощённая схема выполнения программы (ssn) |
simple visual programming language | простой язык программирования с управляющей графикой (Alex_Odeychuk) |
simple way | простой способ (ssn) |
simple ways to improve the readability of code | простые способы облегчить читаемость кода (ssn) |
simple, well-defined ways | хорошо определённые и простые правила (ssn) |
simple XPath expression | простое выражение XPath (ssn) |
small programs that interact with one another in simple, well-defined ways | небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам (ssn) |
specification of a simple software system | спецификации простой программной системы (ssn) |
state machine for a simple multiple-choice game | конечный автомат для простой игры с множественным выбором (ssn) |
state machine model of a simple microwave oven | модель конечного автомата простой микроволновой печи (ssn) |
state machine model of a simple microwave oven equipped with buttons to set the power and the timer and to start the system | модель конечного автомата простой микроволновой печи, оборудованной кнопками включения питания, таймера и запуска системы (ssn) |
Statement-level concurrency is a relatively simple concept | Параллельность на уровне операторов является относительно простым понятием (ssn) |
suggestions for developing simple programs | предложения по разработке простых программ (ssn) |
term as simple data type | терм как простой тип данных (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
the BCD format is similar to the hexadecimal presentation, with the simple difference that only values between 0 and 99 can be stored in a BCD byte, whereas a hexadecimal byte reaches from 0 to FF | формат BCD подобен шестнадцатеричному представлению с ограничением диапазона чисел 0..99 вместо 0..FF (ssn) |
the behavior of the automatic version is to perform a simple member-by-member copy of the source object | Работа автоматической версии состоит в выполнении простого копирования всех членов исходного объекта |
the design of automatic digital computers is not a simple matter | Проектирование автоматических цифровых компьютеров – непростое дело |
the design of automatic digital computers is not a simple matter | Проектирование автоматических цифровых компьютеров непростое дело |
the simple name declared by a type declaration denotes the declared type, unless the type declaration declares both a base type and a subtype of the base type | Простое имя, стоящее в объявлении типа, обозначает описываемый тип при условии, что это объявление не описывает одновременно базовый тип и подтип этого базового типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the simple Petri net view of a system concentrates on two primitive concepts: events and conditions | Простое представление системы сетью Петри основано на двух основополагающих понятиях: событиях и условиях |
theory of simple precedence languages | теория языков простого предшествования (синтаксический анализ, перевод и компиляция ssn) |
this simple pattern is at the heart of episodic computation | этот простой паттерн – самая суть эпизодических вычислений |
this simple pattern is at the heart of episodic computation | этот простой паттерн самая суть эпизодических вычислений |
trace of the simple vending machine | протокол простого торгового автомата (ssn) |
trace of the simple vending machine at the moment it has completed service of its first two customers | протокол простого торгового автомата в момент завершения обслуживания первых двух покупателей (ssn) |
translator for simple expressions | транслятор простых выражений (ssn) |
typing in a simple program | ввод элементарной программы (ssn) |
typing in a simple program in IP | ввод элементарной программы средствами IP (ssn) |
typing in a simple program in IP | ввод элементарной программы средствами ментального программирования (ssn) |
using the delegation model in a simple multithreaded program | использование модели делегирования в простой многопоточной программе (ssn) |
very simple pipelined circuit | очень простая схема конвейера (ssn) |
very simple prototype | очень простой прототип (ssn) |