Логические модели и интеллектуальные технологии для предметных областей с объектами сложной структуры тема диссертации и автореферата по ВАК РФ 00.00.00, кандидат наук Гуляева Карина Александровна

• Гуляева Карина Александровна
• кандидат наук
• 2024

Оглавление диссертации кандидат наук Гуляева Карина Александровна

оглавление

введение

глава 1. предметные области с объектами сложной структуры. существующие технологии создания интеллектуальных систем (обзор литературы)

1.1 Определение и примеры объектов (систем) сложной структуры

1.2 определение базы знаний о системе сложной структуры

1.3 определение семейства предметных областей, объекты которых являются системами сложной структуры

1.4 представители семейства предметных областей, объекты которых являются системами сложной структуры

1.5 онтологии: основные определения и классификация (обзор онтологий и языковых средств для их представления). онтологии систем

1.6 Онтологии систем в информационных и программных проектах и продуктах (обзор решений)

1.7 Онтологии систем и специализированные инструментальные средства (обзор платформ)

1.8 иные современные методы и технологии создания интеллектуальных систем для схожих задач (обзор методов и формализмов)

1.9 ключевые особенности создания баз знаний о системах сложной структуры и основанных на них интеллектуальных систем

1.10 Онтологический подход для моделирования предметных областей с объектами сложной

структуры (степень научной разработанности проблемы)

1.11 выводы к главе

глава 2. метаонтология систем. система понятий

2.1 системы сложной структуры и их типы

2.2 метаграф dag системы сложной структуры

2.3 метапонятия для метаграфа системы сложной структуры

2.4 замечания относительно терминологии

2.5 выводы к главе

глава 3. метаонтология систем. логическая модель

3.1 логическая модель метаонтологии систем. уровень

3.2 логическая модель метаонтологии систем. уровень

3.3 логическая модель метаонтологии систем. уровень 1. база знаний

3.4 схема модели метаонтологии систем

3.5 выводы к главе

глава 4. технология создания интеллектуальных систем c базами знаний об объектах сложной структуры

4.1 Анализ требований и атрибутов качества интерфейса и всей системы для интеллектуальной платформы и интеллектуальной системы с базой знаний об объектах сложной структуры

4.2 Проектирование и разработка интеллектуальной платформы для создания систем с базами

знаний об объектах сложной структуры

4.3 Разработка интеллектуальной системы определения реакционных способностей

химических соединений на основе созданной интеллектуальной платформы

4.4 Выводы к главе

основные результаты и выводы

список литературы

приложение а (обязательное) логическая модель метаонтологии систем. уровень 3 (продолжение)

приложение b (обязательное) логическая модель метаонтологии систем. уровень 2 (фрагмент)

приложение с (обязательное) логическая модель метаонтологии систем. уровень 1. база знаний (фрагмент)

приложение d (обязательное) специализированные расширения языка прикладной логики

приложение e (обязательное) анализ требований и атрибутов качества интерфейса и всей системы для интеллектуальной платформы (фрагмент)

приложение f (обязательное) анализ требований и атрибутов качества

интерфейса и всей системы для интеллектуальной системы определения реакционных способностей химических соединений (фрагмент)

приложение g (обязательное) примеры пользовательского интерфейса интеллектуальной платформы rapidis и интеллектуальной системы

определения реакционных способностей химических соединений (на базе

платформы)

приложение h (обязательное) справка о внедрении

приложение j (обязательное) акт о внедрении

приложение k (обязательное) свидетельства о государственной регистрации программ для эвм

Введение диссертации (часть автореферата) на тему «Логические модели и интеллектуальные технологии для предметных областей с объектами сложной структуры»

ВВЕДЕНИЕ

Актуальность темы исследования и степень её разработанности. Главной составляющей интеллектуальной системы (далее - ИС), определяющей ее работоспособность, является содержимое ее базы знаний. На структуру базы знаний предметной области (далее - ПрО) ключевое влияние оказывает устройство объектов ПрО. Существует семейство наукоемких ПрО, объекты которых представляют собой системы сложной структуры - объекты и процессы, связанные отношением частичного порядка и обладающие следующими признаками. У каждой системы сложной структуры существует набор свойств, присущих ей как целому, а также наборы свойств каждой ее компоненты как отдельного объекта и как компоненты системы в контексте окружения (вхождения компоненты в систему) - присутствия или отсутствия других компонент системы и их свойств (например, значения характеристик связи изолированных атомов и атомов в присутствии других атомов молекулы различны). Кроме этого, свойства системы и ее компонент могут определяться с учетом условий внешней среды, изменяться во времени и/или пространстве. Далее везде будем называть представителя указанного семейства предметной областью с объектами сложной структуры. Примерами областей данного семейства могут служить ПрО определения реакционных способностей химических соединений (например, функциональная группа, химическое соединение, химическая реакция представляют собой системы сложной структуры), ПрО развития живых клеток бактерий и архей (прокариот), ПрО состояния и развития процессов экономической (процессы производства и потребления - примеры систем сложной структуры) или экологической систем.

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

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

Исследования, посвященные разработке ИС, средствам представления знаний, методам создания инструментальных средств формализации знаний экспертов для различных ПрО, в том числе основанных на онтологических моделях, имеют богатую историю. Данными вопросами занимались зарубежные и отечественные ученые: B. Chandrasekaran, A. Gómez-Pérez, T.R. Gruber, M. Gruninger, N. Guarino, F. Hayes-Roth, D.B. Lenat, D.L. McGuinness, R. Mizoguchi, M.A. Musen, N.F. Noy, J.F. Sowa, M. Uschold, G. van Heijst, И.Л. Артемьева, Т.А. Гаврилова, В.В. Голенков, В.В. Грибова, Ю.А. Загорулько, А.С. Клещёв, О.П. Кузнецов, С.О. Кузнецов, Н.В. Лукашевич, Л.В. Массель, Г.С. Осипов, Г.В. Рыбина, С.В. Смирнов, В.Л. Стефанюк, В.К. Финн, Е.А. Шалфеева и многие другие. К настоящему времени определены различные формальные модели для представления онтологий. Также введен класс логических моделей для представления многоуровневых онтологий сложно-структурированных предметных областей. Однако ни один из предложенных формализмов не учитывает наличия в предметных областях объектов сложной структуры с указанными выше свойствами и не позволяет построить формальное описание этой структуры. Разработанная технология построения онтологии более низкого уровня на основании онтологии более высокого уровня позволяет создавать многоуровневые описания сложно-структурированных областей, но не позволяет создавать многоуровневые описания объектов сложной структуры. Также не существует технологии создания и интеллектуальных систем для решения различных классов прикладных задач для предметных областей с объектами сложной структуры.

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

средств на примере представителя семейства областей с объектами сложной структуры.

Одним из наиболее сложных классов наукоемких задач (классов предметных областей), требующих экспертных знаний, считается класс задач определения реакционных способностей химических соединений, решаемых профессиональными химиками. Этот класс содержит задачи с разными постановками, необходимыми для разных специалистов области и, как следствие, требующими разный состав знаний при своем решении. В этом случае требуется класс ИС, каждая из которых способна имитировать рассуждения профессионального химика при решении задач. Каждая ИС указанного класса в качестве декларативной компоненты использует логическую модель онтологии и свой состав базы знаний (в зависимости от постановки задачи). Устройство ключевых объектов и базы знаний для данной задачи характеризует указанную предметную область как представителя семейства ПрО с объектами сложной структуры.

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

Для достижения поставленной в диссертационной работе цели необходимо решить следующие задачи:

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

2. Разработать технологию автоматизации процесса формирования многоуровневых онтологий и баз знаний для предметных областей с объектами сложной структуры.

3. Разработать методы создания набора инструментальных средств для конструирования систем с базами знаний, основанного на введённом классе логических моделей и реализующего предложенную технологию.

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

Объект исследования - семейство предметных областей с объектами сложной структуры и процесс разработки программных систем c базами знаний об объектах сложной структуры.

Предмет исследования - методы, технологии и программно-инструментальные средства разработки систем c базами знаний об объектах сложной структуры.

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

1. Разработан новый класс логических моделей, позволяющих представлять модели онтологий и знаний для семейства предметных областей с объектами сложной структуры. В отличие от существующего класса логических моделей для сложно-структурированных предметных областей, который позволял описать сложную структуру области, данный класс позволяет получить более подробное многоуровневое определение объектов области, их взаимосвязей как компонент других объектов, их свойств как самостоятельных объектов и их свойств как компонент.

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

3. Предложена новая технология автоматизации процесса формирования многоуровневых онтологий и баз знаний для предметных областей с объектами сложной структуры, основанная на введённом классе логических моделей. Данная технология может использоваться при создании предметно-независимых интеллектуальных платформ.

4. Технология реализации прикладных интеллектуальных систем с использованием платформы впервые разработана для предметных областей с объектами сложной структуры.

Теоретическая значимость работы состоит в разработке принципов организации и технологий реализации интеллектуальных систем, а также в создании языков описания данных, языков манипулирования данными, языков запросов для предметных областей с объектами сложной структуры. Разработанный класс логических моделей для представления онтологий и знаний может быть использован при создании ИС, решающих различные классы прикладных задач для семейства предметных областей с объектами сложной структуры.

Практическая значимость работы состоит в следующем: 1) разработан проблемно-независимый набор инструментальных средств (интеллектуальная платформа) для создания систем с базами знаний для предметных областей с объектами сложной структуры; 2) разработана ИС для решения разных классов задач для ПрО определения реакционных способностей химических соединений; 3) заполнена база знаний и проведено экспериментальное исследование программных компонент ИС для ПрО определения реакционных способностей химических соединений; 4) теоретические результаты диссертационной работы использованы при проведении практических и лабораторных занятий по дисциплинам "Стандарты и технология программирования", "Технология разработки программного обеспечения", "Методы системного анализа и моделирования", "Методы и технологии интеллектуализации программных систем" программ бакалавриата Департамента программной инженерии и искусственного интеллекта Института математики и компьютерных технологий и

при проведении практических и лабораторных занятий по дисциплинам "Компьютерное моделирование свойств химических соединений", "Прогноз спектра биологической активности" профиля "Биоорганическая и медицинская химия" программ бакалавриата и "Целенаправленный синтез органических соединений", "Цифровые технологии в химии и химических производствах", "Химия гетероциклических соединений", "Медицинская химия с элементами комбинаторики" программ магистратуры Департамента химии и материалов Института наукоемких технологий и передовых материалов Дальневосточного федерального университета совместно с ИХ ДВО РАН и ТИБОХ ДВО РАН (г. Владивосток); 5) разработанная ИС для ПрО определения реакционных способностей химических соединений внедрена в организацию научно-исследовательского процесса Департамента химии и материалов Института наукоемких технологий и передовых материалов ДВФУ (г. Владивосток). Результаты практического применения диссертационного исследования подтверждены справкой и актом о внедрении и свидетельствами о регистрации

программ в роспатент.

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

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

Соответствие паспорту специальности. Диссертационная работа соответствует области исследования специальности 2.3.8 - Информатика и информационные процессы по п.7 "Разработка методов обработки, группировки и

аннотирования информации, в том числе, извлеченной из сети интернет, для систем поддержки принятия решений, интеллектуального поиска, анализа" (пункты 1 -2 научной новизны), по п.11 "Разработка принципов организации и технологий реализации систем управления базами данных и знаний, создание специализированных информационных систем управления текстовыми, графическими и мультимедийными базами данных. Создание языков описания данных, языков манипулирования данными, языков запросов" (пункты 3 -4 научной новизны) и по п.16 "Автоматизированные информационные системы, ресурсы и технологии по областям применения (научные, технические, экономические, образовательные, гуманитарные сферы деятельности), форматам обрабатываемой, хранимой информации. Системы принятия групповых решений, системы проектирования объектов и процессов, экспертные системы и др." (пункты 3-4 научной новизны).

Основные положения, выносимые на защиту:

1. Класс логических моделей онтологий для семейства предметных областей с объектами сложной структуры. Введённый класс моделей может быть использован для описания онтологий и знаний интеллектуальной системы, разрабатываемой для любой предметной области исследуемого семейства.

2. Технология автоматизации процесса формирования многоуровневых онтологий и баз знаний для семейства предметных областей с объектами сложной структуры. Предложенные принципы организации и технология реализации позволяют эксперту генерировать промежуточные понятия онтологии предметной области исследуемого семейства регулярным образом, что упрощает работу эксперта при проектировании структур баз знаний для указанных предметных областей. Разработанная технология и предложенные форматы обрабатываемой и хранимой информации могут быть использованы при создании редакторов и схем баз знаний для интеллектуальных систем, решающих практически полезные задачи в предметных областях исследуемого семейства.

3. Набор специализированных инструментальных средств (предметно-независимая интеллектуальная платформа) и технология создания

интеллектуальных систем c базами знаний об объектах сложной структуры. Платформа поддерживает автоматическую генерацию промежуточных понятий онтологии.

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

Апробация работы. Основные научные и практические результаты работы докладывались и обсуждались на следующих международных и отечественных конференциях и семинарах: Международная научная конференция "Fifth World Conference on Smart Trends in Systems, Security, and Sustainability (WorldS4 2021)", 29-30 июля 2021 г., London, UK; Международная научная конференция "Fourth International Congress on Information and Communication Technology", 25-26 февраля 2019 г., BRUNEL UNIVERSITY, London, UK; Международная научная конференция "World Thematic Conference on Biomedical Engineering and Computation Intelligence", 30-31 октября 2018 г., London, UK; Международная научная конференция "РАИИ Летняя школа по искусственному интеллекту 2019", 4-7 июля, 2019 г., МФТИ, г. Долгопрудный, Московская обл.; VII Международная конференция "Знания-Онтологии-Теории" (ЗОНТ-2019) 7-11октября 2019 г., г. Новосибирск; XVIII Международная научно-практическая конференция "Academic science - problems and achievements XVIII", 28-29 января 2019 г., North Charleston, USA; Региональная научно-практическая конференция студентов, аспирантов и молодых ученых по естественным наукам, 15-30 апреля 2019 г., 1630 апреля 2018 г., г. Владивосток; Региональная научно-практическая конференция

на английском языке студентов и аспирантов ШЕН ДВФУ, 21 -24 мая 2018 г., г. Владивосток и др.

Реализация результатов работы. Исследование выполнено при финансовой поддержке РЦНИ (ранее - РФФИ) в рамках научного проекта .№19-3790137 "Разработка и исследование интеллектуальной системы определения реакционных способностей химических соединений" программы "Аспиранты". Автор принимал участие в качестве основного исполнителя.

Публикация результатов работы. По материалам диссертации опубликовано 19 печатных работ, 4 из которых - в журналах перечня ВАК, 5 индексируемы базой данных Scopus и Web of Science (из них 3 - Web of Science Core Collection), остальные - труды конференции. Получены 3 свидетельства о регистрации программ в РОСПАТЕНТ. Общий объем публикаций составляет 8,5 п.л., авторский вклад - 6 п.л.

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы и 10 приложений. Основное содержание изложено на 146 страницах. Список литературы включает 190 наименований.

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

Личный вклад автора. Все результаты диссертации получены автором самостоятельно. При первичной неформальной постановке задачи исследования участие принимали эксперты предметной области "Органическая химия" и "Оптика".

ГЛАВА 1. ПРЕДМЕТНЫЕ ОБЛАСТИ С ОБЪЕКТАМИ СЛОЖНОЙ СТРУКТУРЫ. СУЩЕСТВУЮЩИЕ ТЕХНОЛОГИИ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ (ОБЗОР

ЛИТЕРАТУРЫ)

В настоящей главе даётся определение семейства предметных областей с объектами сложной структуры. Рассматриваются представители данного семейства. Анализируются существующие технологии создания интеллектуальных систем и обосновывается актуальность выполняемого исследования.

1.1 ОПРЕДЕЛЕНИЕ И ПРИМЕРЫ ОБЪЕКТОВ (СИСТЕМ) СЛОЖНОЙ

СТРУКТУРЫ

В компьютерных науках (англ. Computer Science) одно из центральных понятий - понятие ПрО. Её часто определяют как множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории, либо как часть реального мира, рассматриваемая в пределах данного контекста. Методам анализа ПрО посвящены многие работы зарубежных и отечественных авторов. Если рассмотреть то, как человек анализирует ПрО, то можно сделать вывод, что он способен к глубокому анализу элементов и связей между ними. В частности, работы современных философов говорят об этом. Например, французский философ Ален Бадью пишет, что всё есть "бесконечная множественность" и есть операция "принятия за единое", присущая Субъекту [ 9193]. Продолжая эту мысль в приложении к Computer Science, будем говорить, что человек способен выделять в окружающем мире (или в ПрО) объекты, которые представляют собой системы - совокупности элементов, находящихся в определенных отношениях друг с другом и со средой (так традиционно определяют "систему", следуя Людвигу фон Берталанфи [95]).

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

пренебрегать тем фактом, что для процесса характерно дополнительное измерение по сравнению со "статичной" системой. Так, живая клетка бактерий и архей (прокариот) состоит в основном из следующих элементарных подсистем: жгутик, нуклеоид, пили, плазмида, рибосомы, цитоплазма, плазмолемма, клеточная стенка и капсула. Химическое соединение имеет иерархическое строение: в соответствии со Стандартной моделью атомы химического соединения состоят из ядер и электронов, ядра, в свою очередь, из протонов и нейтронов (за исключением протия), протоны и нейтроны, в свою очередь, из кварков. Химики еще традиционно выделяют функциональные группы - подсистемы из атомов в определенной конфигурации [164]. В экономической системе отдельными подсистемами можно выделить процессы производства и потребления, а также экономические институты. Одной из подсистем процессов производства и потребления можно считать домохозяйство, ведущее свой баланс.

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

Далее следует описание структурных типов систем и определение объектов (систем) сложной структуры, необходимое для дальнейшего определения выделенного семейства предметных областей.

Структурные типы систем. Будем называть элементарной систему, не имеющую подсистем (предполагается, что процедура рекурсивного спуска вглубь устройства системы когда-то останавливается, а именно, когда информация об устройстве подсистемы не используется в решении практических задач, для которых разрабатывается ИС). Элементарная система может иметь только один экземпляр (например, элементарная система "Электрон"). Экземпляры ее непосредственных (прямых) надсистем могут ассоциировать с единственным

экземпляром элементарной системы некий элемент множества [minCount, maxCount], где minCount Е ({0} UN) & maxCount е (MU {infinity}) & minCount < maxCount, где infinity EN - максимальный элемент натурального ряда, представимый при данных аппаратных ограничениях (для компьютерной модели)1. minCount и maxCount обозначают минимальное и максимальное допустимое число экземпляров системы, соответственно (а для элементарной системы задают сегмент, элемент которого может быть выбран для ассоциирования с единственным экземпляром элементарной системы). Например, экземпляр "Ядро атома дейтерия" системы "Ядро атома" имеет число 1, ассоциированное с единственным экземпляром элементарной системы "Нейтрон", а экземпляр "Ядро атома трития" системы "Ядро атома" имеет число 2, ассоциированное с единственным экземпляром элементарной системы "Нейтрон".

Будем называть дескриптивной систему, не являющуюся элементарной, экземпляры которой имеют непосредственными (прямыми) подсистемами экземпляры иных, отличных от нее, систем, которые вместе образуют определенную целостность (например, дескриптивная система "Атом" имеет прямыми подсистемами системы "Ядро атома" и "Электронная оболочка атома"). Аналогично с описанием элементарной системы, при задании дескриптивной системы в качестве прямой подсистемы (иных, отличных от нее, дескриптивных систем) определяют множества [minCount, maxCount], задающие минимальные и максимальные числа, определяющие допустимые количества экземпляров дескриптивной системы. Если система (отличная от элементарной и процесса) имеет в качестве прямой подсистемы дескриптивную систему и допустимое количество ее экземпляров больше 1, то на ее экземплярах может быть задана нумерация (отображение в элементы N). Если нумерация задана, то могут быть заданы и связи нумерованных экземпляров друг с другом (при условии, что они являются прямыми подсистемами одного и того же экземпляра).

1 здесь и далее натуральные числа - это N\{0} (в отличие от ISO 80000-2)

Будем называть системой-подмножеством систему, не являющуюся элементарной, при выполнении следующих условий. Ее прямой надсистемой является некая дескриптивная система, а прямой подсистемой - иная дескриптивная система, которая также является прямой подсистемой для ее прямой надсистемы (аналог булеана). Например, система "Функциональная группа", непосредственной (прямой) подсистемой для которой является система "Атом", является системой-подмножеством для системы "Химическое соединение"). Системы-подмножества могут быть отождествлены со своими непосредственными (прямыми) надсистемами. Так, экземпляры "Бензол" или "Циклопентадиен" системы "Функциональная группа" могут рассматриваться и как экземпляры системы "Химическое соединение", которая является непосредственной (прямой) надсистемой "Функциональной группы".

Процессом является последовательность действий, которая преобразует входы в выходы [70]. Будем называть процессом систему, обозначающую совокупность взаимосвязанных или взаимодействующих видов деятельности, преобразующих входы в выходы (например, система-процесс "Химическая реакция") [21]. Процесс обязан иметь хотя бы одну непосредственную (прямую) подсистему - участника процесса (с указанием для каждого участника роли участника в процессе и множества [minCount, maxCount] (аналогично определению элементарной системы), задающего минимальные и максимальные числа, определяющие допустимые количества экземпляров каждого участника процесса). Для экземпляров процессов должно быть задано максимальное количество состояний процесса.

Введем следующие обозначения: элементарная система - Elementary System (аббр. E), дескриптивная система - Descriptive Element System (аббр. D), система-подмножество - Descriptive Subset System (аббр. S), процесс - Process (аббр. P).

Список литературы диссертационного исследования кандидат наук Гуляева Карина Александровна, 2024 год

СПИСОК ЛИТЕРАТУРЫ

1. 1,5-Дикарбонильные соединения в органическом синтезе : монография / В.И. Высоцкий, В.А. Каминский, Т.И. Акимова [et al.] ; научные редакторы В.И. Высоцкий, В.Л. Новиков ; Дальневосточный федеральный университет, Школа естественных наук. - Владивосток : Дальневосточный федеральный университет, 2014. - 392 с. - 500 экз. - ISBN 978-5-7444-3284-3. - Текст : непосредственный.

2. Автоматическое порождение гипотез в интеллектуальных системах / составители Е.С. Панкратова, В.К. Финн ; под общей редакцией В.К. Финна ; предисловие Ю.М. Арского. - Изд. стер. - Москва : Книжный дом "ЛИБРОКОМ", 2020. - 528 с. - ISBN 978-5-397-07090-4. - Текст : непосредственный.

3. Артемьева, И.Л. Многоуровневые модели сложноструктурированных предметных областей и их использование при разработке систем, основанных на знаниях : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени доктора технических наук / Артемьева Ирина Леонидовна ; Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук. -Владивосток, 2008. - 478 с. - Библиогр.: с. 250-276. - Текст : непосредственный.

4. Артемьева, И.Л. Модель онтологии предметной области (на примере органической химии) / И.Л. Артемьева, В.И. Высоцкий, Н.В. Рештаненко. - Текст : непосредственный // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2005. - № 8. - С. 19-27.

5. Артемьева, И.Л. Специализированный компьютерный банк знаний по органической химии и его разработка на основе онтологии / И.Л. Артемьева, Н.В. Рештаненко. - Текст : непосредственный // Искусственный интеллект. - 2006. - №4. - С. 95-106.

6. Баскин, И.И. Многослойные персептроны в исследовании зависимостей "структура-свойство" для органических соединений / И.И. Баскин, В.А. Палюлин, Н.С. Зефиров. - Текст : непосредственный // Российский

химический журнал (Журнал Российского химического общества им. Д.И. Менделеева). - 2006. - Т. 50 (L), № 2. - С. 86-96.

7. Баскин, И.И. Моделирование свойств химических соединений с использованием искусственных нейронных сетей и фрагментных дескрипторов : специальность 02.00.17 "Математическая и квантовая химия" : диссертация на соискание ученой степени доктора физико-математических наук / Баскин Игорь Иосифович ; Московский государственный университет им. М.В. Ломоносова. -Москва, 2009. - 365 с. - Библиогр.: с. 315-363. - Текст : непосредственный.

8. Блохинцев, Д.И. Основы квантовой механики: учебное пособие / Д.И. Блохинцев. - Изд. стер. - Москва : ЛЕНАНД, 2019. - 672 с. - ISBN 978-5-97105972-1. - Текст : непосредственный.

9. Ван дер Варден, Б.Л. Алгебра / Б.Л. ван дер Варден ; перевод с немецкого А.А. Бельского ; под редакцией Ю.И. Мерзлякова. - 2-е изд. - Москва : Наука, Глав. ред. физ.-мат. литер., 1979. - 624 с. - Текст : непосредственный.

10. Введение в хемоинформатику : учебное пособие : [в 6 частях]. Ч. 1. Компьютерное представление химических структур / Т.И. Маджидов, И.И. Баскин, И.С. Антипин, А.А. Варнек. - Казань ; Москва ; Страсбург, 2020. - 176 с. - ISBN 978-5-00019-131-6 (печатная версия). - Текст : электронный.

11. Введение в хемоинформатику : учебное пособие : [в 6 частях]. Ч. 2. Химические базы данных / Т.И. Маджидов, И.И. Баскин, А.А. Варнек. - Казань ; Москва ; Страсбург, 2020. - 185 с. - ISBN 978-5-00019-429-4 (печатная версия). -Текст : электронный.

12. Введение в хемоинформатику : учебное пособие : [в 6 частях]. Ч. 3. Моделирование "структура-свойство" / И.И. Баскин, Т.И. Маджидов, А.А. Варнек. - Москва ; Казань ; Страсбург, 2020. - 296 с. - ISBN 978-5-00019-442-3 (печатная версия). - Текст : электронный.

13. Введение в хемоинформатику : учебное пособие : [в 6 частях]. Ч. 4. Методы машинного обучения / И.И. Баскин, Т.И. Маджидов, А.А. Варнек. -Москва ; Казань ; Страсбург, 2020. - 321 с. - ISBN 978-5-00019-695-3 (печатная версия). - Текст : электронный.

14. Введение в хемоинформатику : учебное пособие : [в 6 частях]. Ч. 5. Информатика химических реакций / И.И. Баскин, Т.И. Маджидов, А.А. Варнек. -Казань ; Москва ; Страсбург, 2020. - 238 с. - ISBN 978-5-00019-907-7 (печатная версия). - Текст : электронный.

15. Введение в хемоинформатику : учебное пособие : [в 6 частях]. Ч. 6. Химическое пространство и виртуальный скрининг / Т.И. Маджидов, И.И. Баскин, А.А. Варнек. - Казань ; Москва ; Страсбург, 2020. - 262 с. - ISBN 978-5-00130-1745 (печатная версия). - Текст : электронный.

16. Верещагин, Н.К. Лекции по математической логике и теории алгоритмов : учебное издание для вузов : [в 3 частях]. Ч. 2. Языки и исчисления / Н.К. Верещагин, А. Шень. - 5-е изд., стер. - Москва : МЦНМО, 2017. - 240 с. -ISBN 978-5-4439-0944-8. - Текст : непосредственный.

17. Вигерс, К. Разработка требований к программному обеспечению / К. Вигерс, Дж. Битти. - 3-е изд., доп. - Москва : Русская редакция ; Санкт-Петербург : БХВ-Петербург, 2018. - 736 с. - ISBN 978-5-7502-0433-5 (Русская редакция). - ISBN 978-5-9775-3348-5 (БХВ-Петербург). - Текст : непосредственный.

18. Гаврилова, Т.А. Инженерия знаний. Модели и методы : учебник для вузов / Т.А. Гаврилова, Д.В. Кудрявцев, Д.И. Муромцев. - 6-е изд., стер. - Санкт-Петербург : Лань, 2023. - 324 с. - ISBN 978-5-507-46580-4. - Текст : непосредственный.

19. Голенков, В.В. Проект открытой семантической технологии компонентного проектирования интеллектуальных систем. Часть 1: Принципы создания / В.В. Голенков, Н.А. Гулякина // Онтология проектирования. - 2014. -№1 (11). - С. 42-64.

20. Гольдин, Л.Л. Квантовая физика. Вводный курс : учебное пособие / Л.Л. Гольдин, Г.И. Новикова. - 3-е изд. - Долгопрудный : Издательский дом "Интеллект", 2019. - 480 с. - ISBN 978-5-91559-268-0. - Текст : непосредственный.

21. ГОСТ Р ИСО 9000-2001. Системы менеджмента качества. Основные положения и словарь = Quality management systems. Fundamentals and vocabulary :

государственный стандарт Российской Федерации : издание официальное : принят и введен в действие Постановлением Госстандарта России от 15 августа 2001 г. № 332-ст : введен впервые : дата введения 2001-08-31 / разработан Всероссийским научно-исследовательским институтом сертификации (ВНИИС). - Москва : ИПК Издательство стандартов, 2001. - IV, 27 с. - 829 экз. - Текст : непосредственный.

22. Грибова, В.В. Автоматизация проектирования, реализации и сопровождения пользовательского интерфейса на основе онтологического подхода : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей" : диссертация на соискание ученой степени доктора технических наук / Грибова Валерия Викторовна ; Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук. - Владивосток, 2007. - 393 с. - Библиогр.: с. 287-308. - Текст : непосредственный.

23. Грибова, В.В. Онтологические паттерны знаний по диагностике процессов / В.В. Грибова, Е.А. Шалфеева. - Текст : непосредственный // Двадцать первая Национальная конференция по искусственному интеллекту с международным участием (КИИ-2023), Смоленск, 16-20 октября 2023 г. : труды конференции : в 2 томах. Т.1. - Смоленск : Принт-Экспресс, 2023. - 410 с. - ISBN 978-5-91812-231-0. - C. 93-100.

24. Грибова, В.В. Платформа IACPaaS для разработки систем на основе онтологий: десятилетие использования / В.В. Грибова, Ф.М. Москаленко, В.А. Тимченко, Е.А. Шалфеева. - DOI 10.14357/20718594220406. - Текст : непосредственный // Искусственный интеллект и принятие решений. - 2022. - №2 4. - С. 55-65.

25. Грибова, В.В. Создание жизнеспособных интеллектуальных систем с управляемыми декларативными компонентами / В.В. Грибова, Ф.М. Москаленко, В.А. Тимченко, Е.А. Шалфеева. - DOI 10.25729/2413-0133-2018-3-01. - Текст : непосредственный // Информационные и математические технологии в науке и управлении. - 2018. - № 3 (11). - С. 6-17.

26. Гудстейн, Р.Л. Математическая логика / Р.Л. Гудстейн ; перевод с английского В.С. Чернявского ; под редакцией и с предисловием С.А. Яновской. -2-е изд. - Москва : Книжный дом "ЛИБРОКОМ", 2010. - 160 с. - ISBN 978-5-39700528-9. - Текст : непосредственный.

27. Гуляева, К.А. Инструментарий для проектирования систем понятий и баз знаний предметных областей с объектами сложной структуры / К.А. Гуляева, И.Л. Артемьева. - DOI 10.21667/1995-4565-2024-87-62-77. - Текст : непосредственный // Вестник РГРТУ. - 2024. - № 1 (87). - C. 62-77.

28. Гуляева, К.А. Интеллектуальная система определения реакционных способностей органических соединений / К.А. Гуляева. - Текст : электронный // Материалы региональной научно-практической конференции студентов, аспирантов и молодых ученых по естественным наукам, Владивосток, 15-30 апреля 2019 г. / Отв. ред. А.В. Малюгин. - Владивосток : Дальневосточный федеральный университет, 2019. - 541 c. - ISSN 2500-3518. - C. 158-160. - URL: https://elibrary.ru/item.asp?pff=1&id=43112260 (дата обращения: 20.04.2024). -Режим доступа: Научная электронная библиотека eLIBRARY.RU.

29. Гуляева, К.А. Компоненты современных баз данных предметной области "Органическая химия" и их характеристики - на примере Molbase / К.А. Гуляева, И.Л. Артемьева. - Текст : непосредственный // Академическая наука - проблемы и достижения : материалы XVIII международной научно-практической конференции, North Charleston, USA, 28-29 января 2019 г. : [в 2 томах]. Т.2. -Morrisville, NC, USA : LuluPress, 2019. - 128 c. - ISBN 978-0-359-39721-1. - C. 7577.

30. Гуляева, К.А. Логическая модель метаонтологии для разработки декларативной базы знаний предметной области, элементами которой являются системы сложной структуры / К.А. Гуляева, И.Л. Артемьева. - Текст : непосредственный // Вестник ВГУ. Серия: Системный анализ и информационные технологии. - 2024. - №1. - ISSN 1995-5499. -C. 5-27.

31. Гуляева, К.А. Модели онтологий в проектировании и разработке интеллектуальных систем для органической химии / К.А. Гуляева, И.Л. Артемьева.

- Текст : электронный // Материалы VII Международной конференции "Знания -Онтологии - Теории" (ЗОНТ-2019), Новосибирск, 7-11 октября 2019 г. / научное редактирование: Д.Е. Пальчунов. - Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2019. - 448 с. - С.148-156. - URL: https://www.elibrary.ru/item.asp?selid=42432027&id=42432006 (дата обращения: 20.04.2024). - Режим доступа: Научная электронная библиотека eLIBRARY.RU.

32. Гуляева, К.А. Особенности применения онтологического подхода в разработке интеллектуальных систем для некоторых задач химии / К.А. Гуляева, И.Л. Артемьева. - DOI 10.18287/2223-9537-2020-10-3-307-326. - Текст : непосредственный // Онтология проектирования. - 2020. - Т. 10, №2 3 (37). - С. 307326.

33. Гуляева, К.А. Программные средства и модели представления знаний в области биохимических исследований / К.А. Гуляева. - Текст : электронный // Материалы региональной научно-практической конференции студентов, аспирантов и молодых учёных по естественным наукам, Владивосток, 16-30 апреля 2018 г. / Отв. ред. А.В. Малюгин. - Владивосток : Дальневосточный федеральный университет, 2018. - 481 c. - ISSN 2500-3518. - C. 112-116. - URL: https://elibrary.ru/item.asp?id=37573118 (дата обращения: 20.04.2024). - Режим доступа: Научная электронная библиотека eLIBRARY.RU.

34. Гуляева, К.А. Технология автоматизации процесса формирования систем понятий и баз знаний для предметных областей с объектами сложной структуры / К.А. Гуляева, И.Л. Артемьева. - DOI 10.21667/1995-4565-2023-85-6581. - Текст : непосредственный // Вестник РГРТУ. - 2023. - № 3 (85). - C. 65-81.

35. Дейт, К.Дж. Введение в системы баз данных. В 2 томах. Т. 1 / К. Дж. Дейт. - Санкт-Петербург : Диалектика, 2024. - 648 с. - ISBN 978-5-90770507-4. - Текст : непосредственный.

36. Дронов, В.А. Django 3.0. Практика создания веб-сайтов на Python / В.А. Дронов. - Санкт-Петербург : БХВ-Петербург, 2021. - 704 с. - ISBN 978-59775-6691-9. - Текст : непосредственный.

37. Загорулько, Г.Б. Модель, методы и средства комплексной поддержки разработки СППР в слабоформализованных предметных областях : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей" : диссертация на соискание ученой степени кандидата технических наук / Загорулько Галина Борисовна ; Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук. - Новосибирск, 2020. - 191 с. - Библиогр.: с. 139-162. - Текст : непосредственный.

38. Загорулько, Ю.А. Искусственный интеллект. Инженерия знаний : учебное пособие для вузов / Ю.А. Загорулько, Г.Б. Загорулько. - Москва : Издательство Юрайт, 2024. - 93 с. - (Высшее образование). - ISBN 978-5-53407198-6. - Текст : непосредственный.

39. Загорулько, Ю.А. Технология построения онтологий для порталов научных знаний / Ю.А. Загорулько, О.И. Боровикова. - Текст : непосредственный // Вестник НГУ. Серия: Информационные технологии. - 2007. - Т. 5, № 2. - С. 4252.

40. Искусственный интеллект: применение в химии / Д. Смит, Ч. Риз, Дж. Стюарт [et al.] ; редакторы Т. Пирс, Б. Хони ; перевод с английского А.Ю. Батыря и В.Н. Петрова ; под редакцией канд. техн. наук В.Л. Стефанюка. -Москва : Мир, 1988. - 430 с. - ISBN 5-03-001213-3. - Текст : непосредственный.

41. Ишханов, Б.С. Частицы и атомные ядра / Б.С. Ишханов, И.М. Капитонов, Н.П. Юдин. - 4-е изд., перераб. и доп. - Москва : ЛЕНАНД, 2019.

- 672 с. - (Классический университетский учебник / МГУ им. М.В. Ломоносова). -ISBN 978-5-9710-5616-4. - Текст : непосредственный.

42. Клещёв, А.С. Классификация свойств онтологий. Онтологии и их классификации / А.С. Клещёв, Е.А. Шалфеева. - Текст : непосредственный // Научно-техническая информация. Серия 2, Информационные процессы и системы.

- 2005. - № 9. - С. 16-22.

43. Клещёв, А.С. Модель онтологии предметной области "Медицинская диагностика". Часть 1. Неформальное описание и определение базовых терминов /

А.С. Клещёв, Ф.М. Москаленко, М.Ю. Черняховская. - Текст : непосредственный // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2005. - № 12. - С. 1-7.

44. Клещёв, А.С. Необогащенные системы логических соотношений : [в 2 частях] / А.С. Клещёв, И.Л. Артемьева. - Текст : непосредственный // Научно-техническая информация. Серия 2, Информационные процессы и системы. - 2000. - № 7. - С. 18-28 ; № 8. - C. 8-18.

45. Клещёв, А.С. Онтология задач интеллектуальной деятельности / А.С. Клещёв, Е.А. Шалфеева. - DOI 10.18287/2223-9537-2015-5-2-179-205. - Текст : непосредственный // Онтология проектирования. - 2015. - Т. 5, №2 2 (16). - С. 179205.

46. Клини, С.К. Введение в метаматематику / С.К. Клини ; перевод с английского А.С. Есенина-Вольпина ; под редакцией В.А. Успенского. - 2-е изд., испр. - Москва : Книжный дом "ЛИБРОКОМ", 2009. - 528 с. - (Физико-математическое наследие: математика (основания математики и логика)). - ISBN 978-5-397-00105-2. - Текст : непосредственный.

47. Кнут, Д.Э. Искусство программирования : [в 4 томах]. Т.1. Основные алгоритмы / Дональд Эрвин Кнут ; под общей редакцией докт. физ.-мат. наук, проф. Ю.В. Козаченко ; перевод с английского и редакция канд. физ.-мат. наук С.Г. Тригуб (гл.1), канд. физ.-мат. наук Ю.Г. Гордиенко (гл.2), канд. техн. наук И.В. Красикова (разд. 2.5 и 2.6). - 3-е изд. - Санкт-Петербург : Диалектика, 2020. -720 с. - ISBN 978-5-907144-23-1. - Текст : непосредственный.

48. Кормен, Т.Х. Алгоритмы: построение и анализ / Томас Х. Кормен, Чарльз И. Лейзерсон, Рональд Л. Ривест, Клиффорд Штайн. - 3-е изд. - Санкт-Петербург : Диалектика, 2019. - 1328 с. - ISBN 978-5-907114-11-1. - Текст : непосредственный.

49. Курбатов, С.С. Программное обеспечение для автоматического решения задач по планиметрии / С.С. Курбатов, А.П. Лобзин, Г.К. Хахалин. - Текст : непосредственный // VI международная научно-техническая конференция Open Semantic Technologies for Intelligent Systems (OSTIS-2016), Минск, 18-20 февраля

2016 г. : материалы конференции / редколлегия: В.В. Голенков (отв. редактор) [et al.]. - Минск : БГУИР, 2016. - С. 159-164.

50. Лаврентьев, М.А. Методы теории функций комплексного переменного : учебное пособие для университетов / М.А. Лаврентьев, Б.В. Шабат ; редактор М.М. Горячая. - 5-е изд., испр. - Москва : Наука, Глав. ред. физ.-мат. литер., 1987. - 688 с. - Текст : непосредственный.

51. Ландау, Л.Д. Механика и молекулярная физика в курсе общей физики: учебное пособие / Л.Д. Ландау, А.И. Ахиезер, Е.М. Лифшиц. - 5-е изд. -Долгопрудный : Издательский дом "Интеллект", 2017. - 400 с. - ISBN 978-5-91559237-6. - Текст : непосредственный.

52. Ландау, Л.Д. Теоретическая физика : учебное пособие : для вузов. В 10 томах. Т.2. Теория поля / Л.Д. Ландау, Е.М. Лифшиц ; ответственный редактор курса "Теоретическая физика" академик РАН, доктор физ.-мат. наук Л.П. Питаевский. - 9-е изд., стер. - Москва : ФИЗМАТЛИТ, 2020. - 508 с. - ISBN 978-5-9221-1568-1. - Текст : непосредственный.

53. Леенсон, И.А. Как и почему происходят химические реакции. Элементы химической термодинамики и кинетики : учебное пособие / И.А. Леенсон. - Долгопрудный : Издательский дом "Интеллект", 2010. - 224 с. -ISBN 978-5-91559-042-6. - Текст : непосредственный.

54. Макконнелл, С. Совершенный код. Мастер-класс / С. Макконнелл. -Санкт-Петербург : БХВ, 2022. - 896 с. - ISBN 978-5-9909805-1-8. - Текст : непосредственный.

55. Мальцев, А.И. Алгебраические системы / А.И. Мальцев. - Москва : Наука, Глав. ред. физ.-мат. литер., 1970. - 392 с. - (Серия: "Современная алгебра"). - Текст : непосредственный.

56. Марч, Дж. Органическая химия. Реакции, механизмы и структура. Углубленный курс для университетов и химических вузов. В 4 томах. Т.1 / Дж. Марч ; перевод с английского канд. хим. наук З.Е. Самойловой ; под редакцией чл.-корр. АН СССР И.П. Белецкой. - Москва : Мир, 1987. - 381 с. - Текст : непосредственный.

57. Мендельсон, Э. Введение в математическую логику / Э. Мендельсон. - 2-е изд., испр. - Москва : Наука, Глав. ред. физ.-мат. литер., 1976. - 320 с. - Текст : непосредственный.

58. Москаленко, Ф.М. Методы решения задачи медицинской диагностики на основе математической модели предметной области : специальность 05.13.18 "Математическое моделирование, численные методы и комплексы программ" : диссертация на соискание ученой степени кандидата технических наук / Москаленко Филипп Михайлович ; Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук. -Владивосток, 2010. - 199 с. - Библиогр.: с. 140-150. - Текст : непосредственный.

59. Онтология производственных объектов. Azure : [сайт] / Microsoft. -2023. - URL: https://learn.microsoft.com/ru-ru/azure/azure-maps/creator-facility-ontology?pivots=facility-ontology-v2&tabs=geojson (дата обращения 10.05.2024). -Текст : электронный.

60. Орлов, В.А. Компьютерные банки знаний. Модель процесса редактирования информационного наполнения / В.А. Орлов, А.С. Клещёв. - Текст : непосредственный // Информационные технологии. - 2006. - № 7. - ISSN 16846400. - С. 11-16.

61. Осипов, Г.С. Лекции по искусственному интеллекту / Г.С. Осипов. -Изд. стер. - Москва : ЛЕНАНД, 2022. - 272 с. - (Науки об искусственном ; № 2). -ISBN 978-5-9710-5520-4. - Текст : непосредственный.

62. Построение экспертных систем / редакторы: Ф. Хейес-Рот, Д. Уотерман, Д. Ленат ; перевод с английского Ю.И. Крюкова, Н.Д. Смольянинова, С.Б. Трубициной ; под редакцией В.Л. Стефанюка. - Москва : Мир, Редакция литературы по математическим наукам, 1987. - 441 с. - Текст : непосредственный.

63. Привезенцев, А.И. Прикладная онтология задач для молекулярной спектроскопии / А.И. Привезенцев, А.З. Фазлиев - Текст : непосредственный // Всероссийская конференция с международным участием "Знания - Онтологии -Теории" (ЗОНТ-07), Институт математики СО РАН, Новосибирск, 14-16 сентября 2007 : сборник трудов. Т. 2. - Новосибирск : Омега Принт, 2007. - С. 82-87.

64. Прохоренок, Н.А. Python 3 и PyQt 5. Разработка приложений / Н.А. Прохоренок, В.А. Дронов. - 2-е изд., перераб. и доп. - Санкт-Петербург : БХВ-Петербург, 2021. - 832 с. - (Профессиональное программирование). - ISBN 978-59775-3978-4. - Текст : непосредственный.

65. Рассел, С. Искусственный интеллект: современный подход : [в 3 томах]. Т.1. Решение проблем: знания и рассуждения / С. Рассел, П. Норвиг ; перевод с английского и редакция А.В. Слепцова. - 4-е изд. - Санкт-Петербург : Диалектика, 2021. - 704 с. - ISBN 978-5-907365-25-4. - Текст : непосредственный.

66. Реутов, О.А. Органическая химия. В 4 частях. Ч. 1 / О.А. Реутов, А.Л. Курц, К.П. Бутин. - 9-е изд. - Москва : Лаборатория знаний, 2021. - 567 с. -ISBN 978-5-00101-334-1. - Текст : непосредственный.

67. Реутов, О.А. Органическая химия. В 4 частях. Ч. 2 / О.А. Реутов, А.Л. Курц, К.П. Бутин. - 10-е изд. - Москва : Лаборатория знаний, 2021. - 623 с. -ISBN 978-5-00101-335-8. - Текст : непосредственный.

68. Реутов, О.А. Органическая химия. В 4 частях. Ч. 3 / О.А. Реутов, А.Л. Курц, К.П. Бутин. - 8-е изд. - Москва : Лаборатория знаний, 2021. - 544 с. -ISBN 978-5-00101-336-5. - Текст : непосредственный.

69. Реутов, О.А. Органическая химия. В 4 частях. Ч. 4 / О.А. Реутов, А.Л. Курц, К.П. Бутин. - 6-е изд. - Москва : Лаборатория знаний, 2020. - 726 с. -ISBN 978-5-00101-173-6. - Текст : непосредственный.

70. Рыбина, Г.В. Технология построения динамических интеллектуальных систем : учебное пособие / Г.В. Рыбина, С.С. Паронджанов. -Москва : НИЯУ МИФИ, 2011. - 240 с. - ISBN 978-5-7262-1565-5. - Текст : электронный // Лань : электронно-библиотечная система. - URL: https://elanbook.com/book/75808 (дата обращения: 05.05.2024). - Режим доступа: для авториз. пользователей.

71. Сайкс, П. Механизмы реакций в органической химии / П. Сайкс ; перевод с английского под редакцией Я.М. Варшавского. - Москва : Химия, 1971. - 280 с. - Текст : непосредственный.

72. Свидетельство о государственной регистрации программы для ЭВМ № 2023669863 Российская Федерация. Программа "RAPIDiS" для создания систем с базами знаний в предметных областях, объекты которых являются системами сложной структуры : заявка № 2023669011 от 14.09.2023 г. : дата государственной регистрации в Реестре программ для ЭВМ 21.09.2023 г. / Федеральная служба по интеллектуальной собственности (РОСПАТЕНТ) ; автор(ы): Гуляева Карина Александровна (RU) ; правообладатель: Гуляева Карина Александровна (RU). - 1 л. - Опубл. 21.09.2023 г., Бюл. № 10. - Текст : непосредственный.

73. Свидетельство о государственной регистрации программы для ЭВМ № 2023682317 Российская Федерация. Программа "MOLGRAPH" поиска изоморфного вложения подграфа в граф молекулярной структуры : заявка № 2023680215 от 03.10.2023 г. : дата государственной регистрации в Реестре программ для ЭВМ 24.10.2023 г. / Федеральная служба по интеллектуальной собственности (РОСПАТЕНТ) ; автор(ы): Гуляева Карина Александровна (RU) ; правообладатель: Гуляева Карина Александровна (RU). - 1 л. - Опубл. 24.10.2023 г., Бюл. № 11. - Текст : непосредственный.

74. Свидетельство о государственной регистрации программы для ЭВМ № 2024610845 Российская Федерация. Интеллектуальная система определения реакционных способностей химических соединений : заявка № 2023688929 от

21.12.2023 г. : дата государственной регистрации в Реестре программ для ЭВМ

15.01.2024 г. / Федеральная служба по интеллектуальной собственности (РОСПАТЕНТ) ; автор(ы): Гуляева Карина Александровна (RU) ; правообладатель: Гуляева Карина Александровна (RU). - 1 л. - Опубл. 15.01.2024 г., Бюл. № 1. -Текст : непосредственный.

75. Скиена, С. Алгоритмы. Руководство по разработке / Стивен С. Скиена. - 2-е изд. - Санкт-Петербург : БХВ-Петербург, 2021. - 720 с. - ISBN 978-5-97750560-4. - Текст : непосредственный.

76. Фаддеев, Л.Д. Лекции по квантовой механике для студентов-математиков: учебное пособие / Л.Д. Фаддеев, О.А. Якубовский. - Изд. 3-е. -

Москва : ЛЕНАНД, 2017. - 200 с. - ISBN 978-5-9710-4600-4. - Текст : непосредственный.

77. Фатыхова, А.А. Предсказание пути синтеза лекарственных соединений и их аналогов / А.А. Фатыхова, Т.И. Маджидов, А. Варнек. - Текст : электронный // Сборник тезисов пленарных, ключевых, приглашенных, устных и стендовых докладов, представленных на Всероссийской конференции с международным участием "Идеи и наследие А.Е. Фаворского в органической химии", Санкт-Петербург, 3-6 июля 2023 г. - 2023. - С. 146. - URL: https://pureportal.spbu.ru/files/108471291/_2023.pdf (дата обращения: 05.05.2024). -Режим доступа: свободный.

78. Фейнман, Р. Фейнмановские лекции по физике : [в 6 томах и сборник упражнений]. Т.6. Квантовая механика / Ричард Фейнман, Роберт Лейтон, Мэтью Сэндс ; перевод с английского Г.И. Копылова ; под редакцией Я.А. Смородинского. - Москва : АСТ, 2021. - 528 с. - ISBN 978-5-17-135436-7. - Текст : непосредственный.

79. Финн, В.К. Аппарат понятий ДСМ-метода автоматизированной поддержки исследований / В.К. Финн. - Текст : непосредственный // Двадцать первая Национальная конференция по искусственному интеллекту с международным участием (КИИ-2023), Смоленск, 16-20 октября 2023 г. : труды конференции : в 2 томах. Т.1. - Смоленск : Принт-Экспресс, 2023. - 410 с. - ISBN 978-5-91812-231-0. - C. 30-32.

80. Финн, В.К. Искусственный интеллект: Методология, применения, философия / В.К. Финн ; научный редактор М.А. Михеенкова. - 2-е изд., испр. и доп. - Москва : ЛЕНАНД, 2021. - 468 с. - (Науки об искусственном ; № 36). - ISBN 978-5-9710-6266-0. - Текст : непосредственный.

81. Хёльтье, Х.-Д. Молекулярное моделирование: теория и практика / Х.- Д. Хёльтье, В. Зиппль, Д. Роньян, Г. Фолькерс. - 5-е изд. - Москва : Лаборатория знаний, 2020. - 322 с. - ISBN 978-5-00101-724-0. - Текст : электронный // ЭБС Znanium : [официальный сайт]. - URL:

https://znanium.com/catalog/product/1202050 (дата обращения: 11.05.2024). - Режим доступа: по подписке.

82. Цветников, В.А. Разработка и исследование методов создания компьютерной системы интеллектуальной поддержки решения задач физической химии в объеме университетского курса : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей" : диссертация на соискание ученой степени кандидата технических наук / Цветников Вадим Александрович ; Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук. - Владивосток, 2004. -209 с. - Библиогр.: с. 155-164. - Текст : непосредственный.

83. Шалфеева, Е.А. Методы, модели и технология обеспечения жизнеспособности интеллектуальных систем с декларативными базами знаний : специальность 2.3.5 "Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей" : диссертация на соискание ученой степени доктора технических наук / Шалфеева Елена Арефьевна ; Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук. - Владивосток, 2021. - 217 с. - Библиогр.: с. 201-216. - Текст : непосредственный.

84. Шарки, К.Л. Квантовая химия и квантовые вычисления с примерами на Python / К.Л. Шарки, А. Чанс ; перевод с английского к.ф.-м.н. П.В. Михеева. -Москва : ДМК Пресс, 2023. - 282 с. - ISBN 978-5-93700-162-7. - Текст : непосредственный.

85. Эляшберг, М.Е. Экспертные системы для установления структуры органических молекул спектральными методами / М.Е. Эляшберг. - DOI 10.1070/RC1999v068n07ABEH000516. - Текст : непосредственный // Успехи химии. - 1999. - Т. 68, № 7. - С. 579-604.

86. Artemieva, I.L. Nanomaterials Ontology Model / I.L. Artemieva, N.V. Ryabchenko. - DOI 10.4028/www.scientific.net/AMR.905.65. - Text : unmediated // Advanced Materials Research. - 2014. - Vol. 905. - P. 65-69.

87. Artemieva, I.L. Ontology development for domains with complicated structures / I.L. Artemieva. - DOI 10.1007/978-3-642-22140-8_12. - Text : unmediated // Lecture Notes in Computer Science. Knowledge Processing and Data Analysis. KPP 2007, KONT 2007 / editors: K.E. Wolff, D.E. Palchunov, N.G. Zagoruiko, U. Andelfinger. - 2011. - Vol. 6581. - P. 759-767.

88. Atomic Simulation Environment : ASE : [website] / Technical University of Denmark. - Kongens Lyngby, Denmark, 2002 - . - Last updated: 14 May 2024. - URL: https://wiki.fysik.dtu.dk/ase/about.html (Accessed: 14 May 2024). - Text. Program : electronic.

89. Babai, L. Computational complexity and the classification of finite simple groups / L. Babai, W.M. Kantor, E.M. Luks. - DOI 10.1109/SFCS.1983.10. - Text : electronic // Proceedings of the 24th Annual Symposium on Foundations of Computer Science (SFCS 1983), Tucson, AZ, USA, 7-9 November 1983. - 1983. - P. 162-171. -URL: https://ieeexplore.ieee.org/document/4568073 (Accessed: 9 May 2024). - Terms of availability: IEEE Xplore (university subscription).

90. Babai, L. Graph Isomorphism in Quasipolynomial Time [extended abstract] / Laszlo Babai ; University of Chicago (USA). - DOI 10.1145/2897518.2897542. - Text : electronic // 48th annual ACM symposium on Theory of Computing (STOC'16), Cambridge, MA, USA, 19-21 June 2016 : proceedings. - 2016. - P. 684-697. - URL: https://dl.acm.org/doi/10.1145/2897518.2897542 (Accessed: 7 May 2024). - Terms of availability: Association for Computing Machinery (ACM) digital library (university subscription).

91. Badiou, A. Being and Event / Alain Badiou ; translator Oliver Feltham. - 1st ed. - London : Continuum, 2006. - 560 p. - ISBN 978-0826458315. - Text : unmediated.

92. Badiou, A. Logics of Worlds: Being and Event, 2 / Alain Badiou ; translator Alberto Toscano. - 1st ed. - London : Continuum, 2009. - 640 p. - (Bloomsbury Revelations). - ISBN 978-1441172969. - Text : unmediated.

93. Badiou, A. Mathematics of the Transcendental / Alain Badiou ; translators: A.J Bartlett, A. Ling. - Reprint. ed. - London : Bloomsbury Academic, 2017. - 296 p. -ISBN 978-1474286459. - Text : unmediated.

94. Baskin, I. Building a Chemical Space Based on Fragment Descriptors / I. Baskin, A. Varnek ; Moscow State University (Russia) ; Université Louis Pasteur (Strasbourg, France). - DOI 10.2174/138620708785739907. - Text : unmediated // Combinatorial Chemistry & High Throughput Screening. - 2008. - Vol. 11, no. 8. -P. 661-668.

95. Bertalanffy, L. von. The Theory of Open Systems in Physics and Biology / Ludwig von Bertalanffy ; University of Ottawa (Canada). - DOI 10.1126/science.111.2872.23. - Text : unmediated // Science. - 1950. - Vol. 111, Issue 2872 - P. 23-29.

96. Bienfait, B. JSME: a free molecule editor in JavaScript / B. Bienfait, P. Ertl.

- DOI 10.1186/1758-2946-5-24. - Text : electronic // Journal of Cheminformatics. -2013. - Vol. 5, no. 24. - P. [1-6]. - URL: https://jcheminf.biomedcentral.com/articles/10.1186/1758-2946-5-24 (Accessed 9 May 2024). - Terms of availability: open access.

97. Biomedical Ontologies and Controlled Vocabularies : [website] / University of Michigan, Library. - Ann Arbor, MI, USA, 2018 - . - Last updated: 14 September 2022. - URL: https://guides.lib.umich.edu/ontology/ontologies (Accessed: 9 May 2024).

- Text : electronic.

98. BIOVIA Discovery Studio : [website] / Dassault Systèmes. - France, 2002

- . - URL: https://www.3ds.com/products/biovia/discovery-studio (Accessed: 14 May 2024). - Text : electronic.

99. Bonnici, V. A subgraph isomorphism algorithm and its application to biochemical data / V. Bonnici, R. Giugno, A. Pulvirenti [et al.]. - DOI 10.1186/1471-2105-14-S7-S13. - Text : electronic // BMC Bioinformatics. - 2013. - Vol. 14, Suppl. 7, S13. - P.1-13. - URL: https://bmcbioinformatics.biomedcentral.com/articles/10.1186/1471-2105-14-S7-S13 (Accessed 9 May 2024). - Terms of availability: open access.

100. Bootstrap : [website] / Bootstrap Team. - Updated daily. - URL: https://getbootstrap.com/ (Accessed: 14 May 2024). - Text. Program : electronic.

101. Bort, W. Discovery of novel chemical reactions by deep generative recurrent neural network / W. Bort, I.I. Baskin, T. Gimadiev [et al.] ; University of Strasbourg (France) ; Kazan Federal University (Russia) ; Hokkaido University (Sapporo, Japan) ; Technion - Israel Institute of Technology (Haifa, Israel). - DOI 10.1038/s41598-021-81889-y. - Text : electronic // Nature. Scientific Reports. - 2021. - Vol. 11, no. 3178.

- P. [1-15]. - URL: https://www.nature.com/articles/s41598-021-81889-y (Accessed: 9 May 2024). - Terms of availability: open access.

102. Brown, N. Artificial intelligence in chemistry and drug design / N. Brown, P. Ertl, R. Lewis [et al.] ; BenevolentAI (London, UK) ; Novartis Institutes for BioMedical Research (Basel, Switzerland) ; Syngenta (Stein, Switzerland) ; Koch Institute for Integrative Cancer Research and MIT-IBM Watson AI Lab (MA, USA) ; Harvard Medical School and Women's Hospital (Boston, MA, USA). - DOI 10.1007/s10822-020-00317-x. - Text : electronic // Journal of Computer-Aided Molecular Design. - 2020. - Vol. 34, no. 7. - P. 709-715. - URL: https://link.springer.com/article/10.1007/s10822-020-00317-x (Accessed: 9 May 2024).

- Terms of availability: Springer Link (university subscription).

103. CAS REGISTRY : [website] / American Chemical Society. - [Ohio, USA].

- Updated daily. - URL: https://www.cas.org/cas-data/cas-registry (Accessed: 9 May 2024). - Text : electronic.

104. CAS REGISTRY 100 Millionth Fun Facts : [website] / American Chemical Society. - [Ohio, USA]. - Updated daily. - URL: https://www.cas.org/support/documentation/chemical-substances/cas-registry-100-millionth-fun-facts (Accessed: 9 May 2024). - Text : electronic.

105. Chemaxon. Cheminformatics software for the next generation of scientists : [website]. - Updated daily. - URL: https://chemaxon.com/ (Accessed: 9 May 2024). -Text : electronic.

106. ChemSpider. Search and share chemistry : [website] / The Royal Society of Chemistry. - [London, UK]. - Updated daily. - URL: http://www.chemspider.com/ (Accessed: 9 May 2024). - Text : electronic.

107. CODESSA : [website] / CompuDrug. - [Miami Beach, FL, USA]. - Updated daily. - URL: https://compudrug.com/codessa_pro (Accessed: 9 May 2024). - Text : electronic.

108. Cordella, L.P. A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs / Luigi P. Cordella, Pasquale Foggia, Carlo Sansone, and Mario Vento ; Universita di Napoli Federico II (Italy), Universita di Salerno (Italy). - DOI 10.1109/TPAMI.2004.75. - Text : electronic // IEEE Transactions on Pattern Analysis and Machine Intelligence. - 2004. - Vol. 26, no. 10. - P. 1367-1372. - URL: https://ieeexplore.ieee.org/document/1323804 (Accessed: 9 May 2024). - Terms of availability: IEEE Xplore (university subscription).

109. CORINA Classic : [website] / developers: Altamira (Columbus, Ohio, USA), Molecular Networks (Nürnberg, Germany). - Erlangen, Germany, 1997 - . -Website updated daily. - URL: https://mn-am.com/products/corina/ (Accessed: 9 May 2024). - Text : electronic.

110. CP2K : [website] / CP2K Foundation: Universität Zürich (Switzerland), Universität Paderborn (Germany), PSI - Paul Scherrer Institut (Switzerland) [et al.]. -Zürich, Switzerland, 2015 - . - Website updated daily. - URL: https://www.cp2k.org/ (Accessed: 9 May 2024). - Text : electronic.

111. CTfile Formats. Standardizing Chemical Representation : [website] / Dassault Systèmes. - France, 2002 - . - URL: https://discover.3ds.com/ctfile-documentation-request-form (Accessed: 14 May 2024). - Text : electronic.

112. D'Aquin, M. Where to Publish and Find Ontologies? A Survey of Ontology Libraries / M. D'Aquin, N.F. Noy ; The Open University, Milton Keynes (UK), Stanford University (USA). - DOI 10.1016/j.websem.2011.08.005. - Text : electronic // Journal of Web Semantics. - 2012. - Vol. 11. - P. 96-111. - URL: https://www.sciencedirect.com/science/article/pii/S157082681100076X (Accessed: 8 May 2024). - Terms of availability: Elsevier ScienceDirect (university subscription).

113. Django REST framework : [website] / Encode OSS. - [UK], 2011 - . Updated daily. - URL: https://www.django-rest-framework.org/ (Accessed: 9 May 2024). - Text. Program : electronic.

114. Django. The web framework for perfectionists with deadlines : [website] / Django Software Foundation. - Updated daily. - URL: https://www.djangoproject.com/ (Accessed: 9 May 2024). - Text. Program : electronic.

115. Ebejer, J.-P. Freely Available Conformer Generation Methods: How Good Are They? / Jean-Paul Ebejer, Garrett M. Morris, and Charlotte M. Deane ; University of Oxford (UK), Oxford Centre for Innovation (UK). - DOI 10.1021/ci2004658. - Text : electronic // Journal of Chemical Information and Modeling. - 2012. - Vol. 52, Issue 5. - P. 1146-1158. - URL: https://pubs.acs.org/doi/epdf/10.1021/ci2004658 (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (university subscription).

116. Ertl, P. A Web Tool for Calculating Substituent Descriptors Compatible with Hammett Sigma Constants / P. Ertl ; Novartis Institutes for BioMedical Research (Basel, Switzerland). - DOI 10.1002/cmtd.202200041. - Text : electronic // Chemistry-Methods. - 2022. - Vol. 2, Issue 12. - P. [1-6]. - URL: https://chemistry-europe.onlinelibrary.wiley.com/doi/epdf/10.1002/cmtd.202200041 (Accessed: 9 May 2024). - Terms of availability: Wiley Online Library (open access).

117. Ertl, P. Chemical Reactivity Prediction: Current Methods and Different Application Areas / P. Ertl, G. Gerebtzoff, R. Lewis [et al.] ; Novartis Institutes for BioMedical Research (Basel, Switzerland). - DOI 10.1002/minf.202100277. - Text : electronic // Molecular Informatics. - 2022. - Vol. 41, no. 6. - P. [1-11]. - URL: https://onlinelibrary.wiley.com/doi/epdf/10.1002/minf.202100277 (Accessed: 7 May 2024). - Terms of availability: Wiley Online Library (university subscription).

118. Ertl, P. Systematic Cheminformatics Analysis of Functional Groups Occurring in Natural Products / P. Ertl, T. Schuhmann ; Novartis Institutes for BioMedical Research (Basel, Switzerland). - DOI 10.1021/acs.jnatprod.8b01022. - Text : electronic // Journal of Natural Products. - 2019. - Vol. 82, no. 5. - P. 1258-1263. -URL: https://pubs.acs.org/doi/epdf/10.1021/acs.jnatprod.8b01022 (Accessed: 2 May 2024). - Terms of availability: American Chemical Society Publications (university subscription).

119. Ertl, P. The Most Common Functional Groups in Bioactive Molecules and How Their Popularity Has Evolved over Time / Peter Ertl, Eva Altmann, and Jeffrey M. McKenna ; Novartis Institutes for BioMedical Research (Basel, Switzerland). - DOI 10.1021/acs.jmedchem.0c00754. - Text : electronic // Journal of Medicinal Chemistry. -2020. - Vol. 63, Issue 15. - P. 8408-8418. - URL: https://pubs.acs.org/doi/epdf/10.1021/acs.jmedchem.0c00754 (Accessed: 7 May 2024). -Terms of availability: American Chemical Society Publications (university subscription).

120. Feigenbaum, E.A. The art of artificial intelligence: Themes and case studies of knowledge engineering / Edward A. Feigenbaum. - Text : unmediated // 5th International Joint Conference on Artificial Intelligence (IJCAI'77), Cambridge, USA, 22-25 August 1977 : proceedings. - 1977. - Vol. 2. - P. 1014-1029.

121. Fiore, M. The Algebra of Directed Acyclic Graphs / Marcelo Fiore, Marco Devesas Campos ; University of Cambridge, Computer Laboratory. - DOI 10.1007/978-3-642-38164-5_4. - Text : unmediated // Lecture Notes in Computer Science. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky / editors: B. Coecke, L. Ong, and P. Panangaden. - 2013. - Vol. 7860. - P. 3751.

122. Fooshee, D.R. COBRA: a computational brewing application for predicting the molecular composition of organic aerosols / D.R. Fooshee, T.B. Nguyen, S.A. Nizkorodov [et al.]. - DOI 10.1021/es3003734. - Text : electronic // Environmental Science and Technology. - 2012. - Vol. 46, Issue 11. - P. 6048-6055. - URL: https://pubs.acs.org/doi/10.1021/es3003734 (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (university subscription).

123. Fujitsu ADMEWorks : [website] / SCUBE Scientific Software Solutions. -New Delhi, 2024 - . - URL: https://scubeindia.com/product/fujitsu-admeworks/ (Accessed 10 May 2024). - Text : electronic.

124. Gardiner, E.J. Perspectives on Knowledge Discovery Algorithms Recently Introduced in Chemoinformatics: Rough Set Theory, Association Rule Mining, Emerging Patterns, and Formal Concept Analysis / Eleanor J. Gardiner, Valerie J. Gillet. - DOI 10.1021/acs.jcim.5b00198. - Text : electronic // Journal of Chemical Information and

Modeling. - 2015. - Vol. 55, Issue 9. - P. 1781-1803. - URL: https://pubs.acs.org/doi/10.1021/acs.jcim.5b00198 (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (open access).

125. Gasteiger, J. Chemoinformatics : A Textbook / Johann Gasteiger, Thomas Engel ; University of Erlangen-Nürnberg (Federal Republic of Germany). - Weinheim, Karlsruhe, Federal Republic of Germany : Wiley-VCH, 2003. - 671 p. - ISBN 3-52730681-1. - Text : unmediated.

126. Gaussian. Expanding the limits of computational chemistry : [website]. -Connecticut, USA, 2015 - . - Last updated: 23 January 2023. - URL: https://gaussian.com/ (Accessed: 7 May 2024). - Text : electronic.

127. Golenkov, V.V. Associative semantic computers for intelligent computer systems of a new generation / V. Golenkov, D. Shunkevich, N. Gulyakina [et al.] ; BSUIR (Minsk, Belarus). - Text : unmediated // Open Semantic Technologies for Intelligent Systems : Research Papers Collection / editorial board: V.V. Golenkov (editor-in-chief), I.S. Azarov, V.A. Golovko [et al.]. - Minsk : BSUIR, 2023. - Issue 7. - ISSN 2415-7740 (print). - P. 39-60.

128. Göller, A.H. Editorial special issue on "Quantum Mechanics in Industry" / Andreas H. Göller ; Bayer Pharma AG (Germany). - DOI 10.1007/s10822-021-00373-x. - Text : electronic // Journal of Computer-Aided Molecular Design. - 2021. - Vol. 35, no. 4. - P. 397-398. - URL: https://link.springer.com/article/10.1007/s10822-021-00373-x (Accessed: 1 May 2024). - Terms of availability: Springer Link (university subscription).

129. GPAW: DFT and beyond within the projector-augmented wave method : [website] / Technical University of Denmark. - Kongens Lyngby, Denmark, 2007 - . -Last updated: 7 May 2024. - URL: https://wiki.fysik.dtu.dk/gpaw/ (Accessed: 8 May 2024). - Text. Program : electronic.

130. Gribova, V. The methods and the IACPaaS Platform tools for semantic representation of knowledge and development of declarative components for intelligent systems / V. Gribova, A. Kleschev, Ph. Moskalenko [et al.] ; IACP FEB RAS (Vladivostok, Russia). - Text : unmediated // Open Semantic Technologies for Intelligent

Systems (OSTIS-2019), Minsk, 21-23 February 2019 : conference proceedings / editorial board: V.V. Golenkov (editor-in-chief) [et al.]. - Minsk : BSUIR, 2019. - Issue 3. -P. 21-24.

131. Gribova, V. The Technology for Development of Decision-Making Support Services with Components Reuse / V. Gribova, A. Kleschev, Ph. Moskalenko [et al.] ; IACP FEB RAS (Vladivostok, Russia). - DOI 10.1007/978-3-030-12082-5_1. - Text : unmediated // Advances in Artificial Systems for Medicine and Education II. AIMEE2018. Advances in Intelligent Systems and Computing. - 2020. - Vol. 902. -P. 3-13.

132. GROMACS : [website] / project leaders: Berk Hess, Erik Lindahl ; Kungliga Tekniska Högskolan (KTH-Royal Institute of Technology) ; Stockholm University. -Stockholm, Sweden, 2022 - . - Updated daily. - URL: https://www.gromacs.org/ (Accessed: 9 May 2024). - Text : electronic.

133. Gruber, T.R. A translation approach to portable ontology specifications / Thomas R. Gruber ; Stanford University. - DOI 10.1006/knac.1993.1008. - Text : electronic // Knowledge Acquisition. - 1993. - Vol. 5, no. 2. - P. 199-220. - URL: https://www.sciencedirect.com/science/article/pii/S1042814383710083 (Accessed: 8 May 2024). - Terms of availability: Elsevier ScienceDirect (open archive).

134. Guarino, N. An Ontology of Meta-Level Categories / Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta. - DOI 10.1016/B978-1-4832-1452-8.50121-4. - Text : electronic // Proceedings of the Fourth International Conference (KR '94). -1994. - (Morgan Kaufmann. The Morgan Kaufmann Series in Representation and Reasoning). - P. 270-280. - URL: https://www.sciencedirect.com/science/article/abs/pii/B9781483214528501214 (Accessed: 8 May 2024). - Terms of availability: Elsevier ScienceDirect (university subscription).

135. Gulyaeva, K.A. An overview of software and knowledge-representation models used in biochemical research / K.A. Gulyaeva. - Text : electronic // The 5th annual student scientific conference in English, Vladivostok, 21-24 May 2018 : conference proceedings. - Vladivostok : Far Eastern Federal University, 2018. - 141 p. -

ISBN 978-5-7444-4316-0. - P. 97-100. - URL: https://www.elibrary.ru/item.asp?id=37618348 (дата обращения: 20.04.2024). - Режим доступа: Научная электронная библиотека eLIBRARY.RU.

136. Gulyaeva, K.A. Applied logics to develop ontology model of the complex-structured domains: organic chemistry and biochemistry / K.A. Gulyaeva, I.L. Artemieva. - DOI 10.1007/978-3-030-21726-6_7. - Text : unmediated // Lecture Notes in Computational Vision and Biomechanics. - 2020. - Vol. 32. - P. 71-81.

137. Gulyaeva, K.A. Concept System Formalization: Ontology Models in Organic Chemistry Intelligent System Design and Development / K.A. Gulyaeva, I.L. Artemieva. - DOI 10.1109/SIBIRC0N48586.2019.8958217. - Text : electronic // 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russia, 21-27 October 2019 : proceedings. - 2019. - P. 0928-0933. - URL: https://ieeexplore.ieee.org/document/8958217 (Accessed: 9 May 2024). - Terms of availability: IEEE Xplore (university subscription).

138. Gulyaeva, K.A. Intelligent system for organic compound reaction capacity identification / K.A. Gulyaeva. - Text : electronic // The 6th annual student scientific conference in English, Vladivostok, 27-31 May 2019 : proceedings. - Vladivostok : Far Eastern Federal University, 2019. - 173 p. - ISSN 2686-9454. - P. 119-122. - URL: https://elibrary.ru/item.asp?id=43172848 (дата обращения: 20.04.2024). - Режим доступа: Научная электронная библиотека eLIBRARY.RU.

139. Gulyaeva, K.A. Knowledge-representation models in biochemical research / K.A. Gulyaeva. - Текст : электронный // Дни науки : cборник материалов научно-практической конференции студентов, аспирантов и молодых ученых, Владивосток, 16 апреля-11 мая 2018 г. В 3 частях. Ч. 2. Материалы Школы биомедицины, Школы искусств и гуманитарных наук, Инженерной школы, Восточного института - Школы региональных и международных исследований, Школы педагогики ДВФУ. - Владивосток : Издательство Дальневосточного федерального университета, 2018. - 526 с. - ISBN 978-5-7444-4345-0. C. 230-231. -URL: https://www.elibrary.ru/item.asp?id=36606102 (дата обращения: 20.04.2024). -Режим доступа: Научная электронная библиотека eLIBRARY.RU.

140. Gulyaeva, K.A. Ontology models in intelligent system engineering: A case of the knowledge-intensive application domain / K.A. Gulyaeva, I.L. Artemieva. - DOI 10.1007/978-3-030-33274-7_8. - Text : unmediated // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Artificial Intelligence. - 2019. - Vol. 11866. - P. 127-139.

141. Gulyaeva, K.A. Reaction Capacity Identification Problem: Is There Any Way to Formalize Scientific Knowledge and Automate Reasoning so that Intelligent Systems Can Solve It? / K.A. Gulyaeva, I.L. Artemieva. - DOI 10.1007/978-981-16-6309-3_72. - Text : unmediated // Lecture Notes in Networks and Systems. Intelligent Sustainable Systems. - 2022. - Vol. 333. - P. 759-767.

142. Gulyaeva, K.A. The Ontological Approach in Organic Chemistry Intelligent System Development / K.A. Gulyaeva, I.L. Artemieva. - DOI 10.1007/978-981-32-9343-4_7. - Text : unmediated // Advances in Intelligent Systems and Computing. - 2020. - Vol. 1027. - P. 69-78.

143. Heyndrickx, W. MELLODDY: Cross-pharma Federated Learning at Unprecedented Scale Unlocks Benefits in QSAR without Compromising Proprietary Information / W. Heyndrickx, L. Mervin, T. Morawietz [et al.]. - DOI 10.1021/acs.jcim.3c00799. - Text : electronic // Journal of Chemical Information and Modeling. - 2024. - Vol. 64, Issue 7. - P. 2331-2344. - URL: https://pubs.acs.org/doi/10.1021/acs.jcim.3c00799 (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (open access).

144. Irwin, J. ZINC20 - A Free Ultralarge-Scale Chemical Database for Ligand Discovery / John J. Irwin, Khanh G. Tang, Jennifer Young [et al.]. - DOI 10.1021/acs.jcim.0c00675. - Text : electronic // Journal of Chemical Information and Modeling. - 2020. - Vol. 60, Issue 12. - P. 6065-6073. - URL: https://pubs.acs.org/doi/10.1021/acs.jcim.0c00675 (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (open access).

145. John, B.E. The GOMS family of user interface analysis techniques: comparison and contrast / Bonnie E. John, David E. Kieras. - DOI 10.1145/235833.236054. - Text : electronic // ACM Transactions on Computer-Human

Interaction. - 1996. - Vol. 3, Issue 4. - P. 320-351. - URL: https://dl.acm.org/doi/10.1145/235833.236054 (Accessed: 7 May 2024). - Terms of availability: Association for Computing Machinery (ACM) digital library (open access).

146. Kang, S. ACE-Molecule: An open-source real-space quantum chemistry package / Sungwoo Kang, Jeheon Woo, Jaewook Kim [et al.]. - DOI 10.1063/5.0002959.

- Text : electronic // The Journal of Chemical Physics / American Institute of Physics (AIP) Publishing. - 2020. - Vol. 152, Issue 12. - P. 124110-1 - 124110-14. - URL: https://pubs.aip.org/aip/jcp/article/152/12/124110/954955/ACE-Molecule-An-open-source-real-space-quantum (Accessed: 7 May 2024). - Terms of availability: open access.

147. Kleschev, A.S. A Concept of Software Shell for Interactive Mathematical Proof Verification Systems / A.S. Kleschev, Ph.M. Moskalenko, V.A. Timchenko. - Text : electronic // Short Paper Proceedings of the V International Conference on Information Technologies and High-Performance Computing (ITHPC 2019), Khabarovsk, Russia, 16-19 September 2019 : CEUR Workshop proceedings / editors: Sergey I. Smagin, Alexander A. Zatsarinnyy ; Russian Academy of Sciences. - 2019. - Vol. 2426. - ISSN 1613-0073. - P. 153-160. - URL: https://ceur-ws.org/Vol-2426/ (Accessed: 7 May 2024). - Terms of availability: CEUR-WS.org (open access).

148. Kleshchev, A. A mathematical apparatus for domain ontology simulation. An extendable language of applied logic / Alexander Kleshchev, Irene Artemjeva. - Text : electronic // International Journal "Information Theories and Applications". - 2005. -Vol. 12, no. 2. - ISSN 1313-0463. - P.149-157. - URL: http://sci-gems.math.bas.bg/jspui/handle/10525/796 (Accessed: 7 May 2024). - Terms of availability : open access.

149. Knowledge Interchange Format (KIF) as an RDF Schema : [website] / W3C.

- Last modified: 25 June 1998. - URL: https://www.w3.org/2000/07/hs78/KIF.html (Accessed: 7 May 2024). - Text : electronic.

150. Kuznetsov, S.O. On Stability of a Formal Concept / Sergei O. Kuznetsov. -DOI 10.1007/s10472-007-9053-6. - Text : electronic // Annals of Mathematics and Artificial Intelligence. - 2007. - Vol. 49. - P. 101-115. - URL:

https://link.springer.com/article/10.1007/s10472-007-9053-6 (Accessed: 9 May 2024). -Terms of availability: Springer Link (university subscription).

151. Lehtola, S. Free and open source software for computational chemistry education / Susi Lehtola, Antti J. Karttunen. - DOI 10.1002/wcms.1610. - Text : electronic // WIREs Computational Molecular Science. - 2022. - Vol. 12, Issue 5. - P. 1-33. - URL: https://wires.onlinelibrary.wiley.com/doi/10.1002/wcms.1610 (Accessed: 9 May 2024). - Terms of availability: Wiley Online Library (open access).

152. Lindsay, R.K. Applications of artificial intelligence for organic chemistry. The DENDRAL Project / Robert K. Lindsay, Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg. - New York, USA : McGraw-Hill [et al.], 1980. -203 p. - ISBN 0-07-037895-9. - Text : unmediated.

153. Lindsay, R.K. DENDRAL: a case study of the first expert system for scientific hypothesis formation / Robert K. Lindsay, Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg. - DOI 10.1016/0004-3702(93)90068-M. - Text : unmediated // Artificial Intelligence. - 1993. - Vol. 61, Issue 2. - P. 209-261.

154. Lozano, S. Introduction of Jumping Fragments in Combination with QSARs for the Assessment of Classification in Ecotoxicology / S. Lozano, G. Poezevara, M.- P. Halm-Lemeille [et al.]. - DOI 10.1021/ci100092x. - Text : electronic // Journal of Chemical Information and Modeling. - 2010. - Vol. 50, Issue 8. - P. 1330-1339. - URL: https://pubs.acs.org/doi/abs/10.1021/ci100092x (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (university subscription).

155. Luks, E. Isomorphism of graphs of bounded valence can be tested in polynomial time / Eugene M. Luks. - DOI 10.1109/SFCS.1980.24. - Text : electronic // Proceedings of the 21st Annual Symposium on Foundations of Computer Science (SFCS 1980), Syracuse, NY, USA, 13-15 October 1980. - 1980. - P. 42-49. - URL: https://ieeexplore.ieee.org/document/4567803 (Accessed: 9 May 2024). - Terms of availability: IEEE Xplore (university subscription).

156. McKay, B.D. Practical graph isomorphism, II / Brendan D. McKay, Adolfo Piperno. - DOI 10.1016/j.jsc.2013.09.003. - Text : electronic // Journal of Symbolic Computation. - 2014. - Vol. 60. - P. 94-112. - URL:

https://www.sciencedirect.com/science/article/pii/S0747717113001193 (Accessed: 8 May 2024). - Terms of availability: Elsevier ScienceDirect (open archive).

157. Metivier, J.-Ph. Discovering Structural Alerts for Mutagenicity Using Stable Emerging Molecular Patterns / J.-Ph. Metivier, A. Lepailleur, A. Buzmakov [et al.]. - DOI 10.1021/ci500611v. - Text : electronic // Journal of Chemical Information and Modeling. - 2015. - Vol. 55, Issue 5. - P. 925-940. - URL: https://pubs.acs.org/doi/10.1021/ci500611v (Accessed: 7 May 2024). - Terms of availability: American Chemical Society Publications (university subscription).

158. Molbase : [website]. - Shanghai, China, 2013 - . - Updated daily. - URL: https://www.molbase.com/ (Accessed: 9 May 2024). - Text : electronic.

159. NAMD. Scalable Molecular Dynamics : [website] / University of Illinois at Urbana-Champaign, Theoretical and Computational Biophysics Group. - Illinois, USA, 2006 - . - Last modified: 26 February 2024. - URL: https://www.ks.uiuc.edu/Research/namd/ (Accessed: 9 May 2024). - Text : electronic.

160. NIST Chemistry WebBook : [website] / U.S. Department of Commerce, National Institute of Standards and Technology. - [USA]. - Last major update to the site: January, 2023. - URL: https://webbook.nist.gov/chemistry/ (Accessed: 9 May 2024). -Text : electronic.

161. Novel oligonucleotide with application in mRNA vaccine quality control gets 250 millionth CAS Registry Number : [website] / American Chemical Society. -[Ohio, USA]. - Updated daily. - URL: https://www.cas.org/resource/blog/250-million-registry (Accessed 25 October 2023). - Terms of availability : registered users. - Text : electronic.

162. Open Biological and Biomedical Ontology Foundry : OBO : [website] / Robert Arp, Barry Smith [et al.]. - 2007 - . - Updated daily. - URL: https://obofoundry.org/ (Accessed: 9 May 2024). - Text : electronic.

163. OWL 2 Web Ontology Language. Structural Specification and Functional-Style Syntax (Second Edition). W3C Recommendation 11 December 2012 : [website] / W3C. - 2012 - . - URL: https://www.w3.org/TR/owl2-syntax/ (Accessed 10 May 2024). - Text : electronic.

164. Patai, S. PATAI'S Chemistry of Functional Groups : book series : [86 classic volumes in print (printed 1964-1995), represented within 83 online volumes ; 26 ePatai volumes (1995- )] / Saul Patai. - 1964 - . - London : John Wiley & Sons [et al.], 1964 - . - 86 printed volumes + 109 online volumes. - About this book series: URL: https://onlinelibrary.wiley.com/series/1078 (Accessed 9 May 2024). - ISSN 20425651 (series online). - DOI 10.1002/SERIES1078 (series). - Text : unmediated + Text : electronic.

165. PostgreSQL: The World's Most Advanced Open Source Relational Database : [website] / The PostgreSQL Global Development Group. - [University of California, Berkeley, USA], 1996 - . - Website updated daily. - URL: https://www.postgresql.org/ (Accessed: 9 May 2024). - Text. Program : electronic.

166. Pressman, R.S. Software Engineering: A Practitioner's Approach / Roger S. Pressman, Bruce R. Maxim. - 9th ed. - USA : McGraw-Hill, 2019. - 704 p. - ISBN 978-1259872976. - Text : unmediated.

167. PubChem : [website] / National Institutes of Health, National Library of Medicine. - [MD, USA], 2004 - . - Website updated daily. - URL: https://pubchem.ncbi.nlm.nih.gov/ (Accessed: 8 May 2024). - Text : electronic.

168. Quantum Espresso : [website] / Quantum Espresso Foundation. - Website updated daily. - URL: https://www.quantum-espresso.org/ (Accessed: 8 May 2024). -Text : electronic.

169. Quantum Toolbox in Python : QuTiP [website] / original toolbox developers: Paul Nation (IBM), Robert Johansson (Tokyo, Japan). - [S. l.], 2011 - . -Website updated daily. - URL: https://qutip.org/ (Accessed: 8 May 2024). - Text : electronic.

170. Rakhimbekova, A. Cross-validation strategies in QSPR modelling of chemical reactions / A. Rakhimbekova, T.N. Akhmetshin, G.I. Minibaeva [et al.]. - DOI 10.1080/1062936X.2021.1883107. - Text : electronic // SAR and QSAR in Environmental Research. - 2021. - Vol. 32, Issue 3. - P. 207-219. - URL: https://www.tandfonline.com/doi/full/10.1080/1062936X.2021.1883107 (Accessed: 7 May 2024). - Terms of availability: Taylor and Francis Online (university subscription).

171. RDF 1.2 Concepts and Abstract Syntax. W3C Working Draft 02 May 2024 : [website] / W3C ; editors: Olaf Hartig, Pierre-Antoine Champin, Gregg Kellogg, Andy Seaborne. - 2004 - . - URL: https://www.w3.org/TR/rdf12-concepts/ (Accessed 10 May 2024). - Text : electronic.

172. Reaxys : [website] / Elsevier. - Website updated daily. - URL: http://www.reaxys.com (Accessed: 8 May 2024). - Terms of availability : Elsevier subscription. - Text : electronic.

173. Reaxys : an expert-curated chemistry database : [website] / Elsevier. -Website updated daily. - URL: https://www.elsevier.com/solutions/reaxys (Accessed: 8 May 2024). - Terms of availability : open access. - Text : electronic.

174. Romero, A.H. ABINIT: overview and focus on selected capabilities / A.H. Romero, D.C. Allan, B. Amadon [et al.]. - DOI 10.1063/1.5144261. - Text : electronic // The Journal of Chemical Physics / American Institute of Physics (AIP) Publishing. - 2020. - Vol. 152, Issue 12. - P. 124102-1 - 124102-25. - URL: https://pubs.aip.org/aip/jcp/article/152/12/124102/953753/ABINIT-Overview-and-focus-on-selected-capabilities (Accessed: 7 May 2024). - Terms of availability : open access.

175. SciFinder : [website] / American Chemical Society. - [Ohio, USA]. -Updated daily. - URL: http://scifinder.cas.org (Accessed: 9 May 2024). - Text : electronic.

176. Simple HTML Ontology Extensions : SHOE : [website] / University of Maryland at College Park, Department of Computer Science (MD, USA). - URL: http://www.cs.umd.edu/projects/plus/SHOE/ (Accessed: 8 May 2024). - Terms of availability : open access. - Text : electronic.

177. Smith, Daniel G.A. PSI4 1.4: Open-source software for high-throughput quantum chemistry / Daniel G.A. Smith, Lori A. Burns, Andrew C. Simmonett [et al.]. -DOI 10.1063/5.0006002. - Text : electronic // The Journal of Chemical Physics / American Institute of Physics (AIP) Publishing. - 2020. - Vol. 152, Issue 18. - P. 1841081 - 184108-21. - URL: https://pubs.aip.org/aip/jcp/article/152/18/184108/972964/PSI4-

1-4-Open-source-software-for-high-throughput (Accessed: 7 May 2024). - Terms of availability : open access.

178. SPRESI : [website] / InfoChem. - München, Germany. - Updated daily. -URL: https://www.spresi.com/ (Accessed: 9 May 2024). - Text : electronic.

179. SQLite : [website] / SQLite Consortium. - [USA], 2000 - . - Updated daily. - URL: https://www.sqlite.org/index.html (Accessed: 9 May 2024). - Text. Program : electronic.

180. Tancogne-Dejean, N. Octopus, a computational framework for exploring light-driven phenomena and quantum dynamics in extended and finite systems / N. Tancogne-Dejean, M. J.T. Oliveira, X. Andrade [et al.]. - DOI 10.1063/1.5142502. -Text : electronic // The Journal of Chemical Physics / American Institute of Physics (AIP) Publishing. - 2020. - Vol. 152, Issue 12. - P. 124119-1 - 124119-32. - URL: https://pubs.aip.org/aip/jcp/article/152/12/124119/954926/Octopus-a-computational-framework-for-exploring (Accessed: 7 May 2024). - Terms of availability : open access.

181. The Merck Index Online : [website] / Merck ; The Royal Society of Chemistry. - [London, UK]. - Last updated: 8th May 2024. - URL: https://merckindex.rsc.org/ (Accessed: 9 May 2024). - Text : electronic.

182. The Python-based Simulations of Chemistry Framework : PySCF : [website] / The PySCF Developers. - 2015 - . - Updated daily. - URL: https://pyscf.org/ (Accessed: 9 May 2024). - Text. Program : electronic.

183. Thompson, A.P. LAMMPS - a flexible simulation tool for particle-based materials modeling at the atomic, meso, and continuum scales / A.P. Thompson, H.M. Aktulga, R. Berger [et al.]. - DOI 10.1016/j.cpc.2021.108171. - Text : electronic // Computer Physics Communications. - 2022. - Vol. 271, no. 108171. - P.1-34. - URL: https://www.sciencedirect.com/science/article/pii/S0010465521002836 (Accessed: 9 May 2024). - Terms of availability: Elsevier ScienceDirect (open archive).

184. Ullmann, J.R. An algorithm for subgraph isomorphism / J.R. Ullmann. -DOI 10.1145/321921.321925. - Text : electronic // Journal of the ACM. - 1976. - Vol. 23, Issue 1. - P. 31-42. - URL: https://dl.acm.org/doi/10.1145/321921.321925

(Accessed: 7 May 2024). - Terms of availability: Association for Computing Machinery (ACM) digital library (open access).

185. Web Protégé : [website] / Stanford University, Biomedical Informatics Research Group (BMIR) ; Natalya F. Noy, Mark A. Musen [et al.]. - 2013 - . - URL: https://webprotege.stanford.edu/ (Accessed 10 May 2024). - Terms of availability : registered users. - Text. Program : electronic.

186. Wheeler, William A. PyQMC: An all-Python real-space quantum Monte Carlo module in PySCF / William A. Wheeler, Shivesh Pathak, Kevin G. Kleiner [et al.]. - DOI 10.1063/5.0139024. - Text : electronic // The Journal of Chemical Physics / American Institute of Physics (AIP) Publishing. - 2023. - Vol. 158, Issue 11. -P. 114801-1 - 114801-10. - URL: https://pubs.aip.org/aip/jcp/article/158/11/114801/2881766/PyQMC-An-all-Python-real-space-quantum-Monte-Carlo (Accessed: 7 May 2024). - Terms of availability : open access.

187. Worldwide Protein Data Bank : PDB : [website] / wwPDB Foundation ; wwPDB members: Protein Data Bank Japan, Biological Magnetic Resonance Data Bank, Electron Microscopy Data Bank, Protein Data Bank in Europe, Research Collaboratory for Structural Bioinformatics Protein Data Bank. - [Brookhaven National Laboratory, NY, USA], [1971] - . - Website updated daily. - URL: http://www.wwpdb.org/ (Accessed: 9 May 2024). - Text : electronic.

188. Xu, Q. M-SPARC: MATLAB-Simulation package for Ab-initio Real-space Calculations / Qimen Xu, Abhiraj Sharma, Phanish Suryanarayana. - DOI 10.1016/j.softx.2020.100423. - Text : electronic // SoftwareX. - 2020. - Vol. 11, no. 100423. - P. 1-6. - URL: https://www.sciencedirect.com/science/article/pii/S2352711019303966/ (Accessed: 7 May 2024). - Terms of availability: Elsevier ScienceDirect (open access).

189. Xu, Q. SPARC: Simulation Package for Ab-initio Real-space Calculations / Qimen Xu, Abhiraj Sharma, Benjamin Comer [et al.]. - DOI 10.1016/j.softx.2021.100709. - Text : electronic // SoftwareX. - 2021. - Vol. 15, no. 100709. - P. 1-8. - URL:

https://www.sciencedirect.com/science/article/pii/S2352711021000546 (Accessed: 7 May 2024). - Terms of availability: Elsevier ScienceDirect (open access).

190. Zagorulko, Y. Information-Analytical System to Support the Solution of Compute-Intensive Problems of Mathematical Physics on Supercomputers / Y. Zagorulko, G. Zagorulko, A. Snytnikov [et al.]. - DOI 10.1007/978-3-030-86359-3_33. - Text : unmediated // Lecture Notes in Computer Science. Parallel Computing Technologies : 16th International Conference (PaCT 2021), Kaliningrad, Russia, 13-18 September 2021 : conference proceedings / editor V. Malyshkin. - 2021. - Vol. 12942. -P. 434-444.

ПРИЛОЖЕНИЕ A (обязательное) Логическая модель метаонтологии систем. Уровень 3

(продолжение)

В настоящем приложении содержится продолжение логической модели метаонтологии систем L3. Основная часть модели представлена в главе 3. Далее нумерация пунктов соответствует главе 3: A.[пункт главы 3].

A.3.1.2 Определения конструкторов третьего уровня (продолжение)

Далее представлены вспомогательные термины для конструкторов функций и предикатов метапонятий и сами конструкторы.

A.3.1.2.2 Конструкторы функций и предикатов метапонятий (продолжение)

Далее следуют конструкторы сортов функций и предикатов метапонятий. Перед указанными конструкторами приведены некоторые вспомогательные термины модели и определения макросов.

Вспомогательные термины для конструкторов функций и предикатов

метапонятий (продолжение)

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

SM[L3]_145. Множества дополнительного аргумента = (Х(пате: Заданные названия метапонятий) |(t: Стандартные значения U Названия глобальных вспомогательных понятий U Все локальные вспомогательные понятия по заданному названию метапонятия(паше)) symbol(t)})

SM[L3]_146. Множества дополнительного аргумента с булеанами = (Х(пате: Заданные названия метапонятий) {(type: Множества дополнительного аргумента(паше)) ["{}"] // type})

SM[L3]_147. Множество типов дополнительного аргумента = (Х(пате: Заданные названия метапонятий) (U (п: 1[1; го)) Множества дополнительного аргумента(паше) ft п))

Комментарий: одним из элементов данного множества может быть следующий кортеж <["R"], ["Тип гибридизации"], ["I"]>

SM[L3]_148. Множество типов дополнительного аргумента с булеанами = (Х(пате: Заданные названия метапонятий) (U (п: I[1; œ}) (Множества дополнительного аргумента(пате) U Множества дополнительного аргумента с булеанами(пате)) ft п))

Комментарий: одним из элементов данного множества может быть следующий кортеж <["{}R"], ["{}Тип гибридизации"], ["I"]>

SM[L3]_149. Множество возможных значений компоненты аргумента = (Х(пате: Заданные названия метапонятий) (U(st: Стандартные значения) st) U (U(a: Названия глобальных вспомогательных понятий U Все локальные вспомогательные понятия по заданному названию метапонятия(пате)) j(a)) U (U(sysElem: МСУ(паше)) j(sysElem}))

Комментарий: "Множество возможных значений компоненты аргумента" является вспомогательным понятием, обозначающим функцию, которая по названию метапонятия конструирует множество возможных значений, которые могут принимать фактические

аргументы функции, построенной конструктором с префиксом "_СДА". Каждый фактический

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

Определения макросов (продолжение)

Начало определений макросов находится в п. 3.1.2.2 главы 3 настоящей работы.

Иных макросов нет.

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

Далее представлены определения конструкторов функций метапонятий (№2- 8 группы I табл. 2.2). Конструктор функций метапонятий №1 группы I находится в п. 3.1.2.2.1 главы 3 настоящей работы.

SM[L3]_150. ФУНКЦИЯ_ШНСТРУКТОР_БУСП16_БДА17__ШКЗ27 = (À(meta: Заданные названия метапонятий без учета сквозных понятий) (Компоненты: Множество кортежей типов возвращаемых значений) ({(structSet: ({}(iarg ^ I[1, д(МСУ(meta))], argCorrespond ^ Функции нумерации систем узла(meta), componentArg ^ I[1,œ), argSysInst ^ (U(sysElem: МСУ(meta)) j(sysElem}))\{0])) |

27 МЭКЗ = каждой системе (в общем случае - любому аргументу) БуБ соответствует N экземпляров системы (в общем случае - экземпляров значений аргумента). Здесь N Е 1[1, ю) [для го должны быть учтены ограничения аппаратной системы].

^(structSet) > ^^CY^eta)) & (U(d: structSet) {iarg(d)}) = I[1, ^(МСУ(теГа))] & (&(p: structSet) argSysInst(p) E j(argCorrespond(iarg(p)))) &

(&(first:structSet)(sec: structSet\{first}) argCorrespond(first) = argCorrespond(sec)) & (&(i:I[1,^(МCУ(meta))])(U(k:{(s:structSet)iarg(s)=i}){componentArg(k)})=I[1,^({(s: structSet)iarg(s)=i})]&(&(first:{(s:structSet)iarg(s)=i})(sec:{(s:structSet)iarg(s)=i}\{ first })componentArg(first)^ componentArg(sec)&argSysInst(first)^ argSysInst(sec))) /*Проверка того, что каждый аргумент с одинаковым номером iarg имеет разное значение componentArg. Этих номеров столько, сколько всего структур с одинаковым значением iarg, который, в свою очередь, предназначен для отдельной системы узла метапонятия, e.g., структуры, приведенные далее, предназначены для двух аргументов, соответствующих системе "Атом", если множество ее экземпляров = {H, He, Li, Be,...}: (iarg = 1, componentArg = 1, argSysInst = H), (iarg = 1, componentArg = 2, argSysInst = Li) */ } ^ #macro MAC_1_ResultSet(#MV_Comp# = Компоненты) macro#))

SM[L3]_151. ФУНКЦИЯ_КОНСТРУКТОР__БУСП16__СДА28__1ЭКЗ18 = (A(meta: Заданные названия метапонятий без учета сквозных понятий) (addArgum: Множество типов дополнительного аргумента(meta)) (Компоненты: Множество кортежей типов возвращаемых значений) ({(structSet: ({}(iarg ^ I[1, д(МCУ(meta)) + length(addArgum)], argCorrespond ^ Функции нумерации систем узла(meta), typeArg ^ TYPE_ARG, arglnst ^ Множество возможных значений компоненты аргумента(meta))\{0})) |

structSet) = д(МCУ(meta)) + length(addArgum) & (U(p: structSet) {iarg(p)}) = I[1, д(МCУ(meta)) + length(addArgum)] & (&(first: structSet)(sec: structSet\{first}) argCorrespond(first) = argCorrespond(sec)) & ^({(s: structSet) typeArg(s) = System}) = д(МCУ(meta)) & /*Количество структур (или фактических аргументов функции, принадлежащей сорту, построенному в результате применения данного конструктора) в множестве structSet, у которых значением атрибута typeArg является System, должно быть равно lMCY(meta)l. */ (U(d: {(s: structSet) typeArg(s) = System}) {iarg(d)}) = I[1, д(МCУ(meta))] & length(addArgum) = д({(d: structSet) typeArg(d) = AddTerm}) + д({(d: structSet) typeArg(d) = Standard}) & (&(num: I[1, д(МCУ(meta))]) arglnst(i(d: structSet) iarg(d) = пит) E }(argCorrespond(iarg(i(d: structSet) iarg(d) = num.))) & typeArg(i(d: structSet) iarg(d) = пит) = System) &

(&(numNext: I[д(МCУ(meta)) + 1, д(МCУ(meta)) + length(addArgum)])

28 СДА = с дополнительными аргументами

((symbolReverse(n(numNext - ^(MCY(meta)), addArgum)) E Стандартные значения) ^ (arglnst(i(d: structSet) iarg(d) = numNext) E symbolReverse(n(numNext - ^(MCY(meta)), addArgum))) & (typeArg(i(d: structSet) iarg(d) = numNext) = Standard)) & ((symbolReverse(n(numNext - ^(MCY(meta)), addArgum)) E Названия вспомогательных понятий) ^ (arglnst(i(d: structSet) iarg(d) = numNext) E j(symbolReverse(n(numNext -^(MCY(meta)), addArgum))) & (typeArg(i(d: structSet) iarg(d) = numNext) = AddTerm))) } ^ #macro MAC_1_ResultSet(#MV_Comp# = Компоненты) macro#))

SM[L3]_152. ФУНЩИЯ_КОНСТРУКТОР_БУСП16_СДА28__ШКЗ27 = (À(meta: Заданные названия метапонятий без учета сквозных понятий) (addArgum: Множество типов дополнительного аргумента с булеанами(meta)) (Компоненты: Множество кортежей типов возвращаемых значений) ({(structSet: ({}(iarg I[1, ^(MCY(meta)) +

length(addArgum)], argCorrespond ^ Функции нумерации систем узла(meta), componentArg ^ I[1,^), typeArg ^ TYPE_ARG, arginst ^ Множество возможных значений компоненты аргyмента(meta))\{0})) |

structSet) > ^(MCY(meta)) + length(addArgum) & (U(d: structSet) {iarg(d)}) = I[1, ^(MCY(meta)) + length(addArgum)] & (&(first: structSet)(sec: structSet\{first}) argCorrespond(first) = argCorrespond(sec)) & д({(s: structSet) typeArg(s) = System}) > ^.(MCY(meta)) & /* Количество структур (или фактических аргументов функции, принадлежащей сорту, построенному в результате применения данного конструктора) в множестве structSet, у которых значением атрибута typeArg является System, должно быть больше либо равно \№Cy(meta)Y*/ (U(d: {(s: structSet) typeArg(s) = System}) {iarg(d)}) = I[1, ^(MCY(meta))] & length(addArgum)< д({(k:structSet)typeArg(k) = AddTerm})+^({(k:structSet)typeArg(k)= Standard}) & structSet) = д({(d: structSet) typeArg(d) = System}) + д({(d: structSet) typeArg(d) = AddTerm}) + д({(d: structSet) typeArg(d) = Standard}) & (&(num: I[1, ^(MCY(meta))]) (&(s: {(p: structSet) iarg(p) = пит}) arglnst(s) E j(argCorrespond(iarg(s))) & typeArg(s) = System) & (&(first: {(fc: structSet) iarg(k) = num})(sec: {(d: structSet) iarg(d) = num}\{first}) componentArg(first) Ф componentArg (sec) & arglnst(first) Ф arglnst(sec)) &

(U(s:{(fc:struct5et)iar^(fc)=nurn}){cornponent^r^(s)})=I[1,^({(p:struct5et)iar^(p)=nurn})])& (&(numNext: I[^(MCY(meta)) + 1, ^(MCY(meta)) + length(addArgum)]) (first(n(numNext - ^(MCY(meta)), addArgum)) Ф ["{}"] ^

д({(k:structSet)iarg(k)=numNext})=1&componentArg(i(k:structSet)iarg(k)=numNext)=1& (symbolReverse(n(numNext - ^(MCY(meta)), addArgum)) E Стандартные значения ^

(arglnst(i(d: structSet) iarg(d) = numNext) E symbolReverse(n(numNext - ^(МCУ(meta)), addArgum))) & typeArg(i(d: structSet) iarg(d) = numNext) = Standard) & (symbolReverse(n(numNext - д(МCУ(meta)), addArgum)) E Названия вспомогательных понятий ^ (arglnst(i(d: structSet) iarg(d) = numNext) E j(symbolReverse(n(numNext -^(МCУ(meta)), addArgum)))) & typeArg(i(d: structSet) iarg(d) = numNext) = AddTerm)) & (first(n(numNext - д(МCУ(meta)), addArgum)) = ["{}"] ^

д({(р: structSet) iarg(p) = numNext}) >1 & (U(s: {(d: structSet) iarg(d) = numNext}) {componentArg(s)}) = I[1, д({(d: structSet) iarg(d) = numNext})] & (V(first: {(k: structSet) iarg(k) = numNext}) (sec: {(p: structSet) iarg(p) = numNext}\{first}) componentArg(first) Ф componentArg (sec) & arglnst(first) ^ arglnst(sec)) &

(symbolReverse(tail(n(numNext - д(МCУ(meta)), addArgum))) E ^андартные значения ^ (V(s: {(p: structSet) iarg(p) = numNext}) (arglnst(s) E symbolReverse(tail(n(numNext -д(МCУ(meta)), addArgum)))) & typeArg(s) = Standard)) &

(symbolReverse(tail(n(numNext - д(МCУ(meta)), addArgum))) E Названия вспомогательных понятий ^ (V(s: {(p: structSet) iarg(p) = numNext}) arglnst(s) E j(symbolReverse(tail(n(numNext - д(МCУ(шeta)), addArgum)))) & typeArg(s) = AddTerm))))} ^ #macro MAC_1_ResultSet(#MV_Comp# = Компоненты) macro#))

SM[L3]_153. ФYНКЦИЯ_КОНCТРYКТОР_CУCП29_БДА17_1ЭКЗ18 =

(A(meta: Заданные названия метапонятий с учетом сквозных понятий) (Компоненты: Множество кортежей типов возвращаемых значений) ({(structSet: ({}(iarg ^ I[1, д(МCУ(шeta)) + ^^C^meta))], argCorrespond ^ Функции нумерации систем узла(meta), argCorrespondOuterConcept ^ Функции нумерации сквозных понятий узла(meta), typeArg ^ {System, Outer Concept}, arglnst ^ (U(s:МCУ(meta)) j^U^zMC^meta)) j(z)))\{0})) | structSet) = д(МCУ(meta)) + ^^C^meta)) & /*Количество структур (или фактических аргументов функции, принадлежащей сорту, построенному в результате применения данного конструктора) в множестве structSet должно быть равно сумме количеств систем узла метапонятия и количеств сквозных понятий метапонятия. На каждую систему узла метапонятия приходится ровно по одной структуре (по одному фактическому аргументу), равно как и на каждое сквозное понятие. */

(U(d: structSet) {iarg(d)}) = I[1, д(МCУ(meta)) + ^^C^rneta))] &

(&(first: structSet)(sec: structSet\{first}) argCorrespond(first) = argCorrespond(sec) & argCorrespondOuterConcept (first) = argCorrespondOuterConcept (sec)) &

29 СУСП = С учетом сквозных понятий. Сквозными понятиями могут быть время, температура, давление, энергия и др., предполагающиеся существующими в ПрО вне зависимости от существования систем и их экземпляров.

(&(s: {(d: structSet) iarg(d) E I[1, ^(MCY(meta))]}) typeArg(s) = System & arglnst(s) E (U(sys: MCY(meta)) j(sys)) & arglnst(s) E j(argCorrespond(iarg(s)))) & (&(z: {(d: structSet) iarg(d) E I[u(MCY(meta)) + 1, ^(MCY(meta)) + ^(MCn(meta))]}) typeArg(z) = OuterConcept & arglnst(z) E (U(g: MCn(meta)) j(g)) & arglnst(z) E j(argCorrespondOuterConcept(iarg(z)))) /*Для любого сквозного понятия существует структура в множестве structSet типа OuterConcept, у которой значение атрибута arglnst является элементом множества, указанного как тип значения данного сквозного понятия, а значение атрибута iarg - это целое от количества систем узла метапонятия + 1 (включительно) до количества систем узла метапонятия + количество сквозных понятий (включительно).*/ } ^ #macro MAC_1_ResultSet(#MV_Comp# = Компоненты) macro#))

SM[L3]_154. ФУНЩИЯ_КОНСТРУКТОР_СУСП29_БДА17__ШКЗ27 = (Á(meta: Заданные названия метапонятий с учетом сквозных понятий) (Компоненты: Множество кортежей типов возвращаемых значений) ({(structSet: ({}(iarg ^ I[1, д(МСУ (meta)) + ^(MCn(meta))], componentArg ^ I[1, от), argCorrespond ^ Функции нумерации систем узла(meta), argCorrespondOuterConcept ^ Функции нумерации сквозных понятий узла(meta), typeArg ^ {System, OuterConcept}, arglnst ^ (U(sysElem: MCY(meta)) j(sysElem)) U (U(outerConceptElem: MCn(meta)) j(outerConceptElem))) \{0})) |

structSet) > ^(MCY(meta)) + ^(MCn(rneta)) & (U(d: structSet) {iarg(d)}) = I[1, ^(MCY(meta)) + ^(MCn(rneta))] &

(&(ft :structSet)(sec:structSet\{ft}) argCorrespond(ft) = argCorrespond(sec) &

argCorrespondOuterConcept (ft) = argCorrespondOuterConcept(sec)) &

(&(s: {(d: structSet) iarg(d) E I[1, ^(MCY(meta))]}) typeArg(s) = System & arglnst(s) E

(U(sys: MCY(meta)) j(sys)) & arglnst(s) E j(argCorrespond(iarg(s)))) &

(&(z: {(d: structSet) iarg(d) E I[u(MCY(meta)) + 1, ^(MCY(meta)) + ^(MCn(meta))]})

typeArg(z) = OuterConcept & arglnst(z) E (U(m: MCn(meta)) j(m)) & arglnst(z) E

j(argCorrespondOuterConcept(iarg(z)))) &

(&(í: I[1, ^(MCY (meta)) + ^(MCn(rneta))])(U(d: {(s: structSet) iarg(s) = i}) {componentArg(d)}) = I[1, д({(t: structSet) iarg(t) = i})] & (&(ft: {(m: structSet) iarg(m) = i}) (sec: {(p: structSet) iarg(p) = i}\{ft}) componentArg (ft) Ф componentArg (sec) & arglnst(ft) Ф arglnst(sec))) /* Соглашения о componentArg, если значения iarg совпадают.*/ } ^ #macro MAC_1_ResultSet(#MV_Comp# = Компоненты) macro#))

SM[L3]_155. ФУНКЦИЯ_КОНCТРУКТОР__CYCП29__CДА28__1ЭКЗ18 = (A(meta: Заданные названия метапонятий с учетом сквозных понятий) (addArgum: Множество типов дополнительного аргумента(meta)) (Компоненты: Множество кортежей типов

возвращаемых значений) ({(structSet: ({}(iarg I[1, д(МCУ (meta)) + д(МCП(meta)) + length(addArgum)], argCorrespond ^ Функции нумерации систем узла(meta), argCorrespondOuterConcept ^ Функции нумерации сквозных понятий узла(meta), typeArg ^ TYPE_ARG U {OuterConcept}, arglnst ^ Множество возможных значений компоненты аргумента(meta) U (U(m: МCП(meta)) j(m))) \{0})) |

structSet) = ^(МCУ(meta)) + ^^C^meta)) + length(addArgum) & structSet) = д({(d: structSet) typeArg(d) = System}) + д({(d: structSet) typeArg(d) = OuterConcept}) + д({(d: structSet) typeArg(d) = AddTerm}) + д({(d: structSet) typeArg(d) = Standard}) & /* Количество структур (или фактических аргументов функции, принадлежащей сорту, построенному в результате применения данного конструктора) в множестве structSet равно сумме количеств структур типов System (структуры, выражающие собой аргументы, представляющие собой экземпляры систем узла метапонятия), OuterConcept (структуры, выражающие собой аргументы, представляющие собой значения сквозных понятий для узла метапонятия), AddTerm (структуры, выражающие собой аргументы, представляющие собой значения глобальных и/или локальных вспомогательных понятий), Standard (структуры, выражающие собой аргументы, представляющие собой какие-то из стандартных значений). Для каждого из формальных параметров типов System, OuterConcept, AddTerm, Standard количество фактических параметров равно 1. */

(U(d: structSet) {iarg(d)}) = I[1, ^(МCУ(meta)) + ^(МCП(meta)) + length(addArgum)] &

(&(ft: structSet)(sec: structSet\{ft}) argCorrespond(ft) = argCorrespond(sec) &

argCorrespondOuterConcept (ft) = argCorrespondOuterConcept(sec)) &

(&(s: {(d: structSet) iarg(d) E I[1, д(МCУ(meta))]}) typeArg(s) = System & arglnst(s) E

(U(elem: МCУ(meta)) j(elem)) & arglnst(s) E j(argCorrespond(iarg(s)))) &

(&(t: {(d: structSet) iarg(d) E I[д(МCУ(meta)) + 1, д(МCУ(meta)) + ^^C^meta))]})

typeArg(t) = OuterConcept & arglnst(t) E (U(m: МCП(meta)) j(m)) & arglnst(t) E

j(argCorrespondOuterConcept(iarg(t)))) &

(&(numNext: I[д(МCУ(meta)) + ^^C^rneta)) + 1, д(МCУ(meta)) + ^^C^rneta)) + length(addArgum)]) (symbolReverse(n(numNext - д(МCУ(шeta)) - ^^C^meta)), addArgum)) E Огандартные значения ^ arglnst(i(d: structSet) iarg(d) = numNext) E symbolReverse(n(numNext - ^(МCУ(meta)) - ^^C^meta)), addArgum)) & typeArg(i(d: structSet) iarg(d) = numNext) = Standard) & (symbolReverse(n(numNext - д(МCУ(meta)) - ^^C^meta)), addArgum)) E Названия вспомогательных понятий ^ arglnst(i(d: structSet) iarg(d) = numNext) E j(symbolReverse(n(numNext - д(МCУ(шeta)) - ^^C^meta)), addArgum)) & typeArg(i(d: structSet) iarg(d) = numNext) = AddTerm))

} ^ #macro MAC_1_ResultSet(#MV_Comp# = Компоненты) macro#))

SM[L3]_156. ФYНКЦИЯ_КОНCТРYКТОР__CУCП29__CДА28__NЭКЗ27 = (A(meta: Заданные названия метапонятий с учетом сквозных понятий) (addArgum: Множество типов дополнительного аргумента с булеанами(meta)) (Компоненты: Множество кортежей типов возвращаемых значений) ({(structSet: ({}(iarg ^ I[1, д(МCУ (meta)) + ^(МCП(meta)) + length(addArgum)], argCorrespond ^ Функции нумерации систем узла(meta), argCorrespondOuterConcept ^ Функции нумерации сквозных понятий узла(meta), typeArg ^ TYPE_ARG U {OuterConcept}, componentArg ^ I[1,ro), arglnst ^ Множество возможных значений компоненты аргумента(meta) U (U(m: МCП(шeta)) j(m))) \{0})) |

structSet) > ^(МCУ(meta)) + д(МCП(шeta)) + length(addArgum) & structSet) = д({(d: structSet) typeArg(d) = System}) + д({(d: structSet) typeArg(d) = OuterConcept}) + д({(d: structSet) typeArg(d) = AddTerm}) + д({(d: structSet) typeArg(d) = Standard}) & (U(d: structSet) {iarg(d)}) = I[1, д(МCУ(шeta)) + ^^C^meta)) + length(addArgum)] & (&(/t: structSet)(sec: structSet\{ft}) argCorrespond(ft) = argCorrespond(sec) & argCorrespondOuterConcept (ft) = argCorrespondOuterConcept(sec)) & (&(s: {(d: structSet) iarg(d) E I[1, д(МCУ(шeta))]}) typeArg(s) = System & arglnst(s) E j(argCorrespond(iarg(s)))) & д({(р: structSet) typeArg(p) = System}) > ^(МCУ(meta)) & (U(d: {(s: structSet) typeArg(s) = System}) {iarg(d)}) = I[1, д(МCУ(meta))] & (&(z: {(d: structSet) iarg(d) E I[д(МCУ(meta)) + 1, д(МCУ(meta)) + ^^C^meta))]}) typeArg(z) = OuterConcept & arglnst(z) E j(argCorrespondOuterConcept(iarg(z)))) & ^({(z: structSet) typeArg(z) = OuterConcept}) > ^(МCП(meta)) & (U(d: {(t: structSet) typeArg(t) = OuterConcept}) {iarg(d)}) = I[д(МCУ(шeta)) + 1, д(МCУ(meta)) + ^^C^rneta))] & (&(a: {(d: structSet) iarg(d) E I[p,(МCУ(meta)) + ^^C^rneta)) + 1, д(МCУ(шeta)) + ^^C^meta)) + length(addArgum)]}) typeArg(a) E {AddTerm, Standard}) & д({(а: structSet) typeArg(a) E {AddTerm, Standard}}) > length(addArgum) & (U(d: {(a: structSet) typeArg(a) E {AddTerm, Standard}}) {iarg(d)}) = I[д(МCУ(meta)) + ^^C^meta)) + 1, д(МCУ(meta)) + ^^C^meta)) + length(addArgum)] &

(&(numNext: I[д(МCУ(шeta)) + ^^C^rneta)) + 1, д(МCУ(шeta)) + ^^C^rneta)) + length(addArgum)])

(first(n(numNext - д(МCУ(meta)) - ^^C^meta)), addArgum)) Ф ["{}"] ^ ^({(d: structSet) iarg(d) = numNext}) = 1 & (symbolReverse(n(numNext - д(МCУ(шeta)) -^^C^meta)), addArgum)) E ^^дарт^ю значения ^ arglnst(i(d: structSet) iarg(d) = numNext) E symbolReverse(n(numNext - д(МCУ(шeta)) - ^^C^meta)), addArgum)) & typeArg(i(d: structSet) iarg(d) = numNext) = Standard) & (symbolReverse(n(numNext -

д(МCУ(meta)) - p(МCП(meta)), addArgum)) E Названия вспомогательных понятий ^ arglnst(i(d: structSet) iarg(d) = numNext) E j(symbolReverse(n(numNext - д(МCУ(meta))

- ^^Gn^meta)), addArgum))) & typeArg(i(d: structSet) iarg(d) = numNext) = AddTerm)) & (first(n(numNext - д(МCУ(meta)) - ^^COmeta)), addArgum)) = ["{}"] ^

д({(d: structSet) iarg(d) = numNext}) > 1 & (symbolReverse(tail(n(numNext -д(МCУ(meta)) - ^^C^meta)), addArgum))) E Стандартные значения ^ (V(s: {(d: structSet) iarg(d) = numNext}) arglnst(s) E symbolReverse(tail(n(numNext - д(МCУ(meta)) -^^C^meta)), addArgum))) & typeArg(s) = Standard)) & (symbolReverse(tail(n(numNext

- д(МCУ(meta)) - ^^C^meta)), addArgum))) E Названия вспомогательных понятий ^ (V(s: {(d: structSet) iarg(d) = numNext}) arglnst(s) E j(symbolReverse(tail(n(numNext -д(МCУ(meta)) - ^^COmeta)), addArgum)))) & typeArg(s) = AddTerm)))) &

(&(t: I[1, д(МСУ (meta)) + ^^C^meta)) + length(addArgum)])

(U(d: {(p: structSet) iarg(p) = i}) {componentArg(d)}) = I[1, ^({(s: structSet) iarg(s) = i})] & (&(/t: {(st: structSet) iarg(st) = i}) (sec: {(st: structSet) iarg(st) = i}\{ft}) componentArg(ft) ^ componentArg (sec) & arglnst(ft ) ^ arglnst(sec))) } ^ #macro JMAC_/_JResw/tôei(#MV_Comp# = Компоненты) macro#))

Комментарий: "ФУНКЦИЯ_КОНCТРУКТОР__CУCП__CДА__NЭКЗ" является конструктором для функций [с учетом сквозных понятий (присутствуют аргументы, соответствующие сквозным понятиям) и с дополнительными аргументами (в их роли выступают локальные и глобальные вспомогательные понятия, а также стандартные значения10)] с переменным числом параметров (число параметров определяется метапонятием, имя которого является первым аргументом конструктора). Каждый формальный параметр функции соответствует определенной системе узла, описываемого метапонятием, имя которого является первым аргументом конструктора, одному из вспомогательных понятиев, одному из стандартных значений10 или одному из сквозных понятий. Каждый фактический параметр функции, построенной данным конструктором, является экземпляром определенной системы узла метапонятия, значением какого-то вспомогательного понятия, элементом множества стандартных значений10, значением одного из сквозных понятий. Допустимо не ограниченное число фактических параметров (при учете аппаратных ограничений). Третьим аргументом конструктора является кортеж, компоненты которого - области возвращаемых значений. Результат применения конструктора - полностью заданный сорт функции.

A.3.1.2.2.2 Конструкторы предикатов метапонятий, обязательными аргументами которых являются экземпляры систем

Конструкторы предикатов метапонятий №9-16 группы II (табл. 2.2) идентичны соответствующим их названиям конструкторам функций метапонятий №1 -8 группы I, за исключением того, что каждая компонента возвращаемого значения функции, построенной конструктором, должна быть указана явно. Далее определен конструктор предиката №9 группы II, идентичный конструктору функций №1 группы I (табл. 2.2). Все остальные конструкторы предикатов группы II определяются аналогичным образом.

SM[L3]_157. ПРЕДИКАТ_КОНCТРУКТОР_БУCП16_БДА17_1ЭКЗ18 = (A(meta: Заданные названия метапонятий без учета сквозных понятий) ({(structSet: ({}(iarg ^ I[1, д(МCУ(meta))], argCorrespond ^ Функции нумерации систем узла(meta), argSysInst ^ (U(sysElem: МCУ(meta)) j(sysElem)))\{0})) |

structSet) = д(МCУ(meta)) & (U(d: structSet) {iarg(d)}) = I[1, д(МCУ(шeta))] & (&(d: structSet) argSysInst(d) E j(argCorrespond(iarg(d)))) & (&(ft: structSet)(sec: structSet\{ft}) argCorrespond(ft) = argCorrespond(sec))} ^ L U{udf}))

Комментарий: "ПРЕДИКАТ_КОНCТРYКТОР__БУCП__БДА__1ЭКЗ" является конструктором для предикатов [без учета сквозных понятий (отсутствуют аргументы, соответствующие сквозным понятиям) и без дополнительных аргументов] с переменным числом параметров (число параметров определяется метапонятием, имя которого является аргументом конструктора). Результат применения конструктора - полностью заданный сорт предиката.

Другие конструкторы определяются аналогичным образом, поэтому далее не приводятся.

189

ПРИЛОЖЕНИЕ В (обязательное)

Логическая модель метаонтологии систем. Уровень 2 (фрагмент)

В настоящем приложении содержится фрагмент логической модели метаонтологии систем уровня 2, или модель онтологии химических соединений и их электронных свойств как систем сложной структуры. Данная ПрО является подобластью ПрО определения реакционных способностей химических соединений. Модель может быть иной при задании обогащения уровня 3 с какими-то отличиями. Представлен фрагмент. Фрагмент базы знаний модели находится в Приложении С. Далее нумерация пунктов соответствует главе 3: В.[пункт главы 3].

В.3.1.1 Определение значений параметров

Номера далее соответствуют номерам в модели метаонтологии систем (модели онтологии уровня 3).

В.3.1.1.2 Параметры, связанные с заданием систем

8М[Ь2]_1. Системы = {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция}

В. 3.1.1.3 Параметры, связанные с заданием структурных типов систем

8М[Ь2]_2. Структурный тип системы = (Я(5у5: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (зуэ Е {Электрон, Протон, Нейтрон} ^ Е), (зуз Е {Электронная оболочка атома, Ядро атома, Атом, Электронная оболочка химического соединения, Химическое соединение} ^ Б), (зуз = Функциональная группа ^ Б), (зуз = Химическая реакция ^ Р) /)

В.3.1.1.4 Параметры, связанные с заданием внутреннего устройства систем

8М[Ь2]_3. Прямые подсистемы = (А(р: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (V Е {Электрон, Протон, Нейтрон} ^ 0), (V Е {Электронная оболочка атома, Электронная оболочка химического соединения} ^ {Электрон}), (V = Ядро атома ^ {Протон, Нейтрон}), (V = Атом ^ {Электронная оболочка атома, Ядро атома}), (V = Функциональная группа ^ {Атом}), (V = Химическое соединение ^ {Функциональная группа, Атом, Электронная оболочка химического соединения}), (V = Химическая реакция ^ {Химическое соединение}) /) SM[L2]_4. Подсистемы = (Л(у: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (V Е {Электрон, Протон, Нейтрон} ^ 0), (V Е {Электронная оболочка атома, Электронная оболочка химического соединения} ^ {Электрон}), (V = Ядро атома ^ {Протон, Нейтрон}), (р = Атом ^ {Ядро атома, Протон, Нейтрон, Электронная оболочка атома, Электрон}), (р = Функциональная группа ^ {Атом, Ядро атома, Протон, Нейтрон, Электронная оболочка атома, Электрон}), (V = Химическое соединение {Функциональная группа, Атом, Ядро атома, Протон, Нейтрон, Электронная оболочка атома, Электрон, Электронная оболочка химического соединения}), (V = Химическая реакция ^ {Химическое соединение, Функциональная группа, Атом, Ядро атома, Протон, Нейтрон, Электронная оболочка атома, Электрон, Электронная оболочка химического соединения} ) /)

SM[L2]_5. Внутренние подсистемы = (Л(у: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (V Е {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Электронная оболочка химического соединения } ^ 0), (V = Атом ^ {Протон, Нейтрон, Электрон}), (р Е {Функциональная группа, Химическое соединение} ^ {Электронная оболочка атома, Ядро атома, Электрон, Протон, Нейтрон}), (V = Химическая реакция ^ { Функциональная группа, Атом, Электронная оболочка химического соединения, Электронная оболочка атома, Ядро атома, Электрон, Протон, Нейтрон} ) /)

SM[L2]_6. Прямые надсистемы = (А(р: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (V = Электрон ^ {Электронная оболочка атома, Электронная оболочка химического соединения}), (V Е {Протон, Нейтрон} ^ {Ядро атома}), (V Е {Электронная оболочка атома, Ядро атома} ^ {Атом}), (V = Атом ^ {Функциональная группа, Химическое соединение}), (V Е {Функциональная группа, Электронная оболочка химического соединения} ^ {Химическое

соединение}), (v = Химическое соединение ^ {Химическая реакция}), (v = Химическая реакция ^ 0) /)

SM[L2]_7. Надсистемы = (A(v: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (v = Электрон ^ {Электронная оболочка атома, Атом, Функциональная группа, Химическое соединение, Химическая реакция, Электронная оболочка химического соединения}), (v Е {Протон, Нейтрон} ^ {Ядро атома, Атом, Функциональная группа, Химическое соединение, Химическая реакция}), (v = Электронная оболочка атома ^ {Атом, Функциональная группа, Химическое соединение, Химическая реакция}), (v = Ядро атома ^ {Атом, Функциональная группа, Химическое соединение, Химическая реакция}), (v = Атом ^ {Функциональная группа, Химическое соединение, Химическая реакция}), (v Е {Функциональная группа, Электронная оболочка химического соединения} ^ {Химическое соединение, Химическая реакция}), (v = Химическое соединение ^ {Химическая реакция}), (v = Химическая реакция ^ 0) /)

SM[L2]_8. Внешние надсистемы = (A(v: {Электрон, Протон, Нейтрон, Электронная оболочка атома, Ядро атома, Атом, Функциональная группа, Электронная оболочка химического соединения, Химическое соединение, Химическая реакция})

/ (v Е {Протон, Нейтрон, Электрон} ^ {Атом, Функциональная группа, Химическое соединение, Химическая реакция}), (v Е {Электронная оболочка атома, Ядро атома} ^ {Функциональная группа, Химическое соединение, Химическая реакция}), (v Е {Атом, Электронная оболочка химического соединения, Функциональная группа} ^ {Химическая реакция}), (v Е {Химическое соединение, Химическая реакция} ^ 0) /)

B. 3.1.1.5 Параметры, связанные с заданием процессов

, (( process = Химическая реакция ч^ч ,

SM[L2] 9. Роли в процессе = (A(v: v )})/

1 J— r v v (.\airectProcessSubsys = Химическое соединениеJ))

, i process = Химическая реакция ч - _ „ T(.

(v = (j ^n г u ) ^ {Субстрат, Реагент, Продукт, Катализатор,

v \airectProcessSubsys = Химическое соединение) 1 J r ' ' r J ' г'

Растворитель, Побочный продукт}) /)

SM[L2]_10. Максимальное число состояний процесса = (A(v: {Химическая реакция})

/ (у = Химическая реакция ^ 20) /)

B.3.1.1.6 Параметры, связанные с заданием допустимых количеств

экземпляров систем

SM[L2]_11. MIN допустимое количество экземпляров подсистем = (A(v:

«Название системы = Химическое соединениел Название прямой подсистемы = Атом /'

/ Название системы = Химическое соединение, \

^Название прямой подсистемы = Электронная оболочка химического соединения)'

i Название системы = Атом, N

^Название прямой подсистемы = Электронная оболочка атома)'

i Название системы = Атом, N

^Название прямой подсистемы = Ядро атома)'

(Название системы = Электронная оболочка химического соединенияЛ ( Название прямой подсистемы = Электрон )'

(Название системы = Электронная оболочка атомаЛ i Название системы = Ядро атома, N

( Название прямой подсистемы = Электрон )' ^Название прямой подсистемы = Протону

/ Название системы = Химическая реакция, \

( Название системы = Ядро атома, \/„ „ „ \

(,, ,, „ ) (Название прямой подсистемы = Химическое соединение,)

\Название прямой подсистемы = Нейтрон/\ ,, „ „ /

V Название роли подсистемы = Субстрат )

(Название системы = Химическая реакция, \

Название прямой подсистемы = Химическое соединение, ), Название роли подсистемы = Реагент )

(Название системы = Химическая реакция, \

Название прямой подсистемы = Химическое соединение, ), Название роли подсистемы = Продукт )

(Название системы = Химическая реакция, \

Название прямой подсистемы = Химическое соединение, ), Название роли подсистемы = Катализатор )

(Название системы = Химическая реакция, \

Название прямой подсистемы = Химическое соединение, ), Название роли подсистемы = Растворитель )

(Название системы = Химическая реакция, \ \\

Название прямой подсистемы = Химическое соединение, )} ) Название роли подсистемы = Побочный продукт J)J

Ну е

/ Название системы = Химическая реакция, \

(( Название системы = Ядро атома, \ ,, „ „ \

,, „ ),(Название прямой подсистемы = Химическое соединение,), (ЛНазвание прямой подсистемы = Нейтрон/\ ,, ,„ /

V Название роли подсистемы = Катализатор )

(Название системы = Химическая реакция, \

Название прямой подсистемы = Химическое соединение, ), Название роли подсистемы = Растворитель )

(Название системы = Химическая реакция, \ \

Название прямой подсистемы = Химическое соединение,)} ^ 0), (v £

Название роли подсистемы = Побочный продукт J)

/ Название системы = Химическая реакция, \

(( Название системы = Ядро атома, \ ,, „ „ \

,, „ ),(Название прямой подсистемы = Химическое соединение,), (^Название прямой подсистемы = Нейтрон/\ ,, ,„ /

V Название роли подсистемы = Катализатор )

(Название системы = Химическая реакция, \

Название прямой подсистемы = Химическое соединение,), Название роли подсистемы = Растворитель )

(Название системы = Химическая реакция, \ \

Название прямой подсистемы = Химическое соединение,)} ^ 1) /) Название роли подсистемы = Побочный продукт J)

SM[L2]_12. MAX допустимое количество экземпляров подсистем = (A(v:

Название системы = Химическое соединение, Название прямой подсистемы = Атом

Название системы = Химическое соединение, ^Название прямой подсистемы = Электронная оболочка химического соединения),

Название системы = Атом, (Название прямой подсистемы = Электронная оболочка атома),

Название системы = Атом, ^Название прямой подсистемы = Ядро атома),

Название системы = Электронная оболочка химического соединения, ( Название прямой подсистемы = Электрон ),

Название системы = Электронная оболочка атома, ( Название прямой подсистемы = Электрон ),

Название системы = Химическая реакция,

Название системы = Ядро атома, ( ,, ,, „ ) (Название прямой подсистемы = Химическое соединение,]

Название прямой подсистемы = Нейтрон

V Название роли подсистемы = Субстрат )

(Название системы = Химическая реакция, Название прямой подсистемы = Химическое соединение, Название роли подсистемы = Реагент