Микони С.В. - все книги автора. Издательство Лань

Решение задачи на компьютере связано с применением моделей, представленных на разных языках, начиная с естественного и кончая языком программирования. Во избежание дорогостоящего программирования разрабатываются специализированные инструментальные системы (ИнС), рассчитанные на решение классов задач. В связи с этим основное внимание в книге уделено языкам описания модели задачи, начиная с естественного языка и заканчивая языком ИнС. Естественный язык используется не только для формулирования содержательной постановки задачи, но и для создания онтологической модели предметной области. Особое место занимает язык предикатов первого порядка (ЯППП), используемый для логического анализа данных и условий задачи. Алгебраическая система как модель ЯППП используется в роли языка системного анализа задачи. Высокая общность и простота этого языка имеет следствием компактное представление большого объёма условий сложной задачи в их взаимосвязи. Использование естественного и искусственных языков демонстрируется созданием формальных моделей задач многомерного оценивания объектов на сквозном примере оценивания беспилотных летательных аппаратов. В качестве инструментальной системы рассматривается система выбора и ранжирования СВИРЬ-М, предназначенная для решения класса задач многомерного оценивания объектов.
Материал рекомендован при подготовке аспирантов по научной специальности «Системный анализ, управление и обработка информации» и может быть использован студентами, обучающимися по направлению «Системный анализ и управление», в частности, при изучении дисциплин «Теория принятия решений», «Системный анализ и принятие решений», а также может быть полезен научным работникам, занятым в сфере исследования, проектирования и управления сложными объектами.

Из разнообразных задач принятия решений выделены задачи верхнего уровня управления, к которым относятся задачи отбора, выбора, ранжирования, классификации и последовательного поиска альтернатив, характеризуемых некоторой совокупностью показателей. На основе аксиом предпочтений ЛПР устанавливается взаимосвязь между моделями многомерного оценивания (ММО), разработанными в рамках разных теорий. Исследуются свойства оценочных функций показателей. Их систематизация позволяет связать различные методы ММО, включая методы диагностики. Проектирование моделей ММО основано на применении закономерностей системного анализа. Рассматриваются свойства матриц парных сравнений. Описываются формальные модели групповых предпочтений. Дается архитектура программной системы выбора и ранжирования СВИРЬ, использованной для расчёта ряда приводимых в книге примеров.
Материал книги рассчитан на изучение дисциплины «Теория принятия решений» студентами и аспирантами, обучающимися по направлению «05.13.01 Системный анализ, управление и обработка информации». Он также может быть полезен специалистам в области управления и информационных технологий.

В учебном пособии большое внимание уделено изучению свойств матрицы парных сравнений, как модели, непосредственно связывающей предпочтения ЛПР и приоритеты сущностей. Системность изложения изучаемых моделей и методов выбора основывается на формальной модели критерия. Критерии разделены на две группы: превосходства и соответствия. Методы выбора разделены на методы критериального и функционального выбора, причем все функции рассматриваются с позиции полезности. Рассматриваются формальные модели групповых предпочтений. Приводятся известные и оригинальные формулы, применяемые для расчета согласованности предпочтений. Излагаются основные свойства систем поддержки принятия решений. Материал книги рассчитан на односеместровый курс дисциплины «Теория принятия решений» для бакалавров и магистрантов нематематических специальностей. Книга может быть полезна аспирантам и преподавателям высших учебных заведений, а также специалистам в области управления и информационных технологий.

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