главная     об авторе       содержание       часть1       часть2       часть3      литература

IV. ОБЬЕКТНО-КЛАССИФИКАЦИОННОЕ МОДЕЛИРОВАНИЕ СЛОЖНЫХ СИСТЕМ

4.1. Введение.

4.2. Определение понятия “объект”

  В первом разделе настоящей книги уже предпринималась попытка дать интуитивное определение понятия “объект”. В нашем представлении объект - это все что мы различаем как нечто целое, реально существующее, или возникающее в нашем сознании и обладающее свойствами, значения которых позволяют нам однозначно распознавать это нечто. [17] определяет понятие “объект” следующим способом:

• Вводить уникальный идентификатор (имя) определяемого понятия, например: “объект”, “система” “человек” и т. п.
• Указывают ранее определенное известное понятие, свойства которого наследует определяемое понятие. Так реализуется принцип наследования при определении новых понятий, например, объект – есть сущность. Очевидно, предполагается, что читателю должны быть известны все атрибуты понятия “сущность”.
• Указывают существенные для нового понятия свойства, отличающие его от всех других понятий, например, осязаемость, видимость, мыслимость, ощутимость объекта для человека. Принцип выделения отличительных особенностей нового понятия.
• Определяется область применения вводимого понятия, его роль и место среди других понятий данной теории. Принципы ограниченности, целесообразности и логической связности понятий.

В теории ОКМ понятие “объект” играет роль фундаментального исходного понятия, через которое определяются все основные понятия теории. Оно не может быть выведено из каких-либо более общих понятий путем наследования их свойств. С точки зрения теории ОКМ объектом называется все то, что можно мысленно выделить из окружающей его среды, путем указания свойств и признаков, существенных для данного понятия. Всеобщими свойствами объектов являются:

OЮ(K ,Q , F , t).

Символ t здесь указывает на то, что статическое описание объекта всегда относится к какому-то моменту времени, то есть характеризует некоторое состояние объекта.  Поведение объекта есть процесс изменения его состояний во времени под воздействием множества X внешних и внутренних факторов. Этот процесс полностью определяется следующим описанием:

= F (K ,Q ,X,t).

  В дальнейшем мы попытаемся найти формальные средства и конкретные выражения для моделей такого рода.

4.3. Введение в формальное моделирование атрибутов объектов

Однако, описание любого атрибута A также включает в себя описания своих атрибутов. Этими атрибутами являются: идентификатор K (код имени атрибута), синтаксическая форма описания (множество Q структурных параметров) и функциональное (семантическое) значение Z. Иными словами, любой атрибут представляется моделью (K_.,Q,Z,t). Описание Z значения атрибута определяет тип значения, размерность значения (его предметную интерпретацию) и символику значения. Например, фраза “объект O_j весит 250 кг.” представляет собой описание параметра по имени “вес” данного объекта. Атрибут “вес” объекта O_j в настоящее время имеет значение цифрового типа 250, и размерность – кг. Можно сказать, что фраза “объект O_j весит 250 кг.” есть модель текущего состояния объекта O_j с единственным параметром “вес”, представленная на русском естественном языке.   Эту же фразу можно представить в виде логической формулы:

(O=O_j)Ю(вес O_j = 250 кг.).

Здесь (O=O_j) и (вес=250 кг.) – логические высказывания. Символ ? указывает на то, что из истинности первого высказывания следует истинность второго высказывания. Однако, о времени в этой модели ничего не сказано. Более точная формальная модель, соответствующая фразе “объект O_j весит 250 кг.”, имеет вид:

(O=O_j)Щ(q _i=вес)Щ(t=настоящее)Ю(q _i,j = 250 кг.),

где q _i,j параметр объекта O_j, t - фактор времени. Данная модель точно определяет условия, при которых параметр q _i,j принимает значение 250 кг. Однако и эта модель является неполной, так как в ней тип и область значений параметра q _i,j определяются по умолчанию. Основное преимущество последней модели в том, что к ней можно применять все правила формального исчисления высказываний, которые позволяют формализовать анализ и синтез объектных моделей. Предположим теперь, что атрибут объекта О_j является его идентификатором К_j. Это означает, что К_j однозначно указывает на конкретный объект О_j, выделяя его из множества ему подобных. Например, “человек Петров Петр Петрович, 2000 года рождения, г. Москва” или “программное средство Windows 95”. Обычно идентификатор К_j представляет собой набор значений ряда классификационных признаков (классификационных атрибутов А₁,…,А_n), т. е. К_jО{E₁ґ…ґE_n}, где E_i область значений атрибута A_i, i=1,…,n. Отсюда следует, что формально идентификатор любого объекта можно представить как элемент декартового произведения E₁ґ…ґE_n. В дальнейшем мы детально рассмотрим этот способ моделирования идентификаторов объектов. Функциональные атрибуты объектов это методы и функции, определяющие их поведение. Например: “хамелеон меняет цвет кожи в соответствии с изменением цвета окружающей среды”, “изображение объекта исчезает с экрана при нажатии левой клавиши “мышки”, когда указатель находится в поле изображения кнопки “выход””, “напряжение на участке электрической цепи равно произведению силы тока на сопротивление в этой цепи”. Структура формальной модели всех этих выражений представляет собой отношение “причина – следствие”. Причиной обычно являются некоторые действия, либо некоторые условия, а следствием – результат действия или обусловленное значение атрибута. В общем случае схема этой модели имеет вид:

где X₁,…,X_s – аргументы, а Y – функция, символ f обозначает тип операции с аргументами. Аргументами таких моделей обычно являются параметры q объектов, а так же внешние и внутренние факторы c , влияющие на поведение объектов. Поэтому применительно к объектам модели функциональных атрибутов имеют вид:

f(q ₁,…q _r,c ₁,…,c _s)=y.

Идентификатор объекта при этом предполагается известным по умолчанию. Из приведенных примеров видно, что наши представление об атрибутах рассматриваемых объектов формулируются, как высказывания на определенном языке. Поэтому можно предположить, что обобщенной формальной моделью любого атрибута является многозначный предикат P(A), с помощью которого и определяются значения атрибута конкретного объекта в его формальной модели. В простейшем случае P(A) есть утверждение: “Атрибут А_i объекта О_j имеет значение a_ij из множества Е_i={a₁,…,a_k}”. В данном предикате атрибут А_i выступает в качестве предметной переменной. На формальном языке исчисления предикатов данное утверждение можно записать так: $О_jЩ$А_iЅs(А_ij)=a_ijОE_i, где s(А_ij) - сигнатура атрибута А_i в данной модели, i,jО{1,…,N}. Задача теории ОКМ состоит в том, чтобы найти общие методы построения комплексных математических моделей объектов и систем, представленных в пространстве всех своих атрибутов.

4.4. Классификация объектов. Пространство идентификаторов объектов.

Обычно объекты, определенные на одних и тех же атрибутах с различными значениями, относят к одному классу объектов. Процесс объединения объектов в классы в соответствии с их свойствами называется классификацией.  Ни одна научная дисциплина не может обойтись без классификации рассматриваемых в ней объектов. Таблица химических элементов Д. И. Менделеева и тория происхождения видов Дарвина – открытия полученные методом классификации объектов. В действительности мышление человека основано на абстракциях (понятиях), обозначающих классы различных объектов. При проектировании сложных систем исследователь (разработчик) должен выбирать необходимые ему экземпляры объектов из заданного класса объектов путем конкретизации значений их атрибутов (идентификации). Сложность выбора необходимого варианта (экземпляра объектов) оценивается величиной разнообразия (мощностью) данного класса объектов. “КЛАСС — термин, употребляемый в математике в основном как синоним термина “множество” для обозначения произвольных совокупностей объектов, обладающих каким-либо определенным свойством, или признаком (например, в алгебре — классы эквивалентности относительно данного отношения эквивалентности). Иногда классами предпочитают называть совокупности, элементами которых являются множества (например, в рекурсивной теории — перечислимые классы). В некоторых случаях под влиянием аксиоматической теории множеств термин “класс” применяется для того, чтобы подчеркнуть, что данная совокупность оказывается собственно классом, а не множеством в узком смысле (например, в алгебре — примитивные классы универсальных алгебр, называемые также многообразиями). Теоретико-множественные операции над классами определяются так же, как и над множествами” [20]. В общем случае классификация объектов может проводиться по нескольким определяющим признакам (атрибутам объектов). Например, людей можно классифицировать по имени, полу, дню рождения, образованию, профессии и т. д. Каждый конкретный человек данного класса будет определяться (идентифицироваться) соответствующим уникальным, только ему присущим, набором значений данных атрибутов, который в дальнейшем будем называть кодом или идентификатором данного объекта. Пусть A₁,…,A_n – перечень независимых атрибутов, характеризующих некоторое множество объектов. Поставим в однозначное соответствие каждому атрибуту A_i многозначный предикат P_i, определяющий множество значений E_i={a₁,…,a_k}_i данного атрибута так, что

  Другими словами, в любой момент времени атрибут A_i может принимать только одно какое-нибудь значение a_e из множества E_i.    Тогда класс К есть абстракция, определяемая как декартово произведение {E₁ґ…ґE_n}={К₁, К₂,…, К_m}, К_j – код или идентификатор конкретного объекта O_j. По данному определению символы O_j и К_j обозначают понятия, находящиеся в отношении взаимно однозначного соответствия, O_jЫК_j.  Код К_j есть символическая (абстрактная) модель объекта O_j. Размышляя об объектах, мы фактически оперируем их наименованиями, ярлыками, кодами или идентификаторами, т.е. их абстрактными представлениями в нашем сознании. Однако, экземпляр класса объектов не одно и тоже, что экземпляр класса кодов этих объектов. Экземпляр класса объектов – это конкретный объект O_j из множества объектов {O₁, O₂,…, O_m}, составляющих данный класс, O_jОО={O₁, O₂,…, O_m}. В процессе классификации классу объектов О по определенным правилам ставится в соответствие класс представляющих объектов (моделей) – К.   Данное определение класса, по сути, эквивалентно теоретико-множественному понятию универсума U, приведенному во втором разделе настоящего пособия. Это означает, что класс как математический формализм обладает всеми свойствами формализма универсум. Поэтому для описания и анализа отношений между объектами и подмножествами объектов одного класса можно успешно применять исчисление обобщенных кодов подмножеств. При этом атрибуты A₁,…,A_n объектов класса О можно рассматривать как оси классификационного пространства (пространства идентификаторов) объектов {O₁, O₂,…, O_m}, где каждый конкретный объект O_j представлен точкой с координатами K_j, как показано на рис. 4.1.

Рис. 4.1. Оси классификационного пространства объектов

Таблица 4.1

В данной таблице каждая строка идентифицирует конкретный объект O_j определенного класса О.

Согласно теории обобщенных кодов подмножеств (см. раздел 2) каждая строка данной таблицы есть код (a _1,j, a _2,j,…, a _i,j,…, a _n,j) конкретного объекта O_j - экземпляра данного класса О.

Здесь i - номер атрибута и соответствующего ему столбца, а j - номер строки таблицы, соответствующий номеру кода (идентификатора) объекта, a _i,jОE_i={a₁,…,a_k}_i. Таким способом в теории ОКМ осуществляется формальное представление идентификаторов объектов. В данном случае идентификатор объекта, как мы уже говорили, является символической моделью конкретного объекта, а таблица 4.1 представляет собой модель класса объектов. В процессе исследования систем классы, как правило, разбивают на подклассы. Обычно это творческий в основном интуитивный процесс. Применение теории обобщенных кодов позволяет выяснить суть процесса разбиения класса объектов на подклассы и в значительной мере формализовать его. Если класс О представлен множеством определяюших его атрибутов A₁,…,A_n, то предполагается, что все эти атрибуты существенны для данного класса, и каждый из них может принимать любое значение из соответствующего ему множества значений E_i={a₁,…,a_k}_i. Устанавливая конкретное значение a_i,eОE_i для некоторого атрибута A_i класса О, мы тем самым ограничиваем множество объектов исходного класс О до определенного нами подмножества объектов, для которых важно, чтобы атрибут A_i имел значение a_e,i, eОE_i. В результате получается подкласс О_t класса О. В литературе по объектно-ориентированному программированию класс О_t обычно называют дочерним классом, а класс О - родительским классом. Введем для обозначения значений a_e,i символику теории обобщенных кодов, а именно: “-_i” - для обозначения того, что атрибут A_i может иметь произвольное значение из соответствующего ему множества E_i; “`a<sub>e,i</sub>” - для обозначения того, что атрибут A<sub>i</sub> может иметь любое значение из соответствующего ему множества E<sub>i</sub>, кроме значения a<sub>e,i</sub>; “a<sub>e,i</sub>” – для обозначения того, что A<sub>i</sub> может иметь только данное конкретное значение a<sub>e,i</sub>. С использованием данных обозначений исходный родительский класс О можно представить одним обобщенным кодом К=(-<sub>1</sub>,-<sub>2</sub>,…,-<sub>n</sub>), а его дочерний класс О<sub>t</sub>, с единственным существенным значением a<sub>e,i</sub> – обобщенным кодом K<sub>t</sub>=(-<sub>1</sub>,-<sub>2</sub>,…,a<sub>e,i</sub>,-<sub>i+1</sub>,…,-<sub>n</sub>). Количество существенных значений в коде дочернего класса может быть r(K<sub>t</sub>):0,1,…,n. Величина r(K<sub>t</sub>) определяет уровень вложенности (иерархии) дочернего класса О<sub>t</sub> относительно исходного материнского класса О. Величину d=r(K<sub>t</sub>)-r(K<sub>g</sub>) будем называть иерархическим расстоянием между классами О<sub>t</sub> и О<sub>g</sub>. При положительном значении d иерархический уровень класса О<sub>t</sub> выше уровня класса О<sub>g</sub>, при отрицательном значении d наоборот, иерархический уровень О<sub>g</sub> выше уровня О<sub>t</sub>. В общем случае обобщенный код K класса объектов О есть последовательность символов (a<sub>1</sub>,a<sub>2</sub>,…,a<sub>i</sub>,…,a<sub>n</sub>), где a<sub>i</sub>О{a<sub>1</sub>,…,a<sub>k</sub>,`a₁,…,`a_k,-}_i. Представление классов объектов в форме обобщенных кодов позволяет также легко вычислять количество экземпляров объектов, содержащихся в данном классе или подклассе. Для этого используют уже известную нам формулу:

(4.1)

где i - номер разряда r_i, соответствующего атрибуту A_j, в обобщенном коде K,

  Еще раз заметим, что введенные здесь определения и обозначения позволяют применять весь формальный аппарат теории обобщенных кодов подмножеств к соответствующим операциям с классами и подклассами. В частности, это позволяет формализовать общепринятые отношения между классами, такие как наследование, включение, ассоциация и другие отношения и операции, полезные для моделирования сложных систем.

4.5. Состояние объекта. Пространство состояний объекта.

  Как уже было сказано, идентификаторы объектов одного класса можно упорядочить по некоторому критерию m (К_j), определенному на множестве значений одного или нескольких атрибутов, характеризующих этот класс объектов. Например, располагая имена (идентификаторы) объектов по алфавиту, или упорядочивая их по возрастанию цифровых значений какого-нибудь иного атрибута. Если такого атрибута не существует, то в качестве критерия упорядочения может служить комбинации значений нескольких, или даже всех, атрибутов объектов данного класса. Упорядоченные объекты, точнее их идентификаторы, можно изображать точками на одной линии, которую будем называть линией классификации рис.4.2.

Рис. 4.2. Линия классификации объектов

Классификационные атрибуты объектов служат для идентификации конкретных объектов. Наряду с классификационными атрибутами, как правило, не меняющими своих значений с течением времени, объекты обладают также атрибутами, которые могут изменять свои значения со временем под воздействием внешних и внутренних факторов, то есть, они являются функциями времени t и других факторов c,A_i=f_i(t,X). Символом X здесь обозначено множество всех возможных факторов, воздействующих на объект О. Набор значений всех атрибутов объекта O в определенный момент времени t называется состоянием данного объекта. Атрибуты A_i=f_i(t,X) характеризуют состояние объекта О, поэтому они называются параметрами данного объекта, и мы будем обозначать их специальными символами q_i,q _i= f_i(t,X). В отличие от параметрических атрибутов q _i, классификационные атрибуты, определяющие идентификатор объекта О и его место в некотором классе О, в дальнейшем будем обозначать символами k _i. Таким образом множество А всех атрибутов объекта О разбивается на два подмножества K и Q . Подмножество K содержит статические атрибуты объекта О, а подмножество Q содержит атрибуты, характеризующие поведение данного объекта, т.е. A =KИQ . Значения атрибутов q_i=f_i(t,X) также могут быть сформулированы при помощи предикатов и объединены в последовательность переменных q₁,…,q_s, которая представляет собой базу координат пространства состояний определенного объекта. Состояние объекта в момент времени t изображается на графике точкой в этом пространстве. Последовательность состояний объекта О_j за определенное время D t есть процесс, который называется поведением объекта и обозначается . Пример графика поведения объекта O_j на отрезке времени [t₀,t₁] показан на рис. 4.3.

Переменные q _i могут быть многоместными методами или функциями, но в число их аргументов, как правило, должен входить фактор времени. Другими словами, утверждается следующее: методы и функции являются атрибутами, описывающими поведение объекта в пространстве его состояний. Поскольку классификационное пространство (пространство идентификаторов объектов) и пространство состояний объектов (параметрическое пространство) характеризуют одни и те же объекты, первое определяет объекты как экземпляры определенного класса, а второе характеризует поведение каждого объекта данного класса (изменение его состояний), то эти пространства естественно связаны между собой посредством объектов, которые они определяют и характеризуют. Фактически модель объекта определяется в двух взаимосвязанных системах координат: классификационной и параметрической. Графически эта связь показана на рис. 4.4.

Рис. 4.4. Связь классификационного пространства с пространством состояний объектов одного класса

На этом рисунке показано, что каждый объект O_j, принадлежащий к определенному классу объектов, имеет свой идентификатор К_j в универсуме U и обладает своим собственным поведением, которое характеризуется функцией q _i=f_j(t, К_j,Х), i=1,…,s. Поведение объекта O_j зависит как от собственных параметров, так и от внешних факторов, в том числе и от воздействий со стороны других объектов, которые могут принадлежать различным классам. Согласно введенным обозначениям любой объект O_j класс О может быть представлен набором значений своих координат (k₁,…,k_i,q_i+1,…,q_n,t), функций и методов j₁,…,j_r, т.е. O_jЮ(k₁,…, k_p,q₁,…,q_s,j₁,…,j_r,t) или       O_jЮ(K _j,Q _j, F _j, t),    где K _j - код – идентификатор объекта O_j из классификационного пространства, Q _j - набор значений параметров, определяющих поведение объекта O_j и F _j - набор отношений, методов и функций, определяющих поведение объекта, t - фактор времени. При этом поведение объекта O_j

есть процесс   = F _j(K _j,Q _j,X,t),    где X - база факторного пространства. Фактор времени t вынесен из множества X в силу его особой значимости в процессе поведения объекта.   

Выражение = F _j(K _j,Q _j,X,t),   по сути есть математическая модель процесса поведения объекта O_j в условиях воздействия на него различных внешних и внутренних факторов cОX в определенные моменты времени t. Ее можно представить в графическом виде так как показано на рис. 4.5.

Главным отличием данной модели от моделей, рассматриваемых в предыдущих разделах настоящей книги, в наличии в ней явно выраженного идентификатора K _j данного объекта. Это главный компонент модели, через который осуществляется связь моделей различных объектов в системную модель более высокого уровня.

4.6.1. Общие положения

• свойство, по которому определяется отношение рассматриваемых объектов;
• размерность, или, другими словами, мера данного свойства, определяющая соответствующую единицу измерения;
• область определения, представляющая собой базовое множество E данного свойства;
• область значений отношения, содержащая альтернативные значения – результаты данного отношения;
• семантика, определяющая сущность отношения,
• имя отношения, которое является символическим ярлыком его сущности. (Сущность есть концентрированное выражение свойств некоторого объекта);
• время, к которому относится отношение (настоящее, прошедшее или будущее);
• формула, представляющая собой конструкцию из символов определенного языка, отражающую синтаксис отношения;

• истинность – характеристика реальности отношения в определенных условиях; отношение, как субъективное отражение объективной реальности, может быть истинным, ложным или неопределенным, мерой истинности, как правило, служит вероятность;
• местность, по количеству аргументов отношение может быть одноместным, двухместным и так далее, вообще говоря, n-местным;
• сущность, как концентрированное выражение совокупности основных логических свойств отношения: симметричности, транзитивность, рефлексивности, антисимметричности и антирефлексивности;
• предметность, устанавливающая связь отношения с конкретными свойствами конкретных объектов.

В математике, отношением называется подмножество R декартового произведения (E₁ґE₂ґ...ґE_n), где E_i - множество значений некоторой переменной X_j, i=1,…,n.

Обычная форма записи простейших отношений между переменными (формула) имеет следующий вид:

ИМЯ_ОТНОШЕНИЯ (аргумент , ... , аргумент),     (4.2)

например, РАВНО(x,y), ЛЮБИТ(x,y), ПРИНАДЛЕЖИИТ(А,В) и т.д. На естественном языке такие отношения представляют собой высказывания, указывающие на определенные действия над значениями переменных x,y,… При определенных условиях эти высказывания могут быть истинными или ложными. Поэтому множество {ИСТИНА, ЛОЖЬ} является областью значений любого отношения. Обычно предполагается, что все специфические свойства отношения определены заранее и заданы по умолчанию. Например, предполагается, что подчиненность аргументов, или направленность действия отношения определяется порядком записи аргументов (x любит y). Все действия с отношениями выполняются с учетом этих свойств. Например, из того, что принадлежит(А, В) и принадлежит(в, с) с учетом свойства транзитивности отношения принадлежит следует отношение принадлежит(а, с). Свойство транзитивности было присвоено отношению “ПРИНАДЛЕЖИТ(X,Y)” при определении данного отношения. Формулы более сложных отношений, как правило, составляют из этих простейших формул по правилу подстановки, например так:

РАВНО(z,ПРОИЗВЕДЕНИЕ(x,y)),      (4.3)

или   РАВНО(ПРОИЗВЕДЕНИЕ(x,y),z)        (4.4)

в силу рефлективности отношения РАВНО(x,y) по определению.  В прикладной математике, чтобы приблизить формальные выражения к естественному языку, применяют следующую, более привычную форму записи отношений:

аргумент ДЕЙСТВИЕ аргумент УКАЗАТЕЛЬ результат.    (4.5)

Здесь слово ДЕЙСТВИЕ обозначает класс всех функциональных отношений, а слово УКАЗАТЕЛЬ – класс всех отношений типа “причина – следствие”, например, x+ y= z. Если между значениями атрибутов A_i объекта O_j установлена какая-нибудь зависимость, то ее можно представить (описать или смоделировать) в виде определенного отношения R. Например, если параметрами объекта прямоугольник являются длина - q ₁ , ширина -q ₂ и площадь - q ₃, то эти параметры связаны следующим отношением:

ПРОИЗВЕДЕНИЕ(q ₁, q ₂)РАВНОq ₃.

Как принято в арифметике, формальная запись этого отношения имеет вид:

q₃=q₁ґq₂, или q₃=q₁*q₂, или q ₃=q ₁q₂.

Здесь идентификаторами отношения ПРОИЗВЕДЕНИЕ служат символы: “ґ ”, “* ” или запись аргументов без разделительных знаков; отношение РАВНО обозначается символом “=”.  Вообще формульное представление отношений многообразно и обычно зависит от языка, традиций и вкусов авторов, применяющих те или иные формальные системы. Область применения отношений также влияет на формы представления и интерпретацию отношений, применяемых в данной области. Например, в естественном языке отношения между объектами описывают с помощью соответствующих предложений (высказываний), в математике используют язык символических формул, в логике применяют свои специальные символы для записи отношений между высказываниями, химия, физика и многие другие научные дисциплины обычно используют специальные символы для записи отношений между объектами в исследуемой предметной области. Однако, в любом случае понятие “отношение” сохраняет вышеизложенные атрибуты, определяющие суть данного понятия. Поэтому можно предложить единый метод определения и формулирования отношений, как класса абстрактных объектов (понятий).

4.6.2. Классификационный подход к определению отношений

   Отношения, как разновидность абстрактных объектов, могут быть определены в системе четырех атрибутивных множеств (пространств): идентификаторов, параметров, функций и факторов, т. е. в системе KQ F X. Для этого достаточно все перечисленные выше атрибуты понятия “отношения” отнести к соответствующим пространствам K, Q , F , X и указать способы формального представления (записи) атрибутов в координатах данных пространств. Идентификаторы K_j общеизвестных отношений обычно представляют собой специальные символы, отличающиеся от алфавита естественного языка. В ОКМ для идентификаторов общеизвестных отношений мы, как правило, будем использовать общепринятую символику. Для идентификаторов отношений, имеющих новый смысл и не формализованных в каких-нибудь общеизвестных дисциплинах, мы будем употреблять слова русской речи, написанные прописными буквами. Примеры идентификаторов некоторых общеизвестных и вновь формализуемых здесь отношений приведены в первом столбце таблицы 4.2.

Таблица 4.2

Рассматривая отношения как объекты в терминах теории ОКМ, заметим, что определение любого отношения так же как и определение любого иного объекта требует явной или не явной конкретизации основных атрибутов: идентификатора, параметрических свойств, определяющих его структуру, методов и функций, характеризующих его поведение. Другими словами, отношение также как и все иные объекты представляются в следующей форме: (K _j,Q _j,F _j,t), где F _j – подмножество атрибутов, определяющих алгоритм применения (иди поведение) отношения R_j. Моделирование отношений между объектами и классами объектов независимо от их природы является предметом исследования общей системологии. В теории ОКМ предпринимается попытка формализации таких моделей с целью выявления общих закономерностей и методов математического моделирования сложных систем, в также практического приложения этой теории при проектировании таких систем. По определению j есть код - идентификатор подмножества RН{E₁ґ…ґE_s}, где E_i - множество значений атрибута q _j, i=1,…,s. Если атрибуты принадлежат разным объектам, то отношения определяется между этими объектами. Если атрибуты принадлежат одному объекту, то отношение касается только атрибутов одного данного объекта.

• когда R представляет собой подмножество универсума U, т.е. когда все атрибуты A_i, i=1,...,n, относятся к классификационному пространству объектов одного определенного класса, например людей, деревьев, космических аппаратов и т. д.;
• когда аргументами отношения R являются атрибуты одной размерности (одного типа) и R определено в некоторой формальной системе, например, в алгебре величин, алгебре множеств, в исчислении высказываний и т. п., например, когда речь идет о сравнении каких-нибудь параметров некоторых объектов;
• R представляет собой значение показателя определенного свойства X_i некоторого объекта O_j, если RНE_i, где E_i - область определения меры свойства X_i.
• (n+1)-местное отношение F называется функциональным, или просто - функцией, если для любых элементов а_е,...а_g,a_h,a_k из E₁,...,E_n,E_(n+1),E_(n+1) соответственно из (а_е1,...а_gn,a_h(n+1))ОF и (а_е1,...а_gn,a_k(n+1))ОF следует a_h(n+1)=a_k(n+1), другими словами, отношение F называется функциональным, если оно представляет собой однозначное отображение декартового произведения (E₁ґ...ґE_n) в множество E_(n+1).

   Между параметрами одного и того же объекта, а также между параметрами различных объектов существует много различных отношения, которые могут представлять интерес для исследователей. Если рассматриваются отношения между параметрами различных объектов, то в этом случае чаще всего речь идет о сравнении значений параметров заданных объектов, например, о сравнении возраста людей или растений, о сравнении площадей различных фигур и т.п. Отношения между параметрами объектов изучаются многими общими и специальными научными дисциплинами. Как привило, специальные дисциплины при описании отношений между атрибутами изучаемых объектов применяют символику и формальные модели отношений, определяемые общими дисциплинами. Если между значениями параметрических атрибутов q объекта O_j установлена какая-нибудь зависимость, то говорят, что параметры q находятся в определенном отношении j . По определению j есть код - идентификатор подмножества RН{E₁ґ…ґE_s}, где E_i - множество значений атрибута q_j, i=1,…,s. Например, если параметрами объекта прямоугольник являются длина - q₁ , ширина -q₂ и площадь - q ₃, то эти параметры связаны следующим функциональным отношением: ПРОИЗВЕДЕНИЕ(q₁,q₂,q₃), где аргументы отношения соответственно определены, как множители (q₁, q₂,) и результат (произведение) - q₃. Как принято в арифметике, формальная запись этого отношения имеет вид: q₃=q₁ґq₂, или q₃=q_1*q₂, или q₃=q₁q₂. Здесь идентификаторами отношения ПРОИЗВЕДЕНИЕ или умножение служат символы: “ґ ”, “_* ” или запись аргументов без разделительных знаков. В принципе объект О_j может быть представлен в отношении R любым числом своих атрибутов. Однако сложные отношения трудно представить в практически обозримой форме. Поэтому необходимо искать простые аксиоматические формы отношений, из которых можно строить сложные отношения с помощью простых и понятных правил.  Одним из подходов к решению данной проблемы является определение отношений между атрибутами по типам их параметров и формализация отношений с учетом специфики каждого типа. Например, общепринятыми типами являются: число, символ, множество и высказывание (предикат). Отношения между этими типами формализованы с помощью специальных общенаучных математических дисциплин: арифметики, символьной алгебры, теории множеств и математической логики. Атрибуты объектов в принципе могут определяться как предикаты. В дополнение к известным общепринятым типам атрибутов (величин, символов, высказываний, множеств и т.д.) в ОКМ вводится тип идентификаторов объектов. Идентификатор однозначно представляет объект в определенном классификационном пространстве. Другими словами, идентификатор есть элементарный код K конкретного объекта определенного класса K. Формально KО(E₁ґ…ґE_n)= K. Это означает, что любой класс K объектов О₁,…,О_m может быть однозначно представлен множеством {K₁,…,K_m} соответствующих идентификаторов K, и любой объект О_j может быть представлен своим идентификатором (кодом) K=(a_1,j,a_2,j,…,a_i,j,…,a_n,j), определенном в базе координат (k₁,…,k_n) классификационного пространства.

4.6.4. Моделирование состояний объекта

   Как было определено выше для описания состояния объекта O_j необходимо указать значения всех его атрибутов A_i в определенный момент времени t. При этом значения классификационных атрибутов k определяют код K_j – идентификатор данного объекта, а значения параметрических атрибутов q определяют состояние этого объекта в момент времени t. При этом параметры q объекта O_j взаимосвязаны определенными отношениями j .  Обозначим набор значений всех параметрических атрибутов q₁,…,q_s символом Q _j и по аналогии с кодом идентификатора K_j будем называть этот набор кодом состояния объекта O_j. Таким образом модель состояния любого объекта O_j будет представлена тройкой (K_j, Q _j, t). Другими словами, имеет место отображение O_j(t)Ю(K_j, Q _j, t).

4.6.5. Моделирование отношений между различными объектами

   Будем считать, что объекты О₁,…,О_m находятся в отношении R(A_j,1…,A_e,m), если RО(E_j,1ґ…ґE_e,m), где A_j,1…,A_e,m соответственно атрибуты объектов О₁,…,О_m с множествами значений E_j,1,…,E_e,m. Это простейший случай, когда каждый объект представлен в отношении R только одним своим атрибутом.

• порядка,
• включения,
• наследование свойств,
• полиморфизм,
• включение одних объектов в структуру других,
• ассоциации (устанавливает двухстороннюю связь между объектами разных классов),
• отношение использования,

Важнейшим отношением между объектами одного класса, которым мы уже пользовались при рассмотрении объектного пространства, является

отношение порядка.

Все атрибуты класса и области их возможных значений должны быть указаны в описании класса. На рис. 4.6 приведена типовая структура описания любого класса объектов

Рис. 4.6. Типовая структура описания класса объектов.

• идентификатор класса – это уникальное имя ( символический ключ), позволяющий манипулировать множеством объектов данного класса как одним целым абстрактным объектом;
• перечень структурных компонентов объектов данного класса, где каждый компонент рассматривается как класс объектов следующего нижнего уровня иерархии, и, следовательно, имеется возможность выбора экземпляров этих компонентов при построении структуры объекта данного класса;
• имя класса или объекта высшего уровня иерархии имеет смысл указывать, если объекты данного класса могут использоваться в качестве компонентов нескольких объектов другого класса (Формально эти два атрибута характеризуют свойство объектов, находится в отношениях “целое – часть” и “часть – целое”. При чем данные свойства необходимо учитывать, если имеется возможность альтернативного выбора при конкретизации объектов рассматриваемого класса.);
• параметр объектов данного класса – атрибут, характеризующий обычно пространственное положение, размеры, вес, цвет и другие вещественные или структурные свойства объектов;
• отношения объектов данного класса – атрибуты, характеризующие соотношения между значениями собственных параметров объектов и параметров различных объектов, рассматриваемых при исследовании систем;
• метод, реализуемый объектами данного класса – атрибут, характеризующий поведение объекта или переход его из одного состояния в другое, реакцию объекта на определенное событие;
• функция, реализуемая объектами данного класса - атрибут, описывающий действия объекта, приводящие к результату, явно выраженному значением функции, которое выдается (возвращается) по завершению действий.

Возможны и другие типы отношений между различными свойствами объектов, например: родственные, административные, конструктивные, логические и т. д. Важно, чтобы всякое отношение имело определенный критерий истинности и обладало свойством альтернативности.  Каждый класс состоит из определенных компонентов, является компонентом класса более высокого уровня и связан определенными отношениями с другими классами данного уровня. При анализе сложной системы перед исследователем, прежде всего, возникает задача оценки по определенному показателю различных вариантов структуры этой системы и выбора по некоторому критерию одного из этих вариантов. С точки зрения ОКП данную задачу можно сформулировать следующим способом. Пусть {K₁, K₂, …, K_m} – множество классов объектов, из которых проектируется структура будущей системы. Каждый класс K_e представляет собой множество {O₁, O₂, …, O_t}_e конкретных объектов (экземпляров) данного класса. При этом множество S={K₁ґK₂ґ…ґK_m} есть множество всех возможных конкретных вариантов (экземпляров S_k) структуры исследуемой или проектируемой системы.  Каждый отдельный вариант S_k структуры S есть определенная конкретизация параметров (атрибутов) всех компонентов (классов) структуры S, и каждому варианту S_k соответствует некоторое значение показателя эффективности W исследуемой системы. Задача состоит в том, чтобы, изменяя значения параметров классов K_eОS, определить вариант наиболее эффективной структуры S*_k проектируемой системы.

4.7. Теоретико-множественная модель класса объектов.

Свойство наследования означает, что из любого класса объектов U₁ можно создать более широкий класс объектов U₂ путем добавления новых атрибутов. При этом дочерний класс U₂ сохраняет все атрибуты родительского класса U₁.

Формально это означает, что U₂= U₁ґ{E_n+1,…,E_n+k}.

Свойство инкапсуляции означает, что вся информация об объекте и способы ее обработки (изменения заданных значений атрибутов) содержится в отдельном объекте, который используется конструктором для создания и изменения конкретных экземпляров объектов.

Свойство полиморфизма состоит в том, что различные классы объектов могут иметь в качестве атрибутов одни и те же методы, но для разных объектов эти методы могут отрабатываться по-разному. Поэтому конструктор должен знать, как выполнять одни и те же методы применительно к различным объектам. Например, почти все элементы Visual Basic в качестве одного из атрибутов содержат метод Move. Когда этот метод вызывается для конкретного объекта, то инструментальная программа "знает" как выполнять данный метод для данного объекта. Отношения в ООП¹⁾ определяются как закономерные или установленные соответствия между значениями атрибутов различных комплексов, или между атрибутами одного комплекса. Например, класс ФС²⁾ может быть связан с классом АРМ³⁾ атрибутами “идентификатор АРМ” - “тип ФС”, а значениям атрибута “тип ФС” должно соответствовать значение атрибута “интенсивность” в классе ФС. Схема этих отношений показана на рис.4.7.

1. обьектно-ориентированнный подход
2. форма сообщения
3. автоматизированное рабочее место
4. информационно-расчетная система

Рис. 4.7. Схема отношений между классами объектов

Проблема анализа процесса обмена ФС в ИРС⁴⁾ состоит в том, чтобы:

• классифицировать все объекты, составляющие процесс обмена,
• определить и описать их атрибуты,
• определить и описать все возможные отношения между классами объектов. В результате будет создана классовая модель процесса обмена ФС в ИРС.

• Целенаправленной классификации объектов проектируемой системы, означающий что определение и описание классов объектов осуществляется в ходе обследования системы в соответствии с целями и задачами исследования, определяется неизбыточная, необходимая для данной задачи, номенклатура классов;
• Классового моделирования систем и процессов, согласно которому функциональная структура системы (процесса) создается из абстрактных классов функциональных объектов, а не из конкретных экземпляров объектов. В этом существенное отличие предлагаемого подхода от традиционного ООП. Конструкция собирается из классов, которые создаются в ходе анализа данной системы, а не выбираются из заранее кем-то созданного набора компонентов (класса), как в традиционном ООП.
• Абстрагирования от понятия состояния на уровне класса и классовой модели. Состояние объекта характеризуется набором значений параметров данного объекта в определенный момент времени. Класс определяется множеством атрибутов (в том числе и параметров) не зависимо от того, как меняются их значения.

Литература

1. Братко И. Программирование на языке ПРОЛОГ для искусственного интеллекта. - М.: Издательство “МИР”, 1990, 560 с
2. Журавлев Ю. И. Теоретико-множественные методы алгебры логики. - М.: Проблемы кибернетики, 1962, вып.8, стр. 5-44.
3. Веников В. А., Веников Г. В. Теория подобия и моделирования - М.: Высшая школа, 1984.
4. Закревский А. Д. Алгоритмы синтеза дискретных автоматов. - М.: Наука, 1971, 511 с.
5. Математическая теория логического вывода. Сб. Переводов, - М., 1967 г.
6. Новиков О. А., Петухов С. И. Прикладные вопросы теории массового обслуживания. - М.: “Советское радио”, 1969 г., 397 с.
7. Охоцимский Д. У., Сихарулидзе Ю. Б. Основы механики космического полета. - М.: Издательство “Наука”, Главная редакция физико-математической литературы. 1990 г., 445 с.
8. Основа теории полета космических аппаратов. Под редакцией Г. С. Нариманова и М. К. Тихонравова. - М.: Издательство “Машиностроение”, Москва, 1972 г.
9. Рабочая книга по прогнозированию. Отв. редактор Н. В. Бестужев-Лада , - М.: “Мысль”, 1982 г.
10. Рябинин И. А., Черкасов Г. Н. Логико-вероятностные методы исследования надежности структурно-сложных систем.
11. Смирнов Д. М. Математическая Энциклопедия. т. 1, стр. 488. - М.: Издательство “Советская Энциклопедия”, 1977 г.
12. Стерлинг Л., Шапиро Э. Искусство программирования на языке ПРОЛОГ. - М.:, Издательство “МИР”, 1990 г., 336 с.
13. Успенский В. А. Алгоритм. Математическая Энциклопедия. т. 1, стр. 202. - М.: Издательство “Советская Энциклопедия”, 1977 г.
14. Устенко А. С. Докторская диссертация. "Теоретические основы структурного проектирования алгоритмических процессов для автоматизации контроля и управления космическими средствами военного назначения". В/ч 73790, 1986 г.
15. Худсон Д. Статистика для физиков. Лекции по теории вероятностей и элементарной статистике. - М.: Издательство “Мир” , 1970 г., 296 с.
16. Цаленко М. Ш. Моделирование семантики в базах данных. - М.: Издательство “Наука”, Главная редакция физико-математической литературы. 1989 г., 286 с.
17. Гради Буч. Объектный анализ и программирование с примерами приложений на С++. Второе издание. Перевод с английского под редакцией И. Романовского и Ф. Андреева. - М.: “Издательство Бином”, СПб: “Невский диалект”, 1998 г., 560 с., ил.
18. Фридман А. Л. Основы объектно-ориентированной разработки программных систем, - М.: “Финансы и статистика”, 2000 г., 192 с.
19. Клир Дж. Системология. Автоматизация решения системных задач. Перевод с английского М. А. Зуева Под редакцией Ф. И. Горлина. - М.: “Радиосвязь” 1990 г. 540 с.
20. Математическая энциклопедия, т. 2, стр. 862, издательство “Советская энциклопедия”, - М.: 1979 г.

главная     об авторе       содержание       часть1       часть2       часть3      литература