Tools for reformulating logical forms into zero-one mixed integer programs (MIPS)

A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented. A reformulation procedure which uses the extended reverse polish representation of a compound logical form is then described. A prototype user interface by which logical forms can be reformulated and the corresponding MIP constructed and analysed within an existing Mathematical Programming modelling system is illustrated. Finally, the steps to formulate a discrete optimisation model in this way are demonstrated by means of an example

Computer assisted modelling of linear, integer and separable programming problems

For mathematical programming (MP) to have greater impact upon the decision making process, MP software systems must offer suitable support in terms of model communication and modelling techniques . In this paper modelling techniques that allow logical restrictions to be modelled in integer programming terms are described and their implications discussed. In addition it is demonstrated that many classes of non-linearities which are not variable separable may be reformulated in piecewise linear form. It is shown that analysis of bounds is necessary in the following three important contexts: model reduction, formulation of logical restrictions as 0-1 mixed integer programs and reformulation of nonlinear programs as variable separable programs, It is observed that as well as incorporating an interface between the modeller and the optimiser there is a need to make available to the modeller software facilities which support the modelling techniques described here

Sets and indices in linear programming modelling and their integration with relational data models

LP models are usually constructed using index sets and data tables which are closely related to the attributes and relations of relational database (RDB) systems. We extend the syntax of MPL, an existing LP modelling language, in order to connect it to a given RDB system. This approach reuses existing modelling and database software, provides a rich modelling environment and achieves model and data independence. This integrated software enables Mathematical Programming to be widely used as a decision support tool by unlocking the data residing in corporate databases

Modelling of mathematical programs: An analysis of strategy and an outline description of a computer assisted system

The salient components of the mathematical programming modeling activity are first analysed. Earlier generation systems such as program generators and procedural (modelling) languages are briefly discussed. A proposal for a computer assisted modelling scheme is then put forward. The proposed system contrasts with the earlier approaches in that no computer programming expertise is required on the part of the modeller. A mathematical programming model is usually constructed by progressive definition of dimensions, data tables, model variables, model constraints and the matrix coefficients which connect the last two entities. The philosophy and design of the experimental system supports this approach to model description. This aspect is illustrated by a few examples. The introduction of computer assistance in structuring of the data and the resulting model is novel and is in line with recent developments in friendly and flexible user interface

Evaluation of graphite composite materials for bearingless helicopter rotor application

Small scale combined load fatigue tests were conducted on twelve unidirectional graphite-glass scrim-epoxy composite specimens. The specimens were 1 in. (2.54 cm) wide by 0.1 in. (.25 cm) thick by 5 in. (12.70 cm) long. The fatigue data was developed for the preliminary design of the spar for a bearingless helicopter main rotor. Three loading conditions were tested. Combinations of steady axial, vibratory torsion, and vibratory bending stresses were chosen to simulate the calculated stresses which exist at the root and at the outboard end of the pitch change section of the spar. Calculated loads for 150 knots (77.1 m/sec) level flight were chosen as the baseline condition. Test stresses were varied up to 4.4 times the baseline stress levels. Damage resulted in reduced stiffness; however, in no case was complete fracture of the specimen experienced