А. А. Шалыто Государственное унитарное предприятие "Научно-производственное объединение "Аврора", Санкт-Петербург
Скачать 29.71 Kb.
|
SWITCH-ТЕХНОЛОГИЯ. АЛГОРИТМИЗАЦИЯ И ПРОГРАММИРОВАНИЕ ЗАДАЧ ЛОГИЧЕСКОГО УПРАВЛЕНИЯА.А.ШалытоГосударственное унитарное предприятие "Научно-производственное объединение "Аврора", Санкт-ПетербургТел.: (812) 247-95-26В настоящее время в системах управления используются три типа управляющих вычислительных устройств: микроконтроллеры; программируемые логические контроллеры (ПЛК); промышленные компьютеры. Для каждого типа этих устройств характерно применение соответствующих языков программирования: ассемблеры; языки ПЛК по стандарту IEC 1131-3 (языки инструкций, лестничных схем, функциональных блоков, структурированных текстов, последовательных функциональных диаграмм (язык "Графсет"); языки высокого уровня (СИ, СИ++, Паскаль и т.д.). Наряду с указанными языками программирования для описания алгоритмов логического управления используется большое число языков спецификаций: временные диаграммы и циклограммы; таблицы истинности и таблицы решений; принципиальные и функциональные схемы; таблицы, матрицы и графы переходов (ГП); сети Петри и графы операций, логические и графические схемы алгоритмов; Р-схемы и SDL-диаграммы; проблемно-ориентированные языки (Ярус, Форум, Условие, Управление) и т.д. Цель разработки предлагаемой технологии состоит в том, чтобы обеспечить возможность Заказчику, Технологу (Проектанту), Разработчику, Программисту, Оператору (Пользователю) и Контролеру однозначно понимать, что должно быть сделано, что делается и что сделано в функциональной части программно реализуемого проекта системы логического управления "инерционными" объектами управления. Предлагаемый подход позволяет разделить работу, а самое главное, ответственность между Специалистами разных областей знаний, а также между организациями, что особенно важно при работе с инофирмами, в частности, из-за наличия языкового барьера и неоднозначности понимания даже одного естественного языка различными людьми. Этот подход базируется на следующих семи основных понятиях: состояние – конечный детерминированный автомат – независимость от "глубокой предыстории" – система взаимосвязанных ГП – многозначное кодирование состояний – формальное и изоморфное программирование – конструкция switch. Понятие "состояние" позволяет сопоставить состояния управляемого оборудования с состояниями управляющего алгоритма, и реализующей его программы, что резко упрощает понимание последних. Введение в программирование понятия "состояние" наряду с широко используемым в программировании понятием "событие" позволяет ввести понятия "автоматное программирование" и "автоматное проектирование программ". Предлагаемая технология может быть названа также STATE-технология или AUTOMATON-технология. Применение многозначного кодирования состояний позволяет ввести в программирование для задач, реализуемых одним графом переходов, понятие "наблюдаемость" по значениям одной внутренней переменной. При этом для задач, реализуемых N графами переходов, достаточно использовать N внутренних переменных вне зависимости от числа состояний в каждом графе переходов, что резко упрощает программирование. Графы переходов могут вызывать друг друга, а также вкладываться друг в друга, обеспечивая их иерархию, композицию и декомпозицию. Для перехода от алгоритмов, представленных с помощью графов переходов, к текстам программ на различных языках программирования предлагаются методы формального и изоморфного перехода от системы графов переходов к программам, что позволяет обеспечить не только функциональную, но и изобразительную эквивалентность указанных описаний. Предложенный подход, в частности, был использован в НПО "Аврора" при создании систем управления судовыми техническими средствами на базе аппаратуры фирм "ABB Stromberg" (Финляндия) (1991 г.), "Norcontrol" (Норвегия) (1993 г.), "FF – Automation" (Финляндия) (1996 г.). В 1993 г. фирма "Modicon" (США), а в 1996 г. фирма "Siemens" (Германия) разработали для своих ПЛК программные продукты, в которых ГП применяются в качестве языка программирования, в то время как для других языков программирования вопрос об использовании ГП в качестве языка спецификации даже не ставился. Литература1. Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 2. Баглюк Ю.В., Шалыто А.А. Программируемые логические контроллеры "Autolog". 124 примера программ на языке "ALPro", реализующих алгоритмы логического управления. СПб.: FF-Automation. 1999. На русском и англ. языках. |
Добавить документ в свой блог или на сайт
Похожие:
 | Государственное унитарное предприятие Республики Тыва «Птицефабрика «Енисейская»» | | Работа выполнена в ОАО «Научно-производственное объединение «Центральный научно-исследовательский институт технологии машиностроения... |
 | Заказчик: Государственное унитарное предприятие города Москвы по эксплуатации коммуникационных коллекторов «Москоллектор» | | Санкт-Петербургское государственное бюджетное профессиональное образовательное учреждение |
| Федеральное государственное унитарное предприятие «Главное управление строительства дорог и аэродромов при Федеральном агентстве... | | Открытый запрос предложений (№абф 51-12) на право заключения договора обязательного страхования гражданской ответственности владельцев... |
| Основной хозяйствующей структурной единицей в условиях рынка является предприятие: производственное, финансовое, информационное и... | | Санкт-Петербург, CrownePlazaSt. PetersburgAirport, ул. Стартовая, д. 6 литер а (аэропорт Пулково-2) |
| Театральное искусство / Юрий Андреевич Васильев; Санкт-Петербург гос акад театр искусства. Санкт-Петербург : Изд-во Санкт-Петербургской... | | Лимонов Л. Э., Ниу вшэ санкт-Петербург, ано мцсэи «Леонтьевский Центр», Санкт-Петербург |