Министерство образования Российской Федерации

Уфимский государственный авиационный технический университет

Факультет ИРТ: Информатика и робототехника

Кафедра ПСИ: Проектирование систем информатики

Учебная дисциплина:

МАТЕМАТИЧЕСКАЯ ЛОГИКА

РГР: Расчетно-графическая работа

Общая тема:

ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-АЛГОРИТМИЧЕСКИЕ СИСТЕМЫ

Часть 1

НАЧАЛЬНАЯ ПОДГОТОВКА

Простейшие алгоритмы:

Структурные схемы и формулы

Многопоточная программная реализация

Пояснительная записка

3053.4371.0000-ПЗ

Направление подготовки:

654600: ИВТ: Информатика и вычислительная техника

Специальность:

230102: АСОИ: Автоматизированные системы обработки информации и управление

Курс обучения: 2

Учебная группа: Асои -231

Работу выполнил

студент _____________ Баймуратов А.С.

Зачетная книжка № 055547

Работу принял

преподаватель _____________ Житников А.П.

2006

1. Параллельная конъюнкция (#&). Многопоточная реализация

Порядок записи комбинаций заданных параметров

а) Код индивидуального задания:

номер зачетной книжки: XXХabc = 055547

последние три цифры номера: abc = 547

б) Таблица параметров задания:

Номера команд	i=c	j = b	k = a
	7	4	5
Команды	Zi=Z7	Zj = Z4	Zk = Z5
	Z7	Z4	Z5
Длительности команд	mi = 4*10 = 40	mj = 7*10 = 70	mk = 5*10 = 50
Силовая головка	СГ7	СГ4	СГ5
Длина инструмента силовой головки	Li = L7 = 40	Lj = L4 = 70	Lk = L5 = 50

в) Установка заданных параметров длины инструмента:

Li=L7 = 40Lj=L4 = 70Lk=L5 = 50

Пустой алгоритм:

A001 = ( )

Единичный (однокомандный) алгоритм:

А101 = (Z7)

2) Двухкомандые алгоритмы // Первичные невырожденные алгоритмы

A211 = (Z7 –Z4) – последовательный алгоритм;

А222 = (Z7 &Z4) = (Z7 #&Z4) – параллельная конъюнкция команд;

3) Трехкомандный алгоритм:

А323 = (Z7 &Z4 &Z5) = (Z7 #&Z4 #&Z5) – параллельная конъюнкция команд.

Алгоритм a001: Пустой алгоритм - проходная интерпретация

1. Описание алгоритма

СФА: Структурная формула алгоритма

Алгоритм этапа обработки (основного перехода тех. операции):

A001 = ( ) = (–) = (–>) = (R) = –> = R

R: Репитер (повторитель) – оператор функции повторения;

равносилен простой линии связи

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

A = (Zz – A001 – Zr) = (Zz – R – Zr) = (Zz – – – Zr) = (Zz – Zr)

ССА: Структурная схема алгоритма

ВТА: Вербальный текст алгоритма / ПиПТ: Питон-подобный текст

ГИ: Горизонтальное исполнение

ШТА: Шаблон текста алгоритма

A001 = ( ) = (R) =R

A001 =R

РТА: Рабочий текст алгоритма

algA001():pass

ВТА: Вербальный текст алгоритма / ПиПТ: Питон-подобный текст

ВИ: Вертикальное исполнение:

A001 = (R) =R

ШТА: Шаблон текста алгоритма РТА: Рабочий текст алгоритма

A001 A001= A001= A001= alg A001():

= ( ( | R pass

( R|R

R))

)

2. Исходный текст программной реализации

Рабочий файл:

expSub.py: Учебные (экспериментальные) подпрограммы.

Подпрограмма реализации алгоритма A001:

def eA001(ccrt, hCycles): // alg A001( ):

pass// пустой оператор

// равносилен повторителю и простой связи: R = ->

Алгоритм a101: Единичный алгоритм

3. Описание алгоритма

СФА: Структурная формула алгоритма

Алгоритм этапа обработки (основного перехода тех. операции):

A101 = (Z7) = Z7

Алгоритм операционного цикла

A= (Zz–A101 –Zr) = (Zz– (Z7) –Zr) = (Zz–Z7 –Zr)

ССА: Структурная схема алгоритма

ДИА: Диаграмма исполнения алгоритма: mz7 = 40

ВТА: Вербальный текст алгоритма / ПиПТ: Питон-подобный текст

ГИ: Горизонтальное исполнение

ШТА: Шаблон текста алгоритма

A001 = (Z7) =Z7

A001 =Z7

РТА: Рабочий текст алгоритма

algA001():Zh7()

ВИ: Вертикальное исполнение

ШТА: Шаблон текста алгоритма РТА: Рабочий текст алгоритма

A001 A001= A001= A001= alg A001():

= ( ( | Z7 Zh7()

( Z7 |Z7

Z7 ) )

)