Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ќграничени€. ¬ программе, приведенной в листинге 20.2, реализованы три типа ограничений QDE в виде предикатов deriv( X




¬ программе, приведенной в листинге 20.2, реализованы три типа ограничений QDE в виде предикатов deriv(X, Y), sum(X, Y, 2), mplus (X, Y), ¬се пара≠метры этих предикатов (X, Y и Z) представл€ют собой качественные состо€ни€ пере≠менных. –ассмотрим каждое из этих ограничений.

Х ќграничение deriv(X, “). — качественной точки зрени€ Y - это производ≠на€ от X по времени. ѕроверка этого ограничени€ €вл€етс€ очень простой Ч на≠правление изменени€ переменной X должно соответствовать знаку переменной Y

Х ќграничение mplus (X, Y). ѕеременна€ Y представл€ет собой монотонно воз≠растающую функцию от X. «десь X и Y имеют форму Dx:QmagX/DirX и Dy:QmagY/DirY ѕри этом, во-первых, направлени€ изменений должны быть согласованы: DirX = DirY. во-вторых, должны соблюдатьс€ заданные соответ≠ствующие значени€. ћетод проверки второго требовани€ основан на использо≠вании относительных качественных величин переменных X и Y (они €вл€ют≠с€ относительными применительно к парам соответствующих значений). Ќа≠пример, относительна€ качественна€ величина переменной level: zero., top по отношению к top равна neg. ƒл€ каждой пары соответствующих значений качественные величины переменных х и у преобразуютс€ в относительные ка≠чественные величины. –езультирующа€ относительна€ качественна€ величина переменной X должна быть равна таковой дл€ переменной Y,

Х ќграничение sum(XF Y, Z). Ёто ограничение соответствует выражению X + Y = 2, в котором все переменные (X, Y и Z) представл€ют собой качест≠венные состо€ни€ переменных в форме Domain:Qmag/Dir, Ётому ограничению суммировани€ должны соответствовать и направлени€ изменений, и качест≠венные величины. ¬о-первых, провер€етс€ согласованность направлений изме≠нений. Ќапример, выражение

inc + std - inc

€вл€етс€ истинным, а следующее выражение Ч Х ложным: inc + std = std

¬о-вторых, качественные величины должны быть согласованы с операцией суммировани€. ¬ частности, они должны быть согласованы по отношению ко всем заданным соответствующим значени€м, выбранным среди значение" X, " t и Z. Ќиже приведены три примера качественных величин, удовлетвор€ющих ограничению sum.


√лава 20.  ачественные рассуждени€



flow:zero + flow:inflow = flow:inflow

flow:zero..inflow + flow:zero..inflow Х flow:inflow

flow:zero.,inflow + flow:гего..inflow = flow:гего..inflow

Ќо следующее выражение €вл€етс€ ложным: flow:zero.inflow + flow:inflow = flow:inflow

ћетод проверки согласованности качественных величин по отношению к соответ≠ствующим значени€м состоит в следующем. ¬начале необходимо преобразовать за≠данные качественные величины в относительные качественные величины (они €вл€≠ютс€ относительными применительно к соответствующим значени€м). «атем необхо≠димо проверить согласованность этих относительных качественных значений применительно к операции качественного суммировани€. –ассмотрим следующий пример: sum! flow:zero..inflow/inc, flow:zero..inflow/dec, flow:inflow/std)

¬о-первых, направлени€ изменений соответствуют ограничению: inc+dec = std. ¬о-вторых, рассмотрим три соответствующих значени€ дл€ операции суммировани€, котора€ при любых услови€х €вл€етс€ действительной: correspond I sural Di:zero, D2:Land, D2:Land)]

где Dl и D2 - области определени€, a Land - отметка в области определени€ D2. ѕримен€€ это выражение к области определени€ потока, получим следующее: correspond! sum! flcw:zero, flow:inflow, flow:inflow))

явл€ютс€ ли качественные величины в ограничении sum согласованными с этими соответствующими значени€ми? ƒл€ проверки этого преобразуем три качественные величины в ограничении sum в относительные качественные величины следующим образом:

flow:zero..inflow соответствует 'pos' относительно flow:zero flow:zero..inflow соответствует 'neg 1 относительно flow:inflow flow:inflow соответствует 'гего' относительно flow:inflow

“еперь эти относительные качественные величины должны удовлетвор€ть ограни≠чению qsum [ pos, лед, zero). “акое утверждение €вл€етс€ истинным.

ћатематические основы дл€ этой процедуры проверки ограничени€ sum состо€т в следующем. ѕредположим, что ограничение представлено в виде выражени€ su:n(X,Y,Z) с трем€ соответствующими значени€ми (хќ, уќ, zC). ѕеременные X, Y и Z могут быть представлены в терминах их отличий от соответствующих значений та≠ким образом:

X = хќ т Ћ’, Y = уќ + ƒ’, Z = zO + AZ

¬ таком случае ограничение sum означает следующее:

хќ + ƒх + уќ + AY - zO * дг

ѕоскольку х. ќ + уќ = zO, можно сделать вывод, что ƒ’ + AY = AZ. «наки пере≠менных ƒ’, AY и ƒг определ€ют относительные качественные величины переменных X, Y и Z применительно к переменным хќ, уќ и zO. Ёти относительные качественные величины должны удовлетвор€ть отношению qsum.





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-10-01; ћы поможем в написании ваших работ!; просмотров: 449 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

Ћюди избавились бы от половины своих непри€тностей, если бы договорились о значении слов. © –ене ƒекарт
==> читать все изречени€...

1602 - | 1407 -


© 2015-2024 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.012 с.