Математическое программирование

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

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

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

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

Цель настоящего пособия – дать базовые навыки, необходимые для разработки надежного программного обеспечения (ПО), построить «мост» между зачастую незаслуженно забытыми трудами «патриархов» и современной практикой программирования. Показана актуальность проблемы повышения надежности создаваемого ПО. Приведены основные определения, факторы, влияющие на надежность ПО,...

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

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

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