Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0": Электронный ресурс; программа для ЭВМ; Рег. номер: 2014661807, 13.11.14

Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0": Электронный ресурс; программа для ЭВМ; Рег. номер: 2014661807, 13.11.14

Bibliografiske detaljer
Institution som forfatter:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт электронного обучения (ИнЭО) Кафедра технологий и педагогики электронного обучения (ТПЭО)
Andre forfattere:	Громов М. Л., Дорофеева М. Ю. Маргарита Юрьевна, Евтушенко Н. В., Жигулин М. В., Кушик Н. Г., Шабалдин А. В., Шабалдина Н. В.
Summary:	Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium IV. Язык программирования: C++, среда разработки Visual Studio 2008. Программа предназначена для синтеза проверяющих тестов для систем, поведение которых описано конечными автоматами, временными автоматами или композициями конечных автоматов.
Sprog:	russisk
Udgivet:
Fag:	труды учёных ТПУ синтез тесты конечно-автоматные методы программы для ЭВМ электронный ресурс
Online adgang:	http://www1.fips.ru/Archive/EVM/2014/2014.12.20/DOC/RUNW/000/002/014/661/807/document.pdf
Format:	Electronisk Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641426

Lignende værker

Последовательная декомпозиция конечных автоматов
af: Курмит А. А. Август Августович
Udgivet: (Рига, Зинатне, 1982)

Функциональные системы с операцией суперпозиции
af: Марченков С. С. Сергей Серафимович
Udgivet: (Москва, Физматлит, 2004)

Виброрегистратор-Ф: программа для ЭВМ; рег. номер: 2014618793, 02.09.2014
af: Гаврилин А. Н. Алексей Николаевич
Udgivet: ()

Спектральная декомпозиция: программа для ЭВМ; рег. номер: 2018663366, 25.10.2018
Udgivet: ()

Энергетическая реконструкция: программа для ЭВМ; рег. номер: 2018663367, 25.10.2018
Udgivet: ()

Конечно-элементное моделирование фланцевого соединения с контактирующими круговыми фланцами. Сопоставление результатов конечно-элементного расчёта с результатами экспериментального исследования; Справочник. Инженерный журнал; № 1
af: Осадчий Н. В.
Udgivet: (2003)

Конечно-элементная модель бестраншейной прокладки трубопровода; Проблемы геологии и освоения недр; Т. 2
af: Лам Бик Хонг
Udgivet: ()

Цифровой цветометрический анализ методом добавок: программа для ЭВМ; рег. номер: 2017619463, 24.08.2017
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()

Управление оптическим монохроматором (OptiMUS): программа для ЭВМ; рег. номер: 2018613053, 02.03.2018
af: Вуколов А. В. Артем Владимирович
Udgivet: ()

Управляющая программа для ведения базы данных геоботанических описаний и гербария: программа для ЭВМ; рег. номер: 2015618012, 01.09.2015
af: Щукова К. Б. Кристина Борисовна
Udgivet: ()

Двухшаговый алгоритм конечно-элементного решения задач электромагнитного контроля. Электроёмкостный контроль; Дефектоскопия; № 12
af: Лунин В. П.
Udgivet: (2006)

Программное обеспечение "Анализ загрузки основного оборудования": программа для ЭВМ; рег. номер: 2014618975, 05.09.14
Udgivet: ()

Цифровой цветометрический анализ методом градуировочного графика: программа для ЭВМ; рег. номер: 2017619031, 14.08.2017
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()

Получение конечно-разностных уравнений для ценности нейтронов в гетерогенном реакторе методом поверхностных гармоник; Атомная энергия; Т. 98, вып. 5
af: Ельшин А. В.
Udgivet: (2005)

Конечно-элементная модель бестраншейной прокладки трубопровода; Проблемы геологии и освоения недр; Т. 2
af: Кравченко А. В.
Udgivet: ()

Конечно-разностный метод в задачах оптимального управления
af: Ермольев Ю. М. Юрий Михайлович
Udgivet: (Киев, Наукова думка, 1978)

Совершенствование методов проведения акустико-эмиссионных испытаний с применением методов конечно-элементного моделирования; Информационные технологии неразрушающего контроля
af: Герасимов С. И. Сергей Иванович
Udgivet: (2015)

Конечно-элементные модели дискового инструмента с узлами крепления на трехгранных призмах; Актуальные проблемы современного машиностроения
Udgivet: (2014)

Вычисление контрольной суммы CRC32 матричным алгоритмом: программа для ЭВМ; рег. номер: 2016617787, 14.07.16
Udgivet: ()

Определение размеров фокусного пятна бетатрона проволочными образцами: программа для ЭВМ; рег. номер: 2021619569, 15.06.2021
af: Генцельман В. Г. Валентин Гугович
Udgivet: ()

Программный комплекс для комплексирования интервалов агрегированием предпочтений: программа для ЭВМ; рег. номер: 2020664470, 13.11.2020
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()

Программное обеспечение для обработки аддитивных совокупных измерений: программа для ЭВМ; рег. номер: 2020664471, 13.11.2020
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()

Методика автоматизированного проектирования микромеханического гироскопа с использованием программ конечно-элементного анализа; Современные техника и технологии; Т. 1
af: Коледа А. Н. Алексей Николаевич
Udgivet: (2013)

Двухшаговый алгоритм конечно-элементного решения задач электромагнитного контроля. Вихретоковый контроль; Дефектоскопия; № 12
af: Лунин В. П.
Udgivet: (2006)

Иерархическая модель гибкого процесса на основе анализа логов: программа для ЭВМ; рег. номер: 2014663671, 22.12.2014
af: Рудометкина М. Н. Моника Николаевна
Udgivet: ()

Повышение точности сенсоров беспроводной сети методом агрегирования предпочтений: программа для ЭВМ; рег. номер: 2016663686, 31.10.2016
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()

Т. 3 (20), № 1: Конечно-разностные методы; Моделирование в механике
Udgivet: (1989)

Параллельные логические вычисления посредством арифметических полиномов
af: Малюгин В. Д. Владимир Дмитриевич
Udgivet: (Москва, Наука, 1997)

Теория языков и языковых процессоров учебник для вузов
af: Шорников Ю. В.
Udgivet: (Санкт-Петербург, Лань, 2024)

Методика создания конечно-элементной модели и расчета крупногабаритного трансформируемого сетчатого рефлектора космического аппарата; "Орбита молодёжи" и перспективы развития российской космонавтики
af: Голдобин Н. Н.
Udgivet: (2017)

Программный комплекс для моделирования и обработки результатов межлабораторных сличений: программа для ЭВМ; рег. номер: 2014663437, 23.12.2014
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()

Моделирование динамических процессов в оборудовании при измельчении упругих оболочек: программа для ЭВМ; рег. номер: 2017617347, 04.07.2017
af: Козарь Д. М. Дмитрий Михайлович
Udgivet: ()

Быстродейственное декодирование кода Боуза-Чоудхури-Хоквингема (15, 7, 5): программа для ЭВМ; рег. номер: 2016662525, 14.11.16
Udgivet: ()

Управление системой измерения поперечного профиля пучка излучения (MeCroS): программа для ЭВМ; рег. номер: 2019610265, 10.01.2019
Udgivet: ()

Управление двухканальным скоростным счетчиком рентгеновского излучения (CoRaX): программа для ЭВМ; рег. номер: 2018613054, 02.03.2018
af: Вуколов А. В. Артем Владимирович
Udgivet: ()

Контроль сцинтилляционного счетчика и регистрация дифрагированного излучения (DiSCo): программа для ЭВМ; рег. номер: 2015661969, 13.11.2015
af: Вуколов А. В. Артем Владимирович
Udgivet: ()

Применение автоматных моделей для тестирования автоматизированных систем управления; Технологии Microsoft в теории и практике программирования
af: Зебзеев А. Г. Алексей Григорьевич
Udgivet: (2012)

Кн. 6 : Методы синтеза дискретных моделей биологических систем; Методы математической биологии
Udgivet: (1983)

Конечно-элементные пороупругие модели в биомеханике: монография
af: Маслов Л. Б. Леонид Борисович
Udgivet: (Санкт-Петербург, Лань, 2019)

Программное обеспечение для обработки результатов межлабораторных сличений методом агрегирования предпочтений: программа для ЭВМ; рег. номер: 2014663436, 23.12.2014
af: Муравьев С. В. Сергей Васильевич
Udgivet: ()