 |
SWITCH-ТЕХНОЛОГИЯ. АЛГОРИТМИЗАЦИЯ И ПРОГРАММИРОВАНИЕ ЗАДАЧ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ
Шалыто А.А. СПб.: Наука,1998. 628 с. УДК 681.3.06:62-507 |
Аннотация
Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие "состояние". Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние - независимость от глубокой предыстории - система взаимосвязанных графов переходов - многозначное кодирование - конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность, управляемость и наблюдаемость программ, а также их изоморфизм (изобразительную эквивалентность) со спецификациями, по которым они формально строятся. Это позволяет Заказчику, Технологу (Проектанту), Разработчику, Программисту и Оператору однозначно понимать друг друга, разделять работу и ответственность, легко и корректно вносить изменения. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах.
Книга предназначена для специалистов в области информатики, вычислительной техники и систем управления.
Издание осуществлено за счет финансовой поддержки Российского фонда фундаментальных исследований по проекту N 96-01-14066.
Оглавление
Введение
Глава 1
Об авторе:
Шалыто Анатолий Абрамович, д.т.н., профессор, ученый секретарь ФГУП "НПО "Аврора", заведующий кафедрой информационных систем СПб ГИТМО
Рецензии
А. Лашманкин
ВОЗРОЖДЕНИЕ АВТОМАТОВ
Компьютер дома и на работе - 2001, ? 23
Р. Герр
НОВЫЙ ПОВОРОТ
PC Magazine / Russian Edition - 1998, ? 10