Subject | Russian | English |
AI. | автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk) |
AI. | автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for SMT problems (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk) |
AI. | автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for SMT problems |
tech. | автомобиль для гонок "Формулы-1" | F1 car |
inet. | алгоритм Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе | Algorithm (В контексте кодирования речи алгоритмами называют математические методы, используемые для компрессии речи // Уникальные алгоритмы кодирования речи патентуются // Конкретные реализации алгоритмов в компьютерных программах также являются субъектом авторского права) |
AI. | алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме | backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form (Alex_Odeychuk) |
progr. | алгоритмы верификации моделей для формул LTL | algorithms for LTL model checking (ssn) |
progr. | алгоритмы верификации моделей для формул CTL | algorithms for CTL model checking (ssn) |
progr. | алгоритмы верификации моделей для формул CTL и для формул LTL | algorithms for CTL model checking, LTL model checking (ssn) |
progr. | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn) |
energ.syst. | базовая формула для расчёта предельной величины дохода | revenue cap yardstick formula (MichaelBurov) |
math. | все формулы, необходимые для численных расчётов, даны полностью | all the necessary formulas for numerical calculations are given in full |
Makarov. | вышеприведённая формула даётся для колонки, работающей при полной флегме, то есть когда не выводится дистиллат | the above formula is for a column operating under total reflux, that is with no distillate being removed |
math. | далее, формулы дифференцирования для этих новых функций выводятся разделением действительных и мнимых частей | next, the differentiation formulas for the new functions are derived by separating the real and imaginary parts |
progr. | для беззнаковых сложения и вычитания есть существенно более простые формулы, использующие команды сравнения | for unsigned add's and subtract's, there are much simpler formulas in terms of comparisons |
math. | для получения формулы | yield the formula |
patents. | достаточность раскрытия, необходимая для формулы изобретения | support in the disclosure for claims |
tech. | интерполяционная формула Ньютона для интерполирования вперёд | formula with forward differences |
tech. | интерполяционная формула Ньютона для интерполирования вперёд | Newton's forward interpolation formula |
tech. | интерполяционная формула Ньютона для интерполирования вперёд | Newton's forward formula |
tech. | интерполяционная формула Ньютона для интерполирования назад | Newton's backward interpolation formula |
tech. | интерполяционная формула Ньютона для интерполирования назад | formula with backward differences |
tech. | интерполяционная формула Ньютона для интерполирования назад | Newton's backward formula |
progr. | использование этой и аналогичной формул для вычитания | using this and similar observations about subtraction (ssn) |
progr. | Использование этой и аналогичной формул для вычитания даёт нам приведённый ниже код для сложения / вычитания двух полуслов по модулю 2 | Using this and similar observations about subtraction gives the following code for adding/subtracting two halfwords modulo 2 (в шестнадцатой степени; см. Hacker's delight / Henry S. Warren, Jr. – 2nd ed. (2013)) |
polygr. | клавиатура для набора текстов с математическими формулами | maths keyboard |
agric. | коэффициент водопотребления в формуле для расчёта эвапотранспирации | consumptive use factor (произведение среднемесячной температуры на продолжительность светового времени, выраженное в процентах) |
gen. | коэффициент водопотребления в формуле для расчёта эвапотранспирации | consumptive use factor (произведение среднемесячной т-ры на продолжительность светового времени, выраженное в %%) |
comp., net. | Любая математическая формула, определяющая числовое значение на основе последовательности битов переданного блока информации и использующая это значение на приёмном конце для обнаружения ошибок передачи | Frame Check Sequence |
obs. | магическая формула для излечения болезней | abracadabra |
nautic. | международная формула для определения класса парусных яхт | international rule |
nautic. | международная формула для определения нормальной величины силы тяжести | international gravity formula (для данной широты) |
mech. | мы ищем формулу для T в терминах x | we work out the formula for T in terms of x |
mech. | мы строим формулу для T в терминах x | we work out the formula for T in terms of x |
comp., net. | Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе | Algorithm (В контексте кодирования речи алгоритмами называют математические методы, используемые для компрессии речи. Уникальные алгоритмы кодирования речи патентуются. Конкретные реализации алгоритмов в компьютерных программах также являются субъектом авторского права) |
math. | новая общая формула для обратного образа цикла при моноидальном преобразовании | new general formula for the pull-back of cycle by a monoidal transformation (ssn) |
astronaut. | общепринятая формула для ускорения силы тяжести | international gravity formula |
seism. | основная формула для определения сейсмических нагрузок | basic seismic formula |
dipl. | переговоры на основе формулы "два государства для двух народов" | talks based on the two-state solution (New York Times Alex_Odeychuk) |
media. | правило, приблизительно определяющее ширину полосы, необходимую для передачи частотно-модулированных сигналов, определяется по формуле: BW= 2 Д/+.Д,, где BW— требуемая ширина полосы, Д/ — пиковая девиация частоты несущей, f — высшая частота модуляции | Carson bandwidth rule |
clin.trial. | рекомендуемая формула для оценки СКФ | Modification of Diet in Renal Disease (формула MDRD cardioneurology.ru LEkt) |
electr.eng. | рекуррентная формула для последовательного определения значений тока | recurrence formula for the subsequent determination of current values (Konstantin 1966) |
Makarov. | сериальная формула для спектра водорода | hydrogen series formula |
tech. | система Висвессера для линейного обозначения формул химических соединений | Wiswesser line notation of formula |
automat. | установление формул зависимости для углов | sign convention for angles (инструмента ssn) |
fin. | формула Блека – Шольца для оценки опционов | Black-Scholes formula for options valuation |
wood. | формула Губера для определения кубатуры брёвен путём умножения площади их сечения посредине длины на длину | Huber's formula |
energ.ind. | формула для выбора соответствующих габаритов электрофильтра | precipitator sizing formula |
math. | формула для вычислений | computing formula |
math. | формула для вычислений | computational formula |
aerohydr. | формула для вычисления | computing formula |
automat. | формула для вычисления времени таймера | formula for calculating the timer value (ssn) |
construct. | формула для вычисления напряжений в балке при изгибе | flexure formula |
mining. | формула для вычисления объёма земляных работ по полусумме площадей концевых сечений | average end area formula |
construct. | формула для вычисления прогибов | deflection formula |
road.wrk. | формула для вычисления прогибов | deflection deflexion formula |
construct. | формула для вычисления прогибов | deflexion formula |
econ. | формула для вычисления прогноза | prediction formula |
account. | формула для вычисления прогноза | production formula |
econ. | формула для вычисления прогноза | forecasting formula |
econ. | формула для вычисления прогноза | forecast formula |
pulp.n.paper | формула для измерения объёмов | cubing formula |
IT | формула для интерполирования вперёд | forward interpolation formula |
math. | формула для интерполирования назад | back interpolation formula |
tech. | формула для интерполирования назад | backward interpolation formula |
math. | формула для интерполяции вперёд | forward interpolation formula |
tech. | формула для корней квадратного уравнения | quadratic formula |
math. | формула для косинус-преобразования Фурье | Fourier cosine formula |
aerohydr. | формула для момента количества движения | moment of momentum formula |
qual.cont. | формула для наиболее экономичного размера заказа | Wilson formula (в системе управления запасами с фиксированным размером заказа) |
geophys. | формула для нормального приращения годографа отражённой волны | normal moveout equation |
geophys. | формула для нормального приращения годографа отражённой волны | NMO equation |
energ.ind. | формула для определения запасов | inventory formula |
shipb. | формула для определения мощности главных механизмов | Kirk's analysis |
econ. | формула для определения наиболее экономичного размера заказа | Wilson formula (в системе управления запасами с фиксированным размером заказа) |
construct. | формула для определения несущей способности сваи | Engineering News formula |
cartogr. | формула для определения нормальной величины силы тяжести | gravity formula |
cartogr., grav. | формула для определения нормальной величины силы тяжести | formula for theoretical gravity |
railw. | формула для определения объёма призмы | average end area formula (расчёт земляных работ) |
hydrol. | формула для определения паводочных расходов | flood-flow equation |
econ. | формула для определения размера заказа | order-quantity formula |
adv. | формула для определения размера заказа | order quantity formula |
econ. | формула для определения размера партии | lot-size formula |
construct. | формула для определения размера свайного молота | hammer-size formula |
Makarov. | формула для определения расхода или скорости течения | water-flow formula |
agric. | формула для определения расхода течения | water-flow formula |
oil | формула для определения ремонтопригодности | maintainability equation |
agric. | формула для определения скорости течения | water-flow formula |
astronaut. | формула для определения сопротивления | drag formula |
cartogr. | формула для определения теоретической величины силы тяжести | gravity formula |
cartogr., grav. | формула для определения теоретической величины силы тяжести | formula for theoretical gravity |
econ. | формула для определения уровня запасов | inventory formula |
insur. | формула для оценки платёжеспособности | credit scoring |
antenn. | формула для плоской земли | flat-earth formula |
railw., auto. | формула для подсчёта налоговой мощности | rating formula |
auto. | формула для подсчёта налоговой мощности | rating formula |
tech. | формула для половинного угла | half-angle formula |
tech. | формула для половинного угла | half-angleformula |
combust., heat.exch. | формула для поперечного обтекания пучка трубок потоком газа | cross flow formula |
med.appl. | формула SRK для преломляющей силы | Sanders, Retzlaff, Kraff formula |
med.appl. | формула SRK для преломляющей силы | IOL power SRK formula |
construct. | формула для приближённых вычислений | approximation formula |
construct. | формула для приблизительного определения объёма призмоида | average end area formula (применяется для расчёта земляных работ) |
mil., tech. | формула для приблизительного подсчёта объёма земляных работ | average end area formula (по полусумме площадей концевых сечений) |
qual.cont. | формула для размера заказа | order-quantity formula |
qual.cont. | формула для размера заказа | lot-size formula (в системе управления запасами) |
qual.cont. | формула для размера партии | lot-size formula |
el. | формула для расчёта активации | activation formula |
construct. | формула для расчёта балок | beam design formula |
food.ind. | формула для расчёта величины давления | calculating internal pressure formula |
mining. | формула для расчёта величины заряда | field formula |
mining. | формула для расчёта величины заряда взрывчатого вещества | blasting formula |
ecol. | формула для расчёта ветровой эрозии | wind erosion equation |
qual.cont. | формула для расчёта времени простоя | down-time prediction formula (вследствие неисправности) |
aerohydr. | формула для расчёта дальности | range formula |
hydr. | формула для расчёта движения наносов | sediment-transport formula |
tech. | формула для расчёта зарядов для подрывания бетонных сооружений | concrete breaching formula |
mil., tech. | формула для расчёта зарядов для подрывания железобетонных и бетонных сооружений | concrete breaching formula |
tech. | формула для расчёта зарядов для подрывания железобетонных сооружений | concrete breaching formula |
hydrol. | формула для расчёта испарения | evaporation formula |
hydrol. | формула для расчёта испарения, основанная на учёте турбулентного обмена | turbulent exchange evaporation formula |
construct. | формула для расчёта несущей способности сваи | pile capacity formula |
mining. | ELOS-формула для расчёта осыпания бортов выработки | ELOS (Sempai) |
hydrol. | формула для расчёта паводочного стока | flood flow formula |
aerohydr. | формула для расчёта погрешностей | error equation |
agric. | формула для расчёта потерь почвы при ветровой эрозии | wind erosion equation |
dril. | формула для расчёта притока жидкости при пятиточечной системе размещения скважин | five-spot flow formula |
mil. | формула для расчёта пробивного заряда | breaching formula |
Makarov. | формула для расчёта пропускной способности водослива | weir formula |
hydrol. | формула для расчёта расхода | flow formula (через водослив) |
avia. | формула для расчёта С*-показателя | C star law |
avia. | формула для расчёта С*-показателя | C* law |
hydr. | формула для расчёта течения в трубопроводе | pipe-flow formula |
O&G, karach. | формула для расчёта цены | pricing formula (Aiduza) |
Makarov. | формула для расчёта числа наименьших циклов в связных графах | formula calculating the number of the smallest rings in connected graphs |
hydrol. | формула для расчёта экстремального паводка | extreme flood formula |
med. | формула для расчётной оценки клиренса креатинина с использованием возраста, массы тела и концентрации креатинина в сыворотке крови | Cockcroft-Gault Equation (для мужчин рКК Pustelga) |
Makarov. | формула для силы Лоренца | Lorentz force equation |
Makarov. | формула для силы Лоренца | Lorentz equation |
el. | формула для силы Лоренца-Абрагама | Lorentz-Abragam force equation |
math. | формула для синус-преобразования Фурье | Fourier sine formula |
avia. | формула для скачка уплотнения | shock formula |
fin. | формула для случаев постоянного темпа роста | constant-growth formula |
aerohydr. | формула для сопротивления | drag formula |
food.serv. | формула для специальных медицинских целей, рассчитанная на грудных детей | formula for special medical purposes for infants |
math. | формула для тригонометрических функций половинного угла | half-angle formula |
tech. | формула для тригонометрической функции двойного угла | double-angle formula |
tech. | формула для тригонометрической функции половинного угла | half-angle formula |
el. | формула для удельных потерь на магнитный гистерезис | Steinmetz formula |
aerohydr. | формула для учёта влияния сжимаемости | compressibility formula |
tech. | формула для функции двойного угла | double-angle formula |
tech. | формула для функции половинного угла | half-angle formula |
math. | формула для числа классов | class-number formula |
qual.cont. | формула для наиболее экономичного размера заказа | economic order quantity formula |
Makarov. | формула для энергии колебательных уровней | vibrational formula |
media. | формула, используемая для преобразования текста в зашифрованную форму | cipher system |
med.appl. | формула Коленбрандера для оптической силы ИОЛ | Colenbrander IOL power formula |
Makarov. | формула Коши (для зависимости показателя преломления от длины волны} | Sellmeier equation |
mech.eng., obs. | формула Льюиса для расчета зубчатых колес | Lewis' formula |
astronaut. | формула ньютона для напряжений | newton formula for the stress |
wood. | формула Ньютона для определения кубатуры бревна исходя из площади верхнего и нижнего отрубов, площади сечения посредине бревна и длины его | Newton's formula |
aerohydr. | формула Ньютона-Буземана для определения коэффициента давления | Newton-Busemann pressure coefficient law |
Makarov. | формула Планка для распределения энергии в спектре абсолютно чёрного тела | Planck blackbody distribution law |
tech. | формула подобия для турбин | law of proportionality for homologous turbines |
aerohydr. | формула Прандтля-Глауэрта для учёта влияния сжимаемости | Prandtl-Glauert compressibility rule |
phys. | формула Прандтля-Глауэрта для учёта влияния сжимаемости | Prandtl-Glauert compressibility formula |
aerohydr. | формула Прандтля-Глауэрта для учёта эффекта сжимаемости | Prandtl-Glauert compressibility rule |
tech. | формула приведения к виду, удобному для логарифмирования | production formula |
Makarov. | формула приведения к виду, удобному для логарифмирования | product formula |
mil., tech. | формула расчёта подрывного заряда для разрушения бетонных и т. п. сооружений | breaching formula |
mil. | формула расчёта подрывного заряда для разрушения сооружений | breaching formula |
aerodyn. | формула Рейнольдса для пульсирующих величин | Reynolds formula for fluctuating quantities |
aerohydr. | формула Рэлея для давления в приёмнике полного напора | Rayleigh's Pitot tube formula |
wood. | формула Смолиана для определения кубатуры бревна дерева путём умножения средней величины площадей сечения в верхнем и нижнем отрубах на длину | Smalian's formula |
gen. | формула солеотложений для анализа воды | WASEQ (Johnny Bravo) |
O&G, oilfield. | формула справедлива и для | an equation holds for |
Makarov. | формула Стирлинга для факториала | Stirling approximation for factorial |
Makarov. | формула Стокса для циркуляции | Stokes circulation formula |
aerohydr. | формула Тейлора для присоединённой массы | Taylor's virtual mass relation |
Makarov. | формула Тейлора для присоединённой массы | Taylor virtual mass relation |
agric. | формула террамицина для животных | terramycin animal formula |
agric. | формула террамицина для птицы | terramycin poultry formula |
media. | формула Шеннона, определяющая максимальную скорость передачи двоичных данных для данного отношения сигнал/шум при данной ширине полосы пропускания | Shannon equation |
energ.ind. | формула Шмидта для коэффициента теплоотдачи со стороны газов | Schmidt's correlation for gas-side conductance (в топке котла) |
tech. | формула Эйнштейна для фотоэффекта | Einstein photoelectric equation |
el. | формула Эйнштейна для частоты квантового перехода | Einstein frequency condition |
econ. | формула Эрланга для системы с потерями | Erlang loss formula |
Makarov. | формулы для диагональных и недиагональных функций Фукуи в локальном приближении и в модели атомов в молекуле | formulas for diagonal and off-diagonal Fukui functions in local and in atoms-in-molecule resolutions |
gen. | формулы для расчёта | formulas for calculation (dolmetscherr) |
math. | формулы для тригонометрических функций двойного угла | double-angle formulas |
math. | формулы приведения к виду, удобному для логарифмирования | production formulae |
Makarov. | формулы приведения к виду, удобному для логарифмирования | production formulas |
AI. | эталонная задача для решателя задач выполнимости формул в теориях | SMT benchmark problem (Alex_Odeychuk) |