Аль-Азази Амин Ахмед
Al-Azazi Amin Ahmed Тверской государственный технический университет
Tver State Technical University Аспирант / graduate student E-Mail: [email protected]
Скворцов Андрей Викторович
Andrey Skvortsov
Тверской государственный технический университет
Tver State Technical University
Доцент / associate professor / к.т.н
Масленников Борис Иванович
Boris Maslennikov Тверской государственный технический университет
Tver State Technical University Декан заочного отделения Тверского государственного университета Dean of the correspondence department of Tver State University
Профессор, д.т.н
Автоматизация и управление технологическими процессами
Средства any logic для построения моделей системной динамики
Tools for construction of any logic system dynamics models
Аннотация: Парадигма компьютерного моделирования, при которой для исследуемой системы строятся графические диаграммы причинных связей и глобальных влияний одних параметров на другие параметры во времени, а затем модель, созданная на основе этих диаграмм, имитируется на компьютере, получила название системная динамика. Г рафическая нотация для моделирования всех компонентов системы и их взаимосвязей делают системную динамику очень удобным инструментом визуального представления всей системы, организации в целостном виде. Системная динамика представляет сегодня парадигму, метод и графический язык для представления моделей сложных систем, а также для их имитационного компьютерного выполнения. Одним из важнейших элементов проблемноориентированных систем поддержки принятия решений (СППР) в здравоохранении являются компьютерные имитационные модели управляемых процессов. Таким образом, важной задачей является разработка имитационной модели совместного распространения туберкулёза и ВИЧ-инфекции, а также реализация, позволяющая разрабатывать на её основе СППР фтизиатрической службы.
The Abstract: The paradigm of computer simulation, in which for the system being built graphical charts causality and global influence of some parameters on the other parameters in time, and then the model constructed on the basis of these diagrams, simulated on a computer, called the system dynamics. Graphical notation to model all components of the system and their relationships using system dynamics very convenient tool visual representation of the entire system, the organization in a holistic way. System dynamics is today a paradigm, method, and graphical language for representing models of complex systems, as well as their computer simulation run. One of the most important elements of the problem-oriented decision support systems (DSS) in health
care are computer simulations of control processes. Thus, an important task is to develop a simulation model of joint TB and HIV infection, as well as implementation, allowing it to develop on the basis of DSS TB services.
Ключевые слова: Медицина, математика, информационная система, имитационная модель, моделирование.
Keywords: Medicine, mathematics, information systems, simulation model, simulation.
Одним из важнейших элементов проблемно-ориентированных систем поддержки принятия решений (СППР) в здравоохранении являются компьютерные имитационные модели управляемых процессов. В работе [1] описана динамическая модель распространения туберкулёза в условиях региона России и её программная реализация. В последнее время важнейшим фактором, влияющим на распространение туберкулёза является ВИЧ-инфекция [ссылка]. Существующие медицинские СППР основаны на моделях, не учитывающих эту связь [2].
Таким образом, важной задачей является разработка имитационной модели совместного распространения туберкулёза и ВИЧ-инфекции, а также реализация, позволяющая разрабатывать на её основе СППР фтизиатрической службы.
Как известно, для моделирования причинно-следственных связей между параметрами системы и их взаимного влияния применяется парадигма системной динамики [3-5].
На рис. 1 изображена структура предлагаемой нами модели распространения эпидемии туберкулёз-ВИЧ.
б) @ а1 >@ 02 >0 03 >(s?)
Рис. 1. Граф переходов модели распространения эпидемии а) туберкулёз, б) ВИЧ
Где, Б - группа здоровых восприимчивых к заболеванию; 1Н - группа инфицированных с быстрым прогрессом заболевания; Ь - Группа инфицированных с медленным прогрессом заболевания; Та+ - Группа невыявленных больных с бактериовыделением; Та- - Группа невыявленных больных без бактериовыделения; Та! - Группа выявленных больных; Тп -Группа неактивного ТБ; а - Вероятность заболевания в группе с быстрым прогрессом; X -Вероятность инфицирования здорового члена популяции; у - Вероятность заболевания в группе с медленным прогрессом; е - Вероятность самопроизвольного выздоровления больных; С - Вероятность самопроизвольного прекращения бактериовыделения; ц -Вероятность естественной смерти; ^t - Вероятность смерти от туберкулёза; р - Вероятность самовольного прекращения лечения; уа - Вероятность активного выявления случая
туберкулёза ; ур - Вероятность пассивного выявления случая туберкулёза; х - Вероятность эффективного лечения ; ю - Вероятность рецидива активного ТБ у выздоровевших; Ь - Доля ТБ с МБТ+ среди заболевших из группы I/; с - Доля ТБ с МБТ+ среди заболевших из группы Ь; е - Доля ТБ с МБТ+ среди прекративших лечение; П - Скорость появления новых восприимчивых к популяциям; / - Доля ТБ с МБТ+ среди случаев рецидива; р - Доля лиц с быстрым прогрессом инфекции среди инфицированных; ° 1,2,3 - Скорость перехода с одной
О
стадии СПИДА в другую; 01,2,з,4 - обозначают стадии ВИЧ.
На рис.2. Приведена схема реализации описанной модели с использованием пакета имитационного моделирования АпуЬо§1с. Переменные состояния, определяющие количества людей на разных стадиях болезни, являются накопителями в терминах системной динамики. Они определяются в модели АпуЬо§ю как переменные вида "Интеграл или накопитель". Интенсивности переходов индивидов между состояниями являются вентилями и определены как переменные, заданные формулами. Вспомогательные переменные системной динамики задаются переменными АпуЬо§ю. Параметрами модели могут также являться константы.
Отношения между параметрами автоматически вычисляются и отображаются на графической схеме модели.
Рис. 2. Модель AnyLogicразвития эпидемии туберкулёз-ВИЧ
Построение моделей системной динамики в АпуЬо§іе удобно выполнять в два этапа. На первом в поле редактора помещаются все переменные, а на втором этапе для каждой переменной определяется ее вид и конкретная функциональная зависимость с помощью мастера функций — выпадающего окна, в котором появятся кроме стандартных функций еще имена переменных и параметров данного объекта, которые к этому времени были определены.
При начальных значениях переменных[6]:
Параметр ВИЧ 0 ВИЧ-1 ВИЧ-ІІ ВИЧ-ІІІ ВИЧ-ІУ
Ь 0,4-0,7 0,4-0,7 0,5-0,8 0,6-0,9 1
с 0,3-0,5 0,3-0,5 0,4-0,6 0,6-0,8 1
е 0,4-0,5 0,4-0,5 0,5-0,6 0,7-0,8 1
{ 0,5-0,7 0,5-0,7 0,6-0,8 0,7-0,9 1
р 0,05-0,3 0,05-0,3 0,3-0,5 0,4-0,8 1
є, лет 0,021-0,086 0,01-0,065 0,001-0,006 0,0002- 0,0003 0
ц, лет 0,11 0,11 0,11 0,11 0,11
^ ,лет 0.116 0.116 0.231 0.4 1
А^лет - - - 0.4 1
X 0,0026-0,0053 0,0026-0,0053 0,0036- 0,0073 0,0078- 0,0159 1
р 0.05 0.05 0.05 0.05 0.05
У 0,0026-0,0053 0,0026-0,0053 0,0036- 0,0073 0,0078- 0,0159 0,013- 0,0265
П 0,08-0,165 - - - -
Ь - 0,005-0,016 0,0103-0,014 0,001-0,003 0,006-0,015
ю 0,0007-0,015 0,0007-0,015 0,0017-0,025 0,7-0,9 0,9-1
а 0,8-0,95 0,8-0,95 0,8-0,95 0,9-1 1
С 0,086-0,102 0,086-0,102 0,26-0,52 0,6-0,8 -
модель в АпуЬо§іс можно запустить на выполнение, в результате чего получим график динамики поведения всей системы (рис.3).
Рис. 3. Результат выполнения модели динамики заболевания туберкулёза-ВИЧ
Результаты выполнения модели показывает, что при отсутствии ВИЧ-инфекции число заболевших туберкулезом ТаЮ меньше чем числа выздоровевших Тп0 и восприимчивых Б0 . Задержка между ТаЮ и Тп0 составляет 1 год. На первой стадии ВИЧ число заболевших туберкулезом ТаИ меньше чем числа выздоровевших Тп1 и восприимчивых Б1 . Задержка между ТаИ и Тп1 составляет 1 год. На второй стадии ВИЧ число заболевших туберкулезом Та!2 меньше чем число выздоровевших Тп2,но больше чем число восприимчивых Б2 . Задержка между Та!2 и Тп2 составляет 1 год. На третей стадии ВИЧ число заболевших туберкулезом Та!3 больше чем числа выздоровевших ТпЗ и восприимчивых Б3 . Задержка между Та!3 и ТпЗ составляет 1 год. На последней стадии ВИЧ число заболевших туберкулезом Та!4 в 2 раза больше чем число выздоровевших Тп4. Задержка между Та!4 и Тп4 составляет 1 год.
Таким образом, результаты реализации разработанной авторами динамической модели распространения и контроля туберкулёза-ВИЧ в программе Апу1о§1с5 показывают, что, с одной стороны, воздействие ВИЧ может как минимум удвоить силу вспышек туберкулеза, и, с другой стороны, что на эпидемию туберкулеза в регионах с высокой распространенностью ВИЧ можно воздействовать, сдерживая или снижая распространенность ВИЧ.
К преимуществам разработки системно-динамических моделей в среде АпуЬо§ю по сравнению с использованием универсальных языков программирования, следует отнести использование графической нотации моделей, автоматическое определение зависимостей между параметрами, а также их классифицирование в терминах системной динамики.
ЛИТЕРАТУРА
1. Скворцов А.В., Масленников Б.И. Математическое обеспечение медицинской информационной системы Программные продукты и системы, Международное научнопрактическое приложение к международному журналу «Проблемы теории и практинов А.В.ки управления» № 4 2008 г. c158-160.
2. Скворцов А.В., Масленников Б.И., Васильев В.Г., Хованов А.В. Система поддержки принятия решений противотуберкулёзной службы. Вестник Тверского государственного технического университета, выпуск 14, 2009.
3. Jay W. Forrestter. Industrial dynamics. Productivity press. Portland Oregon, 1961.
4. Д. Ю. Каталевский. Основы имитационного моделирования и системного анализа в управлении, 2011.
5. Карпов Ю. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5. - СПб.: БХВ-Петербург, 2006. - 400 с.
6. Регионы России. Основные характеристики субъектов РФ. Статистический сборник. Росстат. Москва, 2004.
Рецензент: Дмитриев Г. А., зав. Кафедрой Автоматизации технологических процессов Тверского государственного технического университета, Д.Т.Н. профессор.