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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / Статьи / Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 1 (версия для печати)


Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 1



[ << | 1 | 2 | Литература ]

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

  1. Требования к спецификации программ /Под ред. Агафонова В.Н. М.: Мир, 1984.
  2. Клини С. Представление событий в нервных сетях и конечных автоматах //Автоматы. М.: Изд-во иностр. лит, 1956. С.17-27.
  3. Ляпунов А.А. О логических схемах программ //Проблемы кибернетики. М.: Физматгиз, 1958. Вып.1. С.5-28.
  4. Янов Ю.И. О логических схемах алгоритмов //Проблемы кибернетики. М.: Физматгиз, 1958. Вып.1. С.29-53.
  5. Калужнин Л.А. Об алгоритмизации математических задач //Проблемы кибернетики. М.: Физматгиз, 1958. Вып.1. С.58-63.
  6. Таль А.А. Анкетный язык и абстрактный синтез минимальных последовательностных машин //Автоматика и телемеханика (А и Т). 1964. N 6. С.38-49.
  7. Гаврилов М.А., Девятков В.В., Чичковский А.Б. Язык операторных схем параллельных алгоритмов с памятью (язык ОСПАП) //Абстрактная и структурная теория релейныхустройств. М.: Наука, 1975. С.18-30.
  8. Глушков В.М., Капитонова Ю.В., Летичевский А.А. О применении метода формализованных технических заданий к проектированию программ обработки структур данных //Программирование. 1978. N6. С.5-12.
  9. Кузнецов О.П. Теория алгоритмических конечноавтоматных языков //А и Т. 1981. N 3. С.122-133. N4. C.127-135.
  10. Кузнецов О.П., Шипилина Л.Б., Марковский А.В. и др. Проблемы разработки языков логического программирования и их реализация на микро - ЭВМ (на примере языка ЯРУС - 2) //А и Т. 1985. N 6. С.128-138.
  11. Девятков В.В., Чичковский А.Б. Условие-82 - язык программно-логического управления //Автоматизация проектирования. М.: Машиностроение, 1990. Вып.2. С.58-67.
  12. Амбарцумян А.А., Искра С.А., Кривандина Н.Ю. и др. Проблемно-ориентированный язык описания поведения систем логического управления ФОРУМ-М //Проектирование устройств логического управления. М.: Наука, 1984. С.35-47.
  13. Юдицкий С.А., Покалев С.С. Логическое управление гибким интегрированным производством. Препринт. М.: Ин-т проблем управления, 1989.
  14. Закревский А.Д. Языки логического управления. Препринт. Минск: Ин-т технической кибернетики, 1988.
  15. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. М.: Энергоатомиздат, 1989.
  16. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979.
  17. Флорин Ж. Таблицы этапов или сети Петри? //Теория дискретных управляющих устройств. М.: Наука, 1982. С.35-42.
  18. Захаров В.Н. Секвенциальное описание управляющих автоматов //Изв. АН СССР. Техн.кибернетика. 1972. N2. С.58-65.
  19. Фрайтаг Г.,Годе В., Якоби Х. и др. Введение в технику работы с таблицами решений. М.: Энергия, 1979.
  20. Базиль Д. Реализация конечного автомата на языке Форт //Форт в исследованиях и разработках. Л.: Ленинградский гос. ун-т, 1991. Т.1. N1. С.5-8.
  21. Сосье Г. Управляющие автоматы: моделирование, декомпозиция и реализация. //Теория дискретных управляющих устройств. М.: Наука. 1982. С.49-58.
  22. Бардзинь Я.М., Калниньш А.А., Стродс Ю.Ф. и др. Язык спецификации SDL и методика его использования. Рига: Латвийский гос. ун-т. 1986.
  23. Бергер Г. Программирование управляющих устройств на языке STEP 5. SIEMENS, 1982.
  24. Мишель Ж. Программируемые контроллеры. Архитектура и применение. М.: Машиностроение, 1992.
  25. Шалыто А.А. Программная реализация управляющих автоматов //Судостроительная промышленность. Сер. Автоматика и телемеханика. 1991. Вып.13. С.41-42.
  26. Шалыто А.А. Технология программной реализации алгоритмов логического управления как средство повышения живучести //Тез. докл. научно-технической конф."Проблемы обеспечения живучести кораблей и судов". СПб.: Судостроение, 1992. С.87-89.
  27. Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991.
  28. Ершов А.П. Введение в теоретическое программирование. М.: Наука, 1977.
  29. Схемы алгоритмов, программ, данных и систем. Условные обозначения и правила выполнения. ГОСТ 19.701-90 (ИСО 5807-85).
  30. P - схемы алгоритмов и программ. ГОСТ 19.005 - 85.
  31. Иодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979.
  32. Лингер Р., Миллс Х., Уитт С. Теория и практика структурного программирования. М.: Мир, 1982.
  33. Буч Г. Объектно - ориентированное проектирование с примерами применения. Киев: Диалектика, 1992.
  34. Al 2000. Technical Description. FF-ELEKTRONIIKKA FREDRIKSSON KY, 1992.
  35. Вирт Н. Программы = алгоритмы + данные. М.: Мир, 1988.
  36. Брауэр В. Введение в теорию конечных автоматов. М.: Радио и связь, 1987.
  37. Кузнецов О.П. Графы логических автоматов и их преобразования. //А и Т. 1975. N9. C.118-129.
    [ << | 1 | 2 | Литература ]



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