Методы решения систем логических уравнений с использованием технологии параллелизации в медицинской диагностике
Боковая панель статьи
Основное содержимое статьи
Аннотация
В данной исследовательской работе описывают разработку и применение методов распараллеливания для эффективного решения систем логических уравнений, в частности, в области медицинской диагностики. Основная статья представляет программный инструмент, использующий библиотеку PyTorch для быстрого и параллельного анализа логических связей между заболеваниями и их симптомами, формулируя эти связи в терминах булевой алгебры. Программа автоматизирует генерацию, решение и сохранение результатов этих систем, демонстрируя значительное ускорение вычислений благодаря использованию графических процессоров (GPU). Общая цель работы заключается в выявлении точных зависимостей симптомов от кардиологических заболеваний для поддержки принятия клинических решений. При решении этой задачи наиболее эффективным способом достижения ясности и логического обоснования мыслей является использование математического метода.
Информация о статье
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
Библиографические ссылки
Закревский А.Д. Решение больших систем логических уравнений. – Минск: ОИПИ НАН Бела-руси, 2009. С.96.
Прихожий А. А. Новые разложения булевых функций по операции исключающее или в си-стемах логического проектирования //Системный анализ и прикладная информатика. – 2014. – №. 1-3. – С. 9-16.
Abdirofiyev N. Logical model and software for determining the relationship between symptoms of diseases and diseases //Scientific journal of Samarkand University. – 2025. – Т. 1. – №. 162. – С. 5-12.
Фирсова С.А. Метод решения система логических уравнений. // Вестник Таганрогского ин-ститута им. А.П. Чехова. 2020, № 2.
Дюкова Е.В., Журавлев Ю.И. Дискретный анализ признаковых описаний в задачах распозна-вания многомерных объектов. // Журнал вычислительной математики и математической фи-зики. 2000, Т. 40, № 8, С.1264–1278.
Abdirofiev N., Adilova D. Logical method for determining the connection between symptoms and diseases //AIP Conference Proceedings. – AIP Publishing LLC, 2024. – Т. 3244. – №. 1. – С. 030051. https://doi.org/10.1063/5.0241440.
Катериночкина Н.Н., Королева З.Э., Мадатян Х.А., Платоненко И.М. Методы решения буле-вых уравнений. – М.: Верховный Совет РАН, 1988. – 22 с.
Левченков В.С. Булевы уравнения в алгебре логики и теории множеств. // Вестник вычисли-тельной математики и кибернетики Московского университета. № 15, 1999, № 3. С. 17–20.
Урунбаев Э., Байжуманов А., Бердимуродов М. Реализация алгоритма построения корректо-ра многозначных логических функций. // Международная конференция по информатике и коммуникационным технологиям (ICISCT), 2022, Ташкент, Узбекистан, 2022, с. 1–5, doi: 10.1109/ICISCT55600.2022.10146968.
Кабулов А., Урунбаев Э., Ашуров А. Логический метод построения оптимального корректора нечётких эвристических алгоритмов. // Международная конференция по информационным наукам и коммуникационным технологиям (ICISCT), 2019, Ташкент, Узбекистан, 2019, с. 1-4, doi: 10.1109/ICISCT47635.2019.9011906
Бадагиева, Е.З. Решение систем логических уравнений с опорой на построение таблицы ис-тинности // Информатика в школе. – 2017. – №4(127). – С. 40 – 45.
Балабанов, А.А., Орлова, Д.А. Решение систем логических уравнений на основе совместного применения рекуррентного метода и теоретико-множественного подхода // Электронные ин-формационные системы. – 2015. – №3(6). – С. 76 – 89.
Бушмелева, Н.А. Решение систем логических уравнений методом отображений // Педагогиче-ское искусство. – 2018. – №2. – С. 29 – 32.
Криветченко, О.В. Типологизация методов решения систем логических уравнений информа-ционные технологии в прикладных исследованиях // Информационные технологии в при-кладных исследованиях. Сборник научных трудов. – Новосибирск, 2013. – Выпуск 3. – С. 249 – 267.