|
56 Определим на множестве U подмножества Ра(иц), Рь(иъ), Рс(ис), являющиеся соответственно подмножествами входных, промежуточных и выходных вершин графа G°. Теперь рассмотрим множество P=Pi х Р2, представляющее собой декартово произведение подмножеств Pj иР2, причем Pi=Pim\(ua,ub)\=Pa mxPb m; P2=P2m\(ub,uc)\=Pb m хРс т При этом Ра т= \иа\ сРа, Рьт= \иъ\ fPb, Рс т= \ие\ сРс, где Р™ = ПР^ь Pb m = ПР2 Pi, РР = PIPi Рг, РГ = ПР2 Р2 соответственно первые и вторые проекции множеств Pb ъР2. Элементы подмножеств иа е Р™ ииь е Рь т, а также элементы иь е Р™ и ис е Р"‘ находятся в отношениях иа Rs иь; иь Rs ис. любой тройки <иа, иь, ис> е If = Р™ Рь т РР определена композиция отношений f=Rs о Rs. При этом следует отметить, что промежуточные элементы сами могут представлять композицию отношений, поэтому ее можно отнести к любому числу элементов. Будем считать, что множество Рс т полностью определено множеством РР через композицию отношений, т.е. Рр = f(PP). Отношения предшествования и следования для РР являются отношениями типа Rj. Таким образом, множество входных элементов идентифицирует множество выходных. Эта зависимость полная, так как любая подстановка вместо РР РР нарушает эту зависимость. Теперь, согласно принципам типизации и проектирования модульных систем обработки информации и управления [14], можем ввести следующие определения. Определение 1. Множество Р с определенной на нем композицией отношений, удовлетворяющее системе отношений пп.1-5, называется функциональным модулем. Определение 2. Базовым модулем называется функциональный модуль, для которого значение рР > 1. |
межуточные элементы сами могут представлять композицию отношений, поэтому ее можно отнести к любому числу элементов. Будем считать, что множество УД полностью определено множеством Р™ через композицию отношений, т.е. Р™ = /(Р™). Отношения предшествования и следования для Р™ являются отношениями типа Рц. Таким образом, множество входных элементов идентифицирует множество выходных. Эта зависимость полная, так как любая подстановка вместо Р™ — Р™ нарушает эту зависимость. Теперь, согласно принципам типизации и проектирования модульных систем обработки информации и управления [68], можем ввести следующие определения. Определение 1. Множество Р с определенной на нем композицией отношений, удовлетворяющее системе отношений пп.1-5, называется функциональным модулем. Определение 2. Базовым модулем называется функциональный модуль, для которого значение рт > 1. Из определения базового модуля видно, что чем выше значение параметра тем для решения большего числа задач ТЦУ он используется. Максимальное значение параметра рт = 7V, где N мощность множества реализуемых ТЦУ задач, принадлежащих множеству Z^,n — 1,...,7V. Состав множества модулей, проектируемых при разработке базового ПО ТЦУ, зависит от мощности множества Z^, которая определяется мерой близости входящих в множество Z задач ТЦУ. Чем более мощным является ZQ , тем большее число модулей, обладающих высоким уровнем типовости, может быть синтезировано и принято в качестве базовых модулей программной системы. Следует отметить, что мощность множества Z^ определяет не только уровень типовости используемых модулей, но и их собственную мощность. Базовый модуль может не обладать высоким уровнем типовости, но обладать большой мощностью, и наоборот. Таким образом, введенное понятие базового модуля ПО отлично от определения типового модуля систем обработки информации и управления и непосредственно отвечает задачам синтеза ПО систем управления КА, т.е. концепции ’’базового программного обеспечения”. Дальнейшее изложение показывает, что использование именно таких модулей дает существенный эффект на практике. 104 |