Научная статья на тему 'Рекурсивные конвейерные процессы - основные свойства и характеристики'

Рекурсивные конвейерные процессы - основные свойства и характеристики Текст научной статьи по специальности «Математика»

CC BY
192
71
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ / NUMERICAL MODELING / КОНВЕЙЕР / CONVEYOR / КАЛЕНДАРНОЕ ПЛАНИРОВАНИЕ / ОРГАНИЗАЦИЯ ПРОИЗВОДСТВА / ORGANIZATION OF PRODUCTION / РЕКУРСИВНЫЕ ФУНКЦИИ / RECURSIVE FUNCTIONS / APS-СИСТЕМЫ / CALENDAR PLANNING / APS SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Куприянов Борис Васильевич

В статье рассматривается формальная модель рекурсивных конвейерных процессов. Описываются и иллюстрируются основные свойства и характеристики данного вида процессов. На основании данных свойств осуществляется разбиение процессов на классы.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

RECURSIVE CONVEYOR PROCESSES -THE MAIN PROPERTIES AND CHARACTERISTICS

In the article the formal model of recursive conveyor processes is considered. The main properties and characteristics of this type of processes are described and illustrated. Based on these properties splitting processes into classes is carried out.

Текст научной работы на тему «Рекурсивные конвейерные процессы - основные свойства и характеристики»

РЕКУРСИВНЫЕ КОНВЕЙЕРНЫЕ ПРОЦЕССЫ -ОСНОВНЫЕ СВОЙСТВА И ХАРАКТЕРИСТИКИ

УДК 519.86

Борис Васильевич Куприянов,

к.т.н., Научный сотрудник института проблем управления РАН Тел.: (903) 626-86-25 Эл. почта: [email protected].

В статье рассматривается формальная модель рекурсивных конвейерных процессов. Описываются и иллюстрируются основные свойства и характеристики данного вида процессов. На основании данных свойств осуществляется разбиение процессов на классы.

Ключевые слова: численное моделирование, конвейер, календарное планирование, организация производства, рекурсивные функции, APS-системы.

Boris V. Kupriyanov,

PhD in Technical Sciences, Research Associate of the Institute of control sciences of RAS Тел.: (903) 626-86-25 E-mail: [email protected]

RECURSIVE CONVEYOR PROCESSES -THE MAIN PROPERTIES AND CHARACTERISTICS

In the article the formal model of recursive conveyor processes is considered. The main properties and characteristics of this type of processes are described and illustrated. Based on these properties splitting processes into classes is carried out.

Keywords: numerical modeling, conveyor, calendar planning, organization of production, recursive functions, APS systems.

1. Введение

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

Модели конвейерных процессов, в той или иной модификации, широко используются для решения различных прикладных задач. Конвейерные процессы существуют не только в производстве, но и в вычислительных процессах [3-5]. В настоящее время теория составления производственных расписаний воплощается в таких информационных системах как ERP -системы управления предприятием, MES - системы управления производственными процессами и APS - системы составления производственных расписаний[6-8]. Практически все известные автору системы используют в качестве модели процесса - диаграммы Ганта. В дальнейшем, исходя из того или иного дополнительного набора данных используются различные эвристические методы составления расписания.

В статьях [9-11] рассматривается моделирование класса процессов, имеющих конвейерную природу. В статье [12] рассматриваются приложения данной модели к описанию процессов в производстве, теории расписаний и вычислительных процессах. Оно имеет следующие отличия от модели конвейера в теории организации производства:

1. Процесс описывается не параллельно-последовательной схемой, а ациклическим ориентированным графом, вершинами которого могут быть функциональные операции или спусковые функции.

2. Числовые характеристики процесса определяются не аналитическими, а рекуррентными выражениями.

Рекурсивный конвейерный процесс описывается расписанием выполнения операций, в котором время завершения выполнения каждой операции вычисляется с помощью рекурсивной функции вида

fk = Щк-Ъ f^ ..., fkq, ¿и)-.

где

n - номер операции конвейера,

к - номер выполняемого цикла,

tn - время выполнения операции с номером n, ff - время завершения выполнения операции p на k-м цикле, p...q - номера операций непосредственно предшествующих операции с номером n,

R - некоторая рекурсивная функция.

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

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

2. Модель конвейера

Ниже приводится формальное определение модели рекурсивного конвейерного процесса. Данная модель описывает изменение характеристик конвейерного процесса во времени.

Конвейером является конечный ориентированный связный ациклический граф с несколькими начальными вершинами и одной конечной. A = {ab a2, ..., an} - множество вершин графа. Будем считать, что {ab a2, ..., am} - множество начальных вершин (1 < m < n), а an - конечная (или завершающая) вершина.

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

s - простая операция; l - линейный конвейер; and - спусковая функция, определяемая предикатом and;

mul - спусковая функция мультипликации операций;

div - спусковая функция редуцирования операций;

put - спусковая функция раздачи; get - спусковая функция приема. Далее эти функции будут подробно описаны. Здесь лишь отметим, что операции типа s и l характеризуются временем выполнения. Спусковые функции имеют нулевое время выполнения.

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

конвейеру, для которого данная операция является завершающей.

1. Определение 1. Номером цикла k (к >0) выполнения операции конвейера (конвейера) назовем порядковый номер экземпляра выполнения операции в процессе функционирования конвейера.

Номер цикла не имеет размерности.

Определение 2. Будем считать, что фаза начала к-го цикла ai-ой операции конвейера (конвейера) есть время начала выполнения к-го цикла aгой операции конвейера и будет обозначаться как , где 1 < г < п и k > 0.

Определение 3. Будем считать, что фаза окончания (или просто фаза) к-го цикла а-ой операции конвейера (конвейера) есть время окончания выполнения к-го цикла аг-ой операции конвейера и обозначим ее как /, где 1 < г < п и к > 0.

Между фазами начала и окончания выполнения операции аг следующая связь:

/=+4 где ^ - время выполнения операции а{.

Фазы начала и окончания выполнения операции имеют размерность единицы времени.

Определение 4. Интервалом к-го цикла а-ой операции конвейера (конвейера) (для к > 1) назовем продолжительность времени между моментами окончаний а-й операции в к-ом и (к - 1)-ом циклах: ¿к = / -/-1.

Интервал операции определяет отрезок времени между моментами завершений выполнения этой операции в соседних циклах.

Определим функцию ргей(а) для аг е А, вычисляющую множество вершин графа, непосредственно предшествующих вершине аг, т.е.

ртей(а) =

= (а;|1 < г,] < п и (а,, а) е Е}

3. Описание конвейерных процессов с помощью рекурсивных функций

В данном разделе будут описаны типы вершин конвейера и связанное с ними рекурсивное определение

временных процессов. Описание будет представлено в трех разделах:

1) Графическое представление операции и соответствующая прикладная интерпретация.

2) Пример временной диаграммы с использованием данного типа операции.

3) Рекурсивное определение значения фазы операции в зависимости от характеристики операции и значения фаз предшествующих операций.

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

Простая операция

Простая операция аг ассоциируется с некоторой производственной операцией реального конвейера и характеризуется временем выполнения ^, которое является постоянным.

Если операция является начальной (г < т), то она имеет только выходную дугу

В этом случае рекурсивные формулы для вычисления фазы операции выглядят следующим образом

/ = Ь для (1 < г < т); / = + и для (1 < г < т, к > 1).

Если операция не является начальной

То зависимость фазы операции от входной фазы определяется следующими формулами

= + и для (г > т);

/ = тах(/к, /к-1) + г, для (г > т, к > 1).

На рис. 1 представлена временная диаграмма для конвейера из двух операций.

^b

t k

i lb

i k

i >b

t

J \

k

> 1

0 5

Номер цикла

Рис. 1. Временная диаграмма конвейера из двух операций

Линейный конвейер

a,(Fi,t)

чальнои

a(F;t) -J*-

a(2;1) b(3;1)

Значение фазы

i

i

> 'b

i 'b

'b t

i 'b > 'a

i < i >a

>a

b > a

i

5

Номер цикла

Рис. 2. Временная диаграмма конвейера, состоящего из двух линейных конвейеров

Спусковая функция -логическое and

Данная спусковая функция запускает выполнение k-го цикла следующей за ней операции после того как завершится выполнение k-го цикла обеих операций, предшествующих данной функции.

J* = max(fk, J/) для (i > m и k > 0).

Пример временной диаграммы конвейера со спусковой функцией and представлен на рис. 3.

(a(2)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Линейный конвейер отличается от простой операции тем, что у него задается фаза нулевого цикла Fi. Если операция является начальной

any—»{с(1))

b(3;1)

Значение фазы

то значение фазы вычисляется по следующим формулам

= Fi для (1 < i < т);

I? = + для (1 < i < т и к > 1). Если операция не является на-

J Ю

i k

> ^c

> k

> 'c 3 > lb

i , J 'b

> kc 3 tb

> kc > tb

k 3

t

5

В этом случае

= I? + F1 для 0' > т);

/ = тах(?, /-1) + ^ для ^ > т, к > 1).

На рис. 2 представлена временная диаграмма для конвейера из двух операций.

I? = ? где I = [Щ] для (i > т; к, I > 0; q > 1)

На рис. 4 представлен пример конвейера с использованием функции ти1 и временная диаграмма.

Редукция повторения операций йгх

Данная спусковая функция обратная к предыдущей. Она запуска-

ет выполнение последующей за ней операции после нескольких выполнений предшествующей. Количество выполнений является константой q, указанной в функции.

f* = fj, где l = (k + 1) * q - 1 для (i > m; k, l > 0; q > 1);

(box)

mul(2

i

> 'b

J k

> 'b

> 'b

i 'Ъ

i "j 'b

k

5

Номер цикла

Рис. 4. Временная диаграмма для конвейера с функцией ти1

На рис. 5 представлен пример конвейера с использованием функции ёы и временная диаграмма.

-H|diX2))-Kg)

Номер цикла Рис. 3. Временная диаграмма конвейера со спусковой функцией and

Спусковая функция повторения операций mul

Данная спусковая функция осуществляет многократный запуск последующей за ней операции на однократное завершение предшествующей операции. Количество запусков указывается в функции и является константой равной q.

i k

A

i k it

b > 'a

> k > ka

b > 'a

> 'a

> 'a

5

Номер цикла

Рис. 5. Временная диаграмма конвейера со спусковой функцией DIV

Функция раздачи get

Данная функция по четным циклам запускает верхнюю операцию i, а по нечетным операциюj. Функция имитирует раздачу на две операции с одного потока.

Данную функцию удобно представить в виде двух.

10

b

10

10

b

a

10

a

a., j

Значение фазы

/к0 = /р\ где I = 2 * k для (i > m; k > 0);

a,

j

Значение фазы

10-

_.гп

J q

J = /J, где l = 2 * k + 1 для (i > m, k > 0).

На рис. 6 представлен пример конвейера с использованием функции get и временная диаграмма.

J

V lc

V lc *

V 'c a

> 'c k

> 'c a i

> k V 'b

a i

Номер цикла Рис. 6. Временная диаграмма конвейера с спусковой функцией get

Функция приема put

Функция приема является обратной к функции раздачи. Она сливает два потока в один, принимая управление то с верхнего потока, то с нижнего. Данная функция имитирует прием на одну операцию с двух потоков.

Ji /p ; для k = 1, 3, 5, ... фаза /j = max(/k-1, /"), где m = (k - 1)/2;

для k = 2, 4, ... фаза/j = max(/k-1,/p), где I = k/2.

На Рис. 7 представлен пример модели конвейера с спусковой функцией put и соответствующая ему временная диаграмма.

L(F;d)

к можно представить следующим образом

/ьк = ^ + й • к.

Это уравнение прямой.

Номер цикла

Рис. 7. Временная диаграмма конвейера с спусковой функцией put

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Определение. Будем называть словом операция простую операцию или линейный конвейер. Остальные объекты будут относится к классу спусковые функции.

4. Свойства и характеристики рекурсивного конвейерного процесса

В данном разделе рассмотрим основные свойства рекурсивного конвейерного процесса. Эти знания позволят вычислять характеристики процессов данного класса.

Свойство 1. Для каждой операции конвейера функция фазы этой операции является монотонной функцией, т.е. для любой операции i(1 — i — n ) и для любого номера цикла k > 0 выполняется неравенство

rk ^ rk+\

Ji — Ji .

Данное свойство вытекает непосредственно из определения рекурсивных функций для всех типов операций.

Определение. Дискретная функция R(k) будем называть линейной, если множество ее значений лежит на некоторой прямой.

Свойство 2. Фаза простой операции и линейного конвейера являются линейными функциями.

Рассмотрим линейный конвейер, т.к. простая операция является частным случаем. Пусть у нас имеется линейный конвейер

F-i

Рис. 8. Временная диаграмма линейного конвейера

Свойство 2. Операции конвейера, в общем случае, могут выполняться с разной частотой. Рассмотрение примера с некоторыми спусковыми функциями приводит к понятию частоты выполнения операции. Так в примере на Рис. 4 видно, что на каждое выполнение операции а приходится 2 выполнения операции Ь. Если на оси нумераций цикла для каждой операции ввести отдельную шкалу, как это представлено на Рис. 9, то масштабы этих шкал демонстрируют разность частот.

a(3)

mul(2p-

¿(1)

Значение фазы

> 'b

I

J 'b

i ъ

i k

> b

1 'b

k

0 1 2 Номе

Номер цикла Операции a

Временная диаграмма для данного конвейера будет иметь вид, представленный на рис. 8. Очевидно, что формулу для вычисления фазы конвейера Ь и номера цикла

0 Г 2 1 3 ' 4 '

Номер цикла Операции b

Рис. 9. Введение понятия частоты операции

Еще один пример выполнения операций с разной частотой в конвейере при использовании функции put (см. рис. 7) представлен на рис. 10.

k

10

c

b

o

k

c

o

b

a

o

a

b

a

a

b

a

a

a

b

10

С

i С

С

'С k

i b

b

2 Номер цикла Операции a

0 1 2 Номер цикла Операции b

0 Г1 Г1 Г1 ^ 5 Номер цикла Операции c

Рис. 10. Выполнение операций с разной частотой в конвейере с функцией put

В физическом смысле частота определяется как количество колебаний (периодов) в единицу времени. В данном случае речь идет о том - сколько раз выполнится одна операция, пока другая выполнится один раз и частота является безразмерной величиной, т.к. номер цикла является безразмерной величиной. Однако, если ввести понятие времени выполнения цикла, то количество колебаний будет измеряться в единицу времени. Поэтому будем называть - кратность выполнения операции, если по оси х отложена нумерация циклов и частота выполнения операции, если по оси х отложено время. В том случае, когда не важно, что отложено по оси х будем называть частота, как более естественное понятие. Для определенности будем кратность некоторой операции в конвейере полагать равной 1, а остальные кратности вычислять относительно нее.

Свойство 3. Интервал d,k конвейера, содержащего только операции и спусковые функции типа mul, при изменении k от 0 до в общем случае, ведет себя как периодическая функция.

Интервал опе

5

0 1 2 3 4 5 Номер цикла

Рис. 11. Графики интервалов операций

Продемонстрируем данное свойство на примере. Так на рис. 9 приведен пример конвейера и его

временной диаграммы. Графики интервалов операций а и Ь представлены на рис. 11. Из графиков видно, что интервал операции а постоянный и равен 3, а интервал операции Ь является периодической функцией.

Приведем еще один более сложный пример. На рис. 12 представлен конвейер и его временная диаграмма. Пунктирной ломаной прямой показан график изменения фазы конвейера, а на Рис. 13 представлены графики интервалов операций данного конвейера. Период колебания интервала операции с обозначен отрезками АВ - первый период и ВС - второй период.

Анализируя рассмотренные диаграммы, приходим к выводу, что можно говорить о частоте выполнения операции, о периоде колебания интервала операции (частоте колебания интервала операции) и

об амплитуде колебания интервала операции. Введем обозначения для данных величин в предположении, что I определяет номер операции конвейе

• обозначим частоту (кратность) колебания операции / как а>{.

• обозначим частоту колебания интервала операции / как Ог-;

• обозначим амплитуду колебания интервала операции I как Ц-.

В качестве амплитуды колебания интервала удобно рассматривать сумму приращений интервала за период. Например, в соответствии с диаграммой на рис. 13 Бс = 10.

Если функция является периодической, то можно говорить о периоде колебаний. В данном случае период измеряется не в единицах времени, а в количестве циклов. Каждую операцию на рис. 13 следует рассматривать в масштабе ее нумерации циклов, в этом случае пе-

C ' Значение фазы yf f

//'

/ /

/ 'c

// 'c i k

/ < k

'с b

// to

/ V '

B 'c b

/? 'с

// ' k

/ /

/ 'С

// 'С t k

/ / > k

'c b

// 'С

/ k

'c b

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

i

k

10 1 11

Номер цикла Операции а Номер цикла Операции Ь Номер цикла Операции с

Рис. 12. Пример конвейера и его временной диаграммы

1U

c

b

A

10

4

b

b

2

b

b

4

Значение интервала

c c c c

1 2

3 2 1

0

0 '

11 21 31 4' 5 6' Т 8 1 9' 101 11 I 12 I Номер цикла Операции c

'л 'б 'С

Рис. 13. Временная диаграмма интервалов конвейера

ll 2l Л 41 5 бГ

"Т О ^ FI 5 ^ -Л in ^ ГП г? |

Номер цикла Операции a Номер цикла Операции b

10

Л

* 7

-а <-

*-!—

*Т2-> 1

(a (б (в

Рис. 14. Варианты изменения фаз двух операций

Б

Е

риод колебаний операции a равен 1, операции b равен 3, а операции c равен 6. Так как конвейер завершается операцией c, то период колебаний конвейера равен 6.

Проводя аналогичные рассуждения относительно спусковой функции div(q) можно прийти к выводу, что она приводит к понижению кратности выполнения операции в q раз. Так на рис. 5 видно, что если положить кратность операции a равной 2, то кратность операции b будет равна 1. В свою очередь функция ;ut в 2 раза повышает кратность, а функция get в 2 раза понижает.

Опишем алгоритм вычисления кратности i-й операции конвейера, на основе отношений между вершинами конвейера.

Если 1 < i < m, то mi = 1, где m -количество начальных вершин конвейера.

Для i > m

если aj ^ mul(q) ^ ai , то mi = qoj,

если aj ^ div(q) ^ ai , то mi = aj/q, если aj ^ put ^ ai , то mi = 2 • m, если aj ^ get ^ ai , то mi = oj/2, если aj ^ and ^ ai , то mi =a>j, если aj ^ ai, то mi = a>j.

Поскольку q является положительным целым числом и при вычислении частоты функции div осуществляется деление на q, то кратность в общем случае является рациональным числом, т.е. предста-вимым в виде дроби p/q, где p и q целые положительные числа больше нуля. Кратность выполнения операции a будем обозначать как

ma.

Свойство 4. Пусть для некоторых операций ai и aj существует отношение aj ^ mul(q) ^ ai, если mi -частота, а di - время выполнения операции i, соответственно a>j, dj -частота и время выполнения опера-

ции ?, то условием возникновения колебания интервала операции i является следующее отношение

ё? > q • di, при q > 1.

Определим условие, при котором возникает колебание интервала конвейера. Рассмотрим пример конвейера

где q > 1. Положим для определенности q равным 4, тогда изменения фаз двух операций могут происходить следующими вариантами, представленными на рис. 14.

В случае вариантов (а и (б колебания не возникают, а в случае (в возникают, т. к. нарушается линейность изменения фазы операции 2. Это определяется отношением «скоростей» увеличения фаз операций, которые, в свою очередь, определяются величиной углов а = ZABC (для операции Ь) и в = ZDEF ( для операции а). Варианты а) и б) не приводят к воз-ник-новению колебаний, т.к. угол а больше (вариант а) либо равен (вариант б) углу в. В случае варианта в) возникают колебания. Следовательно, условием возникновения колебаний является отношение

а < в или tgа < tgв, при ю2 > юх.

Пусть Т = 1/ю период колебания, как величина обратная частоте. В этом случае

tga = й?2 / Т2 = й?2 • юъ

соответственно

tgв = ё / Т = ё • ю1

и получаем условие возникновения колебаний в виде отношения

йх • юх > ё2 • ю2, при ю2 > ю1.

Учитывая, что ю2 = q • ю1, окончательно получаем

> q • ё2, при q > 1.

Свойство 5. Пусть а, и а? две операции конвейера такие, что а? ^ ти1 ^ ai или а? ^ ^ ai. Пусть О? - частота колебаний интервала операции а? и ю, - частота операции а,. Соответственно определим периоды Т? =1/О? и Т =1/ю1,

где Tj, Т - рациональные числа. Можно показать, что период колебаний интервала операции ai, если выполняются условия колебания, будет равен

T = нокр(T;, Т) где нокр(гх , г2) - функция, вычисляющая наименьшее общее кратное рациональных чисел г и г2.

В теории чисел функция нок -наименьшее общее кратное двух чисел определена для целых чисел. Так как у нас периоды являются рациональными числами, то определим ее для рациональных чисел как функцию нокр(п/ш, p/q), где п, ш, p, q целые числа. В этом случае N = нокр(п/ш, р/ф может быть рациональным числом и является минимальным числом, на которое числа п/ш и p/q делятся без остатка. Иначе N = к * п/ш и N = I * p/q, где к и I - целые числа. Данную функцию можно выразить через функцию для целых чисел, следующим образом

нокр(п/ш, p/q) = нок(nq, pш)/qш.

Подставив в формулу выражения периодов через частоты, получим формулу для частоты колебаний интервала операции аг

Интервал конвейера

а =

О jQ

Переходный процесс \ 1-й период 2-й период 3-й период

| Стационарный процесс

Рис. 15. Общий вид графика изменения интервала конвейерного процесса

нокрО ,щ)

При выполнении условия возникновения колебаний операции at.

Определение. Назовем конвейерный процесс после некоторого цикла ks стационарным, если для

любого k > ks интервал конвейера

ik

dj является константой или периодической функцией. В противном случае процесс будем называть переходным.

Переходной процесс порождает, например, спусковая функция and. На рис. 3 показан пример диаграммы, в которой интервал конвейера сначала равен 1 (для k = 1), а потом 2 (для k > 1). Очевидно, что количество изменений величины интервала не превосходит количества операций конвейера, а следовательно конечно.

Свойство 6. Конвейерный процесс, в общем случае, сначала явля-

ется переходным процессом, а потом, начиная с некоторого номера цикла к переходит в стационарный. Стационарный процесс, в общем случае, представляет собой колебательный процесс, т.е. описывается периодической функцией (см. рис. 15).

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

1. Начальные операции конвейера - это либо простые операции, либо линейные конвейеры. Для них выше было показано, что фаза изменяется по линейному закону и интервал является константой.

2. Рассмотрим два случая -унарной и бинарной операции:

а. Предположим, что у некото-

рой операции а{ интервал а предшествующей операции а^

является константой или периодической функцией.

Ь. В случае бинарной операции вида

Необходимо рассматривать комбинации типов интервалов на выходе (3 варианта).

3. В этом случае интервал операции ai будет являться константой или периодической функцией.

Если рассмотреть каждый вариант, то можно убедиться, что при любой комбинации операций и спусковых функций на выходе ин-

тервал будет либо константой, либо периодической функцией.

В зависимости от наличия или отсутствия переходного процесса и колебаний в стационарном режиме конвейеры разбиваются на следующие классы:

1. Конвейер с наличием переходного процесса и стационарных колебаний - класс 11.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2. Конвейер с наличием переходного процесса и отсутствием стационарных колебаний - класс 10.

3. Конвейер с отсутствием переходного процесса и наличием стационарных колебаний - класс 01.

4. Конвейер с отсутствием переходного процесса и отсутствием стационарных колебаний - класс 00.

Утверждение. Любой конвейер может быть преобразован в конвейер класса 00, у которого нет переходного процесса, и в стационарном процессе отсутствуют колебания. Это достигается, как правило, за счет ухудшения временных характеристик конвейера. Интервал такого конвейера есть величина постоянная.

Заключение

Модель рекурсивного конвейерного процесса как формальная система позволяет описывать более широкое множество процессов, в сравнении с параллельно-последовательными схемами и диаграммами Ганта. Рассмотренные свойства рекурсивных конвейерных процессов позволяют строить эффективные алгоритмы вычислений характеристик процесса [11, 13, 14].

Литература

1. Сачко Н. С. Организация и оперативное управление машиностроительным производством. Мн.: ООО «Новое знание», 2005. - 636 с.

q

2. Новицкий Н.И. Организация и планирование производства. Практикум. Мн.: ООО «Новое знание», 2004. - 256 с.

3. Воеводин В.В. Математическая модель конвейерных вычислений. М.: 1982. С. 34.

4. Штейнберг Р.Б. Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры. ДКФМН. 05.13.11. М. 2012.

5. Лысаков К.Ф. Исследование методов реализации алгоритмов обработки больших потоков данных за счет конвейерного распараллеливания. ДКТН. 05.13.18. М. 2009.

6. Питеркин С.В. Быстрое производство. Современные методы управления производством. От ERP до Lean и SCM. Теория и практика применения. Любавич, 2010, 82 стр.

7. Загидуллин Р.Р. Управление машиностроительным производством с помощью систем MES, APS, ERP. - Старый Оскол: ТНТ, 2011. -372 с.

8. Высочин С.В., Пителинский К.В., Смирнов Ю.Н. Принципы построения систем для расчета производственных расписаний (рус.) // САПР и графика: журнал. - М.: Компьютер Пресс, 2008. - № 9. - С. 57-59.

9. Куприянов Б. В. Моделирование конвейерных бизнес-процессов. Сборник трудов «Управление большими системами», вып. 28, 2010, 230-273.

10. Куприянов Б. В. Вычислимая модель конвейерного бизнес-процесса. Труды международной научно-практической конференции «Передовые информационные технологии, средства и системы автоматизации и их внедрение на Российских предприятиях. AITA 2011. с. 649-669.

11. Куприянов Б.В. Вычисление характеристик конвейерного бизнес-процесса. Известия Российского экономического универси-

тета им. Г.В.Плеханова. №5. 2011. с. 158-190.

12. Куприянов Б.В. Применение модели конвейерных процессов рекурсивного типа для решения прикладных задач. Вестник УМО «Экономика, статистика и информатика». № 5. 2014.

13. Куприянов Б.В., Боброва А.Ю. Решение задачи календарного планирования для конвейерных бизнес-процессов. XV Научно-практическая конференция «Реинжиниринг бизнес-процессов на основе современных информационных технологий. Системы управления знаниями». Материалы конференции. Москва, 2012. 115-120.

14. Куприянов Б.В. Вычисление стоимостной характеристики конвейерного процесса определяемого рекурсивными функциями. XVII Научно-практическая конференция «Инжиниринг предприятий и управление знаниями». Материалы конференции. Москва, 2014. 168-172.

References

1. Sachko N.S. Organization and operational management of machinebuilding production. Mn.: OOO «Novoe znanie», 2005. - 636s.

2. Novickij N.I. Organization and planning of production. Practical work. Mn.: OOO «Novoe znanie», 2004. - 256s.

3. Voevodin V.V. Mathematical model of conveyor calculations. М.: 1982. s.34.

4. Shtejnberg R.B. Automatic display of programs to conveyor and multiconveyor architecture. DKFMN. 05.13.11. M. 2012.

5. Lysakov K.F. Research of methods of realization of algorithms of processing of big data flows due to conveyor parallelization. DKTN. 05.13.18. M. 2009.

6. Peterkin S.V. Fast production. Modern methods of management of production. From ERP to Lean and

SCM. Theory and practice of application. Lyubavich, 2010, 82 str.

7. Zagidullin R.R. Management of machine-building production by means of MES, APS, ERP systems. -Staryj Oskol: TNT, 2011. - 372 s.

8. Vysochin S.V., Pitelinskij K.V., Smirnov Yu.N. The principles of creation of systems for calculation of production schedules (Russian)// SAPR i grafika : zhurnal. - M.: Kompyuter Press, 2008. - № 9. - S. 57-59.

9. Kupriyanov B.V Modeling of conveyor business processes. Sbornik trudov «Upravlenie bolshimi sistema-mi», vyp. 28, 2010, 230-273.

10. Kupriyanov B.V. Computable model of conveyor business process. Trudy mezhdunarodnoj nauchno-prakticheskoj konferencii «Peredovye informacionnye tehnologii, sredstva i sistemy avtomatizacii i ih vnedrenie na Rossijskih predpriyatiyah. AITA 2011. s. 649-669.

11. Kupriyanov B.V Computable model of conveyor business process. Izvestiya Rossijskogo ekonomicheskogo universiteta im. G.VPlehanova. №5. 2011. s. 158-190.

12. Kupriyanov B.V. Application of model of conveyor processes of recursive type for the solution of applied tasks. Vestnik UMO «Ekonomika, sta-tistika i informatika». № 5. 2014.

13. Kupriyanov B.V., Bobrova A.Yu. The solution of a problem of scheduling for conveyor business processes. XV Nauchno-prakticheskaya konferenciya «Reinzhiniring biznes-processov na osnove sovremennyh informacionnyh tehnologij. Sistemy upravleniya znaniyami». Materialy konferencii. Moskva, 2012. 115-120.

14. Kupriyanov B.V. Calculation of the cost characteristic of the conveyor process determined by recursive functions. XVII Nauchno-prak-ticheskaya konferenciya «Inzhiniring predpriyatij i upravlenie znaniyami». Materialy konferencii. Moskva, 2014. 168-172.

i Надоели баннеры? Вы всегда можете отключить рекламу.