Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

va t,ѵік;,t(a(L)=t(^)=t>tv (a L)=t„ (a,) & t(v(dL))=t(v(^))8r t(pin M ^ p m f a ) ) * ^(pout(аі,)Н(Poat(a;)) , Ошибкиприопределенииотношенийиерархиидляобъектовилипроцессов связанысрекурсивнойдекомпозициейтипов:■объектмоделиоказываетсяподчи нен, хотябыопосредовано, объектутогожесамоготипа, или, вобщемслучае, некоторыйо/; подчинен d, , a de подчинен оікиприэтом °^к) и t(dL)-t(dej. Пустьq* - обобщенноеиерархическоеотношение: djec[(dL) , если dj€q,(d(,) илиa^ecj,(dK) ио/кеa*( a t .Тогдавмодели, несодержащейошибок типов, отсутствуютошибкииерархиивида 0 ^€cf(c£(,) иt (cčjj-t(dj) ■если длялюбого d't , являющегосялистомдеревадекомпозиции несу ществует di , такого, что o^eq^o/i) иt (<4)= t{dj). Вмодели, несодержащейошибоктипов, отсутствуютошибкииерархиивида 3dt, 3d; , 3dK , 3de , djč deetf[d*) & t(dj)=i(dK)8r t (c/j)= t (de)I еслиэтонесправедливонидляодного dt или de , такихчто dj шш de- листдеревадекомпозиции. Намоделипредметнойобластиможетосуществлятьсяпланированиепроцес соврешениязадачпредметнойобласти/2/. Постановказадачисостоитвуказа ни множестваисходныхобъектовSO имножестварезультатовТО. Дляопределе нияразрешимостизадачивозможно, например, использованиеследующегоалго ритма. ПустьSO иТО- исходныеобъектыирезультаты, аМ0(, - множество промежуточныхрезультатов, тогдапоследовательностьшаговалгоритмаможет бытьпредставленакак: (1) МО, = SO. I : і ; (2) M0lM={dt:3 at,d-Lep0Ut(au)&VOČ;, d,epLn(aL)8( cL,^ M0L }u M0L! (3) ЕслиM0L., ф M0L , to L := L+1 ипереходкшагу2, иначе (4) ЕслиТО^МО- задачаразрешимавмодели, впротивномслучае- нет. Врезультатеработыалгоритмаможетбытьопределеномножествонедостиг нутыхрезультатов: ТО\ (ТОпМО) имножествонеиспользованныхвходныхданных: { dL-.d j.eS0 lVVal,dLeptn(al) о^,с^«=р1п (at) ^ o ^ M O L} (т.е. множествотакихисходныхданных, длякоторыхне.существуетпроцесса, использующегоэтиданные. Планированиерешениязадачивозможносучетомсемантикииерархических отношениймеждуобъектами, приэтомвторойшагалгоритмадолженбытьмоди фицирован : (2/1) М01+,хjdi (at) 8f V d ,,d j pin(ai)8i c^eMOt„]u M 0 L,i (2/2) MOt-, = M0L+,}u M0l+(> (2/3) M 0 l+1= (2/4)M0lM= { d t ^ d ^ d ^ ^ C d O ^ H K V V ' ^ d ^ M O ^ . j U M O ^ , . Здесьшаг(2/1) модифицированногоалгоритмасовпадаетсшагом(2) исход ного; нашаге(2/2) вмножествопромежуточныхрезультатоввключаютсяпсепод и для процессов: 27