ВУЗ:
Составители:
Рубрика:
R1 :
R2 :
R3 :
A1 A2 A3
A1
A1
A2
A3
A4 A3
A6
A6
A6
R4 :
A1
A5
A6
Рис. 3.6
Каждый из представленных маршрутов является линейным графом (в общем случае
они могут содержать и циклы), а развитие вычислительного процесса на графе
происходит по одному из перечисленных направлений.
Для каждого из маршрутов можно построить паспорт на основе паспортов
составляющих его объектов. Новый паспорт представляет собой теоретико-
множественное объединение данных, входящих в маршрут
объектов. Определенную
трудность составляет задача классификации типов данных.
Абстрагируясь от содержательной части паспорта (наименований данных и их
типов), рассмотрим задачу назначения классификационных признаков данным.
Классификационные признаки данных для линейных графов определяются
расположением объектов на маршруте вычислений. Если несколько модулей на
маршруте имеют общий параметр, то его классификационный признак будет
определяться
типом его первого вхождения. Например, для маршрута R1:
A
1→A2→A3→··· параметр D2 встречается в двух модулях: A2 и A3, в модуле A2 этот
параметр является вычисляемым и не требует предварительной инициализации, а в
модуле A
3 - инициируемым и должен принять значение заранее. Но, так как модуль A2 в
этой цепочке встречается раньше, то D2 не нужно заранее инициализировать. Таким
образом, на этом маршруте параметр D2 необходимо отнести к классу
вычисляемых. С
другой стороны, если данное встречается впервые как инициируемое (внешнее), то его
следует отнести к классу
внешних данных.
Введем операцию конкретизации классификационных признаков для линейных
маршрутов Δ , применение ее к объектам маршрута при построении паспорта маршрута
представим следующим образом:
PR PA PA PA
ii i in
() ( ) ( )... ( )=
12
ΔΔΔ
,
где P( ) - паспорт соответствующего объекта.
После того как будут получены паспорта всех маршрутов, на следующем этапе
классификации параметров граф-агрегата эти маршруты необходимо будет объединить.
При этом надо учитывать следующее обстоятельство: если несколько маршрутов имеют
общий параметр, то его классификационный признак будет определяться с учетом
приоритетности предварительной инициализации. Предполагается, что признак
инициируемости
является более приоритетным по отношению к признаку вычислимости.
Например, если параметр D2 на маршруте R1 определился как инициируемый (входной),
а на маршруте R2 - как вычисляемый, то для нормальной работы граф-агрегата в целом,
этот параметр должен быть инициализирован заранее.
Классификация параметров граф-агрегата P(G) будет определяться полученными
паспортами всех маршрутов:
PG PM PM PM
m
( ) ( ) ( ) ... ( )=∇∇∇
12
,
Страницы
- « первая
- ‹ предыдущая
- …
- 29
- 30
- 31
- 32
- 33
- …
- следующая ›
- последняя »
