Russian | English |
аббревиатура: стандартное обозначение книжки М.Эллис и Б.Страуструпа "Справочное руководство по языку программирования C++ с комментариями" | ARM (изд-во Мир, М.: 1992 (Margaret A. Ellis, Bjarne Stroustrup "The C++ Annotated Reference Manual")) |
автомат с ограничением по времени | reduced-time automaton (ssn) |
адекватность реальным системам по сравнению с чисто дискретной моделью | adequacy to the real systems compared to the purely discrete model (ssn) |
алгоритм с отсечением по времени | anytime algorithm (возвращает допустимое решение, даже если прерывается в любой момент времени sas_proz) |
алгоритм с параллелизмом по данным | data-parallel algorithm (Alex_Odeychuk) |
алгоритм сжатия данных с использованием кодирования по длинам серий | run-length encoding (ssn) |
алгоритм ARLL, усовершенствованный алгоритм сжатия данных с использованием кодирования по сериям ограниченной длины | advanced run-length limited encoding (ssn) |
аналитическое проектирование регулятора с опережением по фазе | analytical phase-lead design (ssn) |
арифметические операции над числами с плавающей точкой согласно стандарту Института инженеров по электротехнике и радиоэлектронике | IEEE-standard floating point arithmetic (IBM Alex_Odeychuk) |
архитектура с управлением по событиям | event-driven architecture (Alex_Odeychuk) |
архитектура серверов с управлением по процессам | process-driven server architecture (ssn) |
архитектура серверов с управлением по событиям | event-driven server architecture (ssn) |
база данных с предложениями по развитию языка программирования | language suggestion database (Alex_Odeychuk) |
барабан с дискретными выходами и переходом между шагами по времени | timed drum with discrete outputs (ssn) |
барабан с дискретными выходами и переходом между шагами по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанные командоаппараты с переходом по времени / событию | timer/event drums |
барабанный командоаппарат с выходом по словам и переходом между шагами по событию | event drum with word output (ssn) |
барабанный командоаппарат с выходом по словам и переходом по событию | event drum with word output (ssn) |
барабанный командоаппарат с дискретными выходами и переходом между шагами по времени | timed drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом между шагами по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом между шагами по событию | event drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом по событию | event drum with discrete outputs (ssn) |
барабанный командоаппарат с переходом по времени / событию | timer/event drum |
бесплатное ПО с размещённой в нём рекламой | adware (ssn) |
Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | 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 ssn) |
большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
в областях применения с особыми требованиями по технической безопасности | in safety-critical environments (Alex_Odeychuk) |
в областях применения с особыми требованиями по функциональной безопасности | in safety-critical environments (корпорации AdaCore Alex_Odeychuk) |
виртуальная память с подкачкой страниц по запросам | demand-paged virtual memory (ssn) |
внутренняя схема JK-триггера с запуском по перепаду сигнала | internal circuitry of edge-triggered JK flip-flop (ssn) |
внутренняя схема D-триггера с запуском по перепаду сигнала | internal circuitry of edge-triggered D flip-flop (ssn) |
внутренняя схема JK-триггера с запуском по перепаду сигнала | internal circuitry of edge-triggered J-K flip-flop (ssn) |
внутренняя схема JK-триггера с запуском по фронту | internal circuitry of edge-triggered JK flip-flop (ssn) |
внутренняя схема D-триггера с запуском по фронту | internal circuitry of edge-triggered D flip-flop (ssn) |
внутренняя схема JK-триггера с запуском по фронту | internal circuitry of edge-triggered J-K flip-flop (ssn) |
внутренняя схема D-триггера с запуском по фронту сигнала | internal circuitry of edge-triggered D flip-flop (ssn) |
внутренняя схема JK-триггера с запуском по фронту сигнала | internal circuitry of edge-triggered JK flip-flop (ssn) |
внутренняя схема JK-триггера с запуском по фронту сигнала | internal circuitry of edge-triggered J-K flip-flop (ssn) |
Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения | the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
встроенное программное обеспечение с особыми требованиями по функциональной безопасности | safety-critical embedded applications (Electronic Design; контекстуальный перевод на русс. язык Alex_Odeychuk) |
вызов подпрограммы с передачей параметров по значению | call by value (ssn) |
вызов подпрограммы с передачей параметров по ссылке | call by reference (ssn) |
вызов с передачей значений параметров по требованию | call by need (ssn) |
вызов с передачей значений параметров только по требованию | call by need (ssn) |
вызов с передачей параметров по значению | call by value (подпрограммы или функции; в программировании – способ передачи параметров вызываемой функции, подпрограмме или процедуре, при котором передаются актуальные значения параметров ssn) |
вызов с передачей параметров по имени | call by name (подпрограммы или функции ssn) |
вызов функции с передачей параметров по значению | call by value (ssn) |
вызов функции с передачей параметров по ссылке | call by reference (ssn) |
выполнять сопоставление с образцом по | pattern match on (Alex_Odeychuk) |
выравнивание по левому и правому краю с помощью манипуляторов потока left и right | left justification and right justification with stream manipulators left and right (ssn) |
высокоплотное мультиплексирование с разделением по длинам волн | dense wave-length division multiplex (ssn) |
высокоплотное мультиплексирование с разделением по длинам волн | dense wavelength division multiplex (ssn) |
высокоплотное мультиплексирование с разделением по длинам волн | dense wave length division multiplex (ssn) |
вычисление с передачей параметров по значению | strict evaluation (ssn) |
вычисления в системах с особыми требованиями по функциональной безопасности | safety-critical computing (корпорации AdaCore Alex_Odeychuk) |
данные по оценке взаимодействия пользователей с приложением | UX data (Alex_Odeychuk) |
двоичная память с адресацией по содержимому | binary CAM (ssn) |
двоичная память с адресацией по содержимому | binary content-addressable memory (ssn) |
демонстрационное ПО с ограниченными возможностями | crippleware (ssn) |
диспетчеризация по принципу первоочередного выполнения задачи с ближайшим сроком завершении | earliest deadline first dispatching (Alex_Odeychuk) |
диспетчеризация по принципу приоритетного выполнения операций с наименьшей длительностью рабочего цикла | shortest operating time scheduling (ssn) |
жизненно важная система с особыми требованиями по технической безопасности | high-profile safety-critical system (Alex_Odeychuk) |
запоминающее устройство с обращением по адресу | addressable store (ssn) |
запоминающий триггер с преимуществом по включению | set flip-flop (ssn) |
запоминающий триггер с преимуществом по включению | S-flip-flop (ssn) |
Затраты вычислительных ресурсов, связанные с созданием потока, его поддержкой и управлением, у операционной системы значительно ниже по сравнению с аналогичными затратами для процессов, поскольку объём информации отдельного потока гораздо меньше, чем у процесса | A thread is a lighter burden on the operating system to create, maintain, and manage because very little information is associated with a thread. This lighter burden suggests that a thread has less overhead compared to a process (см. "Parallel and Distributed Programming Using C++" by Cameron Hughes, Tracey Hughes 2003 ssn) |
индустрия программной продукции с особыми требованиями по технической безопасности | safety-critical industry (корпорации AdaCore Alex_Odeychuk) |
Инженеры по аппаратуре должны работать совместно с инженерами-программистами при создании надёжных встроенных систем | Hardware engineers need to work with software engineers in the creation of reliable embedded systems (ssn) |
инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности | development and verification tools for safety- and mission-critical systems (корпорации AdaCore Alex_Odeychuk) |
интеграция с моделированием ПО | integration with software modeling (ssn) |
искусственная нейронная сеть с обучением по алгоритму типа "перцептрон" | perceptron-type network (ssn) |
как ожидается, с помощью рефакторинга Класс извлечения CAdmin обеспечивает связи ассоциации с новыми классами. Связи поддерживаются двумя методами: getMsgSeeker и getMsgSender . Первый получает объект CMsgSeeker, который отвечает за извлечение исходящих сообщений для уровня представления. Второй получает объект CMsgSender, ответственный за исходящие сообщения, передаваемые по электрон почте | as expected by the Extract Class refactoring, CAdmin maintains association links to new classes. The links are supported by two methods: getMsgSeeker and getMsgSender. The former gets the CMsgSeeker object, the one responsible for retrieving outmessages for presentation layer. The latter gets the CMsgSender object responsible for emailing outmessages (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
код с контролем по чётности | parity check code (ssn) |
контейнер с политикой высвобождения памяти по умолчанию | default release policy container (All components in the dependency injection container are singletons by default and using the default release policy container keeps reference to all components, even transient ones. Alex_Odeychuk) |
конференция по программному обеспечению с высоким уровнем полноты безопасности | high-integrity software conference (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore Alex_Odeychuk) |
конференция по программному обеспечению с высоким уровнем полноты безопасности | high integrity software conference (Alex_Odeychuk) |
коррекция с опережением по фазе | phase-lead compensation (ssn) |
коррекция с опережением по фазе: синтез с помощью диаграммы Боде | phase-lead design using the Bode diagram (ssn) |
коррекция с опережением по фазе: синтез с помощью корневого годографа | phase-lead design using the root locus (ssn) |
коррекция с отставанием и опережением по фазе | lag-lead compensation (ssn) |
коррекция с отставанием по фазе | phase-lag compensation (ssn) |
коррекция с отставанием по фазе: синтез с помощью диаграммы Боде | phase-lag design using the Bode diagram (ssn) |
коррекция с отставанием по фазе: синтез с помощью корневого годографа | phase-lag design using the root locus (ssn) |
курсы по программированию с разработкой проектов готовых приложений | projects-based course (Alex_Odeychuk) |
линейное управление с обратной связью по состоянию | linear state feedback control (ssn) |
маркер доступа с контролем по времени | timed token (в сетях FDDI ssn) |
маркер доступа с ограничением по времени | timed token (в сетях FDDI ssn) |
маскированный барабанный командоаппарат с выходом по словам и переходом между шагами по событию | masked event drum with word output (ssn) |
маскированный барабанный командоаппарат с выходом по словам и переходом по событию | masked event drum with word output (ssn) |
маскированный барабанный командоаппарат с дискретными выходами и переходом между шагами по событию | masked event drum with discrete outputs (ssn) |
маскированный барабанный командоаппарат с дискретными выходами и переходом по событию | masked event drum with discrete outputs (ssn) |
массив с адресацией по содержанию | content addressable array (ssn) |
массивы с адресацией по содержанию | content addressable arrays (ssn) |
меры по устранению недостатков с рекомендуемыми сроками их устранения | remedial actions and timescales recommended (ssn) |
метод интерфейса с реализацией по умолчанию | interface default method (Alex_Odeychuk) |
метод интерфейса с реализацией по умолчанию | default method for interface (Alex_Odeychuk) |
метод интерфейса с реализацией по умолчанию | default method for an interface (говоря о методе интерфейса и реализации метода Alex_Odeychuk) |
метод разработки ПО с основанным на решении моделированием | solution-based modeling (ssn) |
метод с реализацией по умолчанию | default method (в языках программирования C# 8.0 и Java 8 Alex_Odeychuk) |
микрослужба с управлением по событиям | event-driven microservice (Alex_Odeychuk) |
микрослужбы с управлением по событиям в приложениях для решения задач реальной сложности | real-world event-driven microservices (Microsoft Alex_Odeychuk) |
моделирование с управлением по сценарию | script-driven simulation (ssn) |
модель распараллеливания по данным с устранением зависимостей | task-parallel model with dependency resolution (Alex_Odeychuk) |
модуль кода с управляем по событиям | event-driven code module (Alex_Odeychuk) |
мультиплексирование с разделением по времени | time division multiplexing (см. LingvoComputer En-Ru к версии ABBYY Lingvo x6 ssn) |
мультиплексирование с разделением по времени | time division multiplexing (каналов ssn) |
мультиплексирование с разделением по длинам волн | wave-length division multiplex (ssn) |
мультиплексирование с разделением по длинам волн | wavelength division multiplex (ssn) |
мультиплексирование с разделением по длинам волн | wave length division multiplex (ssn) |
на основе равноправных узлов с передачей маркера по сетевой магистрали | on a peer to peer token passing highway (ssn) |
набор данных с распределением по разделам | partitioned dataset (ssn) |
набор данных с распределением по разделам | partitioned data set (ssn) |
набор средств компиляции с поддержкой профилирования по времени | time profiling grade (University of Melbourne, Австралия Alex_Odeychuk) |
научные исследования в сфере разработки программного обеспечения с особыми требованиями по технической безопасности | research in the area of safety-critical software development (Alex_Odeychuk) |
научные исследования в сфере разработки программного обеспечения с особыми требованиями по функциональной безопасности | research in the area of safety-critical software development (корпорации AdaCore Alex_Odeychuk) |
Нашей целью при декомпозиции программы является создание модулей, которые в свою очередь представляют собой небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам | 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) |
небольшие преимущества по сравнению с простым хранением информации в массиве | little benefit over simply keeping the information in an array (ssn) |
небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам | small programs that interact with one another in simple, well-defined ways (ssn) |
нейронная сеть с обучением по алгоритму обратного распространения | back propagation network (ошибок ssn) |
нейронная сеть с обучением по алгоритму обратного распространения во времени | backpropagation through time (ssn) |
нейронная сеть с обучением по алгоритму обратного распространения ошибок во времени | backpropagation through time (ssn) |
нечёткая адаптивная нейронная сеть с умозаключением по алгоритму Цукамото | adaptive neuro-fuzzy inference system (сокр. ANFIS ssn) |
Ниже описаны некоторые из важнейших характеристик Windows, с которыми вы ближе познакомитесь по мере дальнейшего изложения материала | Here are some of the major Windows characteristics, which will become much more familiar as you read through the book (см. Windows System Programming, 4th Edition by Johnson M. Hart 2010 ssn) |
обработка данных, необходимая для работы элементов системы управления с учётом требований по безопасности | processing required to operate the control elements taking into account the safety requirements (ssn) |
обработка с оптимизацией по времени | time-optimized processing (ssn) |
обработка данных с параллелизмом по данным | data-parallel processing (Alex_Odeychuk) |
объект с доступом по указателю | designated object (Alex_Odeychuk) |
объект с косвенным доступом по значению указательного типа | designated object (Alex_Odeychuk) |
объект с косвенным доступом по указателю | designated object (Alex_Odeychuk) |
объявление с присваиваемыми по умолчанию значениями атрибута | default declaration (ssn) |
ожидание с ограничением по времени | timed wait (ssn) |
операционная система с механизмом подкачки страниц по требованию | demand-paged operating system (ssn) |
операционная система с подкачкой по требованию | demand-paged operating system (ssn) |
операционная система с подкачкой по требованию | demand paged operating system (ssn) |
операционная система с подкачкой страниц по требованию | demand paged operating system (ssn) |
операционная система с подкачкой страниц по требованию | demand-paged operating system (ssn) |
ОС с механизмом подкачки страниц по требованию | demand-paged operating system (ssn) |
ОС с подкачкой страниц по требованию | demand-paged operating system (ssn) |
ОС с подкачкой страниц по требованию | demand paged operating system (ssn) |
ответственная система с особыми требованиями по технической безопасности и ответственные системы | safety- and mission-critical system (Alex_Odeychuk) |
ответственная система с особыми требованиями по функциональной безопасности | safety- and mission-critical system (в ответственной системе (системе жёсткого реального времени) все времена обработки должны каждый раз гарантироваться и соблюдаться, иначе система не будет правильно и своевременно функционировать, что может привести к тяжким последствиям, включая гибель людей или разрушение объектов техники, поставленных под управление указанной системы; компании AdaCore Alex_Odeychuk) |
отладка с возможностью двигаться по маршруту выполнения кода в обратном направлении | time-travel debugging (Alex_Odeychuk) |
отладка с возможностью двигаться по направлению выполнения кода в обратном направлении | time-travel debugging (Попав в некоторое некорректное состояние приложения, программист часто задаётся вопросом: "Как же так вышло?". Ранее получить на него ответ можно было либо проигрывая в уме команды в обратном порядке, либо перезапуская отладку снова и снова с включением журналирования и добавления новых контрольных точек. Всё это занимало время. С помощью отладки с возможностью двигаться по направлению выполнения кода в обратном направлении всё становится проще. Alex_Odeychuk) |
относящийся к формату слова с записью старшего байта по наименьшему адресу | big-endian (ssn) |
оценивание ПО с точки зрения пользователя | user-centered software evaluation (ssn) |
Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (см. IEC 61508-7: 2010) |
память с адресацией по содержимому | content-addressable memory (память, содержащая различные элементы данных и адресуемая предъявлением некоторого элемента данных, который одновременно сравнивается со всеми хранящимися в такой памяти данными. Если совпадающий элемент данных в памяти найден, то возвращается адрес ячейки с совпавшим содержимым, в противном случае выдаётся сигнал "промах" (miss). Различают два варианта САМ – более простой двоичный (binary САМ, BCAM), предусматривающий поиск слов данных, которые целиком состоят из единиц и нулей, и троичный (ternary САМ, TCAM), в котором предусмотрено дополнительно третье состояние Х, означающее, что допустимы любые значения. Троичный вариант стоит дороже, но обеспечивает увеличенную гибкость поиска. Наиболее широко память такого типа применяется в ассоциативных кэш-памятях (associative cache) ssn) |
память с доступом по двум направлениям | dual access memory (ssn) |
память с подкачкой страниц по запросам | demand-paged memory (ssn) |
параллелизм с синхронизацией по часам | clock-based concurrency (IBM Alex_Odeychuk) |
первое знакомство с передачей параметров по ссылке | first view of call-by-reference (ssn) |
передача аргументов функциям по ссылке с помощью указателей | passing arguments to functions by reference with pointers (ssn) |
планирование процессов с квантованием по времени | time-sliced scheduling (режим многозадачной работы ssn) |
планирование с квантованием по времени | time-sliced scheduling (ssn) |
по аналогии с | in a similar manner to (чем-либо ssn) |
ПО для работы с сообщениями | messaging software (общий термин, обозначающий программу, помогающую пользователю получать, просматривать или выполнять любые другие действия с сообщениями ssn) |
по определению, у схемы классического образца типа последовательностной схемы с обратной связью нет входа для подачи тактового сигнала, которым задавались бы моменты фиксации значений входных сигналов | By definition, a fundamental-mode circuit such as a feedback sequential circuit does not have a clock to tell it when to sample its inputs (см. "Digital Design – Principles & Practices" by John F. Wakerly Third Edition, 1999) |
ПО, поставляемое в комплекте с компьютером, периферийными устройствами или другими пакетами в целях повышения привлекательности условий приобретения продукта | bundled software (ssn) |
ПО с алгоритмами машинного обучения | machine learning software (Alex_Odeychuk) |
ПО с криптографической защитой | encrypted software (ssn) |
ПО с ОИК | OSS (программное обеспечение с открытым исходным кодом ssn) |
ПО с ОИК | open source software (ssn) |
ПО с оконным интерфейсом | windowing software (ssn) |
ПО с открытым исходным кодом | open-source software (ssn) |
ПО с открытым исходным кодом | open source software (ssn) |
ПО с показом баннеров | bannerware (свободно распространяемая программа, которая периодически показывает на Web-страницах рекламу тех или иных продуктов и/или услуг ssn) |
ПО с элементами искусственного интеллекта | softer software (ssn) |
ПО, связанное с безопасностью | safety-related software (ssn) |
Подробное описание сопоставления с образцом по маске и его применения дано в приложении B | See appendix B for complete details on how you can apply glob pattern matching (см. "The Well-Grounded Java Developer" by Benjamin J Evans, Martijn Verburg 2013 ssn) |
позволять верифицировать свойства с ограничениями по времени | allow the verification of time bounded properties (ssn) |
получать рекомендации по улучшению кода с учётом контекста | get contextual code hinting (Alex_Odeychuk) |
полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (ssn) |
практическая деятельность по оценке рисков, связанных с защитой | security risk assessment practices (ssn) |
прерывание с запуском по перепаду сигнала | edge-triggered interrupt (ssn) |
прерывание с запуском по фронту сигнала | edge-triggered interrupt (ssn) |
пригодный для использования в системах с особыми требованиями по технической безопасности | amenable to safety-critical systems (корпорации AdaCore Alex_Odeychuk) |
приложение с высокими требованиями по информационной безопасности | high-security application (корпорации AdaCore Alex_Odeychuk) |
приложение с высокими требованиями по надёжности | high-reliability application (корпорации AdaCore Alex_Odeychuk) |
приложение с особыми требованиями по безопасности | safety-critical application (эксплуатации Alex_Odeychuk) |
приложение с особыми требованиями по технической безопасности | safety-critical application (корпорации AdaCore Alex_Odeychuk) |
приложение с управлением по событиям | event-driven application (Alex_Odeychuk) |
приложения, связанные с особыми требованиями по технической безопасности и высокими требованиями по информационной безопасности | safety- and security-related applications (Alex_Odeychuk) |
приложения, связанные с особыми требованиями по функциональной и информационной безопасности | safety- and security-related applications (корпорации AdaCore Alex_Odeychuk) |
программирование с управлением по событиям | event-driven programming (стиль проектирования программных систем, при котором поведение объектов системы определяется набором возможных внешних событий и ответных реакций объектов на них Alex_Odeychuk) |
программирование с учётом требований по использованию памяти и обработке данных в реальном времени | programming with specific space and time requirements (Electronic Design Alex_Odeychuk) |
программирование численных вычислений с параллелизмом по данным | data-parallel numerical programming (Microsoft Alex_Odeychuk) |
программное обеспечение с высоким уровнем полноты безопасности и особыми требованиями по технической безопасности | safety-critical and high-integrity software (Alex_Odeychuk) |
программное обеспечение с высоким уровнем полноты безопасности и особыми требованиями по функциональной безопасности | safety-critical and high-integrity software (корпорации AdaCore Alex_Odeychuk) |
программное обеспечение с высокими требованиями по информационной и технической безопасности | safe and secure software (компании AdaCore Alex_Odeychuk) |
программное обеспечение с особыми требованиями по технической безопасности, предназначенное для управления железнодорожным движением | safety-critical software in railway systems (Alex_Odeychuk) |
программное обеспечение с особыми требованиями по функциональной безопасности | safety-related software (корпорации AdaCore Alex_Odeychuk) |
программное обеспечение с особыми требованиями по функциональной безопасности, предназначенное для управления железнодорожным движением | safety-critical software in railway systems (корпорации AdaCore Alex_Odeychuk) |
проект разработки программного обеспечения с особыми требованиями по технической безопасности | safety-critical software project (корпорации AdaCore Alex_Odeychuk) |
проект разработки программного обеспечения с особыми требованиями по функциональной безопасности | safety-critical project (корпорации AdaCore Alex_Odeychuk) |
проектирование регулятора с опережением по фазе | phase-lead design (ssn) |
проектирование регулятора с отставанием по фазе | phase-lag design (ssn) |
Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
профиль с особыми требованиями по технической безопасности | safety critical profile (Alex_Odeychuk) |
процедуры по инициированию модификаций систем, связанных с безопасностью | the procedures for initiating modifications to the safety-related systems (см. IEC 61508-1, ГОСТ Р МЭК 61508-1-2007 ssn) |
процессор с подкачкой страниц по запросам | demand-paged processor (ssn) |
разработка ПО с ориентацией на тестирование | test driven development (методология проектирования ПО, предусматривающая создание (зачастую автоматическое) тестовых примеров (test case) ещё до появления самих программ, функциональность которых проверяется путём выполнения этих тестов ssn) |
разработка программного обеспечения с высокими требованиями по технической безопасности | safety-critical software development (Alex_Odeychuk) |
разработка программного обеспечения с особыми требованиями по функциональной безопасности | safety-critical software development (корпорации AdaCore Alex_Odeychuk) |
разработка программного обеспечения с особыми требованиями по функциональной безопасности | safe software development (Electronic Design Alex_Odeychuk) |
разработка связанного с безопасностью объектно-ориентированного ПО | development of safety-related object oriented software (ssn) |
распределенные вычисления с динамическим выбором, разделением и интеграцией по требованию географически удалённых вычислительных ресурсов и ресурсов хранения данных | grid computing (Alex_Odeychuk) |
реализация регистра с запуском по фронту | implementation of an edge-triggered register (ssn) |
решение по сотрудничеству с заказчиками | client engagement solution (ssn) |
Решения по адаптации принимаются в соответствии с процессом принятия решений | Make tailoring decisions in accordance with the Decision-making Process (см. ISO/IEC 15288:2002E ssn) |
руководство по работе с аппаратурой | hardware manual (ssn) |
руководство по разработке связанного с безопасностью объектно-ориентированного ПО | guidance for the development of safety-related object oriented software (ssn) |
руководство по разработке связанного с безопасностью объектно-ориентированного программного обеспечения | guidance for the development of safety-related object oriented software (ssn) |
с адресацией по содержимому | content-addressable (ssn) |
с высокими требованиями по информационной безопасности | high-security (Alex_Odeychuk) |
с высокими требованиями по технической безопасности | safety-critical (корпорации AdaCore Alex_Odeychuk) |
с другой стороны, текущую деятельность можно представить в виде пары действий: действие при входе, которое начинает деятельность по входу в состояние, и действие при выходе, которое прекращает деятельность при выходе из этого состояния | Alternately, ongoing activity may be represented by a pair of actions, an entry action that starts the activity on entry to the state and an exit action that terminates the activity on exit from the state (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
с загрузкой по требованию | lazy-load (Alex_Odeychuk) |
с запуском по отрицательному фронту | negative edge-triggered (ssn) |
с запуском по отрицательному фронту сигнала | negative edge-triggered (ssn) |
с запуском по перепаду сигнала | edge-triggered (ssn) |
с запуском по положительному фронту | positive edge-triggered (ssn) |
с запуском по положительному фронту сигнала | positive edge-triggered (ssn) |
с запуском по уровню сигнала | level-triggered (тип электронной логической схемы, в которой установление высокого или низкого уровня напряжения сигнала рассматривается как событие запуска для возможного инициирования некоторой операции, напр., прерывания ssn) |
с запуском по установившемуся значению сигнала | level-triggered (ssn) |
с запуском по фронту сигнала | edge-triggered (тип электронной логической схемы, в которой каждый перепад напряжения сигнала (отрицательный, от высокого к низкому уровню, или положительный, от низкого к высокому уровню) рассматривается как отдельное событие запуска для возможного инициирования некоторой операции, напр., прерывания; при одной и той же тактовой частоте прибор с запуском по фронту сигнала работает вдвое быстрее, чем прибор с запуском по уровню сигнала ssn) |
с использованием конструктора по умолчанию | using a default constructor (корпорации Cray Alex_Odeychuk) |
с квантованием по времени | time-sliced (ssn) |
с механизмом подкачки страниц по требованию | demand-paged (ssn) |
"с миру по нитке ... " | salami shaving (сетевое компьютерное мошенничество (преступление) – изменение программы таким образом, чтобы она списывала небольшое (обычно незаметное для клиента) количество денег с громадного числа счетов, что в результате даёт весьма значительную сумму ssn) |
с опережением по фазе | phase-lead (коррекция, регулятор ssn) |
с оптимизацией по времени | time-optimized (ssn) |
с особыми требованиями по безопасности | safety-critical (безопасности эксплуатации (технической безопасности) Alex_Odeychuk) |
с особыми требованиями по безопасности | security- and safety-critical (безопасности информации (информационной безопасности) и безопасности эксплуатации (технической безопасности); корпорации AdaCore Alex_Odeychuk) |
с особыми требованиями по информационной безопасности | security-critical (Alex_Odeychuk) |
с особыми требованиями по информационной и технической безопасности | security- and safety-critical (корпорации AdaCore Alex_Odeychuk) |
с особыми требованиями по технической и информационной безопасности | safety- and security-critical (adacore.com Alex_Odeychuk) |
с особыми требованиями по функциональной безопасности | safety-related (корпорации AdaCore Alex_Odeychuk) |
с особыми требованиями по функциональной безопасности | safety-critical (корпорации AdaCore Alex_Odeychuk) |
с особыми требованиями по функциональной и информационной безопасности | safety- and security-related (корпорации AdaCore Alex_Odeychuk) |
с отставанием по фазе | phase-lag (коррекция ssn) |
с параллелизмом по данным | data-parallel (Alex_Odeychuk) |
с параллелизмом по данным | dataparallel (Alex_Odeychuk) |
с параллелизмом по данным | in a data-parallel manner (chapel-lang.org Alex_Odeychuk) |
с параллелизмом по задачам | task-parallel (Alex_Odeychuk) |
с планированием по времени | timed (Alex_Odeychuk) |
с подкачкой страниц по запросам | demand-paged (ssn) |
с помощью конструктора по умолчанию | using a default constructor (корпорации Cray Alex_Odeychuk) |
с помощью ПО | in software (ssn) |
с привязкой по времени | time-aware (Alex_Odeychuk) |
с распараллеливанием по данным | data-parallel (Alex_Odeychuk) |
с распараллеливанием по задачам | task-parallel (Alex_Odeychuk) |
с регулированием по времени | timed (Alex_Odeychuk) |
с совместимым ПО | software compatible (ssn) |
с точки зрения практической работы по разработке приложений | from a practical development perspective (Alex_Odeychuk) |
с управлением по командам | command-driven (ssn) |
с управлением по прерываниям | interrupt driven (ssn) |
с управлением по процессам | process-driven (ssn) |
с управлением по сигналам о событиях | event-cue-driven (ssn) |
с управлением по событиям | event-driven (способ описания поведения системы, при котором все события можно идентифицировать и каждое из них связать с последовательностью действий, выполняемых при его возникновении. События в системе могут возникать асинхронно ssn) |
с учётом требований по безопасности | taking into account the safety requirements (ssn) |
с учётом требований по использованию памяти и обработке данных в реальном времени | with specific space and time requirements (Electronic Design; контекстуальный перевод на русс. язык Alex_Odeychuk) |
свойства с ограничениями по времени | time bounded properties (ssn) |
связанное с безопасностью объектно-ориентированное ПО | safety-related object oriented software (ssn) |
связанный с особыми требованиями по функциональной и информационной безопасности | safety- and security-related (корпорации AdaCore Alex_Odeychuk) |
Связь между ПЛК осуществляется на основе равноправных узлов отсутствует главная станция с передачей маркера по сетевой магистрали, образованной биаксиальным кабелем | PLCs communicate with each other on a peer to peer no master token passing highway based on twinaxial cable (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
семинар по распределённым нереляционным базам данным с открытым исходным кодом | NoSQL meetup (напр., по базам данным Cassandra, Dynomite, Voldemort, HBase, Hypertable, CouchDB и MongoDB; базы данных NoSQL не используют язык SQL Alex_Odeychuk) |
сервер с управлением по процессам | process-driven server (ssn) |
сервер с управлением по событиям | event-driven server (ssn) |
сервис по работе с версиями | revision service (ssn) |
синтез оптимальных систем управления с использованием обратной связи по состоянию | design of optimal control systems using state variable feedback (ssn) |
синтез оптимальных систем управления с использованием обратной связи по состоянию и интегральных квадратичных оценок качества | design of optimal control systems using state variable feedback and error-squared performance indices (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008 ssn) |
синтез регулятора с опережением по фазе | phase-lead design (ssn) |
синтез регулятора с отставанием по фазе | phase-lag design (ssn) |
синтез систем с обратной связью по состоянию | design of state variable feedback systems (ssn) |
система исключительной важности с особыми требованиями по технической безопасности | high-profile safety-critical system (commercial aviation, military aviation, air-traffic management, railway, medical and space applications; корпорации AdaCore Alex_Odeychuk) |
система с высокими требованиями по защищённости | high-security system (от несанкционированного доступа Alex_Odeychuk) |
система с высокими требованиями по защищённости | security-critical system (корпорации AdaCore Alex_Odeychuk) |
система с высокими требованиями по информационной безопасности | high-security system (корпорации AdaCore Alex_Odeychuk) |
система с высокими требованиями по информационной безопасности | security-critical system (корпорации AdaCore Alex_Odeychuk) |
система с обратной связью по состоянию | state variable feedback system (ssn) |
система с обширным ПО | software-intensive system (система, функциональность которой определяется главным образом её программными средствами ssn) |
система с повышенными требованиями по безопасности | safety-critical system (Alex_Odeychuk) |
система типов с распределением данных в памяти по областям | place-based type system (в языке распределенного параллельного программирования X10; IBM Alex_Odeychuk) |
система управления с внутренней моделью, обратной связью по состоянию и регулятором | internal model control with state variable feedback and a compensator (ssn) |
система управления с особыми требованиями по технической безопасности | safety-critical control system (корпорации AdaCore Alex_Odeychuk) |
системы с квантованием по времени | time-sliced systems (мультипрограммные ssn) |
системы с обратной связью по состоянию | state variable feedback systems (ssn) |
системы с особыми требованиями по технической безопасности и высокими требованиями по информационной безопасности | safety-critical and high-security systems (adacore.com Alex_Odeychuk) |
следствия, связанные с экспериментами по распознаванию состояний | corollaries regarding state identification experiments (ssn) |
Сложность ПО имеет тенденцию экспоненциально расти вместе с его объёмом | Software complexity tends to increase exponentially with size (ssn) |
Сложность сетей растёт по экспоненте с добавлением новых элементов к структуре. На практике все сложные работающие структуры, включая живые организмы и сделанные человеком системы, являются иерархическими | the complexity of networks grows exponentially with addition of new elements to the structure. In practice, all complex structures that work, including living organisms and human-made systems, are hierarchies (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
служба с управлением по событиям | event-driven service (Alex_Odeychuk) |
службы с управлением по событиям в приложениях для решения задач реальной сложности | real-world event-driven services (Microsoft Alex_Odeychuk) |
совместимая система с разделением по времени | compatible time-sharing system (ssn) |
совместимая система с разделением по времени | compatible time sharing system (ssn) |
сообщество разработчиков ПО с открытым исходным кодом | open source community (ssn) |
сообщество разработчиков ПО с открытым исходным кодом для средств автоматизации | OSCAT (ssn) |
сообщество разработчиков ПО с открытым исходным кодом для средств автоматизации | open source community for automation technology (ssn) |
сообщество разработчиков ПО с открытым исходным кодом для технических средств автоматизации | open source community for automation technology (ssn) |
сообщество разработчиков ПО с открытым исходным текстом для средств автоматизации | open source community for automation technology (ssn) |
сообщество разработчиков ПО с открытым исходным текстом для средств автоматизации | OSCAT (ssn) |
соответствующий стандартам на системы с особыми требованиями по технической безопасности | amenable to safety-critical systems (корпорации AdaCore Alex_Odeychuk) |
сопоставление с образцом по маске | glob pattern matching (Java 7 ssn) |
сортировка выборкой с передачей по ссылке | selection sort with pass-by-reference (ssn) |
сортировка выборкой с передачей по ссылке | selection sort using pass-by-reference (ssn) |
сортировка по дереву с приоритетом | Williams sort (ssn) |
сортировка по дереву с приоритетом | heap sort (ssn) |
список с множественными указателями по различным параметрам упорядочения | multi-threaded list (ssn) |
список требований к ПО с расстановкой приоритетов | product backlog (содержит требования с указанием приоритета выполнения, описание задач на проекте; постоянно пересматривается и дополняется – в него включаются новые требования, удаляются ненужные, пересматриваются приоритеты Alex_Odeychuk) |
справочное руководство по языку программирования с комментариями, изменениями и дополнениями | consolidated annotated language reference manual (корпорации AdaCore Alex_Odeychuk) |
сравнение жизненного цикла COMET с другими процессами разработки ПО | comparison of the COMET life cycle with other software processes (ssn) |
стандартная последовательность вызова с вызовом по ссылке | standard calling sequence of call-by-reference (ssn) |
стандартный файл с обработкой по умолчанию | standard default file (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
степень найденного соответствия, сделанные обоснования, меры по устранению недостатков с рекомендуемыми сроками их устранения | the extent of compliance found, the judgements made, remedial actions and timescales recommended (ssn) |
стратегия диспетчеризации по принципу первоочередного выполнения задачи с ближайшим сроком завершения | earliest deadline first (Alex_Odeychuk) |
стратегия диспетчеризации по принципу приоритетного выполнения задачи с ближайшим сроком завершения | earliest deadline first (ssn) |
таймер с задержкой по включению | on delay timer (ssn) |
таймер с задержкой по включению | on-delay timer (ssn) |
таймер с задержкой по выключению | off delay timer (ssn) |
таймер с задержкой по выключению | off-delay timer (ssn) |
Такое сочетание позволяет повысить уровень адекватности реальным системам по сравнению с чисто дискретной моделью | this combination allows improving the level of adequacy to the real systems compared to the purely discrete model (ssn) |
тактируемый синхронный конечный автомат с D-триггерами, переключающимися по положительному фронту | clocked synchronous state machine using positive-edge-triggered D flip-flops (ssn) |
технология по борьбе с цензурой | anti-censorship technology (в интернете; CNN Alex_Odeychuk) |
тип с передачей по ссылке | by-reference type (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
триггер с запуском по заднему фронту | falling-edge triggered flip-flop (сигнала ssn) |
JK-триггер с запуском по отрицательному фронту | negative edge-triggered JK flip-flop (ssn) |
RS-триггер с запуском по отрицательному фронту | negative edge-triggered RS flip-flop (ssn) |
D-триггер с запуском по отрицательному фронту | negative edge-triggered D flip-flop (ssn) |
триггер с запуском по отрицательному фронту | negative edge-triggered flip-flop (ssn) |
триггер с запуском по переднему фронту | rising-edge triggered flip-flop (сигнала ssn) |
JK-триггер с запуском по перепаду сигнала | edge-triggered J-K flip-flop (ssn) |
D-триггер с запуском по перепаду сигнала | edge-triggered D flip-flop (ssn) |
RS-триггер с запуском по перепаду сигнала | edge-triggered RS flip-flop (ssn) |
JK-триггер с запуском по перепаду сигнала | edge-triggered JK flip-flop (ssn) |
D-триггер с запуском по положительному фронту | positive edge-triggered D flip-flop (ssn) |
JK-триггер с запуском по положительному фронту | positive edge-triggered JK flip-flop (ssn) |
RS-триггер с запуском по положительному фронту | positive edge-triggered RS flip-flop (ssn) |
триггер с запуском по положительному фронту | positive edge-triggered flip-flop (ssn) |
D-триггер с запуском по фронту | edge-triggered D flip-flop (ssn) |
RS-триггер с запуском по фронту | edge-triggered RS flip-flop (ssn) |
триггер с запуском по фронту | edge-triggered flip-flop (асинхронный ssn) |
JK-триггер с запуском по фронту | edge-triggered J-K flip-flop (ssn) |
JK-триггер с запуском по фронту | edge-triggered JK flip-flop (ssn) |
RS триггер с запуском по фронту импульса | edge-triggered RS flip-flop (ssn) |
JK-триггер с запуском по фронту сигнала | edge-triggered J-K flip-flop (ssn) |
D-триггер с запуском по фронту сигнала | edge-triggered D flip-flop (ssn) |
RS-триггер с запуском по фронту сигнала | edge-triggered RS flip-flop (ssn) |
JK-триггер с запуском по фронту сигнала | edge-triggered JK flip-flop (ssn) |
триггер с преимуществом по включению | set flip-flop (ssn) |
триггер с преимуществом по включению | set bistable (ssn) |
триггер с преимуществом по включению | S-flip-flop (ssn) |
триггер с приоритетом по установке | set bistable (ssn) |
триггер с управлением по переднему фронту | rising edge flip-flop (ssn) |
D-триггер с управлением по переднему фронту | rising edge D-flipflop (ssn) |
триггеры с запуском по отрицательному фронту | negative edge-triggered flip-flops (ssn) |
триггеры с запуском по положительному фронту | positive edge-triggered flip-flops (ssn) |
триггеры с запуском по фронту | edge-triggered flip-flops (ssn) |
троичная память с адресацией по содержимому | ternary CAM (ssn) |
троичная память с адресацией по содержимому | ternary content-addressable memory (ssn) |
управление с обратной связью по состоянию | state feedback control (ssn) |
упрощённый процесс итерации по значениям для обновления оценок полезностей после каждого изменения в модели, определяемой с помощью обучения | simplified value iteration process to update the utility estimates after each change to the learned model (ssn) |
уровень адекватности реальным системам по сравнению с чисто дискретной моделью | level of adequacy to the real systems compared to the purely discrete model (ssn) |
условие гарантии с ограничением по времени | timebased warranty condition (ssn) |
условие с ограничением по времени | timebased condition (ssn) |
учебник с примерами и рекомендациями по разработке ПО | cookbook (ssn) |
учебно-методические материалы по разработке программного обеспечения с особыми требованиями по технической безопасности | educational materials for the development of safety-critical software (корпорации AdaCore Alex_Odeychuk) |
учебно-методические материалы по разработке программного обеспечения с особыми требованиями по технической безопасности | educational materials for the development of safety-critical software (Alex_Odeychuk) |
Файловая система работает только с абстрактными блочными устройствами, оставляя аппаратно-зависимую часть функций для реализации при помощи более низкоуровневого ПО, так называемых драйверов устройств | the file system deals only with abstract block devices and leaves the device-dependent part to lower-level software called device drivers |
фактически достигнутые результаты по сравнению с определёнными заданиями по услугам | achievement against defined service targets (ssn) |
функции системной инженерии, коррелирующие с системной инженерией ПО | system engineering functions correlated to SwSE (ssn) |
функции системной инженерии, коррелирующие с системной инженерией ПО | system engineering functions correlated to software system engineering (ssn) |
функция с равными по модулю коэффициентами быстрого преобразования Уолша | bent sequence (ssn) |
хранилище с инициализацией по требованию | initialization-on-demand holder (wikipedia.org Alex_Odeychuk) |
цикл со счётчиком с параллелизмом по данным | data-parallel forall-loop (chapel-lang.org Alex_Odeychuk) |
цифровое телевизионное вещание по каналам с IP протоколами | DVB-IPTV (ssn) |
часть программы по созданию ПО, в которой может принять участие любой желающий с целью улучшения данного ПО | outreach track (qwarty) |
число миллисекунд с 01.01.1970 00:00:00, по Гринвичу | milliseconds since 1970-01-01 00:00:00 GMT (напр., 1078884319047; отображение (форматирование) даты и времени ssn) |
число секунд с 01.01.1970 00:00:00, по Гринвичу | seconds since 1970-01-01 00:00:00 GMT (напр., 1078884319; отображение (форматирование) даты и времени ssn) |
член интерфейса с реализацией по умолчанию | default interface member (RedHat, 2021 Alex_Odeychuk) |
члены с реализацией по умолчанию | members with default implementation (Alex_Odeychuk) |
ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения | clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended (ssn) |