Системная технология. Марат Телемтаев
Чтение книги онлайн.

Читать онлайн книгу Системная технология - Марат Телемтаев страница 48

СКАЧАТЬ описания взаимосвязи с F выберем отношение ψ вf. Выбор такого набора отношений соответствует наиболее распространенной схеме формирования системы, уже описанной в начале раздела в виде процесса достижения цели, когда для достижения системы целей F формируется множество элементарных процессов В. Будем считать, что главные предикаты Φ1 ÷ Φr описывают только выбранные бинарные отношения. Можно выбрать и другой набор отношений; при любом наборе отношений, устанавливающих взаимосвязи между всеми множествами А, В, D, E, F, будут справедливы результаты, полученные ниже.

      * Модели процесса и структуры системы определим в следующем виде.

      Процесс Р системы S (назовем его также полным системным процессом) – это множество взаимосвязанных элементарных процессов:

      P = < {B, D}, W, Φp >; Φр ⊂ Φ. (3.3.2)

      Структура С системы S (назовем ее также полной системной структурой) – это множество взаимосвязанных элементов системы:

      С = < {A, E}, W, Φc >; Φс ⊂ Φ. (3.3.3)

      * В соответствии с принятыми исходными положениями моделирования системы имеет место взаимнооднозначное соответствие между элементами множеств А и В. Взаимнооднозначное соответствие имеет место также между элементами множеств E и D; следовательно, имеет место взaимнооднoзначное соответствие между элементами множеств-носителей в (3.3.2) и (3.3.3). Имеется также взаимнооднозначное соответствие между каждыми двумя упорядоченными парами i, ej ) и i, dj), что однозначно следует из исходных положений описания с помощью сигнатуры Φ целенаправленного процесса формирования модели (3.3.1). Следовательно, имеется взаимнооднозначное соответствие между элементами сигнатур Φр и Φс , Φр ⇔ Φс. Далее, любая операция из Wc, например, объединение элементов а, а ∈ А и е, е ∈ E, взаимнооднозначно соответствует такой же операции из Wp, т.е., в данном случае, объединению процессов в, в ∈ B и d, d ∈ D. Следовательно, Wp = Wc. Но так как Wp ⊂ Wc , Wc ⊂ W и W \ {Wp ⋃ Wc} = ∅, то Wp = Wc = W. Итак, доказана следующая

      Теорема 3.1. Для модели системы S модели процесса Р и структуры С изоморфны.

      * Модели полных, основных и дополнительных системных объектов.

      На основе (3.3.1)–(3.3.3) сформулируем следующий результат.

      Теорема 3.2. Модель полной системы S – это совокупность моделей процесса Р и структуры С:

      S = < P,C,Φ(α),Φ(α-1),Φ(β),Φ(β-1)> (3.3.4)

      * Полный процесс системы Р мы представляем как объединение основного процесса достижения цели Рa и системного процесса взаимодействия Ре. Хотя нами рассматриваются системы, создаваемые для реализации процесса, все результаты системной технологии могут быть применены для систем, предназначенных для реализации структуры. В системах, предназначенных для реализации системного процесса достижения цели, основные элементы системы а реализуют элементарные процессы достижения цели в. Но элементарные процессы достижения цели не могут объединяться в системный процесс Pа, минуя элеме� СКАЧАТЬ