The following example illustrates a nontrivial application of the NLPQN algorithm that requires nonlinear constraints, which are specified by the nlc module. The example is listed as problem 91 in Hock and Schittkowski (1981). The problem describes a time-optimal heating process minimizing the simple objective function
|
subjected to a rather difficult inequality constraint:
|
where is defined as
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The gradient of the objective function , , is easily supplied to the NLPQN subroutine. However, the analytical derivatives of the constraint are not used; instead, finite-difference derivatives are computed.
In the following code, the vector MU represents the first 30 positive values that satisfy :
proc iml; mu = { 8.6033358901938E-01 , 3.4256184594817E+00 , 6.4372981791719E+00 , 9.5293344053619E+00 , 1.2645287223856E+01 , 1.5771284874815E+01 , 1.8902409956860E+01 , 2.2036496727938E+01 , 2.5172446326646E+01 , 2.8309642854452E+01 , 3.1447714637546E+01 , 3.4586424215288E+01 , 3.7725612827776E+01 , 4.0865170330488E+01 , 4.4005017920830E+01 , 4.7145097736761E+01 , 5.0285366337773E+01 , 5.3425790477394E+01 , 5.6566344279821E+01 , 5.9707007305335E+01 , 6.2847763194454E+01 , 6.5988598698490E+01 , 6.9129502973895E+01 , 7.2270467060309E+01 , 7.5411483488848E+01 , 7.8552545984243E+01 , 8.1693649235601E+01 , 8.4834788718042E+01 , 8.7975960552493E+01 , 9.1117161394464E+01 };
The vector depends only on and is computed only once, before the optimization starts, as follows:
nmu = nrow(mu); a = j(1,nmu,0.); do i = 1 to nmu; a[i] = 2*sin(mu[i]) / (mu[i] + sin(mu[i])*cos(mu[i])); end;
The constraint is implemented with the QUAD subroutine, which performs numerical integration of scalar functions in one dimension.
The subroutine calls the module fquad
that supplies the integrand for . For details about the QUAD call, see the section QUAD Call. Here is the code:
/* This is the integrand used in h(x) */ start fquad(s) global(mu,rho); z = (rho * cos(s*mu) - 0.5*(1. - s##2))##2; return(z); finish; /* Obtain nonlinear constraint h(x) */ start h(x) global(n,nmu,mu,a,rho); xx = x##2; do i= n-1 to 1 by -1; xx[i] = xx[i+1] + xx[i]; end; rho = j(1,nmu,0.); do i=1 to nmu; mu2 = mu[i]##2; sum = 0; t1n = -1.; do j=2 to n; t1n = -t1n; sum = sum + t1n * exp(-mu2*xx[j]); end; sum = -2*sum + exp(-mu2*xx[1]) + t1n; rho[i] = -a[i] * sum; end; aint = do(0,1,.5); call quad(z,"fquad",aint) eps=1.e-10; v = sum(z); return(v); finish;
The modules for the objective function, its gradient, and the constraint are given in the following code:
/* Define modules for NLPQN call: f, g, and c */ start F_HS88(x); f = x * x`; return(f); finish F_HS88; start G_HS88(x); g = 2 * x; return(g); finish G_HS88; start C_HS88(x); c = 1.e-4 - h(x); return(c); finish C_HS88;
The number of constraints returned by the “nlc” module is defined by opt. The ABSGTOL termination criterion (maximum absolute value of the gradient of the Lagrange function) is set by tcE4. Here is the code:
print 'Hock & Schittkowski Problem #91 (1981) n=5, INSTEP=1'; opt = j(1,10,.); opt[2]=3; opt[10]=1; tc = j(1,12,.); tc[6]=1.e-4; x0 = {.5 .5 .5 .5 .5}; n = ncol(x0); call nlpqn(rc,rx,"F_HS88",x0,opt,,tc) grd="G_HS88" nlc="C_HS88";
Part of the iteration history and the parameter estimates are shown in Output 14.8.1.
Output 14.8.1: Iteration History and Parameter Estimates
Parameter Estimates | 5 |
---|---|
Nonlinear Constraints | 1 |
Optimization Start | |||
---|---|---|---|
Objective Function | 1.25 | Maximum Constraint Violation | 0.0952775105 |
Maximum Gradient of the Lagran Func | 1.1433393496 |
Iteration | Restarts | Function Calls |
Objective Function |
Maximum Constraint Violation |
Predicted Function Reduction |
Step Size |
Maximum Gradient Element of the Lagrange Function |
|
---|---|---|---|---|---|---|---|---|
1 | 0 | 3 | 0.81165 | 0.0869 | 1.7562 | 0.100 | 1.325 | |
2 | 0 | 4 | 0.18232 | 0.1175 | 0.6220 | 1.000 | 1.207 | |
3 | * | 0 | 5 | 0.34576 | 0.0690 | 0.9318 | 1.000 | 0.640 |
4 | 0 | 6 | 0.77689 | 0.0132 | 0.3496 | 1.000 | 1.328 | |
5 | 0 | 7 | 0.54995 | 0.0240 | 0.3403 | 1.000 | 1.334 | |
6 | 0 | 9 | 0.55322 | 0.0212 | 0.4327 | 0.242 | 0.423 | |
7 | 0 | 10 | 0.75884 | 0.00828 | 0.1545 | 1.000 | 0.630 | |
8 | 0 | 12 | 0.76720 | 0.00681 | 0.3810 | 0.300 | 0.248 | |
9 | 0 | 13 | 0.94843 | 0.00237 | 0.2186 | 1.000 | 1.857 | |
10 | 0 | 15 | 0.95661 | 0.00207 | 0.3707 | 0.184 | 0.795 | |
11 | 0 | 16 | 1.11201 | 0.000690 | 0.2575 | 1.000 | 0.591 | |
12 | 0 | 18 | 1.14602 | 0.000494 | 0.2810 | 0.370 | 1.483 | |
13 | 0 | 20 | 1.19821 | 0.000311 | 0.1991 | 0.491 | 2.014 | |
14 | 0 | 22 | 1.22804 | 0.000219 | 0.2292 | 0.381 | 1.155 | |
15 | 0 | 23 | 1.31506 | 0.000056 | 0.0697 | 1.000 | 1.578 | |
16 | 0 | 25 | 1.31759 | 0.000051 | 0.0876 | 0.100 | 1.007 | |
17 | 0 | 26 | 1.35547 | 7.337E-6 | 0.0133 | 1.000 | 0.912 | |
18 | 0 | 27 | 1.36136 | 1.644E-6 | 0.00259 | 1.000 | 1.064 | |
19 | 0 | 28 | 1.36221 | 4.263E-7 | 0.000902 | 1.000 | 0.0325 | |
20 | 0 | 29 | 1.36266 | 9.79E-10 | 2.063E-6 | 1.000 | 0.00273 | |
21 | 0 | 30 | 1.36266 | 5.72E-12 | 1.031E-6 | 1.000 | 0.00011 | |
22 | 0 | 31 | 1.36266 | 0 | 2.044E-6 | 1.000 | 0.00001 |
Optimization Results | |||
---|---|---|---|
Iterations | 22 | Function Calls | 32 |
Gradient Calls | 24 | Active Constraints | 1 |
Objective Function | 1.3626578337 | Maximum Constraint Violation | 0 |
Maximum Projected Gradient | 3.2476099E-6 | Value Lagrange Function | 1.3626568149 |
Maximum Gradient of the Lagran Func | 2.9888457E-6 | Slope of Search Direction | -2.043671E-6 |
Optimization Results | ||||
---|---|---|---|---|
Parameter Estimates | ||||
N | Parameter | Estimate | Gradient Objective Function |
Gradient Lagrange Function |
1 | X1 | 0.860193 | 1.720385 | 0.000001778 |
2 | X2 | 6.2785107E-8 | 0.000000126 | 0.000000397 |
3 | X3 | 0.643607 | 1.287214 | -0.000000256 |
4 | X4 | -0.456614 | -0.913228 | 0.000002989 |
5 | X5 | -7.041413E-9 | -1.408283E-8 | 4.7604093E-8 |
Problems 88 to 92 of Hock and Schittkowski (1981) specify the same optimization problem for to . You can solve any of these problems with the preceding code by submitting a vector of length as the initial estimate, .