Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0", Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14
| Corporate Author: | Национальный исследовательский Томский политехнический университет (ТПУ) Институт электронного обучения (ИнЭО) Кафедра технологий и педагогики электронного обучения (ТПЭО) |
|---|---|
| Other Authors: | Громов М. Л., Дорофеева М. Ю. Маргарита Юрьевна, Евтушенко Н. В., Жигулин М. В., Кушик Н. Г., Шабалдин А. В., Шабалдина Н. В. |
| Summary: | Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium IV. Язык программирования: C++, среда разработки Visual Studio 2008. Программа предназначена для синтеза проверяющих тестов для систем, поведение которых описано конечными автоматами, временными автоматами или композициями конечных автоматов. |
| Language: | Russian |
| Published: |
|
| Subjects: | |
| Online Access: | http://www1.fips.ru/Archive/EVM/2014/2014.12.20/DOC/RUNW/000/002/014/661/807/document.pdf |
| Format: | Electronic Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641426 |
Similar Items
Последовательная декомпозиция конечных автоматов
by: Курмит А. А. Август Августович
Published: (Рига, Зинатне, 1982)
by: Курмит А. А. Август Августович
Published: (Рига, Зинатне, 1982)
Функциональные системы с операцией суперпозиции
by: Марченков С. С. Сергей Серафимович
Published: (Москва, Физматлит, 2004)
by: Марченков С. С. Сергей Серафимович
Published: (Москва, Физматлит, 2004)
Конечно-элементная модель бестраншейной прокладки трубопровода
by: Лам Бик Хонг
Published: ()
by: Лам Бик Хонг
Published: ()
Конечно-элементное моделирование фланцевого соединения с контактирующими круговыми фланцами. Сопоставление результатов конечно-элементного расчёта с результатами экспериментального исследования
by: Осадчий Н. В.
Published: (2003)
by: Осадчий Н. В.
Published: (2003)
Конечно-элементная модель бестраншейной прокладки трубопровода
by: Кравченко А. В.
Published: ()
by: Кравченко А. В.
Published: ()
Кн. 6 : Методы синтеза дискретных моделей биологических систем
Published: (1983)
Published: (1983)
Получение конечно-разностных уравнений для ценности нейтронов в гетерогенном реакторе методом поверхностных гармоник
by: Ельшин А. В.
Published: (2005)
by: Ельшин А. В.
Published: (2005)
Двухшаговый алгоритм конечно-элементного решения задач электромагнитного контроля. Электроёмкостный контроль
by: Лунин В. П.
Published: (2006)
by: Лунин В. П.
Published: (2006)
Конечно-элементные модели дискового инструмента с узлами крепления на трехгранных призмах
Published: (2014)
Published: (2014)
Совершенствование методов проведения акустико-эмиссионных испытаний с применением методов конечно-элементного моделирования
by: Герасимов С. И. Сергей Иванович
Published: (2015)
by: Герасимов С. И. Сергей Иванович
Published: (2015)
Методика автоматизированного проектирования микромеханического гироскопа с использованием программ конечно-элементного анализа
by: Коледа А. Н. Алексей Николаевич
Published: (2013)
by: Коледа А. Н. Алексей Николаевич
Published: (2013)
Т. 3 (20), № 1: Конечно-разностные методы
Published: (1989)
Published: (1989)
Конечно-разностный метод в задачах оптимального управления
by: Ермольев Ю. М. Юрий Михайлович
Published: (Киев, Наукова думка, 1978)
by: Ермольев Ю. М. Юрий Михайлович
Published: (Киев, Наукова думка, 1978)
Методика создания конечно-элементной модели и расчета крупногабаритного трансформируемого сетчатого рефлектора космического аппарата
by: Голдобин Н. Н.
Published: (2017)
by: Голдобин Н. Н.
Published: (2017)
Двухшаговый алгоритм конечно-элементного решения задач электромагнитного контроля. Вихретоковый контроль
by: Лунин В. П.
Published: (2006)
by: Лунин В. П.
Published: (2006)
Исследование напряженно-деформированного состояния газопровода-отвода с применением программной системой конечно-элементного анализа
by: Николаенко С. Н.
Published: (2018)
by: Николаенко С. Н.
Published: (2018)
Теория языков и языковых процессоров учебник для вузов
by: Шорников Ю. В.
Published: (Санкт-Петербург, Лань, 2024)
by: Шорников Ю. В.
Published: (Санкт-Петербург, Лань, 2024)
Параллельные логические вычисления посредством арифметических полиномов
by: Малюгин В. Д. Владимир Дмитриевич
Published: (Москва, Наука, 1997)
by: Малюгин В. Д. Владимир Дмитриевич
Published: (Москва, Наука, 1997)
Оценка усталостной долговечности трубопровода, используемого для проведения барообработки высоковязких нефтей с использованием пакета конечно элементного анализа ANSYS
by: Салахутдинов М. Х.
Published: ()
by: Салахутдинов М. Х.
Published: ()
Численное решение задачи о двухфазной фильтрации в упругом пласте, основанное на консервативной конечно-разностной схеме Мак-Кормака
by: Шибанов А. Л.
Published: (2013)
by: Шибанов А. Л.
Published: (2013)
Применение автоматных моделей для тестирования автоматизированных систем управления
by: Зебзеев А. Г. Алексей Григорьевич
Published: (2012)
by: Зебзеев А. Г. Алексей Григорьевич
Published: (2012)
Оценка деформаций исторического здания в Томске с помощью наземного лазерного сканирования и конечно-элементного моделирования
by: Епифанова Е. А. Екатерина Александровна
Published: (2018)
by: Епифанова Е. А. Екатерина Александровна
Published: (2018)
Применение автоматных моделей для тренажного обучения операторов АСУ ТП магистральных газопроводов
by: Коломиец А. С.
Published: (2010)
by: Коломиец А. С.
Published: (2010)
Теория автоматов: учебник
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2003)
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2003)
Конечно-элементные пороупругие модели в биомеханике монография
by: Маслов Л. Б. Леонид Борисович
Published: (Санкт-Петербург, Лань, 2019)
by: Маслов Л. Б. Леонид Борисович
Published: (Санкт-Петербург, Лань, 2019)
Построение конечных автоматов в StateFlow для управления технологическим процессом
by: Чжоу Яньчэнь
Published: (2022)
by: Чжоу Яньчэнь
Published: (2022)
Модели и методы автоматического чтения
by: Переверзев-Орлов В. С. Вячеслав Сергеевич
Published: (Москва, Наука, 1976)
by: Переверзев-Орлов В. С. Вячеслав Сергеевич
Published: (Москва, Наука, 1976)
Теория автоматов: учебник для вузов
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2002)
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2002)
Применение конечно-элементных методов для расчёта приемных систем акустико-эмиссионного контроля
Published: (2006)
Published: (2006)
Совершенствование технологии акустико-эмиссионного контроля на основе конечно-элементного анализа акустического тракта автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.11.13
by: Сыч Т. В. Татьяна Викторовна
Published: (Томск, 2016)
by: Сыч Т. В. Татьяна Викторовна
Published: (Томск, 2016)
Читающие устройства сборник докладов на конференции по обработке информации, машинному переводу и автоматическому чтению текста
Published: (Москва, [Б. и.], 1962)
Published: (Москва, [Б. и.], 1962)
Фазостабильные усилители широкого динамического диапазона
by: Фиштейн А. М. Аврум Меерович
Published: (Москва, Наука, 1981)
by: Фиштейн А. М. Аврум Меерович
Published: (Москва, Наука, 1981)
A numerical analysis of formation of the surface relief: A single inclusion model
Published: (2014)
Published: (2014)
Автоматные марковские модели над конечным полем коллективная монография
by: Захаров В. М.
Published: (Казань, КНИТУ-КАИ, 2022)
by: Захаров В. М.
Published: (Казань, КНИТУ-КАИ, 2022)
Структурно-автоматные модели технических систем
by: Малышев Н. Г. Николай Григорьевич
Published: (Москва, Радио и связь, 1986)
by: Малышев Н. Г. Николай Григорьевич
Published: (Москва, Радио и связь, 1986)
Численная оценка плотности грунта методом конечно-разностных сеток при математическом моделировании уплотнения просадочных грунтов глубинными взрывами
by: Тарасенко Е. О. Елена Олеговна
Published: (2023)
by: Тарасенко Е. О. Елена Олеговна
Published: (2023)
Ч. 2
Published: (1987)
Published: (1987)
Теория и практика языковых процессоров: учебное пособие
by: Шорников Ю. В. Юрий Владимирович
Published: (Новосибирск, Изд-во НГТУ, 2004)
by: Шорников Ю. В. Юрий Владимирович
Published: (Новосибирск, Изд-во НГТУ, 2004)
Математическая теория формальных языков: учебное пособие
by: Пентус А. Е. Анна Евгеньевна
Published: (Москва, БИНОМ. Лаборатория знаний, 2006)
by: Пентус А. Е. Анна Евгеньевна
Published: (Москва, БИНОМ. Лаборатория знаний, 2006)
Совершенствование технологии акустико-эмиссионного контроля на основе конечно-элементного анализа акустического тракта диссертация на соискание ученой степени кандидата технических наук спец. 05.11.13
by: Сыч Т. В. Татьяна Викторовна
Published: (Новосибирск, 2016)
by: Сыч Т. В. Татьяна Викторовна
Published: (Новосибирск, 2016)
Similar Items
-
Последовательная декомпозиция конечных автоматов
by: Курмит А. А. Август Августович
Published: (Рига, Зинатне, 1982) -
Функциональные системы с операцией суперпозиции
by: Марченков С. С. Сергей Серафимович
Published: (Москва, Физматлит, 2004) -
Конечно-элементная модель бестраншейной прокладки трубопровода
by: Лам Бик Хонг
Published: () -
Конечно-элементное моделирование фланцевого соединения с контактирующими круговыми фланцами. Сопоставление результатов конечно-элементного расчёта с результатами экспериментального исследования
by: Осадчий Н. В.
Published: (2003) -
Конечно-элементная модель бестраншейной прокладки трубопровода
by: Кравченко А. В.
Published: ()