Таким образом , принадлеж ность виртуальны х действий к определенном у типу означает, что для них ' ( И Гн(с~н{я')) и / v ( q M ) одинаковы , т.с. дей ствия одного ти па один аковы м образом м еняю т состояние релевантны х ресурсов, требую т одинаковы х условий начала по всем ресурсам , и отличаю тся лиш ь м нож ествам и R" , используем ы х ресурсов и временем вы полнения. Д ля ф орм ального описания логики виртуальны х действий, принадлеж ащ их п одм нож еству V ,, введем п он яти е операции. О п ер а ц и я о есть ф орм альное описание м нож ества однотипны х виртуальны х действий: о={£(тИ гК(с(л"))^Л(с-(Л")W(QИ)}, где Ь'(1Р) оп исан ие м нож ества '-F; R“ м нож ество ф орм альны х ресурсов операции. О перацию о в некотором см ы сле м ож но уп одобить подпрограм м е, в которой p [R"), Fw(c^(V ')) и /г,г(с“,(Л’)) условие вы полнения и алгоритм ы , описанны е в ф орм альны х парам етрах. П ри задании ф актических парам етров получаем из операции виртуальное действие. Д ля этого на место каж дого ф орм ального ресурса г, е R0 операции о необходим о подставить лю бой ресурс из некоторого непустого м нож ества однотипны х ресурсов. О перация, следовательно, отраж ает логи ку взаим одействия ресурсов системы в процессе ф ункционирования. В сякий раз, когда состояние системы соответствует p{Rn), может, происходить д ей ствие а, описы ваем ое операцией о. с различны м и t„ и . О перация описы вает как происходит действие или виртуальное действие и с каким и м нож ествам и релевантны х ресурсов, т.е. что м о ж ет произойт и в С Д С при определенны х условиях, а действие что произош ло, происходит , произойдет и в какое время. 65 |
2.5. Формализация понятий операции Приведенное выше описание действия позволяет формализовать законы функционирования системы для дальнейшего их использования в ИМ. Однако для этого имеется ряд препятствий. Во-первых система, являясь сложной, характеризуется чрезвычайно большим числом действий, отличающихся используемыми ресурсами, временем протекания и т.д. В процессе функционирования системы в ней появляются все новые и новые временные ресурсы и соответствующие действия. Во-вторых, одно'и тоже действие может выполняться различными ресурсами (взаимозаменяемыми), что еще больше увеличивает размерность задачи. Выходом из этого положения является констатация того факта, что множество виртуальных действий V= = 1,2,...,о\, относящихся к определенной системе, может быть разбито на небольшое число подмножеств-действий, имеющих одинаковую •природу. Это подмножества, которые составляют например действия транспортировки, обслуживания, ремонта и т.д. Виртуальные действия, принадлежащие такому подмножеству Vj с V, имеют одинаковую логику взаимодействия ресурсов, и различаются лишь конкретными ресурсами в них участвующими. Подмножество V описывается следующим образом: где Ч Р множество всех возможных множеств Ft релевантных ресурсов, с использованием которых можно выполнить виртуальное действие veVjy а 0>(q(^v)) длительность выполнения виртуального действия, зависящая от состояния используемых виртуальных ресурсов СДС. Таким образом, принадлежность виртуальных' действий к определенному типу означает, что для них Р(л*1), /r//(c/"/(flv)) и /v (Q (/?")) одинаковы, т.е. действия одного типа одинаковым образом меняют состояние релевантных ресурсов, требуют одинаковых условий начала по всем ресурсам, и отличаются лишь множествами Ry, используемых ресурсов и временем выполнения. Для формального описания логики виртуальных действий, принадлежащих подмножеству V}, введем понятие операции. Операция о есть формальное описание множества однотипных виртуальных действий: 0 = (£('F)J^ ) 1Fw(Q (r))lFA.(Q (r)M c 5 (^ )J, где £'(т) описание множества 'Р ; R" множество формальных ресурсов операции. Операцию о в некотором смысле можно уподобить подпрограмме, в которой p (r" ), Fh (c^(r")} и FI({c~ [r”)) условие выполнения и алгоритмы, описанные в формальных параметрах. При задании фактических параметров получаем из операции виртуальное действие. Для этого на место каждого формального ресурса г, еЛ" операции о необходимо подставить любой ресурс из некоторого непустого множества однотипных ресурсов. Операция, следовательно, отражает логику взаимодействия ресурсов системы в процессе функционирования. Всякий раз, когда состояние системы соответствует /*(/?“), может происходить действие а, описываемое операцией о, с различными t H и t h . Операция описывает как происходит действие или виртуальное действие и с какими множествами релевантных ресурсов, т.е. что может произойти в СДС при определенных условиях, а действие что произошло, происходит, произойдет и в какое время. Приведенное понятие операция может быть представлено как модифицированное правило продукции, введенное ранее: ЕСЛИ(условие) Т01(событие 1) ЖДАТЬ(<*>(Сд(л9))) Т02(событие 2). |