Введение к работе
Актуальность темы исследований. Модели линейного программирования (ЛП) широко используются при решении задач из различен, прикладных областей. При исследовании этого класса моделей основные трудности, как правило, возникают на этапах постановки задачи и анализа результатов оптимизации. С одной стороны, это эбъясняется тем, что оптимизация обычно выполняется с помощью :тандартных пакетов и требует специального представления модели j формате этого пакета. В то же время постановку задачи и шализ результатов оптимизации гораздо удобнее и естественнее ієсти в терминах прикладной области, так как эти процессы тесно даязаны с имеющейся информационной базой. С другой стороны, із-за большого объема и сложной структуры исходных данных, :оторые типичны для прикладных моделей ЛП, может оказаться 'рудным этап создания представления модели, ориентированного на меющиеся исходные данные. Поэтому необходимо создавать специ-ільнне языковые и программные средства, которые автоматизируют ice этапы работы с моделью: описание и построение модели, юздание представления модели, ориентированного на имеющиеся [сходные данные, получение задачи в формате пакета оптимизации [ преобразование результатов оптимизации к их представлению в 'ерминах прикладной области.
Целью настоящей работы является разработка принципов оздания языковых и программных средств постановки задач в сис-емах ЛП и создание конкретной системы, согласующейся с этими ринципами.
Научная новизна исследований состоит в том, что
- предложен подход к созданию языковых и программных
редств постановки задач в системах ЛП;
- разработан язык MDL для представления моделей ЛП;
-предложены понятия С(1,1)-грамматики с независимыми
имволами и непротиворечивой С(1,1)-грамматики; показано, что ласе непротиворечивых С(1,1)-языков совпадает с классом детер-инированных языков.
Практическая ценность работы состоит в том, что на основа-
нии предложенного подхода была создана система LPMOD, котора применялась для решения ряда прикладных задач, в частност использовалась автором совместно с НПО НАТИ при обосновани перспективного типажа сельскохозяйственных тракторов на перио до 2000 года.
Апробация работы. Основные положения настоящей работ докладывались и обсуждались на Шестом Всесоюзном симпозиум "Системы программного обеспечения решения задач оптимальног планирования" (Пущино, 1980), Десятом Всесоюзном симпозиум "Системы программного обеспечения решения задач оптимальног планирования" (Нарва-йыэсуу, 1988), научных семинарах ВЦ РАН.
Публикации. По результатам выполненных исследований опуб ликовано 5 печатных работ и подготовлено б научных отчето общим объемом 8 печатных листов.
Структура и объем диссертации. Работа состоит из введения трех глав, заключения, списка литературы и четырех приложений Общий объем работы - 142 страницы, в том числе 7 таблиц Библиография включает 77 наименований.
