Проверяемый текст
Сурина Элеонора Ильдаровна. Разработка методов анализа и синтеза целенаправленных действий членов экипажа по повышению эффективности управления воздушным судном (Диссертация 2006)
[стр. 61]

Приведём ряд часто встречающихся типов соединений.
Простейшим типом соединения является
I «свободное», при котором никакие соединения не устанавливаются, так, что любая конфигурация регулярна и не имеет внутренней структуры, т.е.
является просто множеством.
Объекты такого вида будем называть свободными конфигурациями.
Поскольку свободные конфигурации это просто множества, то для обозначения соединения а естественно воспользоваться знаком «^»
(объединение с той оговоркой, что две копии образующей можно различать с помощью дополнительных меток в соответствующих контекстах).
Другим часто встречающимся
типом является линейный тип.
Линейный тип соединений X состоит из линейных упорядочений, так что регулярная конфигурация, включающая п образующих, имеет вид, приведенный на рисунке
Рисунок 2.2.
Линейное соединение конфшураций Теперь введём в теорию образов наблюдаемость.
Две различные конфигурации С и с' из
Ь (К) необязательно будут восприняты наблюдателем как различные.
Последнее может зависеть или не зависеть от способа получения информации о конфигурации наблюдателем и от способа обработки этой информации.
Формализуем это обстоятельство посредством правила идентификации
К: записываем с= с' (тоб К) или сК.
с', если с и с' идентифицируются при помощи этого правила, указывающего, каким образом наблюдатель может различать конфигурации.
Для того чтобы некоторое отношение было правилом идентификации, должны выполняться следующие определения и правила.

Отношение Я между конфигурациями из Ь (К) называется правилом идентификации, если:
[стр. 61]

-чг**** 61 Множество регулярных конфигураций будем записывать в виде набора из четырех элементов Ь(К) = (А, 5,1, V).
(2.12) или, объединив 1-структуру и отношение связи V в правило (2.13) получаем набор из трех элементов (А, 8, К).
(2.14) Если рассматриваются только регулярные конфигурации заданной мощности п, для пространства конфигураций можно записать Ъ п ( К ) а Ь ( К ) .
(2.15) Иногда некоторые регулярные конфигурации встречаются в виде подконфигураций.
В таком случае их удобно рассматривать в качестве неделимых элементов, т.е.
образующих с заданными фиксированными внутренними связями.
Будем называть такие конфигурации макрообразующими.
Приведем ряд часто встречающихся типов соединений.
Простейшим типом соединения является
X «свободное», при котором никакие соединения не устанавливаются, так, что любая конфигурация регулярна и не имеет внутренней структуры, т.е.
является просто множеством.
Объекты такого вида будем называть свободными конфигурациями.
Поскольку свободные конфигурации это просто множества, то для обозначения соединения а естественно воспользоваться знаком
«Ы» (объединение с той оговоркой, что две копии образующей можно различать с помощью дополнительных меток в соответствующих контекстах.
Другим часто встречающимся
типов является линейный тип.
Линейный тип соединений X состоит из линейных упорядочений, так что регулярная конфигурация, включающая п образующих, имеет вид, приведенный на рисунке
2.2.


[стр.,62]

62 1 Рис.2.2.
Линейное соединение конфигураций Теперь введем в теорию образов наблюдаемость.
Две различные конфигурации С\ и с' из
Ъ ( К ) необязательно будут восприняты наблюдателем как различные.
Последнее может зависеть или не зависеть от способа получения информации о конфигурации наблюдателем и от способа обработки этой информации.
Формализуем это обстоятельство посредством правила идентификации
Я : записываем с= с’ (тос! Я ) или сЯ с', если с и с' идентифицируются при помощи этого правила, указывающего, каким образом наблюдатель может различать конфигурации.
Для того чтобы некоторое отношение было правилом идентификации, должны выполняться следующие определе? ния и правила.

Определение 2.8.
Отношение К между конфигурациями из Ъ ( К ) называется правилом идентификации, если: Я является отношением эквивалентности, если сЯс', то си с' имеют одни и те же внешние и внутренние показатели связей, если сЯс\ то (зс)7? (зс') для любого зе8, если с = с\<зс2 и с' = С)'ас '2 регулярны и с\Яс\, с2/?с2', то имеем сЯс’.
Классы эквивалентности Ь (Я) называются изображениями и в общем случае обозначаются через I, а множество всех изображений через Г.
ГЬ (К)/ К = (А, 5,1, V)/Я .
(2.16) Иногда будем называть элементы из Г идеальными изображениями в у противоположность деформированным изображениям, которые будутвве

[Back]