20. Пс оптимизации расписаний последовательных, параллельных и параллельно-последовательных систем

Реализация представленных алгоритмов синтеза оптимальных расписаний многостадийных последовательных и параллельно-последовательных ОС ( A2.2 , A2.3 , и A2.6 )) опирается на вычислители CPLEX и CP, входящие в состав IBM ILOG CPLEX studiо. Те же средства применены для реализации обеспечивающих алгоритмов A1.2 , A1.3 , и A2.6 .

Это гарантирует надежность программной реализации, распараллеливание и ускорение вычислений при использовании современных многоядерных и многопроцессорных вычислительных систем, кратноечислу ядер. В совокупности программные реализации алгоритмов оптимизации расписаний ППОС составляют комплекс программ синтеза оптимальных расписаний параллельно-последовательных обслуживающих систем. В качестве пользовательского интерфейса использован программный интерфейс OPL(optimizationprogramlanguage) иJavascript– в качестве средства реализации.

Среда программированияIBM ILOG OPL studio. Реализован пакетный режим расчетов с вводоминформации из файлов текстовых форматов, либо формата EXCEL-таблицы, поскольку программный комплекс изначально не предполагал вычислений в реальном времени в связи с трудоемкостью решаемых задач дискретного программирования. Вывод результатов такжеорганизован по выбору пользователя в последовательный файл илитаблицу EXCEL.

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

Оптимизацию расписаний последовательных, параллельных и параллельно-последовательных систем можно осуществлять в таких программных средствах, как: IBMILOGCPLEXstudio (CPLEX и CP), GUROBI, AIMMS и FICO Xpress Optimization Suite.

ОсредеIBMILOGCPLEXstudiо более детально информация приведена в вопросе 28. Здесь же рассмотрим остальные системы. Вся информация в интернете на английском языке, так что привожу Гугл.Переводчик.

GUROBI. Является коммерческим оптимизация решатель для линейного программирования (ЛП), квадратичного программирования (QP), квадратично ограничены программирования (QCP), целочисленного линейного программирования(MILP), смешанного целочисленного квадратичного программирования (MIQP), и смешанного целочисленного квадратично сдерживается программирования (MIQCP).

Gurobi Оптимизатор поддерживает различные программирования и моделирования языках в том числе: 

• Интерфейсы объектно-ориентированных для C ++, Java, .NET и Python

• Интерфейсы Matrix-ориентированных для C, MATLAB, и R

• Ссылки на стандартных языков моделирования: AIMMS, AMPL, GAMS, и MPL

• Ссылки на Excel через премиум Solver платформы и рисками Solver платформы

Код Gurobi был построен, чтобы в полной мере использовать параллелизм. Это не последовательный код, который был распараллелен, но принципиально параллельный код, который вы также можете выбрать для запуска последовательно.

AIMMS. AIMMS предлагает всестороннюю среду разработки для создания поддержки принятия решений высокой производительности и передовых приложений для оптимизации планирования стратегических операций. Это позволяет организациям быстро улучшить качество, сервис, рентабельность, оперативность и их деятельности. Среда разработки AIMMS обладает уникальным сочетанием передовых функций и инструментов проектирования, таких как графическая модель Explorer, которые позволяют создавать и поддерживать сложные приложения для поддержки принятия решений и передовых систем планирования во фракции времени, требуемого обычных инструментов программирования.

AIMMS помогает компаниям с решениями планирования производства.

FICO Xpress Optimization. Программное обеспечение FICO® Xpress Оптимизация Люкс является платформой для построения решений для оптимизации, которые ведут улучшения бизнес-процессов. Xpress Оптимизация Люкс обеспечивает простой способ для создания, развертывания и оптимизации используют решения бизнес, основанный на масштабируемой высокоэффективных алгоритмов, гибкой среды моделирования и быстрого применения и создания отчетов для помещения и на облачных систем.