Subject | English | Russian |
math. | a parallel implementation of ODE-solvers with stepsize control | с контролем точности по шагу |
dent.impl. | Abutment Solver | Инструмент для извлечения абатмента (Григорий Дорин) |
AI. | advance in SMT solvers | прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
IT | analog equation solver | аналоговое устройство для решения уравнений |
IT | analog equation solver | моделирующее устройство для решения уравнений |
robot. | analog solver | аналоговое решающее устройство |
math. | analogue equation solver | аналоговое устройство для решения уравнений |
Makarov. | analogue equation solver | моделирующее устройство для решения уравнений |
el. | angle component solver | синус-косинусный вращающийся трансформатор |
el. | angle component solver | СКВТ |
torped. | angle solver | механизм торпедного автомата стрельбы, вырабатывающий угол гироскопического прибора |
tech. | angle solver | механизм, вырабатывающий угол гироскопического прибора |
nautic. | angle solver | механизм для выработки угла гироскопического прибора |
tech. | angle-component solver | СКВТ |
tech. | angle-component solver | синусно-косинусный вращающийся трансформатор |
AI. | answer set solver | решатель задач с множеством ответов (Alex_Odeychuk) |
AI. | answer set solver | решатель-генератор устойчивых моделей (Alex_Odeychuk) |
AI. | answer set solver | решатель задач поиска устойчивых моделей (program for generating stable models Alex_Odeychuk) |
math. | approximate Riemann solver | метод приближённого решения задачи Римана (LOlga) |
IT | automatic equation solver | автоматическое устройство решения уравнений |
AI. | backend constraint solver | сервер-решатель задач удовлетворения ограничений (Alex_Odeychuk) |
AI. | backend solver | решатель с серверной архитектурой (Alex_Odeychuk) |
AI. | backend solver | решатель, используемый в качестве серверного приложения (Alex_Odeychuk) |
el. | band solver | программа решения системы уравнений с ленточными матрицами (в САПР) |
Makarov. | band solver | программа решения системы управлений с ленточными матрицами (в САПР) |
AI. | capabilities of SMT solvers | функциональные возможности решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
softw. | combinatorial optimization solver | решатель задач комбинаторной оптимизации (Alex_Odeychuk) |
AI. | conforming SMT solver | совместимый решатель задач выполнимости формул в теориях (Alex_Odeychuk) |
AI. | conforming solver | совместимый решатель (Alex_Odeychuk) |
AI. | constraint satisfaction solver | решатель задач удовлетворения ограничений (Alex_Odeychuk) |
AI. | constraint solver | решатель задач удовлетворения ограничений (Alex_Odeychuk) |
hydromech. | coupled implicit solver | сопряжённый неявный решатель (Nikitin-PRO) |
AI. | CSP solver | решатель задач удовлетворения ограничений (CSP – сокр. от "constraint satisfaction problem"; IBM Alex_Odeychuk) |
softw. | custom solver | пользовательский решатель (Alex_Odeychuk) |
el. | 2D-field solver | программа расчёта двумерных распределений поля |
el. | 3D-field solver | программа расчёта трёхмерных распределений поля |
tech. | differential equation solver | устройство для решения дифференциальных уравнений |
mil., avia. | differential equation solver | схема для решения дифференциальных уравнений |
Makarov. | eigen-value solver | программа решения собственной проблемы |
Makarov. | eigenvalue solver | программа решения собственной проблемы |
nautic. | enemy bearing solver | прибор, определяющий пеленг на цель |
shipb. | enemy bearing solver | прибор, определяющий курсовой угол цели |
torped. | enemy bearing solver | определитель курсового угла цели |
shipb. | enemy bearing solver | прибор, определяющий курсовой угол противника |
nautic. | enemy bearing solver | прибор для определения пеленга на цель |
nautic. | enemy movement solver | прибор, определяющий параметры движения цели |
shipb. | enemy movement solver | прибор, определяющий параметры движения противника |
nautic. | enemy movement solver | прибор для определения параметров движения цели |
math. | envelope solvers only store elements from the first nonzero to the last nonzero, thus reducing storage costs | запоминать в памяти ЭВМ |
IT | equation solver | программа для решения уравнений |
IT | equation solver | устройство или программа для решения уравнений |
Makarov. | equation solver | решатель |
Makarov. | equation solver | программа решения уравнений |
automat. | equation solver | прибор для решения уравнений |
IT | equation solver | устройство для решения уравнений |
avia. | equation solver | решатель уравнений |
avia. | Euler solver | решатель уравнений Эйлера |
softw. | Explicit solver | явный решатель (V.Lomaev) |
avia. | fast solver | быстрый решатель |
IT | field solver | анализатор полей (при автоматизированном проектировании) |
media. | field solver | анализатор двухмерных или трёхмерных полей (в системе автоматического проектирования) |
AI. | finite domain constraint solver | решатель задач удовлетворения ограничений над конечными областями (Alex_Odeychuk) |
AI. | finite domain constraint solver | решатель задач удовлетворения ограничений для дискретных данных (Alex_Odeychuk) |
progr. | finite domain constraint solver library | библиотека для решения задач удовлетворения ограничений над конечными областями (Alex_Odeychuk) |
nano | flow solver | программа расчёта потока |
avia. | flow solver | решатель уравнений, описывающих течение |
avia. | flow solver | программа расчёта течения |
Makarov. | frontal solver | программа фронтального решения (системы линейных алгебраических уравнений) |
Makarov. | frontal solver | фронтальный "решатель" |
nano | full-potential solver | программа расчёта полностью безвихревого течения |
nano | full-potential solver | программа расчёта полностью потенциального течения |
nano | full-potential solver | программа расчёта по теории полного потенциала |
ling. | general Problem Solver | общий "решатель задач" |
tech. | general problem solver | счётно-решающее устройство общего назначения |
IT | general problem solver | универсальный решатель задач |
mil., avia. | general problem solver | универсальное устройство решения задач |
AI. | general purpose constraint satisfaction solver | решатель задач удовлетворения ограничений общего назначения (Alex_Odeychuk) |
AI. | general-purpose solver | решатель общего назначения (Alex_Odeychuk) |
softw. | Implicit solver | неявный решатель (V.Lomaev) |
hydromech. | implicit unsteady solver | нестационарный неявный решатель (Nikitin-PRO) |
Makarov. | in-core memory solver | программа решения, использующая только оперативную память |
nano | in-core solver | программа решения на основе оперативной памяти |
Makarov. | in-core solver | программа решения, использующая только оперативную память |
Makarov. | incremental solver | программа пошагового решения |
AI. | interpolation solver | интерполирующий решатель (Alex_Odeychuk) |
avia. | Lanczos solver | решатель Ланцоша |
math. | least-square solver | решающее устройство на основе метода наименьших квадратов (clck.ru dimock) |
progr. | library of constraint solvers | библиотека решателей задач удовлетворения ограничений |
automat. | linear equation solver | устройство для решения линейных уравнений |
oil | logic solver | логическое решающее устройство |
gen. | logic solver | логическое устройство (Dude67) |
O&G, sakh. | matrix solver | матричный решатель |
automat. | model-based problem solver | моделирующая программа решения задач |
energ.ind. | modified conjugate gradient solver | устройство для решения уравнения с использованием сопряжённого градиента |
energ.ind. | modified conjugate gradient solver | устройство для решения модифицированного уравнения с использованием сопряжённых градиентов (напр., уравнения Пуассона для разработки моделей короны в электрофильтре) |
avia. | Navier-Stokes solver | решатель уравнений Навье-Стокса |
AI. | NCSP solver | решатель численных задач удовлетворения ограничений (NCSP – сокр. от "numerical constraint satisfaction problem"; IBM Alex_Odeychuk) |
softw. | nonlinear solver | решатель задач нелинейного программирования (Alex_Odeychuk) |
AI. | numerical constraint solver | решатель задач удовлетворения ограничений над непрерывными областями (Alex_Odeychuk) |
AI. | numerical constraint solver | решатель численных задач удовлетворения ограничений (IBM; русс. перевод взят из работы Института систем информатики им. А.П. Ершова СО РАН по алгоритмам программирования в ограничениях Alex_Odeychuk) |
AI. | objective means of comparing SMT solvers | объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
AI. | off-the-shelf solver | готовый решатель (Alex_Odeychuk) |
AI. | off-the-shelf solver | типовой решатель (Alex_Odeychuk) |
AI. | off-the-shelf solver | существующий решатель (Alex_Odeychuk) |
Makarov. | out-of-core solver | программа решения с использованием внешней памяти |
progr. | parallel CSP solver | параллельный решатель задач удовлетворения ограничений (CSP – сокр. от "constraint satisfaction problem"; IBM Alex_Odeychuk) |
progr. | parallel numerical constraint solver | параллельный решатель численных задач удовлетворения ограничений (IBM Alex_Odeychuk) |
progr. | parallel solver | параллельный решатель (IBM Alex_Odeychuk) |
mil., avia. | planning problem solver | планирующий решатель задач |
nano | Poisson solver | метод решения Пуассона |
automat. | polynomial equation solver | устройство для решения алгебраических уравнений |
AI. | portfolio of solvers | портфель решателей (Alex_Odeychuk) |
progr. | portfolio of the classical solvers | портфель решателей для классических вычислительных систем (т.е. не для квантовых процессоров Alex_Odeychuk) |
AI. | portfolio solver | решатель, входящий в состав портфеля решателей (Alex_Odeychuk) |
AI. | probabilistic logic solver | решатель задач вероятностной логики (т.е. задач теории вероятностей, описанных в форме односмысловых логических суждений на основе функторов ортогонального базиса, что позволяет ставить и решать задачи компьютеризации интеллектуальной деятельности Alex_Odeychuk) |
IT | problem solver | решатель |
media. | problem solver | человек, разрешающий проблемы (bigmaxus) |
ling. | Problem Solver | универсальный решатель задач |
automat. | problem solver | программа решения задач |
IT | problem solver | решатель задач (в искусственном интеллекте) |
IT | problem solver | решатель задач (в искусственном интелекте) |
ling. | problem solver | решатель проблем |
med. | problem solver | специалист по улаживанию ситуаций (amatsyuk) |
tech. | problem solver | решатель задач |
robot. | problem solver | решатель задач (в СИИ) |
gen. | problem solver | решала (He is a great problem solver. george serebryakov) |
Makarov. | profile solver | профильный решатель (программа решения систем уравнений при профильном хранении матриц) |
AI. | purpose-built solver | специализированный решатель (Alex_Odeychuk) |
softw. | QAP solver | решатель квадратичных задач о назначениях (QAP – сокр. от "quadratic assignment problem" Alex_Odeychuk) |
softw. | quadratic assignment problem solver | решатель квадратичных задач о назначениях (Alex_Odeychuk) |
softw. | quadratic programming solver | решатель задач квадратичного программирования (Alex_Odeychuk) |
IT | root solver | корнеискатель |
sec.sys. | safety configured РЕ logic solver | конфигурируемое ПЭ логическое решающее устройство системы безопасности (
YGA) |
AI. | SAT solver | решатель задач выполнимости булевых формул (Alex_Odeychuk) |
logic | satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (решает задачи выполнимости формул с учётом комбинации лежащих в их основе теорий galois.com Alex_Odeychuk) |
AI. | scalable parallel numerical constraint solver | масштабируемый параллельный решатель численных задач удовлетворения ограничений (IBM Alex_Odeychuk) |
progr. | scalable parallel solver | масштабируемый параллельный решатель (IBM Alex_Odeychuk) |
nano | Schrodinger-Poisson solver | метод решения Шредингера-Пуассона |
gen. | self-solver | лёгкое дело (Self-solvers or self-solving investigations refer to those cases that are solved comparatively easy by the police because there is sufficient evidence at the crime scene for them to identify a likely suspect. victoriadaan) |
nano | self-consistent Schrodinger-Poisson solver | самосогласованная программа решения Шредингера-Пуассона |
Makarov. | skyline solver | профильный "решатель" |
Makarov. | skyline solver | программа решения систем линейных уравнений при профильном хранении матриц |
AI. | SMT solver competition | соревнование решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
IT | Solver add-in | Поиск решения ('More) |
progr. | solver algorithm | алгоритм решателя (ssn) |
AI. | solver capability | функциональные возможности решателя (Alex_Odeychuk) |
softw. | solver for large-scale linear and quadratic programs | решатель крупномасштабных задач линейного и квадратичного программирования (Alex_Odeychuk) |
AI. | solver-independent | независимый от решателя (Alex_Odeychuk) |
AI. | solver input language | язык ввода данных в решатель (Alex_Odeychuk) |
progr. | solver kernel | ядро инструментального средства проверки (Универсальный (стандартный) программёрский термин Konstantin 1966) |
AI. | solver model | модель решателя задач (Alex_Odeychuk) |
math. | solver of optimization problems | решатель оптимизационных задач (dwavesys.com Alex_Odeychuk) |
AI. | solver performance | производительность решателя (Alex_Odeychuk) |
AI. | solver's front-end | приложение, реализующее пользовательский интерфейс и взаимодействие с решателем (Alex_Odeychuk) |
progr. | solver type | тип-решатель (в языке функционально-логического программирования со строгой типизацией Mercury Alex_Odeychuk) |
math. | sparse matrix solvers have even greater potential savings by storing and operating only on nonzero elements | действие над |
el. | structural engineering system solver | проблемно-ориентированный язык для решения задач строительной техники |
tech. | structural engineering system solver | решающее устройство системы проектирования конструкций |
el. | structural engineering system solver | язык программирования STRESS |
energ.ind. | structural engineering system solver | устройство для решения задач при проектировании технических систем |
nautic. | target angle solver | построитель курсового угла цели |
torped. | torpedo angle solver | построитель угла наведения торпедного аппарата |
avia. | TPBVP solver | решатель двухточечной краевой задачи |
nano | unsteady-equation solver for flow | метод решения уравнений для нестационарного течения |
AI. | variational geometric solver | решатель геометрических ограничений (Alex_Odeychuk) |
AI. | variational geometric solver | вариационный геометрический решатель (Alex_Odeychuk) |