|
модель, приводящая к появлению взаимно сцепленных объектов, поскольку возникающую в этом случае неопределенность приходится раскрывать путем решения в обшем случае систем нелинейных уравнений, что может привести к непреодолимым трудностям. В дальнейшем будем стремиться создавать модели, не приводящие к взаимному сцеплению объектов. Не следует смешивать отношение сцепления и зависимости. Так, если 0 т->0\ и 0\-+ 0^ то вовсе не обязательно, чтобы От-+ (\. Таким образом, отношение сцепления не является транзитивным. Если к отношению сцепления добавить полное транзитивное замыкание, то получим отношение зависимости. Т.е. если 0 зависит от От, а О* зависит or Oi, то Оь зависит и от От. Таким образом, отношение сцепления можно определить как отношение непосредственной зависимости. 2.1.3. Алгоритмическая модель процесса Задание процесса в виде единого оператора (1.4), как правило, либо затруднительно, либо невозможно. Рассмотрим некоторый дискретный во времени процесс Z. Пространство состояний S может быть как непрерывным, так и дискретным. Поставим в соответствие каждой i-ой точке процесса (момент времени изменения состояния t*) некоторый оператор h. Оператор Ц вычисляет значение состояния е S в момент времени tj: (2.6) Оператор Л* описывает вычисление только i-й точки процесса Z В силу этого условия будем в дальнейшем называть этот оператор элементарным. Таким образом, если график процесса содержит п точек, то мы должны задать линейную последовательность элементарных операторов: (2.7) 85 |
56 В ходе развития проц есса м нож ество аргум ен тов А0' м еняется и в Рассм отрим д ва объекта 0\ и ()т в си стем е О. П усть 0/Г)0т= 0 , а процессы в ни х задан ы следую щ им и операторам и: Е сли ОтП А?1= 0 и О, П А°т0 , то такие п роц ессы и объекты называю тся несцепленными в м ом ент врем ен и f,. времени t\. То ж е относи тся и к их проц ессам . Э то означает, что для определения состояни я объекта От в м о м ен т врем ен и н ео бх о д и м о знание состояния о б ъ екта Ot в это ж е врем я. О бозн ачим отн ош ени е сц еп лен и я как объекты От и 0[ взаимно-сцеплены в м ом ен т врем ен и 0 т+±0\. П ри операторном сп особе оп и сан и я проц ессов всегда н еж ел ател ьн а м одель, приводящ ая к появлению взаи м но сц еп лен н ы х объектов, поскольку возникаю щ ую в этом случае неопределен ность при ходи тся раскры вать путем решения в общ ем случае систем нели ней ны х уравн ени й, что м о ж ет привести к непреодолим ы м трудностям . В дальнейшем будем стремиться создавать модели, не приводящие к взаимному сцеплению объектов. Н е след ует см еш и вать отнош ение сцепления и зави сим ости . Т ак, если 0ха~>0[ и 0\—»Ок, то вовсе не обязательн о, чтобы От—>()^. Т аки м образом , отнош ение сц еп лен ия не является транзитивны м . Е сли к отнош ени ю сцепления добавить полн ое тран зи ти вн ое зам ы кание, то получим отн ош ен и е зависим ости. Т.е. если О) зави си т о т О т , а О^ зависит общем случае зави си т от врем ени. О бозначим эту зави сим ость как Д(° ' . (2.5) Если О /П А ^ ; * 0 , то объект От сцеплен с об ъектом О/ в м ом ент 0[->0т. Е сли ОтГ\А°1 0 , то объект Oi сцеплен с объектом От в м ом ент времени (х: Om~>Oi. Е сли одн оврем енно От П А °‘ * 0 и О, Г) А?т* 0 , то 57 от 0 , то Ok зави си т и от О т . Таким образом , отнош ени е сц еп лен и я мож но определить как отнош ени е непосредственной зависим ости. 2.1.3. Алгоритмическая модель процесса Задание проц есса в виде единого оператора (2.4), как прави ло, либо затруднительно, либо невозм ож но. Рассм отрим некоторы й ди скретн ы й во времени п роц есс Z. П ространство состояний S м ож ет бы ть как непреры вны м , так и дискретн ы м . П оставим в соответствие каж дой i-ой то ч к е процесса (момент врем ен и изм ен ен и я состояни я ti) некоторы й оп ератор h f. О ператор Ивы числяет зн ачен и е состояни я е S в м ом ент вре.мени t,: О ператор hоп и сы вает вы числение только i-й то чки п р о ц есса Z. В силу этого услови я будем в дальн ей ш ем назы вать этот оператор элементарным. Т аким об разом , если граф и к проц есса содерж и т п точек, то м ы долж ны задать лин ейн ую последовательн ость элем ен тарны х операторов: В ведем н овы й элем ен т м одели инициатор. П ервон ачальн о будем полагать, что иниц иатор это объект, обладаю щ ий следую щ и м и свойствам и: а) независимостью: м ож ет сущ ествовать сам остоятельн о без операторов; б) динамичностью', инициатор им еет возм ож ность п ерем ещ аться от оператора к оператору; будем назы вать поп адани е и н и ц и атора н а оператор сцеплением и н и ц и атора с элем ентарны м оператором ; в) инициативностью: в м ом ент сцепления и н и ц и атора с оператором происходит вы п олн ени е элем ен тарного оператора, что соответствует вы числению нового состояния процесса. Будем в дальн ей ш ем полагать, что вы полнение элем ен тарн ого оператора происходит м гновенно. Э то ограничение не суж ает прим еним ости (2.6) (2.7) |