Позиционная алгебра логики: области применения
Основными направлениями научно-исследовательских работ являются анализ проблем, возникающих в различных сферах деятельности человека, с последующим применением программного комплекса, основанного на решении задач комбинаторной оптимизации.
Как известно, комбинаторная область относится к теории оптимизации в прикладной математике, связанной с исследованием операций, теорией алгоритмов и теорией вычислительной сложности. В комбинаторной оптимизации используются как математические подходы, так и методы искусственного интеллекта. Традиционно, такие задачи являются сложными, а их решение – трудоемким. Кроме того, существует ряд ограничений и математических проблем, с которыми сталкиваются исследователи и разработчики. Попытки найти оптимальное решение сложной задачи традиционными способами приводит к созданию громоздких комплексов, неспособных удовлетворить конечного потребителя по различным критериям.
Методологические основы практического применения
Ниже рассмотрены методологические основы применения нового подхода, основанного на решении задач комбинаторной оптимизации.
Общие задачи оптимизации систем управления
Задачи оптимизации систем управления основывается на положениях теории графов. Теория графов в качестве теоретической дисциплины рассматривается как раздел дискретной математики, исследующий свойства конечных множеств (бесконечные графы рассматривать мы не будем) с заданными отношениями между их элементами. Как прикладная дисциплина теория графов и ее язык позволяет описывать и исследовать многие физические, технические, экономические, биологические и социальные системы.
Ниже представлены некоторые области практического применения методологии ПАЛ для стратегических отраслей России:
§ Основные задачи теории графов.
§ Экстремальные пути и контуры на графах
§ Межотраслевой баланс
§ Задачи стратегического развития отрасли
§ Системы управления производством
§ Задачи календарно-сетевого планирования и управления
§ Биоинформатика и химический синтез
§ Нанотехнологии
§ Авиастроительная промышленность
§ Нефтегазовая отрасль
§ Электроэнергетика
§ Ядерная энергетика
§ Транспорт – РЖД, авиа-, трубопроводный, наземный транспорт
§ Суперкомпьютер и компьютерное моделирование
§ Грид-компьютинг
§ Микроэлектронное производство и приборостроение
§ Искусственный интеллект
§ Криптография и информационная безопасность
§ Проектирование компиляторов различных языков программирования
§ Социология
§ Синхронизация данных в многомерных портальных структурах (управление синтезом …)
§ Военно-промышленный комплекс
§ Прогнозирование валютных и фондовых рынков
ЗАКЛЮЧЕНИЕ
1. Российские и зарубежные исследователи и практики нуждаются в новых подходах и механизмах при моделировании, исследовании и управлении сложными системами. Не всегда существующие математические методы позволяют работать с такими системами в рамках объективных ограничений. Или же попытки найти оптимальное решение сложной задачи традиционными способами приводит к созданию громоздких комплексов, не способных удовлетворить конечного потребителя по различным критериям.
2. Разработанная теоретическая часть позиционной алгебры логики и ее программная реализация позволяет выйти из замкнутого круга ограничений внутренних и внешних факторов и открывает неограниченный простор и возможности в области компьютерных технологий во всех сферах человеческой деятельности.
3. Применение методов ПАЛ в данном направлении, т.е. использование принципа позиционности при работе с функциями, не имеют аналога в мировой теории и практике.
4. Прорывные технологии базируются прежде всего на научных знаниях, интеллектуальных исследованиях и инновационных вложениях. Позиционная алгебра логики содержит в себе эти три составляющие. ПАЛ — не просто теория с абстрактными формулами и выкладками. На базе теории разработаны алгоритмы и программы, умеющие делать операции с исключительными результатами, которые и обеспечат формирование прорывных технологий.