Вам нужен реферат?
Интересует Информатика?
Оставьте заявку
на Реферат
Получите бесплатную
консультацию по
написанию
Сделайте заказ и
скачайте
результат на сайте
1
2
3

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

  • 20 страниц
  • 15 источников
  • Добавлена 19.03.2009
350 руб. 700 руб.
  • Содержание
  • Часть работы
  • Список литературы
Введение
1 Классические языки логического управления
1.1 Булевы функции, таблицы истинности и таблицы решений
1.2 Булевы формулы и другие аналитические формы представления алгоритмов логического управления
1.3 Функциональные схемы.
1.4 Временные диаграммы и циклограммы.
1.5 Схемы алгоритмов
1.6 Логические схемы алгоритмов
2 Нетрадиционные языки логического управления.
2.1 Язык SDL.
2.2 Р-схемы
2.3 Сети Петри и графы операций.
2.4 Язык «Графсет»
2.5. Проблемно-ориентированные языки, близкие к естественным
3 Графы переходов как язык спецификаций
3.1 Стратегии синтеза алгоритмов логического управления
3.2 Факторы, ограничивающие широкое использование графов переходов в качестве языка алгоритмизации
3.3 Графы переходов
Заключение
Список литературы

Фрагмент для ознакомления

При применении первой стратегии требуется синтезировать алгоритм логического управления, который обеспечивает заданное поведение объекта, по известному алгоритму функционирования объекта управления. Направление первой стратегии – от объекта управления к вычислителю.
При применении второй стратегии строится алгоритм, обеспечивающий требуемое функционирование объекта с учетом информации о состоянии объекта управления. Направление второй стратегии – от вычислителя к объекту управления.
















3.2 Факторы, ограничивающие широкое использование графов переходов в качестве языка алгоритмизации

1) Структура таблиц графов переходов, которая требует перечисление всех комбинаций значений всех входных переменных, сильно уменьшает размерность задач, которые решаются с их помощью.
2) Поведение модели (графа переходов) может сильно отличаться от поведения схемы. В этом случае необходимо применять очень трудоемкое противогоночное кодирование, которое связано с избыточностью.
3) Графы переходов описывают только последовательные алгоритмы, использование которых ограничено.



















3.3 Графы переходов

При применении графов переходов в явной (графической) форме в практику алгоритмизации и программирования для задач логического управления вводится понятие «состояние». В графах переходов отражается динамика переходов автомата из одного состояния в другое при изменении входных воздействий с указанием значений всех выходных переменных, которые формируются в каждом состоянии или во время каждого перехода.
В каждом сильносвязанном графе переходов есть одна начальная вершина, которая может совпадать с конечной.
































Заключение

В данной работе были рассмотрены языки логического управления: классические языки (булевы функции таблицы истинности, таблицы решений; булевы формулы, аналитические формы представления алгоритмов логического управления; функциональные схемы; временные диаграммы и циклограммы; схемы алгоритмов; логические схемы алгоритмов) и нетрадиционные языки (язык SDL; Р-схемы; сети Петри и графы операций; язык «Графсет»; проблемно-ориентированные языки, близкие к естественным). Также были рассмотрены графы переходов.




















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

"Селма-2". Описание функциональных блоков.
Autolog 32. Руководство пользователя.
Programmable Controller. MELSEC - A. Programming Manual. Type ACPU. Common Instructions.
Бутаков Е.А. Методы синтеза релейных устройств из пороговых элементов.
Карповский М.Г. Спектральные методы анализа и синтеза дискретных устройств.
Малюгин В.Д. Реализация булевых функций арифметическими полиномами.
Артюхов В.Л. Реализация булевых функций арифметическими полиномами.
Ляпунов А.А. О логических схемах программ.
Бардзинь Я.М. Язык спецификаций SDL/PLUS и методика его использования.
Баранов СИ. Синтез микропрограммных автоматов (граф-схемы и автоматы).
Вельбицкий И.В. Технология программирования.
Питерсон Д. Теория сетей Петри и моделирование систем.
Юдицкий С.А. Логическое управление дискретными процессами.
Мишель Ж. Программируемые контроллеры. Архитектура и применение.
Гаврилов М.А. Логическое проектирование дискретных автоматов.
"Селма-2". Описание функциональных блоков.
Autolog 32. Руководство пользователя.
Programmable Controller. MELSEC - A. Programming Manual. Type ACPU. Common Instructions.

Бутаков Е.А. Методы синтеза релейных устройств из пороговых элементов.

Карповский М.Г. Спектральные методы анализа и синтеза дискретных устройств.

Малюгин В.Д. Реализация булевых функций арифметическими полиномами.

Артюхов В.Л. Реализация булевых функций арифметическими полиномами.

Ляпунов А.А. О логических схемах программ.

Бардзинь Я.М. Язык спецификаций SDL /PLUS и методика его использования.

Баранов СИ. Синтез микропрограммных автоматов (граф-схемы и автоматы).

Вельбицкий И.В. Технология программирования.

Питерсон Д. Теория сетей Петри и моделирование систем.

Юдицкий С.А. Логическое управление дискретными процессами.

Баранов СИ. Синтез микропрограммных автоматов (граф-схемы и автоматы).

Мишель Ж. Программируемые контроллеры. Архитектура и применение.

Гаврилов М.А. Логическое проектирование дискретных автоматов.

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

1."Селма-2". Описание функциональных блоков.
2.Autolog 32. Руководство пользователя.
3.Programmable Controller. MELSEC - A. Programming Manual. Type ACPU. Common Instructions.
4.Бутаков Е.А. Методы синтеза релейных устройств из пороговых элементов.
5.Карповский М.Г. Спектральные методы анализа и синтеза дискретных устройств.
6.Малюгин В.Д. Реализация булевых функций арифметическими полиномами.
7.Артюхов В.Л. Реализация булевых функций арифметическими полиномами.
8.Ляпунов А.А. О логических схемах программ.
9.Бардзинь Я.М. Язык спецификаций SDL/PLUS и методика его использования.
10.Баранов СИ. Синтез микропрограммных автоматов (граф-схемы и автоматы).
11. Вельбицкий И.В. Технология программирования.
12.Питерсон Д. Теория сетей Петри и моделирование систем.
13.Юдицкий С.А. Логическое управление дискретными процессами.
14.Мишель Ж. Программируемые контроллеры. Архитектура и применение.
15. Гаврилов М.А. Логическое проектирование дискретных автоматов

Узнать стоимость работы