УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления

(c) А.А.Шалыто

Список литературы

1. Дейкстра Э. Дисциплина программирования. М.: Мир, 1979.
2. "Селма-2". Описание функциональных блоков. АББ Стромберг Драйвс, 1989.
3. Autolog 32. Руководство пользователя. FF-Automation.
4. Programmable Controller. MELSEC - A. Programming Manual. Type ACPU. Common Instructions. Mitsubishi Electric.
5. Поспелов Д.А. Ситуационное управление. Теория и практика. М.:Наука, 1986.
6. Бутаков Е.А. Методы синтеза релейных устройств из пороговых элементов. М.: Энергия, 1970.
7. Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств. М.: Энергия, 1973.
8. Малюгин В.Д. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1982. N4.
9. Артюхов В.Л., Кондратьев В.Н., Шалыто А.А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988, N4.
10. Филд А., Харрисон П. Функциональное программирование. М.: Мир,1993. 11. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979.
11. Mistic Controller. Opto. Booklet N1-800-321-OPTO.
12. Nassi J., Shnenderman B. Flowcharte Techiques for Structured Programming //SIGPLAN Not. 1973. N8.
13. Ляпунов А.А. О логических схемах программ //Проблемы кибернетики. Вып.1. М.: Физматгиз, 1958.
14. Бардзинь Я.М., Калниньш А.А., Стродс Ю.Ф., Сыцко В.А. Язык спецификаций SDL /PLUS/ и методика его использования. Рига: ЛГУ, 1986.
15. Вельбицкий И.В. Технология программирования. Киев: Техника, 1984. 17. Питерсон Д. Теория сетей Петри и моделирование систем. М.: Мир, 1984.
16. Юдицкий С.А., Мачергут В.З. Логическое управление дискретными процессами. М.: Mашиностроение, 1987.
17. Мишель Ж. Программируемые контроллеры. Архитектура и применение. М.: Машиностроение, 1992.
18. Бергер Г. Программирование управляющих устройств на языке STEP-5. Том 1. Программирование основных функций. Сименс. 1982.
19. SIMATIC. Simatic S7/M7/C7. Programmable Controllers. SIEMENS. Catalog ST 70. 1996.
20. Modicon Modsoft. Руководство программиста. GM-MSFT-001. Ред.E. 1993.
21. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. М.: Наука, 1977.
22. Амбарцумян А.А., Искра С.А., Кривандина Н.Ю. и др. Проблемно-ориентированный язык описания поведения систем логического управления //Проектирование устройств логического управления. М.: Наука. 1984.
23. Девятков В.В., Чичковский А.Б. Условие-82 - язык программно-логического управления //Автоматизация проектирования. Вып.2. М.: Машиностроение, 1990.
24. Горбатов В.А., Смирнов М.И., Хлытчев И.С. Логическое управление распределенными системами. М.: Энергоиздат, 1991.
25. Кузнецов О.П., Шипилина Л.Б., Марковский А.В. и др. Проблемы разработки языков логического программирования и их реализация на микроЭВМ (на примере языка "Ярус-2") //Автоматика и телемеханика. 1985. N6.
26. Кузнецов О.П. Графы логических автоматов и их преобразования //Автоматика и телемеханика. 1975. N9.
27. Шалыто А.А. Использование граф-схем алгоритмов и графов переходов при программной реализации алгоритмов логического управления //Автоматика и телемеханика. 1996. N6,7.
28. Апериодические автоматы. /В.И. Варшавский, Л.Я. Розенблюм, В.Б. Мараховский и др. М.: Наука, 1976.
29. Лингер Р., Миллс Х., Уитт С. Теория и практика структурного программирования. М.: Мир, 1982.
30. Буч Г. Объектно-ориентированное проектирование с примерами применения. Киев: Диалектика; М.: АО "ИВК", 1992.
31. Матчо Д., Фолкнер Д. DELPHI. М.: БИНОМ, 1995.
32. Шлеер С., Меллор С. Объектно-ориентированный анализ. Моделирование мира в состояниях. Киев: Диалектика, 1994.
33. Заде Л., Дезоер Ч. Теория линейных систем. Метод пространства состояний. М.: Наука, 1970.
34. Гнеденко Б.В. Курс теории вероятностей. М.: Наука, 1965.
35. Касьянов В.Н., Поттосин Н.В. Методы построения трансляторов. Новосибирск: Наука, 1986.
36. Мартынюк В.В. Об анализе графа переходов для операторной схемы //Журн. вычисл. математики и мат. физики. 1965. Т.5. N2.
37. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб., Наука, 1998.
38. Шалыто А.А., Антипов В.В. Алгоритмизация и программирование задач логического управления. СПб.: Моринтех, 1996.
39. Project 15640. AS 21.DG1. CONTROL. АМИЕ. 95564.12M. St.Petersburg. ASS "Avrora", 1991.
40. Трахтенброт Б.А., Бардзинь Я.М. Конечные автоматы. Поведение и синтез. М.: Наука, 1970.
41. Functional Description. Warm-up & prelubrication logic. Generator Control Unit. Severnaya hull N431. Norcontrol, 1993.
42. Шалыто А.А. Программная реализация управляющих автоматов // Судостроит. пром-ть. Сер. Автоматика и телемеханика. 1991. Вып.13.
43. Modicon-Telemecanique. TSX Micro industrial programmable controllers. Groupe Schneider, Catalog, 1996, March.
44. International Standart IEC 1131-3. Programmable controllers. Part 3. Programming languages // International Electrotecnical Commission, 1993.
45. Underwriters Laboratories обновляет стандарт по безопасности программного обеспечения для ПЛК //Современные технологии автоматизации. 1997. N1.
46. Бейбер Р.Л. Программное обеспечение без ошибок. Дж. Уайли энд санз. Радио и связь. 1996.
47. Горбатов В.А., Кафаров В.В., Павлов П.Г. Логическое управление технологическими процессами. М.: Энергия, 1978.
48. Руднев В.В. Система взаимосвязанных графов и моделирование дискретных процессов //Автоматика и телемеханика. 1984. N9.