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

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

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

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 | Литература ]