Прямой и обратный алгоритм расчета стохастических сетей

ментов в системе получить соотношения для показателей надежности распределенной вычислительной системы.

2. Данная модель позволяет вместо функций распределения, выраженных в аналитическом виде, воспользоваться их статистическими эквивалентами, найденными экспериментально, что особенно полезно при расчете показателей надежности распределенных вычислительных систем.

3. Надежностный анализ распределенных вычислительных систем архитектуры «клиент-сервер» может использоваться для оценки надежности систем для возможных архитектурных изменений и выбора надежной архитектуры из набора вариантов, так как в зависимости от количества и величины компонентов условные и безусловные вероятности сбоя, доступа, анализа и времени восстановления, а также и времени использования компонентов различны.

Библиографические ссылки

1. Антамошкин О. А. Технология утилизации ресурсов распределенных вычислительных сетей // Системы управления и информационные технологии. 2012. № 2.2. С. 220-224.

2. Юнусов Р. В. Оценка надежности программного обеспечения клиент-сервер на примере комплексной системы управления предприятием «Галактика» // Вестник НИИ СУВПТ. 2001. Вып. 7. С. 107-112.

3. Ковалев И. В., Царев Р. Ю., Завьялова О. И. Анализ архитектурной надежности программного

обеспечения информационно-управляющих систем // Приборы. 2010. № 11. С. 24-26.

4. Юнусов Р. В. Анализ надежности аппаратнопрограммного информационно-управляющего комплекса // Вестник НИИ СУВПТ. 2003. Вып. 11. С. 103-106.

5. Модели и методы оптимизации сбора и обработки информации / И. В. Ковалев, Н. А. Распопин, М. В. Карасева, П. В. Зеленков, Е. В. Каюков // Вестник СибГАУ. 2012. № 2 (42). С. 69-72.

6. Антамошкин О. А., Нургалеева Ю. А., Усачев А. В. Модели модульной декомпозиции программного обеспечения технологических циклов управления // Вестник СибГАУ. 2009. № 3. С. 66-69.

7. Практическая реализация надежностного анализа архитектуры программной системы / Е. В. Гра-жданцев, М. А. Русаков, О. И. Завьялова, Р. Ю. Царев // Вестник СибГАУ. 2008. № 1 (18). С. 37-40.

8. Русаков М. А., Царев Р. Ю. Методы повышения надежности программного обеспечения // В мире научных открытий. 2011. № 8 (20). С. 32-41.

9. Оценка транзакционной надежности современных систем управления и обработки информации / Р. Ю. Царев, А. В. Штарик, Е. Н. Штарик, О. И. Завьялова // Приборы и системы. Управление, контроль, диагностика. 2012. № 6. С. 29-32.

© Царев Р. Ю., Пупков А. Н., Огнерубова М. А., Сержантова М. В., Бесчастная Н. А., 2013

УДК 681.34

ПРЯМОЙ И ОБРАТНЫЙ АЛГОРИТМ РАСЧЕТА СТОХАСТИЧЕСКИХ СЕТЕЙ*

Р. Ю. Царев1, А. В. Штарик2, Е. Н. Штарик2, Е. Р. Хасанов1, Т. А. Панфилова1

1Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Россия, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31. Е-шаП: rahatamatahata@mail.ru

2Сибирский федеральный университет 660074, Красноярск, ул. Киренского, 26. Е-mail: alex007p@yandex.ru

Представлены прямой и обратный алгоритмы расчета модифицированных ГЕРТ-сетей, используемые для анализа вероятностно-временных характеристик стохастических сетей.

Ключевые слова: распределенные вычисления, ГЕРТ-сеть, модифицированная ГЕРТ-сеть.

DIRECT AND INVERSE ALGORITHMS OF STOCHASTIC NETWORK CALCULATION

R. Yu. Tsarev1, A. V. Shtarik2, E. N. Shtarik2, E. R. Khasanov1, T. A. Panfilova1

1Siberian State Aerospace University named after academician M. F. Reshetnev 31“Krasnoyarskiy Rabochiy” prospect, Krasnoyarsk, 660014, Russia. Е-mail: rahatamatahata@mail.ru

2Siberian Federal University 26 Kirenskiy street, Krasnoyarsk, 660074, Russia. Е-mail: alex007p@yandex.ru

Исследование выполнено при поддержке Министерства образования и науки Российской Федерации, соглашение 14.B37.21.0116 «Модели, методы и алгоритмы синтеза и управления развитием кластерных структур АСУ космических систем связи и навигации».

The paper presents direct and inverse algorithms of modified GERT-network calculation used for analysis of probabilistic-time characteristics of stochastic networks.

Keywords: grid computing, GERT-network, modified GERT-network.

Один из подходов к организации процесса интенсивной обработки информации - это использование в качестве узлов обработки информации компьютеров пользователей в свободное от использования времени. Такие проекты, как SETI, Climate Predictions, Legion или Condor, получают все большее распространение и весьма эффективны для некоторых задач [1; 2].

В случае когда для некоторого узла известна вероятность бесперебойной работы в течение времени, необходимого для расчета задачи, то рассчитать функцию распределения времени выполнения задачи можно, используя ГЕРТ-сети [3].

В процессе исследования стала очевидной возможность модификации математической модели ГЕРТ-сетей. Полученная модифицированная модель позволяет оценить время одновременного выполнения задачи на нескольких узлах (рабочих станциях) гетерогенной распределенной системы обработки информации.

Математическая модель модифицированных ГЕРТ-сетей. Для того чтобы дать определение математической модели модифицированной ГЕРТ-сети, введем следующие обозначения [4]:

Pi - вероятность активации узла i;

Py - функция условной вероятности активации узла j, при условии активации узла i, py = 1, если узел i имеет детерминированный выход или <i, j> - единственная дуга стохастического выхода;

pijH - вероятность выполнения начала дуги <i, j> при условии, что узел, из которого она входит, активирован;

Рук - вероятность выполнения конца дуги <i, j> при условии, что узел, в который она входит, активирован;

F(t) - функция распределения времени выполнения узла i в момент его активации;

Fj(t) - функция условной вероятности распределения времени выполнения работы <i, j>;

FijH(t) - функция распределения времени выполнения ti в начале дуги <i, j> при условии, что узел, из которого она входит, активирован;

Fj-^t) - функция распределения времени выполнения tj на конце дуги <i, j> при условии, что узел, в который она входит, активирован.

Также для модифицированных ГЕРТ-сетей (МГ-сетей) справедливы следующие ограничения [4; 5]:

Ограничение 1’ (О1’): в течение каждого выполнения проекта для каждого стока активируется не более одного источника, из которого данный сток достижим.

Ограничение 2’ (О2’): для каждого узла i МГ-сети, если узел i активирован, то параметры всех выходящих из него дуг вычислимы.

Ограничение 3’ (О3’): для каждого узла к произвольной циклической структуры C существует путь из к к узлу вне C такой, что р$ > 0 для каждой дуги

<i, j> данного пути. Иными словами, есть из каждого цикла есть выход с положительной вероятностью.

Ограничение 4’ (О4’): для всякого узла i ГЕРТ-сети G, имеющего IOR- или AND-вход, для любых j, к е P(i), Pr(i, j, к) = {/}, причем l - единственный узел и l имеет детерминированный выход.

Ограничение 5’ (О5’): для всякого узла i ГЕРТ-сети G, имеющего детерминированный вход, для любых j, к е S(i), Sc(i, j, к) = {l}, причем l - единственный узел и l имеет AND- или IOR-вход.

Ограничение 6’ (О6’): реализация сети является допустимой, если в процессе выполнения узел i активируется с вероятностью, большей maxPi > 0 и не более, чем max4,- > 1 раз; узел i имеет EOR-вход, если в узел i циклической структуры C входит более одной дуги и хотя бы одна дуга не принадлежит циклу C; узел i имеет стохастический выход, если из узла i циклической структуры C выходит более одной дуги и хотя бы одна дуга не принадлежит циклу C; узел j с детерминированной выходной функцией, являющийся стохастическим началом узла i, принадлежит циклу, если узел i с IOR- или AND-входом принадлежит данному циклу.

Будем называть ГЕРТ-сеть G (V - множество вершин, E - множество направленных ребер) МГ-сетью, если:

1) G имеет единственный источник и, по крайней мере, один сток;

2) сеть G удовлетворяет ограничениям О1’-О4’;

3) задано множество параметров для каждого узла сети (по крайней мере, вероятность активации);

4) для каждой дуги указаны функции преобразования параметров узлов;

5) источник активируется в момент времени 0 (если параметр, отвечающий за время, определен).

Математическая модель модифицированных ГЕРТ-сетей изначально создавалась таким образом, чтобы всякая МГ-сеть, удовлетворяющая О1’-О4’ и для которой заданы дополнительные ограничения О6’, была бы вычислима при помощи некоторого алгоритма. По своей сути О1’-О4’ гарантируют однозначность построения и расчета графа реализации, а О6’ - конечность количества этих реализаций.

Рассмотрим МГ-сеть с вектором веса дуг [рц, Fj] [6], тогда pijK и FijK (t) для дуги <i, j> имеют вид

PijK = PijH  Pij ;

+ад

Fl]K

—ад

Если считать, что случайная величина t > 0, то пределы интегрирования можно заменить на 0 и t соответственно.

Для EOR-входа Pj и Fj (t) имеют вид

Pj = Pv-; Fj

где ] - вычисляемый БОЯ-вход, имеющий начало в

узле I.

Для АМЭ-входа р] и ^ (/) имеют вид

р] = р11,т1к * р12,т2к Х ... Х р1N,т^к / рг ;

(0 = max(t/1,т1к , {/2,т2к , ..., ,mNк ) =

= РП,т1к 0) * Р/2,т2к « Х ... Х ^^к

где ] - вычисляемый АМЭ-вход, имеющий стохастическое начало в узле г; {/1 - т^, {/2 - т2}, ..., {1к - mN} - N непересекающихся подсетей.

Для ЮЯ-входа р] и Р] (/) имеют вид

р,] = рг * [1 - (1 - р/1,т1к )(1 - р/2,т2к ) Х ... Х (1 - р^,mNк ) ]; Р] « = min(t/1,т1к , Ч2,т2к , ..., ^,mNк ) =

= 1 - (1 - Р/1,т1к «))(1 - Р/2,т2к (0) Х ... Х (1 - ^,mNк «),

где ] - вычисляемый ЮЯ-вход, имеющий стохастическое начало в узле г.

Формулы (1)-(4) позволяют рассчитать любой граф реализации, удовлетворяющий ограничениям О1’-О4’.

Результатом расчета сети будет множество реализаций Жг, сгруппированное по стокам гг. Для стока в каждой реализации будет рассчитана вероятность наступления события (вероятность возникновения реализации), функция распределения времени выполнения данной реализации и т. д. Пусть г - элемент множества реализаций со стоком г.

Вероятность активации стока г:

Р =1 рГ.

Г

Вероятность активации стока г ко времени I в реализации г:

Р,г

Вероятность активации стока г ко времени

Р

г

Математическое ожидание времени активации стока г:

£[Pi • j t • dF[ (t)]

E (ti) =•

Z Pir

Математическое ожидание времени выполнения всей сети:

E (t) =

ZZ[Pi • j t • dF[(t)]

i Г_________—ад___________

ZP .

Дисперсия времени активации стока i:

Z[Pi • ( j (t — E(ti ))2 • dF[ (t))]

D

Z Pi

Дисперсия времени выполнения всей сети:

ад

ZZ[Pi • (j (t — E(ti))2 • dF[(t))]

D

Z Pi i

Принятые обозначения, используемые для записи алгоритмов. Для записи узлов, дуг и относящихся к ним величин и функций используем обозначения, принятые для структур вида «[структу-ра].[параметр]».

Пусть Prs и DFs - множества вещественных и стохастических параметров соответственно. Каждый узел графа реализации будет обладать данными параметрами. Параметр p (вероятность активации узла) является одним из элементов множества Prs (p е Prs). Для узла v е Vграфа МГ-сети G = <E, V>: v.a - количество активаций узла v в процессе построения реализации;

v.In - тип входной функции узла (EOR, IOR или AND);

v.Out - тип выходной функции узла (STOCH или DET);

v.InF(F) - тип входной функции узла для стохастических переменных с функцией распределения F (AND, IOR, MIN, MAX, EQUAL) (только для узлов с IOR- или AND-входом);

v.P - множество узлов, являющихся предками узла v; v.S - множество узлов, являющихся потомками узла v;

v.MaxA - максимально допустимое количество активаций узла v в графе реализации;

v.MaxP - минимально допустимая вероятность события «узел v активирован»;

v.dR - узел, являющийся детерминированным источником узла v;

v.dS - узел, являющийся детерминированным стоком узла v (только для прямого алгоритма расчета МГ-сети).

Для дуги e е E графа МГ-сети G = <E, V> (e = <vb v2>):

ev - узел-начало дуги; e.v2 - узел-конец дуги;

e.F Pr(Pr) - функция преобразования параметра Pri е Prs, зависящая от параметров Prs и DFs;

e.F_DF(Fi) и e.FDFop(F) - функция распределения для стохастической переменной, заданной функцией распределения Fi и операция для нее («+», «-» или «=») соответственно.

Для графа реализации w:

W = {wi} - множество графов реализации; w.H - начальный узел графа реализации w; w.T - конечный узел графа реализации w: x - узел графа реализации, где x е w; x.v - узел МГ-сети, которому соответствует узел графа реализации (x.v е V);

x.Prs - значения вещественных параметров узла графа реализации;

x.DFs - значения стохастических параметров узла графа реализации;

r

r

r

w = {x} - граф реализации, состоящий из единственного узла x. Тогда w.H = w.T = x.

Введем операции построения графа реализации:

w = M(wb w2) - новый граф реализации сети, являющийся объединением графов w1 и w2 дугой из w2.H в w1.T. Частным случаем данной операции будем считать M(x, w) = M({x}, w) и M(w, x) = M(w, {x}).

w = M(w1, W, w2) - новый граф реализации сети, являющийся объединением дугами конечного узла Wi.T со всеми начальными узлами wi.H (wi е W) и объединением дугами конечных узлов wi.T с начальным узлом w2.H.

Обратный алгоритм расчета модифицированных ГЕРТ-сетей. Общая идея обратного алгоритма расчета МГ-сети [7]:

- обход графа МГ-сети ведется от выбранного стока к источнику;

- обход ведется с помощью рекурсивного алгоритма;

- для каждого узла, имеющего EOR-вход, запускается столько же рекурсивных вызовов процедур (ветвей обхода), сколько дуг входит в данный узел;

- для каждого узла i, имеющего IOR- или AND-вход, запускается рекурсивный вызов процедуры расчета узла j, являющегося детерминированным источником узла i, затем рассчитываются все пути от j к i и, используя найденные пути, строятся все реализации, завершаемые узлом i;

- расчет вещественных и стохастических переменных производится при «выходе» алгоритма из рекурсии;

- результатом работы главной процедуры «ОРас-читатьСеть» являются множества реализаций для каждого из стоков.

Процедура «ОРассчитатьСеть» для обратного алгоритма расчета модифицированной ГЕРТ-сети

Шаг 1. Для каждой вершины vi из множества вершин V задать число активаций v.a равное 0 и объявить пустое множество возможных реализаций (W = {}).

Шаг 2. Для каждого стока vst из множества стоков

S выполнить процедуру «ОПостроитьРеализацию».

Шаг 3. Объединить полученные реализации Wi в результате шага 2 в результирующее множество W.

Шаг 4. Конец процедуры.

Процедура «ОПостроитьРеализацию» для обратного алгоритма расчета МГ-сети

Шаг 1. Если число активаций текущего узла больше максимально допустимого количества активаций vc.a > vc.MaxA, то перейти к шагу 18, иначе -шаг 2.

Шаг 2. Если текущий узел vc указывает на узел источника подсети vs, то перейти к шагу 3, иначе -шаг 4.

Шаг 3. К множеству реализаций W добавим узел графа реализации x, для которого: x.v = vs, x.Prs = vs.Prs, x.DFs = vs.DFs. Перейти к шагу 18.

Шаг 4. Увеличить vc.a на 1.

Шаг 5. Если типом входной функции текущего узла vc.In является входная функция типа EOR, то перейти к шагу 6, иначе - шаг 12.

Шаг 6. Для множества узлов, являющихся предками текущего узла ус, выполнить процедуру «ОПо-строитьРеализацию».

Шаг 7. Объединить полученные в результате шага

6 множества графов реализаций Wti во множество W1.

Шаг 8. Для каждого узла графа реализации W1 х.у = У5.

Шаг 9. Для пар узел графа реализации W1 х и у^ выполнить процедуру «Рассчитать дугу».

Шаг 10. Попарно объединить графы реализаций W1 с М(^ъ х) во множество W2, где г от 1 до ^1|, перейти к шагу 17.

Шаг 11. Для детерминированного источника текущего узла vc.dK выполнить процедуру «ОПостро-итьРеализацию».

Шаг 12. Для каждого узла xsi графа реализации Ws, полученного в результате выполнения шага 11, выполнить процедуру «ОПостроитьРеализацию».

Шаг 13. Для каждого графа реализации ^2г- из множества графов реализаций Ws2, полученных в результате выполнения шага 12, удалить первый узел.

Шаг 14. Для всех возможных пар узлов из Ws2 выполнить процедуру «Рассчитать дугу».

Шаг 15. Для каждого узла х множества графов реализаций Ws2: х.у = ус - определить параметры узла графа реализации х.Рп' и х.БР&' по множеству {1^2г}, используя формулы (1)-(4), (8), (10).

Шаг 16. Попарно объединить графы реализаций Ws2 с M{ws2i, xs2i) во множество W2, где г от 1 до ^2|.

Шаг 17. Уменьшить ус.а на 1.

Шаг 18. Конец процедуры.

Процедура «Рассчитать дугу» расчета МГ-сети

Шаг 1. е = <у1, у2>, Рга2(р) = Рга1(р) * е.¥_Рг(р), где у1, у2 - узлы, являющиеся началом и концом дуги; РпЛ, Рп'2 - множества вещественных параметров начала и конца дуги соответственно; DFs 1, DFs2 -множества стохастических параметров начала и конца дуги соответственно.

Шаг 2. Для каждого Ргг из Рп'1, при Ргг ^ р выполнить: Р^2(Рг) = еР_Рг(Рг)(Р^1, DFs1).

Шаг 3. Для каждого р из DFs1 рассчитать DFs2(F) по формулам (1)-(11), используя значения Р^1, DFs1, е.Р_БР(Рг), е.Р_БР_ор(Рг).

Шаг 4. Конец процедуры.

Прямой алгоритм расчета модифицированных ГЕРТ-сетей. Общая идея прямого алгоритма расчета МГ-сети:

- обход графа МГ-сети ведется от источника к стокам;

- обход ведется с помощью рекурсивного алгоритма;

- для каждого узла, имеющего стохастический выход, запускается столько же рекурсивных вызовов процедур (ветвей обхода), сколько дуг выходит из данного узла;

- для каждого узла г, имеющего детерминированный выход, рассчитываются все пути от г' к ], и, используя найденные пути, строятся все реализации,

завершаемые узлом ], где ] - детерминированный сток

узла г;

- расчет вещественных и стохастических переменных производится при «углублении» алгоритма рекурсии;

- результатом работы главной процедуры «ПРас-читатьСеть» являяются множества реализаций.

Следует отметить, что для использования прямого алгоритма расчета МГ-сети необходимо выполнение ограничения О5’.

Процедура «ПРассчитатьСеть» для прямого алгоритма расчета модифицированной ГЕРТ-сети

Шаг 1. Для каждой вершины у, из множества вершин V задать число активаций у.а, равное 0, и объявить множество возможных реализаций Wt = {х}, где х.у = уг, х.Рга = гРп\ x.DFs = iDfs (уг - узел-источник МГ-сети; iPгs и iDfs - начальные значения параметров в узле-источнике).

Шаг 2. Для каждого стока у^', из множества стоков S, используя множество реализаций Wt, выполнить процедуру «ППостроитьРеализацию».

Шаг 3. Объединить полученные реализации Wti в результате шага 2 в результирующее множество W.

Шаг 4. Конец процедуры.

Процедура «ППостроитьРеализацию» для прямого алгоритма расчета МГ-сети

Шаг 1. Если Wc (множество реализаций, построенное от источника до узла ус) пустое множеств, то перейти к шагу 23, иначе - шаг 2.

Шаг 2. Если число активаций текущего узла больше максимально допустимого количества активаций ус.а > ус.МахА, то перейти к шагу 3, иначе -шаг 4.

Шаг 3. Wc = {}, перейти к шагу 23.

Шаг 4. Если ус указывает на узел источник подсети vs, то перейти к шагу 5, иначе - шаг 6.

Шаг 5. Объединить результирующее множество реализаций сети W с множеством Ws, Ws = {}, перейти к шагу 23.

Шаг 6. Увеличить ус.а на 1.

Шаг 7. Если тип выходной функции текущего узла

- стохастическая функция (ус.ОШ = Stoch), то перейти к шагу 8, иначе - шаг 13.

Шаг 8. Объявить пустые множества реализаций Wt и Wt1.

Шаг 9. Для пар текущий узел (ус) и сток текущего узла (у, из ус.$) выполнить процедуру «Рассчитать дугу».

Шаг 10. Объединить множества М

Шаг 11. Для каждого стока текущего узла (у, из ус^, используя множество реализаций Wt, полученное на предыдущем шаге, выполнить процедуру «ППостроитьРеализацию».

Шаг 12. Объединить полученные множества реализаций Wt1 в результате шага 11 с результирующим множеством W, перейти к шагу 22.

Шаг 13. Объявить пустое множество реализаций Wt2.

Шаг 14. Для пар текущий узел (ус) и сток текущего узла (у, из ус.$) выполнить процедуру «Рассчитать дугу».

Шаг 15. Объявить множество реализаций Wt = {х}, где х - стоки текущего узла (х.у = у, из ус.$).

Шаг 16. Для каждого стока текущего узла (у, из ус^), используя множество реализаций Wt, полученное на предыдущем шаге, выполнить процедуру «ППостроитьРеализацию».

Шаг 17. Для каждого графа реализации ^2г- из множества графов реализации Ш2, полученных в результате выполнения шага 16, удалить последний узел.

Шаг 18. Для всех возможных пар узлов из W2 выполнить процедуру «Рассчитать дугу».

Шаг 19. Для узла yс.dS, являющегося детерминированным стоком текущего узла ус, определить параметры узла графа реализации х.Рп' и x.DFs по множеству графов {^2г}, используя формулы (1)-(4), (8), (10).

Шаг 20. Объединить множества М(^к, {^2г}, х) в Wt2, где ^ - графы реализации из множества Wc, w2i графы реализаций из множества W2 и х - стоки текущего узла (х.у = у, из ус.$).

Шаг 21. Для узла yс.dS, являющегося детерминированным стоком текущего узла ус, используя множество реализаций Wt2, полученное на предыдущем шаге, выполнить процедуру «ППостроитьРеализацию».

Шаг 22. Уменьшить ус.а на 1.

Шаг 23. Конец процедуры.

Сравнение производительности прямого и обратного алгоритмов расчета модифицированной ГЕРТ-сети. Приведем качественное сравнение производительности прямого и обратного алгоритмов расчета стохастической сети. Выполнить количественную оценку производительности алгоритмов для произвольной сети не представляется возможным.

Время работы программ, использующих прямой и обратный алгоритмы обхода МГ-сети, в основном формируется из времени выполнения трех операций: обхода графа сети, дублирования множества реализаций и расчета параметров узлов графа реализаций.

Время выполнения алгоритма обхода графа МГ-сети примерно одинаково для прямого и обратного алгоритмов.

В ходе практических испытаний над различными сетями произвольного вида выявлено, что алгоритм на базе прямого обхода графа всегда не медленнее по производительности алгоритма на базе обратного обхода графа. Однако, как уже отмечалось выше, область его применения уже (требует выполнения О5’).

Один из способов повышения точности расчетов интегральной свертки при анализе вероятностновременных характеристик стохастических сетей заключается в том, чтобы дать возможность использовать аналитически заданные функции распределения в качестве стохастических параметров (весов) дуг сети.

Предложенный способ представления функций распределения стохастических параметров при анали-

зе вероятностно-временных характеристик стохастических сетей и численные методы расчета параметров дуг позволяют создать универсальный программный модуль расчета произвольной стохастической сети.

Прямой алгоритм расчета стохастической сети занимает время выполнения меньшее или равное времени выполнения обратного алгоритма. Однако прямой алгоритм может быть использован только при выполнении ограничения О5’. Проверка выполнения данного ограничения может выполняться как исследователем, так и программным путем. Прямой алгоритм дает выигрыш в быстродействии, если сеть имеет хотя бы один цикл.

Библиографические ссылки

1. Управление развитием надежных кластерных структур информационных систем / И. В. Ковалев, Н. Н. Джиоева, А. В. Прокопенко, Р. Ю. Царев // Программные продукты и системы. 2010. № 2 (90). С. 68-71.

2. Оценка транзакционной надежности современных систем управления и обработки информации /

Р. Ю. Царев, А. В. Штарик, Е. Н. Штарик, О. И. За-

вьялова // Приборы и системы. Управление, контроль, диагностика. 2012. № 6. С. 29-32.

3. Письман Д. М., Дегтерев А. С. вБЯТ-сетевой анализ времени выполнения задачи на неспециализированном гетерогенном кластере // Фундаментальные исследования. 2005. № 4. С. 79-80.

4. Царев, М. Ю., Царев Р. Ю., Шевчук С. Ф. Модификация ГЕРТ-сети для анализа временных характеристик сетевых моделей // Вестник СибГАУ. 2009. № 1 (22). Ч. 2. С. 74-78.

5. Письман, Д. М. Анализ временных параметров сетевых моделей на базе модифицированной ГЕРТ-сети // Проблемы машиностроения и автоматизации. 2006. № 1. С. 18-26.

6. Анализ вероятностно-временных характеристик отказоустойчивого программного обеспечения распределенных вычислительных систем / Р. Ю. Царев, А. В. Штарик, Е. Н. Штарик, М. А. Кочергина, Т. А. Панфилова // Вестник СибГАУ. 2012. № 4 (44). С. 64-70.

7. Письман Д. М., Шабалин С. А. Алгоритм расчета модифицированной ГЕРТ-сети // Успехи соврем. естествознания. 2005. № 11. С. 36-37.

© Царев Р. Ю., Штарик А. В., Штарик Е. Н., Хасанов Е. Р., Панфилова Т. А., 2013

УДК 512.54

ГРУППЫ НАСЫЩЕННЫЕ GL2

А. А. Шлепкин

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Россия, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31. Е-mail: shlyopkin@mail.ru

Получена структура бесконечных локально конечных групп насыщенных полными линейными группами размерности два над конечными полями.

Ключевые слова: группы. насыщенные множеством групп.

GROUP SATURATED GL2

A. A. Shlepkin

Siberian State Aerospace University named after academician M. F. Reshetnev 31 “Krasnoyarskiy Rabochiy” prospect, Krasnoyarsk, 660014, Russia. Е-mail: shlyopkin@mail.ru

The author presents the obtained structure of infinite local- finite groups saturated with complete linear groups of 2 dimensionality off the finite fields.

Keywords: groups saturated with set of groups.

Группа G насыщена группами из множества X, Пусть 3={GL2(pn)}. Отметим, что ни характери-

если любая конечная подгруппа K из G содержится стика P конечног2о поля, ни натуральное n не фикси-в подгруппе группы G, изоморфной некоторой груп- „

X [1] руется. Доказана следующая.

пе ?? } ]. г„ Теорема. Локально конечная группа G насыщен-

В работах [2; 3] изучались периодические группы

с дополнительными условиями конечности, насы- ная группами из множества ^, изоморфна GL2

щенные множеством {GL2(3n)} . В данной работе для некоторого л°кальн° к°нечн°г° шля P.

„ „ Известные факты и определения.

продолжены исследования в этом направлении.