СПЕЦИФІКАЦІЯ, ІДЕНТИФІКАЦІЯ ТА РОЗВ’ЯЗАННЯ ЗАДАЧІ СТАТИЧНОЇ ОПТИМІЗАЦІЇ У ВИПАДКУ СЛАБОФОРМАЛІЗОВАНИХ СИСТЕМ