Достаточные условия для корректных адаптивных гипермедиа систем

| Категория реферата: Рефераты по психологии
| Теги реферата: антикризисное управление предприятием, охрана труда реферат
| Добавил(а) на сайт: Jahontov.

Гиперссылки не используются для распространения изменений в модели пользователя, так что они могут быть циклическими. Остальные отношения используются для распространения изменений между различными концептами. Чаще всего это не является признаком хорошего проектирования, если тип отношений циклический, поскольку тогда распространение изменений может никогда не закончиться. (Например, циклы в отношениях указывающих на порядок прохождения материала не имеют смысла.) Но даже с ациклическими типами отношений, отношения различных типов могут продолжать взаимодействовать и служить причиной бесконечных циклов.

Ограничение 5: "rel1, rel2ÎDM-rel, rel1 ¹ rel2:

"RiÎAM(rel1), "RjÎAM(rel2): U(Ri)ÇS(Rj) = Æ.

Это ограничение означает, что правила, использующие различные типы отношений, не могут активировать друг друга.

Теорема 3: Набор правил AM конечен, если он удовлетворяет Ограничениям 3-5.

Доказательство (в общих чертах): набор правил AM состоит из конечного числа стартовых правил и правил распространения. Стартовые правила не будут запускать друг друга; они запускаются внешними или внутренними событиями. Стартовые правила могут запускать правила распространения, и правила распространения также могут запускать правила распространения. Процесс распространение правил, использующих один тип отношений, всегда конечен, поскольку граф отношений является ориентированным ациклическим графом (ОАГ). И правила, использующие различные типы отношений, не могут запускать друг друга, так что различные ОАГ не могут быть объединены для формирования цикла.

Ограничение 6: "relÎDM-rel: "Ri, RjÎAM(rel), Ri ¹ Rj: U(Ri)ÇU(Rj) = Æ.

Это ограничение говорит, что каждая пара правил, содержащая одинаковые типы отношений, обновляет непересекающиеся наборы атрибутов. В случае простого распространения каждый атрибут устанавливается только однажды за переход[2] .

Определение 7: "rel1, rel2ÎDM-rel:

Условие Независимость(rel1, rel2) удовлетворяется, если "RiÎAM(rel1), "RjÎAM(rel2), Ri ¹ Rj:

 (S(Ri)ÈU(Ri)ÈE(Ri)) Ç U(Rj) = Æ and (S(Rj)ÈU(Rj)ÈE(Rj)) Ç U(Ri) = Æ.

Это определение говорит, что все типы отношений независимы; порядок выполнения правил, использующих различные типы отношений, не влияет на конечный результат.

Ограничение 7: "rel1, rel2ÎDM-rel, rel1 ¹ rel2, Независимость(rel1, rel2) удовлетворяется.

Ограничение 7’: "RÎAM, R:C®A: num(A.where) £ 1 and

"rel1, rel2ÎDM-rel: ("RiÎAM(rel1), "RjÎAM(rel2), rel1 ¹ rel2: Pri(Ri)>Pri(Rj)) or

 ("RiÎAM(rel1), "RjÎAM(rel2), rel1 ¹ rel2: Pri(Ri)




Скачали данный реферат: Burdukovskij, Nina, Alistratov, Mjachikov, Онегин, Vikashev, Tankov, Suharnikov.
Последние просмотренные рефераты на тему: общение реферат, александр реферат, реферат машины, реферати.