Книга Теория соответствия для систем с блокировками и разрушениями
Виктор Кулямин
- Автор: Виктор Кулямин
- Серия: Математика. Прикладная математика
- Жанр: Электроника, Автоматика и телемеханика, Прочая образовательная литература, Информатика и вычислительная техника
- Год издания: 2008
- ISBN: 978-5-9221-0936-9
- Издательство: Издательская фирма "Физико-математическая литература"
Описание Теория соответствия для систем с блокировками и разрушениями
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.Книги цикла
Классификация решений обыкновенных дифференциальных уравнений первого порядка
Александр Егоров
Классические ортогональные многочлены
Павел Суетин
Уравнения математической физики
Камиль Сабитов
Уравнения математической физики
Арлен Ильин
Линейные и нелинейные уравнения соболевского типа
Юрий Плетнер
Сеточные методы равномерного зондирования для исследования и оптимизации динамических стохастических систем
Галина Антонова
Биматричные игры и билинейное программирование
Александр Стрекаловский
Арифметические методы синтеза быстрых алгоритмов дискретных ортогональных преобразований
Владимир Чернов
Рекомендуем к прочтению
Охранная техника
Ю. А. Виноградов
Нелинейные системы автоматического управления
В. Н. Евсюков
Системы автоматизации технологических процессов
А. В. Гунько
Основы автоматического управления
В. Л. Земляков
Контрольно-измерительные приборы и основы автоматики
М. Н. Молдабаева
Применение парадигм интеллектуального управления при решении «открытых задач» автоматизации
Андрей Гончаров
Курс «Трубопроводная арматура». Модуль «Пневмоприводы и приборы управления пневмоприводами»
Станислав Львович Горобченко