Russian | English |
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn) |
анализ возможных рискованных ситуаций, а также методы управления такими ситуациями | risks considered as well as methods to manage the risks (ssn) |
анализ и документирование всей системы, включая окружающую среду, а также разрабатываемую систему | analysis and documentation of the total system, including the environment as well as the required system (см. IEC 61508-7:2010 ssn) |
в разное время, с разной скоростью, а также параллельно | at different times, at different rates and in parallel (ssn) |
важные стимулы, поступающие из внешней среды, и соответствующие им ощущения, а также основные эмоции и способы их отображения | important stimuli from the environment and their corresponding sensations, as well as primary emotions and how to portray them (ssn) |
верификация и проверка правильности требований, а также функционирования решения | verify and validate requirements and solution performance (ssn) |
выбор конкретных слов, а также избегание пустых и неинформативных | choosing words that are very specific and avoiding "empty" words (ssn) |
инструменты расширенного поиска, а также правки и создания обзоров содержимого | tools for advanced searching, and content customization and summarization (ssn) |
Исходные данные для синтеза систем управления обычно включают в себя некоторые показатели реакции системы на входной сигнал определённого вида, а также желаемую точность в установившемся режиме | the design specifications for control systems normally include several time-response indices for a specified input command, as well as a desired steady-state accuracy (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008) |
ключевое слово C++, используемое для обозначения инструкции, которая прерывает исполнение циклов и а также используется для отделения вариантов в инструкции | break |
Команды оператора заключаются в нажатии кнопок пуск / стоп, а состояние объекта отображается в виде "работает / не работает", а также с помощью индикаторов неисправности | the operator controls would be start/stop pushbuttons and the plant status displays simply running/stopped and fault lamps |
комплексная библиотека для решения реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | comprehensive library for solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
Мартин Фаулер и другие авторы, принявшие участие в написании этой книги, внесли большой вклад в разработку объектно-ориентированного программного обеспечения тем, что пролили свет на процесс рефакторинга. В книге описываются принципы и лучшие способы осуществления рефакторинга, а также указывается, где и когда следует начинать углублённо изучать код, чтобы улучшить его | Martin Fowler and the contributing authors make an invaluable contribution to object-oriented software development by shedding light on the refactoring process. This book explains the principles and best practices of refactoring, and points out when and where you should start digging in your code to improve it (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
метод архитектурного проектирования и моделирования параллельных объектов метод COMET: метод проектирования программного обеспечения параллельных и распределённых приложений, а также приложений реального времени | Concurrent Object Modeling and Architectural Design Method COMET: A software design method for concurrent, distributed, and real-time applications (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
методы решения реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | methods for solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
мы рассмотрели функции Neutrino, ответственные за манипулирование временем, включая таймеры и их применение, а также тайм-ауты ядра | We've looked at Neutrino's time-based functions, including timers and how they can be used, as well as kernel timeouts (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
Нам нужна была лишь базовая функциональность: инициализация экрана, поддержка растровых шрифтов, поддержка спрайтовой графики, обеспечение прозрачности и полупрозрачности, а также создание временных рабочих буферных областей для поддержки более сложных графических процедур | we needed only basic functionality: a screen setup, bitmapped font support, sprite support, transparency and translucency, and some temporary working buffers for compositing some of the more complex graphics (источник Game Architecture and Design / Andrew Rollings, David Morris (2004) ssn) |
Одним из важных этапов добавления информации в имена является выбор конкретных слов, а также избегание пустых и неинформативных | Part of "packing information into names" is choosing words that are very specific and avoiding "empty" words (см. "The Art of Readable Code" by Dustin Boswell, Trevor Foucher 2012 ssn) |
пересылка информации внутри компьютера, а также между компьютером и его устройствами ввода-вывода | transfer of information within a computer as well as between the computer and its I/O devices (ssn) |
подготовка персонала в части диагностики и устранения отказов, а также тестирования системы | the training of staff in diagnosing and repairing faults and in system testing (ssn) |
Полнотекстовый поиск – поиск документа в базе данных текстов на основании содержимого этих документов, а также совокупность методов оптимизации этого процесса | Full text search – search document in a database of texts on the basis of these documents contents, and also set of methods of optimization of this process (ssn) |
Полнотекстовый поиск поиск документа в базе данных текстов на основании содержимого этих документов, а также совокупность методов оптимизации этого процесса | Full text search search document in a database of texts on the basis of these documents contents, and also set of methods of optimization of this process (ssn) |
Различия в представлении между конечными автоматами Мили и Мура, а также разновидности методов, основанных на использовании конечных автоматов | the differences in representation between Mealy and Moore machines, and variations of finite-state techniques |
Разработанное фирмой IBM программное обеспечение, предоставляющее инструменты расширенного поиска, а также правки и создания обзоров содержимого | Software developed by IBM that provides tools for advanced searching, and content customization and summarization (см. enterprise information portal ssn) |
решение реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
Система выводит на экран выбранное значение, а также время его измерения | the system displays the selected value, together with its time of occurrence (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch) |
сопутствующие методы решения реальных, комплексных и симметричных, а также несимметричных задач о собственных значениях | supporting methods for solving real or complex and symmetric or unsymmetric eigenvalue problems (ssn) |
структура элементов пользовательского интерфейса и их взаимоотношений, а также их взаимосвязь с базисной функциональностью | structure of elements of a user interface and their interrelationships and their relationship to underlying functionality (ssn) |
тип многоуровневого брандмауэра, объединяющего преимущества пакетных фильтров, а также шлюзов сеансового и прикладного уровней | SPI (Stateful Packet Inspection; русскоязычный эквивалент отсутствует и вводить его признано нецелесообразным) |
эта таблица содержит список дискретных состояний, в которых может находиться приложение, а также возможные варианты переходов между состояниями | this table lists the discrete states that the application can exist in and shows which state transitions are possible (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
этот дополнительный программный модуль представляет собой интерфейс для CANopen сети и выполняет функции загрузки и выгрузки данных конфигурирования и программ, сканирование сети, верификацию конфигураций устройства, управление сетью и программой, а также сервисы настройки уровней | this plug-in builds the interface to a CANopen network and provides functions for down- and uploading of configuration and program data, scanning of a network, verification of device configurations, network and program control as well as layer setting services |