X - UWSpace - University of Waterloo
X - UWSpace - University of Waterloo
X - UWSpace - University of Waterloo
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
a proposal is passed back to the fint subproblem. The latter scheme has ken implemented by<br />
Lan and Fuller [1995a] for the two stage mode1 structure. a special case <strong>of</strong> the two part mode1<br />
structure, e.g. two pend models. Lan and Fuller choose part one as the upper bound<br />
subproblem. The senal aigorithm first solves the stage one subproblem and sen& a prima1<br />
proposal to the second stage subproblern. then it solves a new second stage subproblem with a<br />
new column generated. and sen& duai proposais to the stage one subproblem. The stage one<br />
subproblem is then dved with a new cut. The stage one subproblem provides upper bounds<br />
on the optimal value <strong>of</strong> the whole problem, and the stage two subproblem provides lower<br />
bounds. This sequential process continues until the objective values <strong>of</strong> both subproblerns have<br />
corne within a predetermined tolerance.<br />
3.3 The Decomposition Algorithm<br />
in this section. the procedure <strong>of</strong> the panllel decomposition algorithm is fomûlly<br />
described. Various propenies <strong>of</strong> this algorithm will be discussed in the next section. The<br />
scalar E >O is defined by the user to stop the algorithm when the upper bound $ and the lower<br />
bound :,' are less than E apart. Claims about feasibility and optimality are justified in the next<br />
section. In the statement <strong>of</strong> the algorithm. the symbols xf2, Y:', nik'' and R~"' appex, and<br />
for the value k=2, they have special meanings: x:, and Y? are nul1 manices having no<br />
columns. while Ill0 ad R,' are nul1 matrices having no rows. The send and receive<br />
statements synchronize the two processors' iteration counten.