Применение автоматных моделей для тестирования автоматизированных систем управления
| Parent link: | Технологии Microsoft в теории и практике программирования: сборник трудов IX Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых, 21-22 марта 2012 г., г.Томск/ Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики ; отв. ред. А. Р. Вахитов. [С. 46-48].— , 2012 |
|---|---|
| Hlavní autor: | Зебзеев А. Г. Алексей Григорьевич |
| Korporativní autor: | Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ) |
| Další autoři: | Журавлев Д. В. Денис Владимирович (727), Громаков Е. И. Евгений Иванович |
| Shrnutí: | Заглавие с титульного листа. It was shown that it is necessary to test program implementation with the guaranteed fault coverage. It was proposed to use timed finite state machine for program testing |
| Vydáno: |
2012
|
| Edice: | Автоматизированные системы управления и мехатроника |
| Témata: | |
| On-line přístup: | http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf |
| Médium: | Elektronický zdroj Kapitola |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147 |
Podobné jednotky
Применение автоматных моделей для тренажного обучения операторов АСУ ТП магистральных газопроводов
Autor: Коломиец А. С.
Vydáno: (2010)
Autor: Коломиец А. С.
Vydáno: (2010)
Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов
Vydáno: (2012)
Vydáno: (2012)
Надежность и устройства автоматизированных систем управления
Vydáno: (Киев, Наукова думка, 1971)
Vydáno: (Киев, Наукова думка, 1971)
Синтез, исследование и применение рекуррентных алгоритмов оценивания параметров математических моделей объектов в автоматизированных системах управления автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.06
Autor: Карелин А. Е. Алексей Евгеньевич
Vydáno: (Томск, [Б. и.], 2007)
Autor: Карелин А. Е. Алексей Евгеньевич
Vydáno: (Томск, [Б. и.], 2007)
Проектирование автоматизированных систем управления
Autor: Тугов В. В.
Vydáno: (Санкт-Петербург, Лань, 2022)
Autor: Тугов В. В.
Vydáno: (Санкт-Петербург, Лань, 2022)
Автоматизированная система управления стендами тестирования погружного электрооборудования
Autor: Комелин А.
Vydáno: (2004)
Autor: Комелин А.
Vydáno: (2004)
Применение автоматизированных систем для управления воздушным движением учебное пособие для вузов
Vydáno: (Москва, Транспорт, 1979)
Vydáno: (Москва, Транспорт, 1979)
Вопросы построения автоматизированных систем управления тематический сборник научных трудов
Vydáno: (Москва, Изд-во МАИ, 1979)
Vydáno: (Москва, Изд-во МАИ, 1979)
Проектирование автоматизированных систем управления
Autor: Ашимов А. А. Абдыкаппар Ашимович
Vydáno: (Алма-Ата, Мектеп, 1983)
Autor: Ашимов А. А. Абдыкаппар Ашимович
Vydáno: (Алма-Ата, Мектеп, 1983)
Адаптивный метод оптимизации сетевых трафиков автоматизированных систем управления
Autor: Журавлев Д. В. Денис Владимирович
Vydáno: (2013)
Autor: Журавлев Д. В. Денис Владимирович
Vydáno: (2013)
Лингвистическое обеспечение автоматизированных систем учебное пособие
Autor: Заболеева-Зотова А. В. Алла Викторовна
Vydáno: (Москва, Высшая школа, 2008)
Autor: Заболеева-Зотова А. В. Алла Викторовна
Vydáno: (Москва, Высшая школа, 2008)
Кн. 6 : Методы синтеза дискретных моделей биологических систем
Vydáno: (1983)
Vydáno: (1983)
Разработка автоматизированных систем управления технологическими процессами методические указания к выполнению практических и лабораторных работ
Autor: Глушков Д. О. Дмитрий Олегович
Vydáno: (Томск, Изд-во "АлКом", 2021)
Autor: Глушков Д. О. Дмитрий Олегович
Vydáno: (Томск, Изд-во "АлКом", 2021)
Модель термосифоннного теплообменника для охлаждения модульных автоматизированных систем управления
Autor: Ушаков К. Ю.
Vydáno: (2017)
Autor: Ушаков К. Ю.
Vydáno: (2017)
Сравнительный анализ корпоративных автоматизированных систем управления
Autor: Пожарницкая О. В. Ольга Вячеславовна
Vydáno: (2012)
Autor: Пожарницкая О. В. Ольга Вячеславовна
Vydáno: (2012)
Преобразования оптимизационных моделей в задачах управления и проектирования АСУ ТП
Autor: Кривенко В. А. Валерий Андреевич
Vydáno: (Фрунзе, Илим, 1989)
Autor: Кривенко В. А. Валерий Андреевич
Vydáno: (Фрунзе, Илим, 1989)
Справочник проектировщика автоматизированных систем управления технологическими процессами
Vydáno: (Москва, Машиностроение, 1983)
Vydáno: (Москва, Машиностроение, 1983)
Вероятностные методы при моделировании и идентификации объектов управления учебное пособие
Autor: Малышев Н. Г. Николай Григорьевич
Vydáno: (Таганрог, Изд-во ТРТИ, 1980)
Autor: Малышев Н. Г. Николай Григорьевич
Vydáno: (Таганрог, Изд-во ТРТИ, 1980)
Автоматизированная система тестирования качества обучения "Эмпирик"
Autor: Лепустин А. В. Алексей Владимирович
Vydáno: (2008)
Autor: Лепустин А. В. Алексей Владимирович
Vydáno: (2008)
Экономико-организационные проблемы автоматизированных систем управления приборостроительным производством
Vydáno: (Ленинград, Изд-во ЛИТМО, 1978)
Vydáno: (Ленинград, Изд-во ЛИТМО, 1978)
Применение Web-технологий в сфере автоматизированных систем управления технологическими процессами (АСУ ТП)
Autor: Янусов А. С.
Vydáno: (2019)
Autor: Янусов А. С.
Vydáno: (2019)
Тезаурус в автоматизированных системах управления и обработки информации
Autor: Шемакин Ю. И. Юрий Иванович
Vydáno: (Москва, Воениздат, 1974)
Autor: Шемакин Ю. И. Юрий Иванович
Vydáno: (Москва, Воениздат, 1974)
Электронная техника. Сер. 9 : Автоматизированные системы управления научно-технический сборник
Vydáno: (Москва, ЦНИИ Электроника, 1972-1976)
Vydáno: (Москва, ЦНИИ Электроника, 1972-1976)
Построение конечных автоматов в StateFlow для управления технологическим процессом
Autor: Чжоу Яньчэнь
Vydáno: (2022)
Autor: Чжоу Яньчэнь
Vydáno: (2022)
Основы автоматизации системы управления построение автоматизированных систем управления ПВО
Autor: Романов А. Н.
Vydáno: (Москва, Воениздат, 1971)
Autor: Романов А. Н.
Vydáno: (Москва, Воениздат, 1971)
Проектирование автоматизированных систем управления учебное пособие
Autor: Юсупбеков Н. Р. Надырбек Рустамбекович
Vydáno: (Ташкент, Изд-во ТашПИ, 1985)
Autor: Юсупбеков Н. Р. Надырбек Рустамбекович
Vydáno: (Ташкент, Изд-во ТашПИ, 1985)
Создание и совершенствование автоматизированных систем управления, связи и оповещения в ЧС
Autor: Филимонов И. А.
Vydáno: (2015)
Autor: Филимонов И. А.
Vydáno: (2015)
Проектирование автоматизированных систем управления технологическими процессами Справочное пособие по содержанию и оформлению проектов
Autor: Емельянов А. И. Анатолий Иванович
Vydáno: (Москва, Энергия, 1974)
Autor: Емельянов А. И. Анатолий Иванович
Vydáno: (Москва, Энергия, 1974)
Решение некоторых задач календарного планирования в автоматизированных системах управления промышленными предприятиями Диссертация на соискание ученой степени кандидата технических наук Спец. 05.255
Autor: Рейдер В. М.
Vydáno: (Томск, 1971)
Autor: Рейдер В. М.
Vydáno: (Томск, 1971)
Применение сервис-ориентированной архитектуры при интеграции систем управления технологическими процессами
Autor: Ткаченко Н. И.
Vydáno: (2010)
Autor: Ткаченко Н. И.
Vydáno: (2010)
Вопросы теории и практики автоматизированных систем управления технологическими процессами
Vydáno: (Алма-Ата, Казахстан, 1979)
Vydáno: (Алма-Ата, Казахстан, 1979)
Основы автоматизированных систем управления технологическими процессами учебное пособие
Autor: Юсупов Р. Х. Рамазан Хабибрахманович
Vydáno: (Москва, Инфра-Инженерия, 2018)
Autor: Юсупов Р. Х. Рамазан Хабибрахманович
Vydáno: (Москва, Инфра-Инженерия, 2018)
Применение тренажеров и моделирующих комплексов для разработки АСУ ТП АЭС
Autor: Малкин С. Д.
Vydáno: (2002)
Autor: Малкин С. Д.
Vydáno: (2002)
Проблемы создания территориальных автоматизированных систем управления
Vydáno: (Томск, Изд-во ТГУ, 1980)
Vydáno: (Томск, Изд-во ТГУ, 1980)
Автоматизированные системы управления на водном транспорте учебник
Autor: Ширяев Е. В.
Vydáno: (Москва, РУТ (МИИТ), 2006)
Autor: Ширяев Е. В.
Vydáno: (Москва, РУТ (МИИТ), 2006)
Проектирование автоматизированных систем управления (13.04.01) электронный курс
Autor: Глушков Д. О. Дмитрий Олегович
Vydáno: (Томск, TPU Moodle, 2023)
Autor: Глушков Д. О. Дмитрий Олегович
Vydáno: (Томск, TPU Moodle, 2023)
Основы построения территориальных автоматизированных систем переработки информации и управления областного уровня диссертация на соискание ученой степени доктора технических наук спец. 05.13.06
Autor: Перегудов Ф. И. Феликс Иванович
Vydáno: (Томск, [Б. и.], 1979)
Autor: Перегудов Ф. И. Феликс Иванович
Vydáno: (Томск, [Б. и.], 1979)
Автоматизация проектирования систем управления Сборник статей
Vydáno: (Москва, Статистика, 1978)
Vydáno: (Москва, Статистика, 1978)
Структурно-автоматные модели технических систем
Autor: Малышев Н. Г. Николай Григорьевич
Vydáno: (Москва, Радио и связь, 1986)
Autor: Малышев Н. Г. Николай Григорьевич
Vydáno: (Москва, Радио и связь, 1986)
Вопросы разработки территориальных автоматизированных систем управления сборник научных трудов
Vydáno: (Кемерово, Изд-во Кемеровского госуниверситета, 1984)
Vydáno: (Кемерово, Изд-во Кемеровского госуниверситета, 1984)
Podobné jednotky
-
Применение автоматных моделей для тренажного обучения операторов АСУ ТП магистральных газопроводов
Autor: Коломиец А. С.
Vydáno: (2010) -
Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов
Vydáno: (2012) -
Надежность и устройства автоматизированных систем управления
Vydáno: (Киев, Наукова думка, 1971) -
Синтез, исследование и применение рекуррентных алгоритмов оценивания параметров математических моделей объектов в автоматизированных системах управления автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.06
Autor: Карелин А. Е. Алексей Евгеньевич
Vydáno: (Томск, [Б. и.], 2007) -
Проектирование автоматизированных систем управления
Autor: Тугов В. В.
Vydáno: (Санкт-Петербург, Лань, 2022)