Разработка и исследование логистических методов моделирования поведения сложных систем
Full Name of the work head: Калимолдаев М.Н.
Исполнители проекта: Кулпешов Б.Ш.*
: Институт проблем информатики и управления
Inventory number: 0213РК00673
Registration number: 0112РК00318
Keywords: Сложные системы*
Доказана сводимость расширенных запросов к ограниченным над слабо частично о-минимальной областью определения баз данных, имеющей конечную ширину. Введен класс слабо о-минимальных гибридных систем, исследованы его свойства и доказана конечность бисимуляций. Изучены свойства слабо циклически минимальных циклически упорядоченных групп, которые могут служить универсумом реляционных баз данных и упорядоченных гибридных систем. Рассмотрены элементарные теории абелевых групп с выделенной подгруппой. Предложена методика оценки качества программных средств, базирующаяся на использовании категории качества и метрик программ.*