Проверяемый текст
Зуров, Евгений Владимирович; Информационная технология принятия решений при управлении сложными объектами с оценкой технического состояния на основе экспертных систем (Диссертация 2007)
[стр. 79]

79 А(ид {v e U\(ui, v) e R} в частности при :V = щ-.А^щ) иj Заметим, что представленное определение справедливо для неориентированного графа.
Для орграфа вершина
щ смежна вершине Uj тогда и только тогда, когда они имеют одну общую дугу, направленную от щ к и,вышесказанного дентности I на множестве элементов U: А(щ = и/), 0/(ui,-u7) 6 (1,0}1 А(щ Ф Uj~) В результате МПЗ предметной области D формально может быть представлена множеством отношении инцидентности на и или совокупностью неупорядоченных пар: Um^(Uj, Uf^ ••• (W-s> uk)) Причём истинность или ложность того или иного отношения I опрет разработчик модели при нанесении на нее соответствующих связей.
Приведём полученную M(d), к более структурированному виду.
Для этого, в порядке возрастания, будем выносить общий элемент
1 , ..., к дляць г некоторого количества пар за скобки, и объединять оставшиеся элементы в вектора: и] (iZp Ц-щ, ...
, ILy 72^(..., W^)^ , J i qfc 771 Г S 71 Упростим форму записи полученного выражения: ((Wf, •••') j > ••• I (• • ’ / )s ) где j, s индексы элементов Uj и us соответственно.
Каждый такой вектор представляет собой множество смежных вершин с
г'-й вершиной вынесенной за скобки.
И на основании определённого ранее множества смежности
(13) можем определить М(0): —(A(uj), A(uj+1), A(uk-l)) В итоге приходим к усовершенствованному определению МПЗ M^dJ упорядоченная совокупность из списков вершин смежных поочерёдно с щ G U, i = 1,2, ...,к, к = (7.
Каждый из элементов списка попарно смежен с Uj.
В дальнейшем полученные определения будем использовать при рассмотрении структуры модели М^, и при выполнении операций над её элементами.
[стр. 53]

в частности при v=Uj: А(щ)= Uj.
Заметим, что представленное определение справедливо для неориентированного графа.
Для орграфа вершина
и; смежна вершине Uj тогда и только тогда, когда они имеют одну общую дугу, направленную от щ к Uj.
Дадим определение множества смежности для ориентированного графа: A(iij)={veU (u;,v) eR}, (2.5) в частности при v=Uj: А(и;)= Uj, а обратное отношение A(uj)= щ имеет место, когда есть направленная дуга rjj.
На основании вышесказанного можем определить отношение инцидентности I на множестве элементов U: I(ui5 Uj) е{1,0} 1,<=> A(uj) = Uj 0, <=> А(щ) * uj (2-6) В результате МПЗ предметной области D формально может быть представлена множеством отношений инцидентности на U или совокупностью неупорядоченных пар: M(D) =((Uj,Ui),( Uj,Um),...,(Uj,ur),...
,(us,uk))= Д i ’u j) (2.7) 7=1 Причём истинность или ложность того или иного отношения I определяет разработчик модели M(D), при нанесении на неё соответствующих связей.
Приведём полученную M(D), к более структурированному виду.
Для этого, в порядке возрастания, будем выносить общий элемент
щ, i=l..k для некоторого количества пар за скобки, и объединять оставшиеся элементы в вектора: MD =( Uj, (ui,um,...,u„...),...,us,(...,uk)); (2.8) Упростим форму записи полученного выражения: MD =((u„uШ?'' '5^Г?* '' )jv ' • ?G ’ Uk)$), где j,s индексы элементов и,, us соответственно.
(2.9) 53 к

[стр.,54]

Каждый такой вектор представляет собой множество смежных вершин с 1-й вершиной вынесенной за скобки.
И на основании определённого ранее множества смежности
(2.5) можем определить M(D): М(D) ((A(uj), A(uj+1),...,A(Uk-i)) (2.10) В итоге приходим к усовершенствованному определению МПЗ M(D) упорядоченная совокупность из списков вершин смежных поочерёдно с Uj€zU, i=l..k, k=U.
Каждый из элементов списка попарно смежен с и;.
В дальнейшем полученные определения ((2.9), (2.10)) будем использовать при рассмотрении структуры модели M(D), и при выполнении операций над её элементами.
Определение МПЗ АСПЭС в терминах формальной системы.
С точки зрения формальной теории или системы (ФС), которая, в классическом понимании [60], представляет собой набор начальных состояний или аксиом А, которые могут быть описаны на некотором формальном языке Л, и правил вывода позволяющих на основе аксиом А и их следствий, получаемых с помощью правил вывода R, строить новые и новые следствия, называемыми теоремами формальной теории.
Тогда определение МПЗ M(D) в форме ФС Т примет вид: (M(D))t=, (2.11) При этом семантику выражений языке Л задаёт сам_разработчик M(D), исходя лишь из соображений удобства.
Тогда общая схема построения ФС (теории) Т следующая: 1.
Л МВОПЗ предметных областей, определяемый двумя составляющими: Алфавит, который представляет собой перечень элементарных символов системы.
В качестве элементарного символа для M(D) положено понятие концепта, с которым сопоставлена некоторая совокупность сведении из области D.
С учётом определения M(D) данного в терминах теории гра54

[Back]