CC BY
30
УДК 004.9
ОБОБЩЁННАЯ ЗАДАЧА СИНТЕЗА ВИРТУАЛЬНОЙ СЕТИ МАШИНОСТРОИТЕЛЬНОГО ПРЕДПРИЯТИЯ
© 2011 А. Н. Коптев1, Д. Ю. Дронов2
1 Самарский государственный аэрокосмический университет имени академика С. П. Королёва (национальный исследовательский университет) 2 Поволжский государственный университет телекоммуникаций и информатики
Рассматривается формальный метод проектирования мультисервисных сетей, основанный на использовании методов и средств «общей теории образов», которая позволяет решать задачи синтеза частной виртуальной сети производственного комплекса.
Виртуальные сети, синтез, теория образов, идентификатор, тензорный анализ.
Одной из центральных задач в условиях модернизации машиностроительного комплекса является задача широкого внедрения информационных технологий. Средством успешного решения этой задачи является создание виртуальных частных сетей, объединяющих все источники производственной информации по изготовлению сложных изделий. Такая сеть должна обеспечить безопасность, доступность, предсказуемую пропускную способность, конфиденциальность. С точки зрения заказчика виртуальная частная сеть должна представлять единую логическую сеть предприятия, независимую от расположения компьютеров и непосредственных соединений.
Задача синтеза частной виртуальной сети может быть сформулирована следующим образом. Пусть имеется к типов непосредственных компонентов, из которых можно строить сеть передачи информации. Если сеть состоит из п1 устройств первого типа, п2 устройств второго, ..., пк агрегатов к -го типа, то её можно характеризовать вектором п = (п1, п2, • , пк). В
рамках такого подхода к построению сети определённого назначения могут быть синтезированы различные схемы реализации.
Задаваясь множеством N допустимых векторов п{, рассмотрим только те системы, которые характеризуются векто-
рами пг е N. Пусть далее в функциональном пространстве точек вида {Ьх (У)} задано множество К точек этого пространства. Точкой этого пространства является «вектор» {Ьх (У)}, где х - «номер координаты». Например, если рассматривается лишь конечное число входов Х1, Х2, ..., Хг то этот вектор будет иметь вид
{4(У142 (УI-4Г(У)}. функция {4(У)}
обозначает совокупность всех конечномерных распределений У = У ^) при фиксированном X = X ^).
Для того чтобы сформулировать задачу оптимального синтеза, необходимо ввести во множество N операцию упорядочения: из двух различных векторов п1, п2 вектор п1 • п2 ® п1 < п2. Сформулированная задача синтеза, и тем более оптимального синтеза, является весьма общей, и в настоящее время эффективных методов её решения не существует. К решению этой задачи применяется общий принцип, базирующийся на установлении предпочтения как строго частичного упорядочения.
В данной статье рассматривается решение задачи в рамках точного формализма построения виртуальной частной сети на основе теории синтеза образов [1,
2, 3].
Объектом исследования в данной работе являются частные сети, рассматри-
ваемые в рамках точного формализма, который будет использоваться в качестве концептуальной основы для синтеза этой сети.
С общих позиций любая сеть состоит из образующих, т. е. некоторых стандартных устройств. В каждом конкретном случае они выбираются из стандартного набора образующих, который обеспечивает однозначно определённый результат при синтезе частной сети.
Непроизводные компоненты - стандартные схемные модули, используемые для построения виртуальной частной сети предприятия, - назовём образующими сети (ОС). Множество всех ОС £ состоит из непересекающихся классов £а, £а с £, где а - общий индекс класса ОС. Непе-ресекающиеся классы:
(1)
связей не определяет значения показателей, поставленных в соответствие отдельным связям.
В дополнение к свойствам образующих необходим также идентификатор или имя для того, чтобы иметь возможность различать используемые образующие.
Чтобы дать интуитивное представление о свойствах ОС, введём графический формализм (рис. 1).
Это графическое представление не следует рассматривать как образующую, окружённую своими связями, т.к. связи являются частью собственно ОС.
Для нашего случая ОС определена применительно к некоторой среде X. Опорное пространство X может быть практически любым.
дои' /г" РТ
\У \/ \у
гт
ОС - это некоторые стандартные устройства, обладающие определёнными свойствами. Важнейшими из них, как правило, являются свойства двух типов.
К первому типу свойств отнесём признаки. ОС ставится в соответствие признак р = р(£). Одной из составляющих признака служит индекс класса ОС, а другие составляющие представляют более специфическую информацию.
Второй тип свойств связан с входами и выходами ОС для возможных соединений между ОС.
Каждому подобному (потенциально возможному) соединению соответствует показатель связи, обозначаемый обычно символом Ь с соответствующим нижним индексом.
Кроме этого введём показатель, характеризующий максимально возможное число соединений ОС, величина которого равна
Ь х = Ь Г + Ь Г ■ (2)
Пронумерованное определённым
образом множество связей £ всякой ОС, образует структуру связей ОС. Структура
ИДЕНТИФИКАТОР ПРИЗНАК а
/\ /\ /\ /\
піп піп піп піп
Р\ Рг Ръ Рп
Рис. 1. Графическое представление образующей сети
Рассмотрим с общих позиций наиболее часто встречающиеся ОС, которые состоят из отображений опорного пространства X в сопоставленное пространство У. В этом случае будем говорить об образующих-соответствиях или образующих-функциях. В качестве более общего многомерного аналога ОС введем понятие универсальной ОС.
Всякая ОС для рассматриваемого случая есть оператор с V (переменными) входами х1,х2,...,xv и т (переменными) выходами у1, у2,..., у т . Область значений всякого хі есть некоторое пространство Хі, область значений всякого уі - неко-
“
торое пространство У. В частности, существуют операторы назначения, не имеющие входов (однако обычно обладающие некоторыми признаками). Преобразования подобия воздействуют только на операторы назначения, оставляя все остальные ОС без изменения. В результате реализации этих преобразований признаки оператора назначения обычно изменяются.
Отметим возможность использования этого аналога ОС для случая, когда Xi и у. определены как множества случайных переменных.
Для синтеза виртуальной частной сети проектировщик вырабатывает последовательность ОС, обеспечивающих однозначно определённый результат. Простейшим случаем (для конечного или счётного £ ) является полное перечисление, при котором порядок определяется или произвольно, или на основе некоторого признака. В результате будет получено само £ .
Каждый первичный элемент из £ может воспринимать входные сигналы и находится в определённом состоянии в зависимости от них. Входные сигналы имеют вид вектора Х =(х0,х1,..., хХо), компонент х0 - дискретный параметр, остальные компоненты х., . > 1 - вещест-
венные числа. Состояние ОС в момент времени, предшествующий моменту поступления сигнала X, описывается вектором 2 с компонентами (г0,21,...,2^ ), где
20 - также дискретный параметр.
При поступлении сигнала X на вход системы реализуется случайный вектор X = (Х15Х2,.) с размерностью и распределением, которые полностью определяются компонентами 20 и х0. Далее формируется вектор К в виде
К = К (21, 2 2 ,...; х1, х2,...; Х1, Х 2,...) - (3)
Затем составляется конечное число линейных форм Ц , от компонент вектора (возможно, со свободными членами). Вид
этих линейных форм полностью определяется компонентами 20 и х0. Вектор
(у1,у2,...,Пу) принимает следующие значения:
[ 1, если Ц > 0,
10, если Ц < 0.
V = ■
(4)
Новое значение 2' внутреннего состояния ОС после воздействия входного сигнала определяется следующим образом:
/ \
г =
1
г0
где
г '0 выбирается по случайному закону, зависящему лишь г0, х0, v1, v2,...,
г"., і > 1 определяются как линейные комбинации компонент вектора К с коэффициентами, полностью определёнными значениями г0, х0, v1, v2. В узловой момент времени, т.е. в момент, когда какая - либо из непрерывных координат вектора г(ґ) обращается в нуль, на выход посылается сигнал вида:
У =(у0,У1,У2,-,У|у0| ), (5)
где
у0 - дискретный параметр,
у1,...,у і - вещественные числа.
|у0|
Параметры уІ (і = 0,1, 2,|у0|) формируются следующим образом. Пусть
- состояние ОС в момент,
предшествующий обращению некоторой переменной в нуль. Тогда у0 выбирается из некоторого конечного или счётного множества по случайному закону, полностью определяемому заданием 20 . После
выбора у0 параметры у. (. > 1) определяются как линейные комбинации с коэффициентами, зависящими от у0 и, возможно, от 20 .
Располагая ОС описанного вида, можно формально построить виртуальную частную сеть, понимая её как совокуп-
ность ОС, связанных таким образом, что выходы одних соединены с входами других. В основе такого построения сети лежат правила, ограничивающие способы соединения ОС между собой. Эти правила приводят к типичным регулярностям и представляют их комбинаторную структуру - множество регулярных конфигураций, каждая из которых определяется своим составом и структурой.
Остановимся более подробно на синтезе конфигураций, удовлетворяющих определённой регулярной функции.
Для того, чтобы выделить класс регулярных или допустимых конфигураций, можно воспользоваться двумя способами. Можно начать с множества всех конфигураций и выделить те, которые удовлетворяют набору заданных ограничений. Это есть определение через ограничения. С другой стороны, можно начать с пустого множества и последовательно добавлять новые конфигурации, используя некоторое правило порождения. Это есть порождающее определение.
Через Я будем обозначать систему правил или ограничений (или тех и других), определяющую, какие конфигурации следует считать регулярными. Множество регулярных конфигураций, получаемых с помощью множества Я , будем обозначать через Ъ(Я) или через Ъп (Яп), где п -число образующих (если оно определено). Множество Ъ(Я) характеризует регулярность создаваемой сети.
При этом структура конфигурации представляет собой множество о соединений, существующих между всеми или некоторыми связями образующих, входящих в её состав. Если перенумеровать
связи как В.., то множество о можно за' У
дать списком вхождений вида (В, В . \ (Л .')) или двумерной матрицей - тензором соединения порядка (Ві, В.), в котором единицы и нули указывают на наличие или отсутствие соединения в определённых парах связей.
Множество всех допустимых соединений о обозначим через ^ и будем
называть его типом соединения конфигураций в рассматриваемом множестве регулярных конфигураций Ъ(Я), определяющих состав и структуру сети в целом. С формальной позиции тип соединений ^ представляет собой объединение допустимых соединений оп, где всякое множество оп есть множество графов,
заданных на п вершинах ОС.
Поскольку каждая конфигурация выполняет свою функцию, то множество регулярных конфигураций, получаемых через систему правил или ограничений, будет отражать функцию синтезируемой, виртуальной частной сети как большой системы. При этом такую систему на некотором уровне формального описания вполне естественно можно считать ОС в формализме более высокого уровня.
Определим формально функцию такой системы, которая на этом этапе рассмотрения представляется многомерным аналогом ОС, введённым выше, представляющим систему в целом. Рассматриваемой ОС принадлежит множество £ устройств сети, одно из которых изображено на рис. 2.
КАНАЛ СВЯЗИ а
------Ї------
Рис. 2. Канал связи образующей системы
Признаком образующей £ является Х
- вектор входного сигнала. Интерпретация такого типа соединения состоит в том, что переход из состояния в состояние происходит в момент времени Ї.
Обозначим через Х(і) вход, через У(і) выход системы, определив каждый из
этих процессов как 0, если в момент времени I на вход (выход) не поступает никаких сигналов, и как х(у), если в момент времени I на вход (выход) поступает соответствующий сигнал.
При этом будем считать допустимым в заданном интервале времени любой входной (выходной) процесс, который характеризуется поступлением конечного числа сигналов.
Задав ОС, введём определённые правила, ограничивающие способы их соединения между собой. Эти правила приводят к типичным регулярностям образов и представляют их комбинаторную структуру. Получаемые в результате регулярные конфигурации являются абстрактными конструкциями. В какой степени регулярные конфигурации могут быть идентифицированы наблюдателем - зависит от системы наблюдения. Результаты наблюдения, соответствующие некоторому
множеству регулярных конфигураций, с общих позиций, представляет собой класс эквивалентности I на множестве правильных конфигураций Ь(Я) в смысле правила идентификации Я, т.е. формальное описание объекта проектирования или формальный объект (ФО). Такое описание соответствует наблюдениям в идеальных условиях; оно может быть точным настолько, насколько хорошо исследователь или «заказчик» знают свой объект. Следовательно, речь идет о потенциально достижимом описании объекта.
Синтезированный ФО, не учитывающий поведение его в реальных условиях, будет иметь ограниченные приложения.
Рассмотрим алгоритм решения задачи синтеза виртуальной частной сети для передачи информации подразделениям предприятия.
При синтезе виртуальной сети следует различать энергетическую и информационную сторону вопроса. Первая связана с наличием исполнительных устройств, способных выполнить какие-либо операции, вторая - с целесообразностью того или иного вида распределения опе-
раций между этими устройствами. Первая задача состоит в выборе такого набора устройств при условии оптимального управления потоками, при котором система полностью справлялась бы с обслуживанием. Это положение математически можно выразить в виде условия существования эргодического распределения соответствующего кусочно-линейного марковского процесса.
В широком классе случаев данная задача решается при помощи расчёта по средним характеристикам.
Существуют методы, по которым можно убедиться в том, что система с заданным составом приборов может справиться с определённым потоком требований. Эти методы основаны главным образом на рассмотрении случайных блужданий в многомерном пространстве. Такой подход базируется на условии наличия функциональной схемы такой системы.
Предлагаемый метод связан с формированием как состава сети, так и её структуры. Исходным для формирования регулярных конфигураций является множество ОС и система правил и ограничений Я, определяющих, какие конфигурации следует считать регулярными. Применяя множество Я, структурируем конфигурацию (с) путём соединения ОС. Структура конфигурации представляет множество соединений, существующих между всеми или некоторыми связями ОС, входящими в её состав.
Если для конфигурации с заданы
состав (с) и структура (с) = а , (6)
то её регулярность определяется взаимным соответствием соединённых связей. Последнее определяется отношением согласования или отношением связи р, зависящим от двух соответствующих связей и записываемым как /ЗрР'.
Часть связей конфигурации с е Ь(Я) участвует в соединениях, предусмотренных структурой а; эти связи являются внутренними связями конфигурации. Остальные связи конфигурации являются её внешними связями. Множество внешних
связей и соответствующих показателей связи обозначим через вх^с).
Регулярные конфигурации будут представляться графически с помощью схемы конфигурации, на которой показаны все ОС и их связи, как внутренние, так и внешние.
Рассмотрим пример формирования сети. Пусть даны две конфигурации с1, с2 е Ъ(Я) и множества В(с1) и В(с2),
образованные внешними связями конфигураций с1 и с2, соответственно. Пусть а12 представляет собой список соединений связей, принадлежащих множеству В(с1), со связями, принадлежащими множеству В(с2 ), при условии, что устанавливаются только попарные соединения, и, следовательно, групповые соединения отсутствуют. В таком случае объединенную конфигурацию можно представить как с1а12 с2, причём:
состав ( с1о12с2) = состав ( с1) • состав с2;
структура ( с1о12с2) = структура ( с1) • структура с2 • о12.
Отсюда следует, что с1а12с2 е Ъ(Я) в том и только том случае, если условие
структура с1а12 с2 е X (9)
выполняется для всех новых связей, соединённых в соответствии с а12 .
Вместо списка а12 будем использовать тензор соединений, представляемый множеством сингулярных 2-мерных матриц [4]. В таком случае вместо а12 или соответствующей ей 2-матрицы можно использовать для построения типа соединений системы символ «+».
Распространив понятие показателя возможного числа соединений (2), введённых на множестве ОС - 8, на множество регулярных конфигураций Ъ(Я), получим соотношение, как для входных, так и для выходных связей.
Суммарный показатель соединений конфигурации с называется, как и в случае образующих, показателем, характеризующим максимальное число внешних связей. Оно слагается из входного и выходного показателя связи конфигурации.
Сделаем несколько простых заключений относительно свойств Ъ(Я) пространства конфигурации.
(7)
(8)
Если для двух регулярных конфигураций с1 и с2 справедливы условия (напомним, что структура с есть множество):
состав (с1 )с состав (с2) "I )
структура (с1) с структура (с2) I ’
то можно записать, что (с1) с (с2). В этом случае будем говорить, что конфигурация с1 является подконфигурацией конфигурации с2. Это вводит в Ъ(Я) частичный порядок. Эта операция всегда приводит к увеличению информации или, что точнее, никогда не приводит к её потере.
Рассмотрим вопросы конгруэнтности, т.е. получения регулярных конфигураций при их соединении. Рассмотрим две конфигурации с1 и с2 , принадлежащие или не принадлежащие к Ъ(Я) и имеющие одну и ту же X - структуру и одинаковую структуру внешних связей.
Объединим конфигурации с1 и с2 одним и тем же способом с некоторой конфигурацией с так, чтобы полученный в результате тип соединения принадлежал X. Если в результате этого обе полученные конфигурации принадлежат Ъ(Я) либо обе не принадлежат этому множеству,
и это справедливо для любой конфигурации с , можно считать, что конфигурация с1 конгруэнтна конфигурации с2. Это приводит к отношению эквивалентности, так что 8 разбивается на непересекающие-ся классы конгруэнтности. Если в качестве с используется пустая конфигурация, то из конгруэнтности конфигураций с1 и с2 следует их одновременная регулярность либо нерегулярность.
При определении конгруэнтности конфигураций с1 и с2 , во-первых, очевидно, что если одна из них принадлежит Ъ(Я), а другая - нет, то эти конфигурации неконгруэнтны. Кроме того, если обе конфигурации нерегулярны, так что одно или несколько соединений нарушают отношение согласования р в каждой конфигурации, то объединённые конфигурации автоматически должны быть также нерегулярными. Следовательно, необходимо рассматривать только случай регулярности обеих конфигураций.
Для формального построения схем виртуальной частной сети из конфигураций, синтезированных из множества ОС -универсальных операторов, введённых выше, рассмотрим универсальную задачу
- соединение, предусматривающее введение частичного порядка между этими операторами, представляющими отдельные конфигурации сети.
Пусть ОС - универсальные операторы с числом входов равным V, если ОС имеет V входов.
Соответствующими показателями связей являются области определения Х1, X2, • , Хп , взятые в соответствующем порядке. Аналогичным образом число выходов ОС равно /т, если имеется т её выходов; показатели выходных связей равны соответственно У1,У2, • ,Уц. Соединение а является допустимым, если образующие его ориентированные стрелки частично упорядочены. В качестве отношения связи р выбирается включение, следовательно, ррр', если Ь £ Ь'.
Введём некоторые понятия и определения, с помощью которых сформулируем задачи синтеза сложной системы. Эти понятия распространены на новый класс объектов, названных в данной работе конфигурациями.
Формализуем правило идентификации для двух различных конфигураций с и с' из b(R):
с ° с' (mod R) или сRс',
если с и с' идентифицируются при помощи этого правила, указывающего, каким образом исследователь может различать допустимые для решения конкретных задач конфигурации.
Для того чтобы некоторые отношения были правилом идентификации, должно выполняться следующее.
Отношение R между конфигурациями из b(R) называется правилом идентификации, если:
1) R является отношением эквивалентности;
2) если cRc', с и с' имеют одни и те же внешние и внутренние показатели связей;
3) если cRc', то (sc)R(sC) для любого другого s е S;
4) если c = c1s c2; c = c'1 s c'2 регулярны и c1 Rc\ , c2Rc'2, то cRc'.
Множество всех ФО и их идентификацию обозначим следующим образом:
Г = i(R)/R = (S, ?,£, p)/R. (11)
Класс эквивалентности I, содержащий данную конфигурацию ( c ), будем обозначать через I (c).
На множестве Г задаётся алгебраическая структура. В работе [5] доказаны следующие положения.
На множестве Г могут быть однозначно заданы преобразования подобия и однозначно определены комбинации 11s 12 для изображений I1, 12, если связи в s соответствуют их внешним связям.
Тогда:
1) Ї(І1°І2 0 (э12 ) ,
если внеш-
ние связи реализуются посредством а ;
2) если (11а 112 )а213 и
11а '1 (12а '213) - регулярные комбинации, то они определяют один и тот же ФО при условии, что а 1 • а2 = а'1 • а \.
Для данного Ъ(Я) различные правила идентификации приведут к различным алгебрам ФО. Если Я1 и Я2 - два таких правила и Я1 точнее, чем Я2, в том смысле, что Я1 -ФО всегда содержатся в Я2-ФО, но не всегда наоборот, то: Я1 < Я2. В частности, иногда важно, что правило может различать конфигурации лишь с одной образующей. Для примера рассмотрим моноатомный тип связи [5] и произвольную пару образующих 5" и 82. Обе конфигурации } и {82} регулярны. Будем говорить, что Я разделяет образующие, если из {81}° 8 }(mod Я) следует 81 ° 82.
При синтезе виртуальных частных сетей как сложных систем используются многие типы правил идентификации. Однако часто используются некоторые простые правила:
1. Тривиальное правило задаётся при помощи равенства между конфигурациями, а именно сЯс', тогда и только тогда, когда с = с' : идентификация по равенству конфигурации. Конечно, в этом случае выполняется Г = Ъ(Я).
2. Правило Я появляется тогда, когда все регулярные конфигурации имеют нулевое значение для входов и выходов. Полагаем сЯс' тогда и только тогда, когда состав с равен составу с' (идентификация по составу).
3. Правило, когда две конфигурации идентифицируются, если они представляют одну и ту же функцию и имеют одни и те же внешние связи (идентификация по функции).
Часто встречается случай, когда изображение представляет некоторую функцию на опорном пространстве. Когда мы имеются две или большее число ал-
гебр ФО, определённых на одном и том же Ъ(я) , может оказаться важным выяснить, существуют ли простые отображения одной из них в другую.
Остановимся более подробно на задаче представления ФО для синтеза сложных систем из сложных модулей (моноатом) в качестве ОС.
Рассмотрим модель ФО с моноатом-ным типом соединения. Тогда для любых двух образующих 81 и 82 соответствующие конфигурации с1 ={8!} и с2 ={82} регулярны. Тогда существует ОС 8 , такая, что 8 ° (с1ас2 )(тоё Я). Если, кроме того, Я разделяет ОС, то 8 определена однозначно:
£
(12)
Таким способом пары ОС могут стягиваться в одну ОС, и эту процедуру можно повторять.
Рассмотрим конфигурацию с є I, включающую в себя две ОС: £ и £2. Если £1 и £2 соединены в конфигурацию посредством а и £1 а £2 = £, то с является Я -эквивалентом конфигурации с', полученной из с заменой конфигурации £ а £2 на £.
Для иллюстрации этой операции рассмотрим рис. 3, где подконфигурация с' конфигурации с обозначена внутри пунктирной линии на рисунке 3а и отдельно на рисунке 3б, она является Я -эквивалентом {£}. Заменяя £1 а £2 на {£}, получаем конфигурацию, показанную на рисунке Зв.
/?У (с)- 4 {Гш(с)=\ /Г" = 3
Рис. 3. Конфигурации образующих сети
Полученные выше теоретические результаты синтеза сложных систем и, в частности, виртуальных частных сетей не учитывают их поведения в реальных условиях. Следовательно, необходимо обеспечить реалистичность теории с тем, чтобы она могла оперировать реальными образами систем. Другими словами, следует рассмотреть процесс преобразования «чистых» образов в реальные с помощью некоторого механизма деформации Б.
Деформации вносят более серьёзные изменения по сравнению с преобразованиями подобия. Этот механизм может включать случайные элементы, и в таком случае Б должен определять используемые вероятностные меры. Конкретная деформация обозначается через а, йеВ, и можно использовать запись IБ = Ш.
Для того чтобы включить эту часть в единый метод, необходимо ввести деформацию, связанную с преобразованиями подобия, т.е. определить, каким образом множество образующих 8 преобразуется деформациями Б, какова комбинаторная структура деформированного изображения.
Сформулируем несколько общих принципов, которые могут оказаться полезными при построении модели деформации.
Во-первых, следует попытаться разложить Б, которое может быть довольно
сложным пространством, на простые факторы Б = Б1 хБ2 х.... Произведение может быть конечным, счётным или несчётным. Иногда такое разбиение задаётся непосредственно. Некоторую пользу можно извлечь также из того способа, при помощи которого алгебры изображений построены из элементарных объектов. Если рассматриваются изображения, конфигурации которых включают п образующих, и все они идентифицируемы, то:
1Б = а1 d2S2,..., ап*п). (13)
Этот метод будет работать только в том случае, когда образующие однозначно определяются изображением. Вместо этого воспользуемся соответствующим разбиением в применении к каноническим конфигурациям, образующие которых определены в рассматриваемой алгебре изображений. После разделения Б на достаточно простые факторы необходимо решить, какую вероятностную меру (ВМ) следует ввести на Б. При этом существенным моментом является выбор такого способа факторизации деформаций, при котором отдельные факторы а оказываются независимыми друг от друга. Невозможно полностью задать ВМ, не располагая эмпирической информацией, и для того, чтобы получить оценки с удовлетворительной точностью, аксиоматическая модель должна быть в достаточной степени структурирована. Это критический момент для определения ВМ, и здесь требуется такое понимание механизма деформации, которое исключит неадекватное представление данных при последующем анализе. Если действительно удаётся провести разбиение таким образом, что факторы в вероятностном смысле независимы, то остаётся ещё решить задачу определения на них безусловных распределений.
Таким образом, виртуальная сеть (модель в нашем случае) строится из стандартных блоков-образующих, объединённых в конфигурации. Образующие сети определены в конкретной среде Х-опорном пространстве. В этом пространстве задаются определённые преобразова-
ния Х -> Х, которые используются для построения соответствующих регулярных сетей, удовлетворяющих набору заданных ограничений (правил Ь(Я)). Эти ограничения характеризуют типы регулярности образов и представляют их комбинаторную структуру.
Регулярные конфигурации являются в сущности абстрактными, т. е. формальными описаниями. Результат формального описания всей сети, соответствующий множеству регулярных конфигураций, представляет собой «изображение». Изображение сети соответствует формальному описанию в идеальных условиях: при правильной модели, отсутствии инструментальных ошибок и аппаратурных ограничений. Введение механизма деформаций обеспечивает возможность работы
с реальными образующими, конфигурациями и изображениями.
Библиографический список
1. Гренандер, У. Лекции по теории образов. Т1. Синтез образов. - М.: Мир, 1979. - 383 с.
2. Гренандер, У. Лекции по теории образов. Т2. Анализ образов. - М.: Мир, 1981. - 448 с.
3. Гренандер, У. Лекции по теории образов. Т3. Регулярные структуры. - М.: Мир, 1983. - 432 с.
4. Крон, Г. Тензорный анализ сетей. -М.: Советское радио, 1978. - 720 с.
5. Александров, Б. А. Основы теории эвристических решений .- М.: Советское радио, 1975.
GENERALIZED PROBLEM OF VIRTUAL NET SYNTHESIS FOR A MACHINE-BUILDING ENTERPRISE
© 2011 A. N. Koptev1, D. Yu. Dronov2
1Samara State Aerospace University named after academician S. P. Korolyov
(National Research University)
2Povolzhskiy State University of Telecommunications and Informatics
We consider a formal method for the design of multi-service nets based on the «general image theory» method. That makes it possible to solve the problems of synthesizing a virtual net of an industrial complex.
Virtual nets, synthesis, image theory, identifier, tensor analysis.
Информация об авторах
Коптев Анатолий Никитович, доктор технических наук, профессор, заведующий кафедрой эксплуатации авиационной техники. Самарский государственный аэрокосмический университет имени академика С. П. Королёва (национальный исследовательский университет). Область научных интересов: теория представлений, моделирование, контроль и диагностика бортовых комплексов оборудования в производстве и эксплуатации летательных аппаратов. E-mail: [email protected].
Дронов Дмитрий Юрьевич, аспирант Поволжского государственного университета телекоммуникаций и информатики. Область научных интересов: проектирование сетей связи промышленных предприятий. E-mail: [email protected].
Koptev Anatoly Nikitovitch, doctor of technical sciences, professor, head of the aircraft maintenance department, Samara State Aerospace University named after academician
S. P. Korolyov (National Research University), [email protected]. Area of research: representational theory, modeling, technical diagnostics and assessment in the process of airborne equipment production and technical maintenance.
Dronov Dmitriy Yuryevitch, post-graduate student of Povolzhskiy State University of Telecommunications and Informatics, [email protected]. Area of research: designing communication networks of industrial enterprises.
