CC BY
198
УДК 007:519.816
РЕАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
НА ОСНОВЕ СЕТЕЙ ПЕТРИ С ПОДДЕРЖКОЙ ТЕМПОРАЛЬНЫХ ЗАВИСИМОСТЕЙ
(Работа выполнена при финансовой поддержке РФФИ, проект № 11-01-00140)
А.П. Еремеев, д.т.н., профессор, зав. кафедрой; Ю.И. Королев, аспирант (Национальный исследовательский университет «МЭИ», ул. Красноказарменная, 14, г. Москва, 111250, Россия, eremeev@appmat.ru, korolevyu@gmail.com)
Рассматривается использование аппарата цветных сетей Петри в интеллектуальных системах реального времени. Сети Петри позволяют естественно описывать синхронизацию, параллелизм, конфликт и причинную зависимость, а также наглядно представлять структуру и поведение сложной технической или организационной системы. Однако существенным недостатком классических сетей Петри является сложность моделирования функционирования систем реального времени, когда необходимо учитывать фактор времени и временные (темпоральные) зависимости. Предлагается новое расширение - цветные сети Петри с поддержкой темпоральной логики Аллена, позволяющие моделировать как количественные, так и качественные временные зависимости. Данная логика характеризуется достаточной выразительностью и наличием полиномиальных алгоритмов вывода, что позволяет применять ее в системах типа интеллектуальных систем поддержки принятия решений реального времени. В работе даны описание и пример использования разработанного базового программного средства для данного класса сетей Петри.
Ключевые слова: интеллектуальная система реального времени, поддержка принятия решений, цветные сети Петри, темпоральные зависимости.
REALIZATION OF INTELLIGENT SYSTEMS OF REAL TIME ON THE BASIS OF THE PETRI NETS WITH SUPPORT OF TEMPORAL DEPENDENCES
EremeevAP., Ph.D., professor, head of chair; Korolev YuI., postgraduate (National Research University "Moscow Power Engineering Institute " Krasnokazarmennaya St., 14, Moscow, 111250, Russia, eremeev@appmat.ru, korolevyu@gmail.com) Abstract. The apparatus of color Petri nets in respect of its use in intelligent systems of real time is considered. Petri nets allow to describe naturally synchronization, overlapping, the conflict and causal dependence, and also visually to represent a structure and behavior of difficult technical or organizational systems. However, an essential drawback of classical Petri nets is complexity of modeling real time systems when it is necessary to consider a factor of time and temporal dependences. New expansion - color Petri nets with support of Allen's temporal logic, allowing to model both quantitative, and qualitative temporary delays is offered. This logic is characterized by sufficient expressiveness and existence of polynomial algorithms of a conclusion that its practical application in intelligent systems like intelligent decision support systems of real time allows. The description and the example of use of the developed basic software for this class of Petri nets is given. Keywords: intelligent system of real time, decision support, colored Petri nets, temporal dependences.
Средства моделирования и анализа сложных параллельных и распределенных систем, в том числе систем реального времени, характерными представителями которых являются интеллектуальные системы поддержки принятия решений (ИСППР) реального времени (РВ), вызывают большой интерес [1, 2]. Актуальность этих средств обусловлена в первую очередь высоким риском возникновения ошибок на стадии проектирования подобных систем и чрезвычайно высокой ценой за эти ошибки на стадии эксплуатации. Сети Петри (СП) давно зарекомендовали себя как удобный, наглядный и в то же время математически строгий формализм для моделирования и анализа распределенных систем, однако при моделировании функционирования реальных систем необходимо явно учитывать фактор времени и временные (темпоральные) зависимости, что довольно сложно в теории классических СП. Известные расширения СП позволяют учитывать количественные временные зависимости, в то время как в ИСППР РВ часто необходимо иметь средства представления и оперирования качественными зависимостя-
ми. Оптимальным вариантом является инструментальная среда, позволяющая оперировать зависимостями обоих типов.
В данной работе рассматривается возможность организации работы с качественными временными зависимостями и предлагается расширение аппарата цветных СП (ЦСП) - ЦСП РВ - с поддержкой темпоральной интервальной логики Ал-лена.
Цветные сети Петри как средство моделирования процессов в ИСППР РВ
ИСППР РВ в общем случае является динамической нестационарной нелинейной системой. При выборе математической модели для моделирования таких систем необходимо учитывать эти свойства, а также необходимость отображать не только закономерности функционирования, но и структурные характеристики системы. Для выявления конструктивных закономерностей системы необходимо добиться максимальной визуальной выразительности. Поэтому в качестве базовой мо-
дели была выбрана одна из графоориентирован-ных сред моделирования - ЦСП [3].
Формально ЦСП определяется в виде кортежа N=(1, Р, Т, Л, N C, G, E, I), где Е - непустое конечное множество типов (цветов), определяющее значения данных, операций и функций, которые можно использовать в сетевых выражениях (то есть в выражениях дуг, защитных функций и функций инициализации), каждое такое множество имеет по крайней мере один элемент; Р - непустое конечное множество мест; Т - непустое конечное множество переходов; Л - конечное множество дуг (места, переходы и дуги описываются множествами Р, Т, Л, которые должны быть конечными и попарно непересекающимися; требование конечности множеств позволяет избежать ряда технических проблем, например, таких, как возможность бесконечного числа дуг между двумя узлами); Ы: Л^(Р^Т)[и(Т^Р) - узловая функция, ставящая в соответствие каждой дуге пару, первый элемент которой является узлом источника, а второй - узлом назначения (допускается наличие нескольких дуг между одними и теми же узлами, поэтому Л определяется как отдельное множество); С: Р^Е - функция типа, помечает каждое место р типом С(р) (это означает, что каждый токен р должен иметь значение типа С(р)); G - защитная функция: VíeT: (Г^(0)£Воо1, Г^^(/)))£Е), ставящая в соответствие каждому переходу / логическое выражение, в котором все переменные имеют типы, принадлежащие множеству Е (при создании графа ЦСП защитные выражения, всегда возвращающие истину, опускаются); Е - функция выражений дуг, УаеЛ: (Г(Е(а))£С(Р(а)), Г(v(E(a)))£Е), ставящая в соответствие каждой дуге выражение типа С(Р(а)) (это означает, что результат вычисления каждого выражения дуги должен быть типа того места, откуда выходит или куда входит эта дуга); I - функция инициализации, УрЕР: (Г(/(р))£С(р), ставящая в соответствие каждому месту выражение типа С(р).
В работе [3] показано, что для каждой ЦСП можно построить обычную СП и наоборот. Однако на практике ЦСП представляют собой более компактный и удобный язык моделирования, чем обычные СП.
ЦСП РВ являются функциональным подклассом ЦСП, ориентированным на моделирование и анализ систем реального времени [4]. По сравнению с ЦСП в них используются другие модель времени и приоритеты переходов, на них наложены некоторые структурные ограничения.
Определим ЦСП РВ как кортеж Ы=(Е, Р, Т, Л, С, G, I, Ем, Ев, М0, S0), где Е - непустое конечное множество непустых типов (множество цветов); Р
- непустое конечное множество мест; Т - непустое конечное множество переходов, РпТ=0; Л£ £(РхТ)и(Т^Р) - конечное множество дуг; С: Р^Е
- функция типа; G - защитная функция: У/еТ:
(r(G(t))£Bool, r(v(G(t)))£E); I: T^Nu{0} - функция приоритетов; EM - функция весовых выражений дуг, VaeA: (Г(Ем(а))£С(Р(а)), r(v(EMa)))£E); ES - функция временных выражений дуг, VaeA: (r(Es(a))£Q+u{0}, T(v(Es(a)))£E); Mo - начальная маркировка, M0(p)£2C(p); S0: P^Q - начальное значение функции временных меток.
Временные метки в ЦСП РВ ассоциируются с местами. Положительное значение временной метки описывает, как долго токен в соответствующем месте будет недоступным для любого перехода. Токен доступен для перехода, если значение временной метки меньше либо равно нулю. Например, равенство метки трем означает, что возраст токена - три временные единицы (возраст токена необходим для его участия в переходе). Для иллюстрации главных аспектов ЦСП РВ приведем модель автоматической остановки поезда [4]. В кабине машиниста каждые 60 секунд загорается световой сигнал, чтобы проверить, контролирует ли он идущий поезд. Если машинист проигнорирует этот сигнал, через 6 секунд включается звуковой сигнал. Затем, если машинист не деактивирует его в течение 3 секунд, срабатывает механизм аварийного торможения.
Соответствующая ЦСП РВ представлена на рисунке 1.
Данная ЦСП РВ содержит шесть мест и пять переходов.
Множество мест P={ContrSyst, Timerl, Console, Brake, Driver, Timer2} - соответственно элемент, контролирующий систему; таймер, моделирующий ежеминутный запуск; консоль в кабине для отображения сигналов; механизм торможения; машинист поезда; таймер, моделирующий действия машиниста.
Множество переходов T={TurnOnLS, TurnOn-SS, TurnOnBrake, Disactivate, Activity} - соответственно включение светового сигнала; включение звукового сигнала; запуск механизма торможения; деактивация машинистом сигналов; моделирование действий машиниста.
Задана начальная маркировка, начальные значения временных меток равны нулю и опущены. Переход Disactivate имеет приоритет 1, остальные переходы - 0 (опущены на схеме). Весовые и временные выражения дуг разделены знаком @. Если временное выражение равно 0, оно опущено. Каждая дуга с двумя стрелками заменяет для наглядности пару дуг. Начальное состояние сети M0=(safe, on, (off, off), off, active, on); S0=(0, 0, 0, 0, 0, 0). Анализ свойств сети может осуществляться с помощью маркировки узлов графа и меток дуг. Каждая метка дуги представляет собой пару, состоящую из перехода в некоторой подстановке и течения времени. Второй элемент пары можно рассматривать как вес дуги, определяющий время, затраченное на переход от одного состояния к другому.
С
Timer1
State on
ConsoleState (off, off)
Console
on@60
(0П, off) (off, off)
№ off)
on, on) (on, off)
Типы токенов:
State ::= on | off HumanState ::= active ConsoleState ::=
(<State>, <State>) ControlState ::= safe | lsOn | ssOn | brOn
(on, x)
Disactivate
ControlState safe
brOn
ssOn@3 \ /
TurnOnBr
off
on \ f
active ^ L
active
\ f
Driver
a
[ y=lsOn or y=ssOn]
active@n ^ active
HumanState active
Activity
on
on@60
~State ^
Brake ^ off ^ Timer2 ^
[ n=5 or n=8 or n=10]
State on
Рис. 1. Модель системы остановки поезда на основе ЦСП РВ
Качественные временные зависимости и использование темпоральной логики
Временные зависимости могут быть количественными (метрическими), если для представления времени используются количественные меры на временной оси, или качественными, если используется только относительное положение во времени событий или действий [5]. Ясно, что выразительность представления (моделирования) увеличится при наличии средств интеграции, позволяющих выражать как количественные, так и качественные временные зависимости. Рассмотренный аппарат ЦСП РВ предполагает работу с количественными временными зависимостями, поэтому для эффективного использования ЦСП РВ применительно к ИСППР РВ необходимо решить задачу представления и оперирования также и качественными временными зависимостями.
Современные методы представления временных зависимостей можно разбить на два класса -основанные на моделировании изменений во времени и основанные на явном моделировании времени. Второй класс обладает большими выразительными возможностями. Методы и модели
этого класса можно различать по способу введения фактора времени. В основном это различные темпоральные логики, которые базируются либо на модальных логиках, если время учитывается в семантике путем усложнения интерпретации, либо на модификации логики первого порядка, если время учитывается в синтаксисе. В качестве временных примитивов используются моменты (в точечных логиках) или интервалы (в интервальных логиках) времени. Алгоритмы вывода в темпоральных логиках, являющихся расширением логики предикатов первого порядка, могут базироваться на модификациях классических алгоритмов вывода в этих логиках, например темпоральной резолюции, но эффективность этих алгоритмов вывода довольно низкая. Однако активно используемая в настоящее время темпоральная интервальная логика Аллена [5, 6] характеризуется достаточной выразительностью и наличием полиномиальных алгоритмов вывода, что обусловливает ее практическое применение в интеллектуальных системах типа ИСППР РВ. В качестве временных примитивов в ней используются интервалы, позволяющие отображать информацию о текущей ситуации не только в тот или иной момент времени, но и на том или ином временном интервале.
Временной интервал X - упорядоченная пара (X., X+), такая, что X<X+, где X. и X+ рассматриваются как моменты времени (например на вещественной оси); B={b, bi, m, mi, o, oi, d, di, s, si, f, fi, e} - множество базисных интервальных отношений логики Аллена. Тогда атомарная формула логики Аллена - выражение вида X r Y, где X и Y - интервалы; r - базисное отношение из B; интервальная формула - выражение вида 9=X{rb ..., r„}Y.
Обозначим Int множество всех временных интервалов, а переменную, определяющую интервал, ассоциирующийся с местом p, будем обозначать именем этого места. Для корректного оперирования временными интервалами переопределим некоторые элементы ЦСП РВ [7]. Представим ЦСП РВ с поддержкой логики Аллена в виде кортежа N=(E, P, T, A, C, G, I, Em, Es, M0, So), где E - непустое конечное множество непустых типов (множество цветов); P - непустое конечное множество мест; T - непустое конечное множество переходов, PnT=0; A£(PxT)u(TxP) - конечное множество дуг; C: P^E - функция типа; G - защитная функция: VteT: (T(G(t))QBool, r(v(G(t)))£EuInt); I: T^Nu{0} - функция приоритетов; EM - функция весовых выражений дуг, VaeA: (T(EM(a))cC(P(a)), r(v(EMa)))cEUInt); Es - функция временных выражений дуг, Vae A : (r(Es(a))cß+u{0}, f(v(Es(a)))£EuInt); Mo - на-
чальная маркировка, М0(р)£2с(р); Р^-<2 - начальное значение функции временных меток.
Модель системы остановки поезда на основе данного аппарата представлена на рисунке 2.
Применение логики Аллена привело к сужению множества цветов Е и разбиению сети на две несвязанные подсети, одна из которых определяет работу механизма аварийного торможения, а другая моделирует действия машиниста. Формулы логики Аллена применены в данном случае как защитные функции переходов DisactLS и DisactSS, обозначающих своевременную реакцию человека (ЛПР) на световой и звуковой сигналы соответственно. Главным преимуществом в данном случае является возможность задавать не конкретное время реакции, как в случае ЦСП РВ, а интервалы, на которых машинист может деактивировать систему и каждый из которых определяет дальнейшее поведение модели. Таким образом, включение в модель аппарата интервальных темпоральных логик позволило отразить неопределенность, присущую задаче, что является одним из основополагающих принципов в ИСППР РВ.
Разработка инструментария и практическое моделирование
Компьютерное моделирование ИСППР РВ актуально для теоретических исследований и для
с
State on
Timer2
on active ____— ---_
Activity active@n n_____«...
on@60
active@n
У on \ on@60 t
TurnOnLS
off
on@6
TurnOnSS
off
on@3
State
on off off
С LightSig
on off
on off
SoundSig
TurnOnBr
off
State off
State off
[n in (0;6) or n in (6;9) or n > 9]
HumanState active
DisactLS
[Driver d LightSign]
DisactSS
[Driver d SoundSign]
Типы токенов:
State ::= on | off HumanState ::= active
Рис. 2. Модель системы остановки поезда на основе ЦСП РВ с поддержкой логики Аллена
1
2
практического применения. Создание соответствующего инструментария представляет серьезную проблему, так как среда разработки должна поддерживать концепцию реального времени, а также достаточную универсальность разрабатываемых моделей. Инструментальный комплекс G2 (Gen-sym Corp., США) удовлетворяет данным требованиям [8] и является объектно-ориентированной интегрированной средой для разработки и сопровождения приложений - интеллектуальных систем РВ. В отличие от систем, ориентированных на какую-то одну методологию или на конкретную предметную область, G2 интегрирует в себе множество взаимодополняющих методов искусственного интеллекта, что упрощает и ускоряет процесс разработки приложений. Программные продукты, разработанные с помощью G2, не зависят от аппаратного обеспечения и полностью переносимы. Возможность простого манипулирования графическим представлением объектов и составление схем, являющихся отображением технологических цепочек или алгоритмов обработки данных, обеспечивают базовые средства для построения проблемно-ориентированных языков визуального программирования и разработки достаточно эффективного инструментария для систем РВ на основе ЦСП РВ с поддержкой темпоральной логики Аллена.
В качестве примера рассмотрим модель системы остановки поезда, созданной в среде G2 (рис. 3). На переходах деактивации стоят защитные функции оценки истинности атомарных формул логики Аллена: Driver d LightSig на переходе DisactLS; Driver d SoundGig на переходе DisactSS. Переход DisactLS сработает, если место Driver станет удовлетворять условию доступности перехода Activity в тот момент, когда место LightSig удовлетворяет условию доступности перехода DisactLS; аналогично для перехода DisactSS. Важно, чтобы приоритет перехода DisactSS был выше приоритета DisactLS, иначе неизбежно возникнет конфликт приоритетов при реагировании машиниста в момент включенных звукового и светового сигналов. Значения защитных функций переходов вычисляются через внешние функции G2, определенные разработчиком.
Моделирование поведения машиниста осуществляется путем корректировки временного выражения дуги Activity-Driver. Существуют три варианта поведения машиниста относительно системы: 1) если машинист реагирует на сигнал в течение первых 6 секунд, срабатывает переход DisactLS, световой сигнал LightSig выключается, а звуковой SoundSig не успевает включиться по переходу TurnOnSS; 2) при реагировании машиниста в период с 7-й до 9-й секунды включительно срабаты-
IXJIAJ
Пуск
МОДЕЛИРОВАНИЕ
Обнулить метки
TIMER2
Обнулить время
Время работы (сек) 0
Создание объектов
состояние
О
переход
GUARD FUNCTION
DISACTLS GUARD
DISACTSS GUARD
ОГ 0:
/
\
/
\
TURNONLS
/
state off
state
on
0
0
state
off
0
\
\
DRIVER ©
humanstate
active
0
DISACTLS
Рис. 3. Модель системы остановки поезда в среда G2
humanstate active
humanstate
active
3
state
I off
state \ off
M3=(on, off, off, active, on, on), S3=(-6, -6, -6, 3, 54, 54)
M4=(on, on, off, active, on, on), S4 = (0, 0, -6, 3, 54, 54)
Рис. 4. Смена состояний: (M3, S3) ^ (M4, Si)
вает переход DisactSS, выключая оба сигнала LightSig и SoundSig; 3) после срабатывания на 9-й секунде перехода TurnOnBr момент реакции машиниста становится несущественным - переходы деактивации сработают, однако механизм торможения Brake к этому моменту будет уже запущен.
Проведем симуляцию при 9-секундной задержке реакции машиниста. В начальный момент параллельно срабатывают два независимых перехода TurnOnLS и Activity, изменив состояние сети на новое. Далее в течение 6 секунд ни один переход не становится допустимым, а по истечении этого времени срабатывает переход TurnOnSS, меняя цвет токена в месте SoundSig (рис. 4). Через 3 секунды после этого становятся допустимыми два перехода: TurnOnBr и DisactSS, но, поскольку изначально приоритет последнего был установлен более высоким, сработает переход деактивации. При этом поменяются токены в местах LightSig и SoundSig, что не позволит сработать переходу TurnOnBr. Далее в течение 51 секунды система останется стабильной, а единственным изменением будет непрерывное уменьшение временных меток с установленным шагом в 1 секунду. Затем модель вернется к исходному состоянию и сработают переходы при таймерах. Изменяя значение временной метки дуги Activity-Driver, можно исследовать и другие возможные варианты работы системы.
В представленной работе исследованы временные подклассы сетей Петри в применении к моделированию процессов в ИСППР, включая ИСППР
РВ. Предложено расширение подкласса ЦСП РВ в плане поддержки темпоральной логики Аллена с возможностью моделирования как количественных, так и качественных временных задержек. Исследована возможность моделирования сетей Петри с временными ограничениями в инструментальной среде конструирования интеллектуальных систем реального времени G2. На основе результатов анализа разработаны базовые программные средства моделирования с использованием ЦСП РВ с поддержкой темпоральной логики, даны их описание и пример использования.
В заключение отметим, что представленная работа выполняется в плане исследований кафедры прикладной математики НИУ «МЭИ» по тематике разработки методов, моделей и базовых инструментальных программных средств конструирования ИСППР РВ для мониторинга и управления сложными объектами и процессами.
Литература
1. Башлыков А.А., Еремеев А.П. Экспертные системы поддержки принятия решений в энергетике. М.: Изд-во МЭИ, 1994. 216 с.
2. Вагин В.Н., Еремеев А.П. Некоторые базовые принципы построения интеллектуальных систем поддержки принятия решений реального времени // Изв. РАН: Теория и системы управления. 2001. № 6. С. 114-123.
3. Jensen K., Coloured Petri Nets. Basic concepts, analysis methods and practical use, 1992-1997, Vol. 1-3.
4. Szpyrka M., Szmuc T., Integrated approach to modeling and analysis using RTCPnets, IFIP Intern. Federation for Information Proc., NY, 2006, Vol. 227, pp. 115-120.
5. Еремеев А.П., Куриленко И.Е. Средства темпорального вывода для интеллектуальных систем реального времени /
Интеллектуальные системы: Коллектив. моногр. Вып 4. М.: Физматлит, 2010. С. 222-252.
6. Allen J.F., Maintaining knowledge about temporal intervals, Communications of the ACM, 1983, Vol. 26, no. 11, pp. 832-843.
7. Еремеев А.П., Королев Ю.И. Средства моделирования на основе темпоральных сетей Петри для интеллектуальных систем поддержки принятия решений / КИИ-2012: тр. 13-й нац. конф. по искусственному интеллекту с междунар. участием (16-20 октября 2012 г., Белгород, Россия). Белгород: Изд-во БГТУ. 2012. Т. 3. С. 105-112.
8. Еремеев А.П., Гречкина П.В., Чибизова Н.В. Конструирование интеллектуальных систем поддержки принятия решений на основе инструментального комплекса G2: учеб. пособие. М.: Издат. дом МЭИ, 2012. 92 с.
Referenses
1. Bashlykov A.A., Eremeev A.P., Ekspertnye sistemy pod-derzhki prinyatiya resheny v energetike [Decision support expert systems in power engineering], Moscow, Izdatelstvo MEI, 1994.
2. Vagin V.N., Eremeev A.P., Journal of Computer and Systems Sciences International, 2001, no. 6, pp. 114-123.
3. Jensen K., Coloured Petri nets. basic concepts, analysis methods and practical use, Springer-Verlag, 1992-1997, Vol. 1-3.
4. Szpyrka M., Szmuc T., Software Engineering Techniques: Design for Quality, IFIP Int. Federation for Information Proc. NY, 2006, Vol. 227, pp. 115-120.
5. Eremeev A.P., Kurilenko I.E., Intellektualnye sistemy. Kollektivnaya monografiya [Intelligent systems. Multi-author book], Vol. 4, Moscow, Fizmatlit, 2010, pp. 222-252.
6. Allen J.F., Communications of the ACM, 1983, Vol. 26, no. 11, pp. 832-843.
7. Eremeev A.P., Korolev Y.I., Trudy XIII nats. konf. po is-kusstvennomu intellektu s mezhdunar. uchastiem KII-2012 [Proc. of XIII national conf. on artifical intelligence with int. participants], Belgorod, Izd-vo BGTU, 2012, Vol. 3, pp. 105-112.
8. Eremeev A.P., Grechkina P.V., Chibizova N.V., Konstru-irovanie intellektualnykh sistem podderzhki prinyatiya resheny re-alnogo vremeni na osnove instrumentalnogo kompleksa G2: ucheb. posobie [Decision support intelligent systems design based on G2 instrumental complex: study guide], Moscow, Izd. dom MEI, 2012.
УДК 539.3: 519.6
ЭФФЕКТИВНОСТЬ АЛГОРИТМА LU-РАЗЛОЖЕНИЯ С ДВУХМЕРНЫМ ЦИКЛИЧЕСКИМ РАСПРЕДЕЛЕНИЕМ МАТРИЦЫ ДЛЯ ПАРАЛЛЕЛЬНОГО РЕШЕНИЯ УПРУГОПЛАСТИЧЕСКОЙ ЗАДАЧИ
(Работа выполнена при поддержке Программы фундаментальных исследований Президиума РАН № 15,
проект 12-П-1-1025)
А.В. Толмачев, аспирант; А.В. Коновалов, д.т.н., зав. лабораторией; А.С. Партин, к.т.н., старший научный сотрудник (Институт машиноведения УрО РАН, ул. Комсомольская, 34, г. Екатеринбург, 620049, Россия,
tolmachev.arseny@gmail.com, avk@imach.uran.ru)
При решении упругопластических задач с большими пластическими деформациями методом конечных элементов требуется многократно решать систему линейных алгебраических уравнений с ленточной матрицей жесткости. Для распараллеливания решения данной системы уравнений применена адаптация параллельного алгоритма решения систем линейных уравнений с заполненной матрицей с двухмерным циклическим распределением матрицы по процессорам для случая ленточной матрицы. В отличие от традиционного алгоритма для заполненных матриц в рассмотренном алгоритме предусмотрено хранение только тех блоков, в которых могут находиться ненулевые элементы. Это обеспечивает значительную экономию памяти по сравнению с алгоритмом для заполненной матрицы с одновременным сохранением возможности двухмерного циклического распределения блоков матрицы по процессорам для сокращения объема и количества операций передачи данных между процессорами. Производительность алгоритма протестирована на решениях осесимметричной упругопластической задачи сжатия цилиндра и трехмерной упругопластической задачи сжатия параллелепипеда. Выполнен анализ эффективности метода для регулярных сеток разной размерности. Решение производилось на кластерной системе UMT Института математики и механики УрО РАН (г. Екатеринбург) с использованием MPI для передачи данных между процессорами.
Ключевые слова: упругопластическая задача, метод конечных элементов, LU-разложение, ленточная матрица жесткости, параллельное решение.
EFFICIENCY OF LU-DECOMPOSITION ALGORITHM WITH TWO-DIMENSIONAL CYCLIC MATRIX DISTRIBUTION FOR PARALLEL SOLUTION OF ELASTO-PLASTIC PROBLEM
Tolmachev A. V., postgraduate; Konovalov A. V., Ph.D., head of laboratory; Partin A.S., Ph.D., senior research associate (Institute of Engineering Science of Ural Branch of RAS, Komsomolskaya St., 34, Ekaterinburg, 620049, Russia, tolmachev. arseny@gmail. com, avk@imach. uran. ru)
Abstract. The solution of large elastic-plastic problems using finite element method requires solving large linear system with banded stiffness matrix multiple times. For a parallel solution we used an adaptation of a LU-decomposition algorithm for dense matrices with 2d cyclic matrix distribution to the case of banded matrices. Compared to traditional algorithm for dense matrices, banded version of the algorithm stores only blocks that can have non-zero elements. This allows for the algorithm to have a significant reduction in memory requirements and in the same time makes it possible for the algorithm to have characteristics to reduce the volume and the quantity of inter-process communication like the dense version of the algorithm does. The algorithm performance was tested on a solution of an axisymmetric elastic-plastic problem of cylinder com-
