| LINGO - The Modeling Language and Optimizer, LINDO Systems Inc., Chicago, IL, 1995. |
.... [14] Moreover, they were exploited for test compaction in the testing field [15] In the present paper, starting from an initial reseeding solution, a minimal one is computed by resorting to typical set covering techniques, based on essentiality and dominance [17] together with LINGO [16], a well known and very efficient tool for solving linear programming problems. The present paper is organized as follows: Section 2 briefly overviews the basic concepts of Functional BIST approach; Section 3 details the formalization through the set covering model and describes the computation ....
....the reduced matrix allow to deal it with an exact algorithm. In particular, among the algorithms available into the literature, we decided to adopt the linear programming software package LINGO, an effective commercial tool that addresses the exact solution of combinational optimization problems [16]. 4. Experimental results Figure 1 sketches the overall computation flow of the proposed set covering based method. First, the Initial Reseeding Builder provides the starting reseeding solution (T) and computes the Detection Matrix. It receives as an input the behavioral description of the TPG, ....
[Article contains additional citation context not shown here]
LINGO 5.0 User Manual, LINDO System INC, 1999
....in the layout. These distances are then incorporated into the QSCP formulation to determine the assignment of departments to bays to minimize the material handling cost. In this paper, the QSCP formulation is solved by an embedded nonlinear integer programming solver in a commercial code, LINGO [14]. It can also be solved by a standard branch and bound based linear programming solver. This is achieved through the introduction of one additional variable to substitute each quadratic term in the objective function as shown in equation(8) and two additional constraints to warrant the logical ....
LINGO User's Manual, LINDO System Inc., Chicago, IL, 1994.
.... the vector of constraint fuEfiNEH valuEH The needed derivatives are either explicitly coded,compuCx byu0EE nu0CzC0v di#erences or deriveduriv auFF0fixv di#erentiation techniquEF In recent years several modelinglanguvxN are developed, like AIMMS [8] AMPL [25] ASCEND [48] GAMS [9, 14] and LINGO [1]. The modeling system acts as a preprocessor. Theu ser describes the details of his problem in a very verballanguvCH an opposite to the concise mathematical description of the problem. The problem description file is normally modified in a text editor, with help from example files solving the same ....
....is define adefauE Prob struHzHv calling Probkq , and then jun insert valut into the fields. 46 Prob = ProbDea Prob.QP.F = 8 2 HeGGV 28] Prob.QP. c = 3 4 ] Constantvestan Prob.x L = 0 0 ] Lowe bounds onthe variable Prob.x U = inf inf] Uppe bounds onthe variable Prob.x 0 = [ 0 1 ] ; Starting point Prob.A = 1 1 Constraint matrix 1 1] Prob.b L = inf 0 ] Lowe bounds onthe constraints Prob.b U = 5 0 ] Uppe bounds onthe constraints Reons = qpSolve[VA e A similar approach is possible when solving all types of problems in TOMLAB. 2.2.6 Editing Problems into an ....
[Article contains additional citation context not shown here]
LINGO - The Modeling Language and Optimizer. LINDO Systems Inc., Chicago, IL, 1995.
....function values. The needed derivatives are either explicitly coded, computed by using numerical differences or derived using automatic differentiation techniques. In recent years several modeling languages has been developed, like AIMMS [7] AMPL [21] ASCEND [40] GAMS [8, 11] and LINGO [2]. The modeling system acts as a preprocessor. The user describes his problem in detail in a very verbal language, an opposite to a concise mathematical description of the problem. This problem description file is normally modified in a text editor, with help from example files solving the same ....
LINGO - The Modeling Language and Optimizer. LINDO Systems Inc., Chicago, IL, 1995.
....of constraint function values. The needed derivatives are either explicitly coded, computed by using numerical differences or derived using automatic differentiation techniques. In recent years several modeling languages are developed, like AIMMS [4] AMPL [17] ASCEND [34] GAMS [5,9] and LINGO [1]. The modeling system acts as a preprocessor. The user describes the details of his problem in a very verbal language; an opposite to the concise mathematical description of the problem. The problem description file is normally modified in a text editor, with help from example files solving the ....
LINGO - The Modeling Language and Optimizer. LINDO Systems Inc., Chicago, IL, 1995.
....constraint values. The needed derivatives has either been explicitly coded, computed by using numerical differences or nowadays using automatic differentiation techniques. In recent years several modeling languages has been developed, like AIMMS [6] AMPL [14] ASCEND [27] GAMS [7, 9] and LINGO [1]. The modeling system acts as a preprocessor. The user describes his problem in detail in a very verbal language, an opposite to a concise mathematical description of the problem. This problem description file was normally modified in a text editor, with help from example files solving the same ....
LINGO - The Modeling Language and Optimizer. LINDO Systems Inc., Chicago, IL, 1995.
No context found.
LINGO - The Modeling Language and Optimizer, LINDO Systems Inc., Chicago, IL, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC