Проверяемый текст
Балабанов, Александр Анатольевич; Система поддержки принятия решений при автоматизированном оперативно-диспетчерском управлении объектами добычи и транспорта газа (Диссертация 2008)
[стр. 65]

Таким образом , принадлеж ность виртуальны х действий к определенном у типу означает, что для них ' ( И Гн(с~н{я')) и / v ( q M ) одинаковы , т.с.
дей ствия одного ти па один аковы м образом м еняю т состояние релевантны х ресурсов, требую т одинаковы х условий начала по всем
ресурсам , и отличаю тся лиш ь м нож ествам и R" , используем ы х ресурсов и временем вы полнения.
Д ля ф орм ального описания логики виртуальны х действий, принадлеж ащ их п одм нож еству V ,, введем п он яти е операции.
О п ер а ц и я о есть ф орм альное описание м нож ества однотипны х виртуальны х действий:
о={£(тИ гК(с(л"))^Л(с-(Л")W(QИ)}, где Ь'(1Р) оп исан ие м нож ества '-F; R“ м нож ество ф орм альны х ресурсов операции.
О перацию о в некотором см ы сле м ож но уп одобить подпрограм м е, в которой p [R"),
Fw(c^(V ')) и /г,г(с“,(Л’)) условие вы полнения и алгоритм ы , описанны е в ф орм альны х парам етрах.
П ри задании ф актических парам етров получаем из операции виртуальное действие.
Д ля этого на место каж дого ф орм ального ресурса г, е
R0 операции о необходим о подставить лю бой ресурс из некоторого непустого м нож ества однотипны х ресурсов.
О перация, следовательно, отраж ает логи ку взаим одействия ресурсов системы в процессе ф ункционирования.
В сякий раз, когда состояние системы соответствует
p{Rn), может, происходить д ей ствие а, описы ваем ое операцией о.
с различны м и t„
и .
О перация описы вает как происходит действие или виртуальное действие и с каким и м нож ествам и релевантны х ресурсов, т.е.
что м о ж ет произойт и в С Д С при определенны х условиях, а действие что произош ло, происходит , произойдет и в какое время.

65
[стр. 101]

2.5.
Формализация понятий операции Приведенное выше описание действия позволяет формализовать законы функционирования системы для дальнейшего их использования в ИМ.
Однако для этого имеется ряд препятствий.
Во-первых система, являясь сложной, характеризуется чрезвычайно большим числом действий, отличающихся используемыми ресурсами, временем протекания и т.д.
В процессе функционирования системы в ней появляются все новые и новые временные ресурсы и соответствующие действия.
Во-вторых, одно'и тоже действие может выполняться различными ресурсами (взаимозаменяемыми), что еще больше увеличивает размерность задачи.
Выходом из этого положения является констатация того факта, что множество виртуальных действий V= = 1,2,...,о\, относящихся к определенной системе, может быть разбито на небольшое число подмножеств-действий, имеющих одинаковую •природу.
Это подмножества, которые составляют например действия транспортировки, обслуживания, ремонта и т.д.
Виртуальные действия, принадлежащие такому подмножеству Vj с V, имеют одинаковую логику взаимодействия ресурсов, и различаются лишь конкретными ресурсами в них участвующими.
Подмножество V описывается следующим образом: где Ч Р множество всех возможных множеств Ft релевантных ресурсов, с использованием которых можно выполнить виртуальное действие veVjy а 0>(q(^v)) длительность выполнения виртуального действия, зависящая от состояния используемых виртуальных ресурсов СДС.
Таким образом, принадлежность виртуальных' действий к определенному типу означает, что для них
Р(л*1), /r//(c/"/(flv)) и /v (Q (/?")) одинаковы, т.е.
действия одного типа одинаковым образом меняют состояние релевантных ресурсов, требуют одинаковых условий начала по всем


[стр.,102]

ресурсам, и отличаются лишь множествами 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).

[Back]