Мар
27
2013

Системы автоматизации проектирования (САПР)

К числу важных задач, связанных с разработкой автоматизированных систем технологической подготовки производства, относится проектирование дискретных технологических процессов. Дискретный технологический процесс может быть представлен в виде следующей алгоритмической модели. Технологические операции задаются операторами. Все возможные состояния модели представляют собой множество состояний. Процесс изготовления изделия рассматривается как применение операторов к заготовке, которая находится в одном из состояний [...]

0
Мар
24
2013

Программное изделие

Назначение любой технологии программирования состоит в инструментальном обеспечении процесса изготовления программных изделий. Принятые в настоящее время определения программного изделия не могут считаться вполне удовлетворительными. Вместо того чтобы вводить очередное определение этого понятия, сформулируем цель, к которой нужно стремиться при оформлении программ в виде программных изделий. Как объект разработки программное изделие-это такая пара, которая удовлетворяет по меньшей [...]

0
Мар
19
2013

Назначение языка проектирования схем алгоритмов

Основным назначением языка проектирования схем алгоритмов является представление алгоритма в форме, ориентированной на человека и облегчающей процесс изготовления программных изделий требуемого качества. Языки схем алгоритмов позволяют: обеспечить разделение труда при промышленном производстве программных изделий; вовлечь в процесс создания программ непрофессиональных программистов; улучшить взаимопонимание заказчиков программных изделий с разработчиками алгоритмов и разработчиков со специалистами по ЯП;

0
Мар
16
2013

Требования для языков программирования

Каждый язык проектирования должен удовлетворять как минимум следующим требованиям: простота обучения и использования; возможность описания алгоритмов в форме, удобной дли человека, что облегчает достижение требуемого качества программ; возможность формализации алгоритмов в терминах абстрактных объектов (данных, операторов, условий, структур памяти процессоров, коммутаторов и др.), а также в терминах операций над объектами, свойства которых хорошо изучены. Иными слова ми, в [...]

0
Мар
10
2013

Математический аппарат систем алгоритмических алгебр

В кибернетике к числу наиболее фундаментальных относится понятие обратной связи, на котором основано управление функционированием сложных систем разнообразной природы. Обратная связь воплощена в концепции абстрактной модели управления, базирующейся на абстрактной модели однопроцессорной ЭВМ. Для формализованного представления алгоритмов функционирования абстрактной модели ЭВМ существует математический аппарат систем алгоритмических (микропрограммных) алгебр (САА).

0
Фев
27
2013

Метод многоуровневого структурного проектирования программ

Формализованное проектирование алгоритмов и программ по методу МСПП базируется на применении подстановок, левые и правые части которых суть оформленные в САА-М фрагменты объектов проектирования. В процессе нисходящего проектирования подстановки применяются слева направо (детализация), а при восходящем проектировании — справа налево (укрупнение); тем самым формализуется не только структура алгоритмов и программ на каждом уровне проектирования, но и сам процесс [...]

0
Фев
24
2013

Механизмы настройки на целевой язык

Система МУЛЬТИПРОЦЕССИСТ снабжена гибкими средствами подключения целевых языков. Имеется два механизма настройки на целевой язык L: макрогенерация и табличное описание языка. В первом случае программист формирует систему макроопределений, реализующих используемые при синтезе конструкции языка L: заголовки и окончания циклов, генерацию меток и переходов, выполнение логических операций и т. п. Включение в управляющую структуру макровызовов этих [...]

0
Фев
24
2013

Особенность регулярных схем алгоритмов

Особенность САА-М состоит в наличии развитого аппарата соотношении, характеризующих общие свойства ПРС и возможности привлечения дополнительных’ соотношений, отражающих специфику выбранной предметной области. На основе указанного аппарата может быть осуществлен процесс формальной трансформации, в частности оптимизации по выбранным критериям проектируемых алгоритмов и программ.

0
Фев
24
2013

Схема алгоритма

Под схемой алгоритма обычно понимается формальное его представление, в котором абстрагируются от содержательного смысла операторов и логических условий, считая первые элементарными символами, а вторые — независимыми логическими переменными. Исследование подобных абстрактных моделей в рамках схематологии программирования нацелено прежде всего на разработку аппарата эквивалентных преобразований для оптимизации программ по выбранным критериям На возможность и целесообразность подобных [...]

0
Фев
24
2013

Основа структурной схематологии

В основу структурной схематологии — теории схем структурированных алгоритмов и программ — и был положен аппарат САА. Отметим, что при разработке систем эквивалентных (тождественных) преобразований регулярных схем—операторных представлений в САА — возникла необходимость в расширении сигнатуры данных алгебр путем включения в нее операций асинхронного параллелизма. Полученные таким образом модифицированные САА (САА-М) ориентированы на формализованное проектирование [...]

0