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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Статьи / Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления (версия для печати)


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



[ << | Введение | 1 | 2 | 3 | 4, 5, Заключение | Литература ]

(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.

[ << | Введение | 1 | 2 | 3 | 4, 5, Заключение | Литература ]



© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com