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

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

Detalhes bibliográficos
Parent link:	Молодежь и современные информационные технологии: сборник трудов XIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, г. Томск, 9-13 ноября 2015 г./ Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики (ИК) ; под ред. Т. Е. Мамоновой [и др.].— , 2016 Т. 1.— 2016.— [С. 73-74]
Autor principal:	Тарасова Л. П.
Autor Corporativo:	Национальный исследовательский Томский политехнический университет (ТПУ)
Resumo:	Заглавие с титульного экрана
Idioma:	russo
Publicado em:	2016
Colecção:	Математическое моделирование и компьютерный анализ данных
Assuntos:	труды учёных ТПУ электронный ресурс верификация валидация геометрические модели препроцессоры логос
Acesso em linha:	http://earchive.tpu.ru/handle/11683/17078
Formato:	Recurso Electrónico Capítulo de Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=617536

Registos relacionados

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

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

Валидация программы MCNP5; Атомная энергия; Т. 101, вып. 2
Por: Липилина Е. Н.
Publicado em: (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)
Por: Polyanskiy S. V.
Publicado em: (2017)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Верификация математической модели контура управления парового котла Мыльджинского газоконденсатного месторождения; Современные техника и технологии; Т. 2
Por: Тутов И. А. Иван Андреевич
Publicado em: (2014)

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

Верификация и совершенствование численного кода для расчёта характеристик дифракционного излучения; Перспективы развития фундаментальных наук; Т. 1 : Физика
Por: Дышеков А. А.
Publicado em: (2019)

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

Верификация численного кода для расчёта характеристик дифракционного и переходного излучения; Перспективы развития фундаментальных наук; Т. 1 : Физика
Por: Дышеков А. А.
Publicado em: (2021)

Прогнозирование вероятности отчисления студентов; Молодежь и современные информационные технологии
Por: Третьяков К. С.
Publicado em: (2024)

Разработка и экспериментальная верификация модели распространения волн Лэмба в алюминиевой пластине; Перспективные материалы конструкционного и функционального назначения
Por: Кононова А. А.
Publicado em: (2020)