-
21 приспособление для расколачивания моделей
Русско-английский новый политехнический словарь > приспособление для расколачивания моделей
-
22 испытание геометрически подобных моделей
Русско-английский военно-политический словарь > испытание геометрически подобных моделей
-
23 испытание моделей гребных винтов
Русско-английский военно-политический словарь > испытание моделей гребных винтов
-
24 аналитические методы решения моделей
аналитические методы решения моделей
В отличие от имитационных (численных) методов, состоят в последовательном проведении математических преобразований исходной модели, приводящих к заданному результату, например, к формуле, выражающей зависимость экстремума функции от ее аргументов. Лишь на последнем этапе, когда такая формула имеется, подставляют числа и получают решение.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > аналитические методы решения моделей
-
25 аэродинамическая труба для продувки полномасштабных моделей
аэродинамическая труба для продувки полномасштабных моделей
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > аэродинамическая труба для продувки полномасштабных моделей
-
26 готовые типы моделей
готовые типы моделей
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > готовые типы моделей
-
27 декомпозиционный подход к построению системы моделей
декомпозиционный подход к построению системы моделей
Подход, при котором цели нижних уровней иерархической структуры выводятся из целей верхнего уровня (в противоположность синтетическому по своему существу композиционному подходу).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > декомпозиционный подход к построению системы моделей
-
28 контроллер моделей объекта
контроллер моделей объекта
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > контроллер моделей объекта
-
29 механизм метатипизации моделей управляемых объектов
механизм метатипизации моделей управляемых объектов
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > механизм метатипизации моделей управляемых объектов
-
30 типы трёхслойных моделей электрического сопротивления
Русско-английский словарь нормативно-технической терминологии > типы трёхслойных моделей электрического сопротивления
-
31 изготовление моделей
Русско-английский технический словарь > изготовление моделей
-
32 2. Набор различных размеров моделей яичек, применяемый для оценки их развития.
Medicine: OrchidometerУниверсальный русско-английский словарь > 2. Набор различных размеров моделей яичек, применяемый для оценки их развития.
-
33 Институт экспериментальных моделей и структур
Engineering: Instituto Sperimentale Modelli e StruttureУниверсальный русско-английский словарь > Институт экспериментальных моделей и структур
-
34 Интеграция Моделей Зрелости
General subject: CMMI ( Capability Maturity Model Integration) (модель качества для проектов по разработке программного обеспечения, см. http://encyclopedia.thefreedictionary.com/Capability+Maturity+Model+Integration)Универсальный русско-английский словарь > Интеграция Моделей Зрелости
-
35 Приводятся сценарии применения концептуальных моделей в инструментал
Универсальный русско-английский словарь > Приводятся сценарии применения концептуальных моделей в инструментал
-
36 Программа для создания и анализа моделей массы-равновесия и особенностей питания или потока питательных веществ в экосистемах
Antarctic: ECOSIMУниверсальный русско-английский словарь > Программа для создания и анализа моделей массы-равновесия и особенностей питания или потока питательных веществ в экосистемах
-
37 САПР каркасных изображений (изделий) или каркасных моделей
Automation: wire-frame cacheУниверсальный русско-английский словарь > САПР каркасных изображений (изделий) или каркасных моделей
-
38 СТЗ, основанная на использовании моделей
Mechanics: model-based vision systemУниверсальный русско-английский словарь > СТЗ, основанная на использовании моделей
-
39 Создатель компьютерных моделей или Генератор цифровых последовательностей (генератор паттернов)
Dermatology: CPG (computer pattern generator)Универсальный русско-английский словарь > Создатель компьютерных моделей или Генератор цифровых последовательностей (генератор паттернов)
-
40 автозапчасти для восстановления старых моделей
Engineering: restoration partsУниверсальный русско-английский словарь > автозапчасти для восстановления старых моделей
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
Моделей пенитенциарных учреждений психологические основы — История развития пенитенциарной теории и практики свидетельствует о постоянном противостоянии сторонников репрессивного подхода к исполнению наказания в виде лишения свободы, где доминирующим является принцип воздаяния, обеспечение общей… … Энциклопедия современной юридической психологии
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Коллекционирование масштабных моделей автомобилей — Коллекция некоторых моделей 1:43 автомобилей ВАЗ Коллекционирование масштабных моделей автомобилей это коллекционирова … Википедия
Покраска моделей — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия