Верификация и валидация средств построениятеселяции геометрических моделей в параметрическом представлении в препроцессоре ЛОГОС

Верификация и валидация средств построениятеселяции геометрических моделей в параметрическом представлении в препроцессоре ЛОГОС

Bibliographic Details
Parent link:	Молодежь и современные информационные технологии: сборник трудов XIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, г. Томск, 9-13 ноября 2015 г./ Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики (ИК) ; под ред. Т. Е. Мамоновой [и др.].— , 2016 Т. 1.— 2016.— [С. 73-74]
Main Author:	Тарасова Л. П.
Corporate Author:	Национальный исследовательский Томский политехнический университет (ТПУ)
Summary:	Заглавие с титульного экрана
Published:	2016
Series:	Математическое моделирование и компьютерный анализ данных
Subjects:	труды учёных ТПУ электронный ресурс верификация валидация геометрические модели препроцессоры логос
Online Access:	http://earchive.tpu.ru/handle/11683/17078
Format:	Electronic Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=617536

Similar Items

Верификация и валидация системных решений. Методические указания
by: Королев А. С.
Published: (Москва, РТУ МИРЭА, 2020)

Использование MCU-PTR в качестве источника данных для ПП ЛОГОС
by: Балачков М. М. Максим Михайлович
Published: (2024)

Ассемблерный препроцессор SALUT_TK
by: Коровин А.
Published: (2004)

Валидация программы MCNP5
by: Липилина Е. Н.
Published: (2006)

Application of dynamic priorities for controlling the characteristics of a queuing system
by: Polyanskiy S. V.
Published: (2017)

Онтологическая функция мифа: миф как бытийная связь между "мифосом" и "логосом"
by: Раздьяконова Е. В. Екатерина Владимировна
Published: (2010)

Верификация и тестирование сложных программных средств
by: Липаев В. В.
Published: (2004)

Программирование на языке ассемблера для микроЭВМ пер. с англ.
by: Элфринг Г .Ч. Гэри Чарлз
Published: (Москва, Радио и связь, 1987)

Разработка и валидация аналитической методики количественного определения действующего вещества DIOL в лекарственной форме методом ВЭЖХ
by: Пашковская Э. А.
Published: (2018)

Разработка и валидация методики количественного определения активной фармацевтической субстанции в новом лекарственном средстве методом ВЭЖХ
by: Новожихорева В. О.
Published: (2018)

Валидация аналитических методик Количественное описание неопределенности в аналитических измерениях руководства для лабораторий пер. с англ.
Published: (Санкт-Петербург, Профессия, 2016)

Верификация моделей программ: Model Checking пер. с англ.
by: Кларк, мл. Э. М. Эдмунд М.
Published: (Москва, МЦНМО, 2002)

Валидация фотометрических методик контроля качества нового химического предшественника модифицированных адресных молекул белковой природы для радиофармацевтического лекарственного препарата
Published: (2020)

Введение в программирование на языке Си пер. с англ.
by: Хэнкок Л. Лес
Published: (Москва, Радио и связь, 1986)

Валидация методики количественного определения циклогексанона в реакции окислительного расщепления методом газовой хроматографии-масс-спектрометрии
Published: (2018)

Подготовка и верификация исходных данных проницаемости для создания гидродинамических моделей
by: Степико А. В. Артем Вадимович
Published: (2018)

Developments in Surface Contamination and Cleaning Cleanliness Validation and Verification
Published: (Amsterdam, Elsevier, 2015)

Имитационная модель процесса изменения работоспособности измельчительного оборудования
by: Баласанян С. Ш. Сейран Шамирович
Published: (2016)

Задачи, тесты и упражнения по проектированию приборных систем противоаварийной защиты методические указания для студентов, обучающихся по направлению 150304/150404 «Автоматизация технологических процессов и производств»
Published: (Томск, 2025)

Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием пер. с англ.
Published: (Москва, Техносфера, 2014)

Синхронизация и верификация в имитационном моделировании
by: Савинков А. Ю.
Published: (2004)

Слово как самораскрытие и референция опыта постижения объекта
by: Корниенко М. А. Михаил Анатольевич
Published: (2013)

Верификация результатов расчетов динамической устойчивости в электроэнергетических системах
by: Грачев И. А. Илья Александрович
Published: (2018)

Верификация результатов расчетов динамической устойчивости в электроэнергетических системах
Published: (2019)

Основы построения САПР ТП в многономенклатурном машиностроительном производстве учебник
Published: (Старый Оскол, ТНТ, 2013)

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
by: Кушик Н. Г. Наталья Геннадьевна
Published: (2015)

Верификация данных и систем знаний для систем управления учебное пособие для вузов
by: Золкин А. Л.
Published: (Санкт-Петербург, Лань, 2025)

Верификация расчётов динамической устойчивости энергорайонов с распределёнными генерирующими объектами
Published: (2021)

Верификация расчетов тока короткого замыкания в электроэнергетических системах
Published: (2017)

Верификация программного обеспечения учебное пособие
by: Синицын С. В. Сергей Владимирович
Published: (Москва, БИНОМ. Лаборатория знаний, 2008)

Верификация проектов в системах автоматизированного проектирования
by: Деменкова Т. А.
Published: (Москва, РТУ МИРЭА, 2022)

Верификация методов контроля образования трещин при коррозии под напряжением
by: Даниэльс У.
Published: (2003)

Верификация теплогидравлических моделей кодов улучшенной оценки на примере модели двухфазного потока кодов RELAP5 и КОРСАР
Published: (2004)

Верификация баланса тепловой сети района
by: Губин В. Е. Владимир Евгеньевич
Published: (2002)

Программирование на языке Си учебное пособие
by: Рацеев С. М. Сергей Михайлович
Published: (Санкт-Петербург, Лань, 2022)

Методы обеспечения отказобезопасности критических систем учебно-методическое пособие
by: Кировский О. М.
Published: (Москва, РТУ МИРЭА, 2023)

Верификация кода TRANSURANUS, используемого при анализе температурных эффектов в ядерном топливе
Published: (2004)

Метаморфозы нигилизма: О "новых философах" и "новых правых"
by: Каграманов Ю. М. Юрий Михайлович
Published: (Москва, Политиздат, 1986)

Онтология мифа: различение тождества монография
by: Осаченко Ю. С. Юлия Станиславовна
Published: (Томск, ТМЛ-Пресс, 2010)

Разработка и экспериментальная верификация модели искусственных дефектов в углепластиках
by: Кононова А. А.
Published: (2022)