УДК |
Аннотация: Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие "состояние". Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние-независимость от "глубокой" предистории-система взаимосвязанных графов переходов-многозначное кодирование-конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность, управляемость и наблюдаемость программ, их изоморфизм (изобразительную экфивалентность) со спецификациями, по которым программы формально строятся. Это позволяет Заказчику, Технологу (Проектанту), Разработчику, Программисту, Оператору (Пользователю) и Контролеру однозначно понимать друг друга, разделять рабору и ответственность, легко и корректно вносить изменения. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах. Для специалистов в области информатики, вычислительной техники и систем управления.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)