Computer Assisted Analysis and Modelling of Structured Problems

Abstract

In this project we have studied the scope and possible application of computer based tools which can support modelling of mathematical optimisation problems. We initially investigated the method of transforming general nonlinear programming problems to variable separable form. Subsequently more research effort was directed towards developing a systematic procedure for transforming propositional calculus statements into integer and mixed integer programming models. Computer implementation of such procedures in order to achieve automatic reformulation has been an important consideration.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 19, 1990
Accession Number
ADA233592

Entities

People

  • E. Hadjiconstantinou
  • G. Mitra

Organizations

  • Brunel University London

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Automatic
  • Boolean Algebra
  • Calculus
  • Classification
  • Computer Programming
  • Computers
  • Evolutionary Algorithms
  • Integer Programming
  • Linear Programming
  • Mathematical Programming
  • Mathematics
  • Nonlinear Programming
  • Optimization
  • Security
  • Universities

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Linear Algebra
  • Systems Analysis and Design