A production system performing global boundedness analysis of optimal design models has been implemented in the OPS5 programming environment. The system receives as input an initial model monotonicity table and derives global facts about boundedness and constraint activity using monotonicity principles. Additional facts may be discovered by heuristic search of implicit elimination sequences that examine boundedness of reduced models with active constraints eliminated. The global facts generated automatically by this reasoning system can be used either for a global solution, or for a combined local-global active set strategy.

This content is only available via PDF.
You do not currently have access to this content.