Russian | English |
алгебраические индикаторные выражения на основе рекуррентных уравнений | algebraic indicator expressions based on recurrent equations (ssn) |
алфавиты процессов в обоих частях уравнения | alphabets of the processes on each side of an equation (ssn) |
арифметическое уравнение | arithmetic equation (ssn) |
большой класс непрерывных динамических систем, определённых уравнениями в частных производных | large class of continuous dynamical systems defined by partial differential equations (ssn) |
векторное дифференциальное уравнение первого порядка | first order vector differential equation (ssn) |
векторно-матричное дифференциальное уравнение | vector-matrix differential equation (ssn) |
всякое должным образом предварённое рекурсивное уравнение | every properly guarded recursive equation (ssn) |
входные функции и уравнения, описывающие динамику системы | input signals and the equations describing the dynamics (ssn) |
дифференциальное уравнение запаздывающего типа | retarded differential equation (ssn) |
дифференциальное уравнение состояния | state differential equation (ssn) |
дифференциальное уравнение состояния системы | state differential equation of the system (ssn) |
дифференциальные уравнения первого порядка | first order differential equations (ssn) |
дифференциальные уравнения физических систем | differential equations of physical systems (ssn) |
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение | To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают | Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
использование параметрических уравнений | using parametric equations (ssn) |
Клеточные автоматы являются дискретными динамическими системами, поведение которых полностью определяется в терминах локальных зависимостей, в значительной степени так же обстоит дело для большого класса непрерывных динамических систем, определённых уравнениями в частных производных | Cellular automata are discrete dynamical systems whose behavior is completely specified in terms of a local relation, much as is the case for a large class of continuous dynamical systems defined by partial differential equations (ssn) |
корни уравнений | roots of equations (ssn) |
корни уравнения | roots of equation (ssn) |
корни характеристического уравнения | roots of the characteristic equation (ssn) |
левая часть уравнения | the left hand side of equation (ssn) |
линеаризованное дифференциальное уравнение состояния | linearized state differential equation (ssn) |
линеаризованное дифференциальное уравнение состояния системы | linearized state differential equation of the system (ssn) |
линеаризованное уравнение состояния | linearized state equation (ssn) |
линеаризованное уравнение состояния системы | linearized state equation of the system (ssn) |
линейная нестационарная система, описываемая дифференциальным уравнением состояния | linear time-varying system with state differential equation (ssn) |
линейное арифметическое уравнение | linear arithmetic equation (ssn) |
линейное уравнение состояния | linear state equation (ssn) |
линейные арифметические уравнения | linear arithmetic equations (ssn) |
математические уравнения | mathematical equations (ssn) |
математическое уравнение | mathematical equation (ssn) |
математическое уравнение | math equation (ssn) |
метод нахождения корней уравнения | technique for finding roots of an equation (ssn) |
набор математических уравнений | set of mathematical equations (имеются многочисленные способы описания поведения системы, напр., с помощью линейных или нелинейных дифференциальных и разностных уравнений; см. Control system design by Graham C. Goodwin et al. (2000) ssn) |
нахождение корней уравнений | finding roots of equations (ssn) |
нахождение корней уравнений методом половинного деления | finding roots of equations by the half-interval method (ssn) |
нахождение корней уравнения | finding roots of an equation (ssn) |
нахождение решения уравнений состояния | determining solutions to state equations (ssn) |
невырожденный базис для системы линейных уравнений | nondegenerate basis for the system of linear equations (ssn) |
непрерывные динамические системы, определённые уравнениями в частных производных | continuous dynamical systems defined by partial differential equations (ssn) |
параметрические уравнения | parametric equations (ssn) |
правая часть уравнения | the right hand side of equation (ssn) |
приближённое вычисление нулей кубических уравнений | approximate zeros of the cubic (ssn) |
программа, инвариантная к типу уравнения | type-insensitive code (ssn) |
простой, но мощный способ нахождения корней уравнения | simple but powerful technique for finding roots of an equation (ssn) |
рациональные уравнения возбуждения | efficient excitation equations (ssn) |
рекуррентное уравнение | recurrent equation (ssn) |
рекуррентные уравнения | recurrent equations (ssn) |
рекурсивное уравнение | recursive equation (ssn) |
решение разностных уравнений | solution of difference equations (ssn) |
решение рекуррентных уравнений | solving recurrence equations (ssn) |
решение системы линейных уравнений | linear system solving (ssn) |
решение системы уравнений | solve simultaneous equations (ssn) |
решение уравнений состояния | solution of state equations (ssn) |
решение уравнения | solution of the equation (напр., g(x) = 0 ssn) |
система дифференциальных уравнений первого порядка | a set of first order differential equations (ssn) |
система линейных уравнений | linear system of equations (ssn) |
система линейных уравнений | linear system (ssn) |
система линейных уравнений | system of linear equations (ssn) |
система линейных уравнений с неотрицательными переменными | system of linear equations in nonnegative variables (ssn) |
система рекурсивных уравнений | a set of recursive equations (ssn) |
система уравнений | a set of equations (ssn) |
система уравнений | simultaneous equation (ssn) |
система уравнений переходов | set of transition equations (ssn) |
системы линейных уравнений | linear systems of equations (ssn) |
системы линейных уравнений | systems of linear equations (ssn) |
системы линейных уравнений | linear equation systems (ssn) |
системы линейных уравнений и неравенств | linear equation and inequality systems (ssn) |
совместимость уравнений | equations consistency (ssn) |
совместимость уравнений | equation consistency (ssn) |
Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части | an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the left hand side (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
составление уравнения | equation set-up (ssn) |
способ нахождения корней уравнения | technique for finding roots of an equation (ssn) |
точно идентифицируемое регрессионное уравнение | exactly identified equation (ssn) |
точно интегрируемое уравнение | exactly integrated equation (ssn) |
точное решение линейного уравнения состояния | explicit solution to the linear state equation (ssn) |
уравнение в матричной форме | matrix equation (ssn) |
уравнение возбуждения | excitation equation (ssn) |
уравнение возбуждения для сигнала на входе соответствующего D-триггера | excitation equation for the corresponding D flip-flop input (ssn) |
уравнение времени | time equation (ssn) |
уравнение для расчёта | design equation (ssn) |
уравнение ограничения | constraint equation (ssn) |
уравнение передачи | transfer equation (ssn) |
уравнение перехода | transition equation (ssn) |
уравнение потока данных | data-flow equation (ssn) |
уравнение состояния системы | state equation of the system (ssn) |
уравнения возбуждения | excitation equations (ssn) |
уравнения возбуждения для управляющих входов триггеров | excitation equations for the flip-flop control inputs (ssn) |
уравнения выхода | output equations (ssn) |
уравнения динамики системы | equations describing the dynamics (ssn) |
уравнения ограничений | constraint equations (ssn) |
уравнения, описывающие динамику системы | equations describing the dynamics (ssn) |
уравнения передачи для достигающих определений | transfer equations for reaching definitions (ssn) |
уравнения переходов | transition equations (ssn) |
уравнения потоков данных | data-flow equations (ssn) |
уравнения рекурсии | recursion equations (ssn) |
характеристическая система уравнений | characteristic equation system (ssn) |
характеристические уравнения | characteristic equations (ssn) |
характеристические уравнения защёлок и триггеров | latch and flip-flop characteristic equations (ssn) |
характеристическое уравнение D-триггера | characteristic equation of a D flip-flop (ssn) |
язык программирования для решения дифференциальных уравнений с частными производными | partial differential equation language (ssn) |