Russian | English |
адекватность реальным системам по сравнению с чисто дискретной моделью | adequacy to the real systems compared to the purely discrete model (ssn) |
алгоритм сравнения с порогом вдоль выделяемого контура | EGT algorithm (ssn) |
алгоритмы приближённого сравнения с паттернами | approximate pattern-matching algorithms (ssn) |
алгоритмы сравнения с образцом | matching algorithms (ssn) |
алгоритмы точного сравнения с паттернами | exact pattern-matching algorithms (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) |
двойной канал с функцией сравнения | dual channel with comparison (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) |
количество различных алгоритмов приближённого сравнения с паттернами | number and variety of approximate pattern-matching algorithms (ssn) |
концептуальная модель в сравнении с логической моделью базы данных | conceptual versus logical database models (ssn) |
на основе сравнения с эталонными ситуациями | case-based (ssn) |
небольшие преимущества по сравнению с простым хранением информации в массиве | little benefit over simply keeping the information in an array (ssn) |
небольшой проект в сравнении с крупномасштабным проектом | small-scale project versus large-scale project (ssn) |
однотипный двойной канал с функцией сравнения | homogeneous dual channel with comparison (двухканальная структура с двумя идентичными и взаимно независимыми функциональными средствами, каждое из которых обеспечивает заявленную реакцию, при которой происходит сравнение внутренних или выходных сигналов для распознавания повреждения/ошибки. См. ГОСТ IEC 60730-1-2011 ssn) |
операция сравнения с обменом | compare-and-swap operation (Alex_Odeychuk) |
операция сравнения с обменом | compare-and-set operation (Alex_Odeychuk) |
подзадача приближённого сравнения с паттерном | subproblem of approximate pattern-matching (ssn) |
приближённое сравнение с паттерном | approximate pattern-matching (ssn) |
проверочное сравнение списка соединений логических элементов с эталонной моделью средствами моделирования | verification of the gate netlist against reference model by simulation (ssn) |
рассуждения на основе сравнения с эталонными ситуациями | case-based reasoning (при построении экспертных систем, базирующихся на накопленном опыте ssn) |
сложность алгоритмов точного сравнения с паттерном | complexity of exact pattern-matching (ssn) |
сравнение жизненного цикла COMET с другими процессами разработки ПО | comparison of the COMET life cycle with other software processes (ssn) |
сравнение компонентов с классами и интерфейсами | component versus class and interface (ssn) |
сравнение с NULL | comparison with NULL (ssn) |
сравнение с паттерном | pattern-matching (ssn) |
сравнение списка соединений логических элементов с эталонной моделью | comparison of the gate netlist with the reference model (ssn) |
Такое сочетание позволяет повысить уровень адекватности реальным системам по сравнению с чисто дискретной моделью | this combination allows improving the level of adequacy to the real systems compared to the purely discrete model (ssn) |
Тестовый прогон, выполненный на системе при нормальных условиях, который потом принимают истинным для сравнения последующих испытаниях системы с внесением неисправностей | golden run (warwick.ac.uk Faith_O) |
точное сравнение с паттерном | exact pattern-matching (ssn) |
Точные оценки сложности алгоритмов точного сравнения с паттерном | the Exact Complexity of Exact Pattern-Matching |
уровень адекватности реальным системам по сравнению с чисто дискретной моделью | level of adequacy to the real systems compared to the purely discrete model (ssn) |
фактически достигнутые результаты по сравнению с определёнными заданиями по услугам | achievement against defined service targets (ssn) |