144
Секция 9
фикации и применения пакета для моделирования физико-технических процессов в аэрогидромеханике, теплофизике, окружающей среде и др. демонстрируется в [2, 3].
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 18-01-00210), Российского научного фонда (код проекта 19-19-00259).
Список литературы
1. Исаев С. А., Баранов П. А., Усачов А. Е. Многоблочные вычислительные технологии в пакете VP2/3 по аэротермодинамике. Саарбрюкен: LAP LAMBERT Academic Publishing, 2013.
2. Аэродинамика утолщенных тел с вихревыми ячейками. Численное и физическое и моделирование / Под ред. С. А. Исаева. СПб. : Изд-во политехн. ун-та, 2016.
3. Исаев С. А., Судаков А. Г., Баранов П. А., Жукова Ю. В., Усачов А. Е. Многоблочные вычислительные технологии применительно к расчету турбулентных отрывных и струйных течений сжимаемого вязкого газа со скачками уплотнения и ударными волнами в рамках модели переноса сдвиговых напряжений. 6 глава в коллективной монографии под ред. В. А. Левина, Н. А. Фомина, В. Е. Фортова. Физика ударных волн, горения, детонации, взрыва и неравновесных процессов. Часть 2. Минск: ИТМО НАН Беларуси, 2018. С. 216-228.
Теория графов в химии
Г. Р. Кильдибаева, С. А. Мустафина Башкирский государственный университет Email: gul_w@mail.ru DOI: 10.24411/9999-017A-2020-10250
Химические графы дают возможность прогнозировать химические превращения, пояснять сущность и систематизировать некоторые основные понятия химии: структуру, конфигурацию, конформа-цию, квантовомеханические и статистико-механические взаимодействия молекул, изомерию [1].
Молекулярные графы, применяемые в стереохимии и структурной топологии, химии кластеров, полимеров, представляют собой неориентированные графы, отображающие строение молекул. Вершины и ребра этих графов отвечают соответственно атомам и химическим связям между ними[2].
Обычный индекс Винера описывает только молекулярные графы, а улучшенный индекс Винера может описывать и реакционные графы, т. е. графы, в которых используются двойные, тройные связи и ге-тероатомы (например, кислород, азот, фосфор, сера).
Молекулярные графы дают возможность сводить задачи, связанные с кодированием, номенклатурой и структурными особенностями (например, разветвленность, цикличность) молекул различных соединений, к анализу и сопоставлению математических признаков и свойств молекулярных графов и их деревьев, а также соответствующих им матриц.
Список литературы
1. Сайт о химии Химик. [Электрон. ресурс]. URL: http://www.xumuk.ru/encyklopedia/1148.html (дата обращения: 29.01.2020).
2. Сайт Химический каталог. [Электрон. ресурс]. URL: http://www.ximicat.com/info.php?id=1913 (дата обращения: 29.01.2020).
Надежная и безопасная система распределенного хранения данных в облаках
Н. Н. Кучеров1, М. Г. Бабенко1, А. Н. Черных2, В. А. Кучуков1 1 Северо-Кавказский федеральный университет
2Centro de Investigación Científica y de Educación Superior de Ensenada, Mexico
Email: nkucherov@ncfu.ru
DOI: 10.24411/9999-017A-2020-10253
В работе предлагается новая надежная и безопасная система распределенного хранения и обработки данных в мультиоблачной среде, которая основана на принципах модулярной арифметики. Использование модулярной арифметики в качестве основы позволяет, с одной стороны, обеспечить надежность данных, так как является кодом обнаружения и исправления ошибки, с другой стороны, обеспечивает безопасность, так как является пороговой структурой доступа к данным. Преимуществом предлагаемой системы обработки конфиденциальных данных является возможность обрабатывать данные в зашифрованном виде за счет использования гомоморфного шифра. В статье авторами также исследуется
Информационные и вычислительные системы
145
вопрос об уменьшении экономических издержек на содержание IT-инфраструктуры. Предлагается подход, позволяющий найти компромисс между надежностью, безопасностью и быстродействием системы распределенной обработки и хранения данных.
Работа выполнена при финансовой Российского фонда фундаментальных исследований (код проекта 20-3770023) и Совета по грантам Президента РФ (номер гранта МК-24.2020.9, MK-341.2019.9, СП-2236.2018.5).
Целочисленные модели построения расписаний сложных комплексов работ
О. А. Ляхов
Институт вычислительной математики и математической геофизики СО РАН
Email: loa@rav.sscc.ru
DOI: 10.24411/9999-017A-2020-10326
Предложена формализация условий календарных задач сетевого планирования с учетом ограничений на ресурсы в виде, пригодном для применения общих методов целочисленного программирования. Приведены результаты численных экспериментов с использованием известных пакетов решения оптимизационных задач.
Работа выполнена по плану ПФНИ (проект 0315-2019-006).
Применение аппарата дескрипционной логики для формализации структуры иерархических концептуальных систем
В. В. Михелёв, С. И. Маторин
Белгородский государственный национальный исследовательский университет
Email: 1334449@bsu.edu.ru
DOI: 10.24411/9999-017A-2020-10254
Информация может представлять собой информационную систему, например совокупность данных при определенных условиях, классификация, в том числе онтология. Одним из важных примеров таких информационных систем являются концептуальные системы [1] или "системы - классы" [2]. В работах [3, 4] обоснована важность изучения таких систем и разработки системных принципов, применимых и к материальным, и к концептуальным системам, для построения действительно общей теории систем.
Изучение и формализация структуры таких систем, а также понятия системно-объектного подхода "система - класс" и "свойство - класс", сопоставлены с понятиями дескрипционной логики [5]. Путем описания синтаксиса и семантики ДЛ ALCOQ и SHIOQ формально обоснована структура иерархии систем-классов и показана обязательность выполнения принципа моноцентризма для концептуальных систем. Введены и описаны средствами ДЛ понятия объема и содержания систем-классов, которые расширяют системную теорию, основанную на системно-объектном подходе. Полученные результаты в перспективе позволят совершенствовать существующие и создавать новые классификаторы, представляющие собой важный вид концептуальных моделей понятийных знаний.
Работа поддержана грантами Российского фонда фундаментальных исследований № 19-07-00290а, № 19-07-00111а, 18-07-00355а, 19-29-01047мк.
Список литературы
1. Шрейдер Ю. А., Шаров А. А. Системы и модели. М.: Радио и связь, 1982. 152 с.
2. Маторин С. И., Соловьева Е. А. Детерминантная модель системы и системологический анализ принципов детерминизма и бесконечности мира // НТИ. Сер. 2. 1996. № 8. С. 1-8.
3. Ackoff R. L. General system theory and systems research: Contrasting conceptions of system science. // In Proceedings of the Second Systems Symposium at Case Institute of Technology. 1964. P. 51-60.
4. Дубровский В. Я. К разработке системных принципов: общая теория систем и альтернативный подход [Электронный ресурс]. URL: http://gtmarket.ru/laboratory/expertize/6566.
5. Baader F., Calvanese D., McGuinness L., Nardi D. Patel-Schneider P. F. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. - Cambridge University Press: 576.