Accession Number:

ADA222991

Title:

Computer Assisted Analysis and Modelling of Structured Problems

Descriptive Note:

Interim rept. no. 6, Dec 1988-Mar 1990

Corporate Author:

BRUNEL UNIV UXBRIDGE (UNITED KINGDOM)

Personal Author(s):

Report Date:

1990-05-29

Pagination or Media Count:

17.0

Abstract:

Our research efforts are focused on developing a systematic procedure for transforming a set of logical conditions imposed on a mathematical optimisation model into an integer linear programming formulation. Through reformulation of logical forms into integer forms we support a uniform and powerful representation of a problem, consisting of a tightly interrelated closed system of choices. We describe a systematic approach for transforming statements in Boolean Algebra into integer or mixed integer linear programmes. The method is particularly suitable as a modelling technique that allows logical relationships connecting variables and linear constraints to be modelled as integer and mixed integer programmes. We are preparing and illustrating a few example logic problems processed by this method which are set out to explain reformulation and modelling techniques.

Subject Categories:

  • Operations Research

Distribution Statement:

APPROVED FOR PUBLIC RELEASE