Системная технология | страница 82
Будем рассматривать только тот случай, когда все множества A>∑, B>∑,D>∑, E>∑, F>∑, S>∑ конечны. Пересечение каждой пары множеств А>∑, В>∑, D>∑, Е>∑, F>∑, S>∑ представляет собой конечное пустое множество.
Модель полной системы.
● Полной системой S назовем совокупность взаимосвязанных элементов a ∈ A, е ∈ Е (A ⊆ A>∑, , E ⊆ E>∑) и осуществляемых ими элементарных процессов в ∈ В, d ∈ D (B ⊆ В>∑ D ⊆ D>∑), предназначенную для достижения цели F, связанной с выпуском определенного изделия (продукта) S>F, S>F ⊆ S>F∑, F ⊆ F>∑.
Модель полной системы (математическую модель полной системы) S определим, как конечную алгебраическую систему
S= < { A, В, D, Е }, W, Φ >, (3.3.1)
состоящую из множества-носителя {А, B, D, Е}, множества операций W={W>1, W>2, …, W>l} и множества предикатов Φ={Φ>1, Φ>2, …, Φ>r}.
Для описания всех необходимых взаимосвязей в модели системы (3.3.1) используем два множества: W>∑ и Φ>∑. Множество W>∑ является множеством всех операций, используемых при анализе и синтезе всех моделей S из множества S>∑. Множество операций W используется для определенной модели S. Множество S>∑ – это множество моделей системы S, причем каждая модель S отражает одну технологию изготовления одного изделия, выпуска одного продукта (или его модификации). Множество W>∑ может содержать теоретико-множественные операции объединения, пересечения и другие.
Множество Φ>∑ содержит предикаты, используемые для описания отношений на множествах-носителях всех моделей системы. Множество главных предикатов Φ содержит предикаты Φ>1-Φ>r, определяющие отношения связи на {A, В, D, E}, которые должны соответствовать цели F изготовления «изделия S>F», F ⊆ F>∑, S>F ⊆ S>F∑ . Переход от модели системы S для одной технологии изготовления изделия к модели другой технологии осуществляется путем замены одной совокупности