Верификация и валидация средств построениятеселяции геометрических моделей в параметрическом представлении в препроцессоре ЛОГОС; Молодежь и современные информационные технологии; Т. 1

Верификация и валидация средств построениятеселяции геометрических моделей в параметрическом представлении в препроцессоре ЛОГОС; Молодежь и современные информационные технологии; Т. 1

Bibliographic Details
Parent link:	Молодежь и современные информационные технологии: сборник трудов XIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, г. Томск, 9-13 ноября 2015 г./ Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики (ИК) ; под ред. Т. Е. Мамоновой [и др.].— , 2016 Т. 1.— 2016.— [С. 73-74]
Main Author:	Тарасова Л. П.
Corporate Author:	Национальный исследовательский Томский политехнический университет (ТПУ)
Summary:	Заглавие с титульного экрана
Language:	Russian
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 в качестве источника данных для ПП ЛОГОС; Open Science 2024
by: Балачков М. М. Максим Михайлович
Published: (2024)

Ассемблерный препроцессор SALUT_TK; Схемотехника; № 11
by: Коровин А.
Published: (2004)

Валидация программы MCNP5; Атомная энергия; Т. 101, вып. 2
by: Липилина Е. Н.
Published: (2006)

Application of dynamic priorities for controlling the characteristics of a queuing system; Journal of Physics: Conference Series; Vol. 803 : Information Technologies in Business and Industry (ITBI2016)
by: Polyanskiy S. V.
Published: (2017)

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

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

Онтологическая функция мифа: миф как бытийная связь между "мифосом" и "логосом"; Известия Томского политехнического университета [Известия ТПУ]; Т. 317, № 6 : Экономика. Философия, социология и культурология
by: Раздьяконова Е. В. Екатерина Владимировна
Published: (2010)

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

Валидация методики количественного определения циклогексанона в реакции окислительного расщепления методом газовой хроматографии-масс-спектрометрии; Химико-фармацевтический журнал; Т. 52, № 12
Published: (2018)

Валидация фотометрических методик контроля качества нового химического предшественника модифицированных адресных молекул белковой природы для радиофармацевтического лекарственного препарата; Вестник Воронежского государственного университета. Серия: Химия. Биология. Фармация; № 2
Published: (2020)

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

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

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

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

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

Имитационная модель процесса изменения работоспособности измельчительного оборудования; Известия Томского политехнического университета [Известия ТПУ]. Инжиниринг георесурсов; Т. 327, № 2
by: Баласанян С. Ш. Сейран Шамирович
Published: (2016)

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

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

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

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

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

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

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

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

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

Верификация цифровых устройств: курс лекций учебное пособие
by: Скитев А. А.
Published: (Москва, НИЯУ МИФИ, 2020)

Слово как самораскрытие и референция опыта постижения объекта; Известия Томского политехнического университета [Известия ТПУ]; Т. 323, № 6 : Экономика. Философия, социология и культурология. История
by: Корниенко М. А. Михаил Анатольевич
Published: (2013)

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

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

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

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

Верификация расчетов тока короткого замыкания в электроэнергетических системах; Электроэнергетика глазами молодежи; Т. 2
Published: (2017)

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

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

Верификация алгоритмов управления на ПЛ/1: учебное пособие
by: Толокнов В. И.
Published: (Москва, Изд-во МВТУ, 1984)

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

Верификация численных расчётов электромеханических переходных процессов при оценке устойчивости электроэнергетических систем с генерирующими объектами, использующими ВИЭ; Электрические станции; № 1 (1086)
Published: (2022)

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

Верификация ротационных методик облучения на основе плоских и объемных матричных детекторов; Перспективы развития фундаментальных наук; Т. 1 : Физика
by: Двуреченский М. Г.
Published: (2018)