![]() КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
Детерминизм" i Î I $! r Î R [ i F+ r ] – глобальный детерминизм " s Î S \ R $! s’ Î S \ I [ s F s’ ] – локальный детерминизм 34. Неэффективные процессы и проблема их анализа. Преобразование неэффективных процессов: формальная постановка задачи. Неэффективный пр-сс – пр-сс, в котором есть циклы.
Говорим про св-во эффективности (и строгой эффективности).
Преобразование неэффективных пр-ссов – заменяем вершины, образующие цикл на одну вершину, соответствующую классу эквивалентности. Отношением эквивалентности в данном случае будет отношение Е: 1) si E sj, если si F+ sj & sj F+ si 2) для любого s из S: s E s
Это отношение позволяет построит фактор-множество мн-ва S.
Получаем т.о. грай без циклов.
Можно ещё поговорить про классы эквивалентности вообще… По Варшавскому (но это Красюку говорит нельзя): Эффективный АП – АП, удовлетворяющий условиям: 1) " s Î S \ R $ r Î R [ s F+ r ]; 2) " s Î S \ I $ i Î I [ i F+ s ]; 3) не $ si, sj [si Ï R & sj Ï R & si F+ sj & sj F+ si ]
Т.о.: все траектории из инициаторов ведут в результанты (из 1 и 3); каждая траектория, приводящая к результанту, начинается в инициаторе (из 1 и 2).
Эффективность АП оставляет место недетерминированности, т.е. возможно, что из некоторого иниц-ра пр-сс попадает в разные результанты, но он не содержит ориентированных циклов вне ситуаций, принадлежащих I и R.
Следующий же вариант назначения иниц-ров и результантов даёт эффективный АП:
|