Содержание
1.1 Булевы функции, таблицы истинности и таблицы решений
Булевы функции и системы булевых функций задаются в форме таблиц истинности для полностью определенных функций и таблиц решений для неполностью определенных функций. Таблицы истинности называются кодированными таблицами переходов или кодированные таблицы переходов и выходов.
Таблицы истинности применяются в задачах небольшой размерности, а таблицы решений применяются в задачах с автоматами без памяти.
Выдержка из текста
В этой работе описывается алгоритмизация задач и проектирование программ. Рассмотрена переключательная технология (SWITCH-технология) – технология алгоритмизации и программирования задач логического управления. Разработка этой технологии актуальна. Разработка направлена на достижение следующих результатов:
1) Заказчик, Технолог, Разработчик, Программист, Оператор и Контролер должны однозначно и полностью понимать друг друга.
2) создать единый подход к формальному построению «хорошо понимаемых» алгоритмов и программ, которые позволяют решать необходимые задачи, для разных типов управляющих вычислительных устройств и языков программирования;
В переключательной технологии используются два уровня языков: языки алгоритмизации и языки программирования. Языки этих двух уровней могут совпадать, если существует транслятор с языка алгоритмизации.
Список использованной литературы
1. "Селма-2". Описание функциональных блоков. АББ Стромберг Драйве.
2. Autolog 32. Руководство пользователя. FF-Automation.
3. Programmable Controller. MELSEC — A. Programming Manual. Type ACPU. Common Instructions. Mitsubishi Electric.
4. Бутаков Е.А. Методы синтеза релейных устройств из пороговых элементов. М. : Энергия.
5. Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств. М.: Энергия.
6. Малюгин В.Д. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика.
7. Артюхов В.Л., Кондратьев В.Н., Шалыто А. А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика.
8. Ляпунов А.А. О логических схемах программ //Проблемы кибернетики. Вып.1. М.: Физматгиз.
9. Бардзинь Я.М., Калниньш А.А., Стродс Ю.Ф., Сыцко В.А. Язык спецификаций SDL /PLUS/ и методика его использования. Рига: ЛГУ.
10. Баранов СИ. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия.
11. Вельбицкий И.В. Технология программирования. Киев: Техника.
12. Питерсон Д. Теория сетей Петри и моделирование систем. М.: Мир.
13. Юдицкий С.А., Мачергут В.З. Логическое управление дискретными процессами. М.: Машиностроение.
14. Мишель Ж. Программируемые контроллеры. Архитектура и применение. М. : Машиностроение.
15. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. М.: Наука.