Exact data of an electric circuit (EC) model of RLC (resistor, inductor, capacitor) elements representing rational immittance of LTI (linear, time invariant) systems are numerically Fourier transformed to demonstrate within error bounds applicability of the Hilbert integral tranform (HT) and Kramers-Kronig (KK) integral tranform (KKT) method. Immittance spectroscopy (IS) data are validated for ...

Dynamic stochastic programs are prototypical for optimization problems with an inherent tree structure inducing characteristic sparsity patterns in the KKT systems of interior methods. We propose an integrated modeling and solution approach for such tree-sparse programs. Three closely related natural formulations are theoretically analyzed from a control-theoretic perspective and compared to ea...

This paper considers optimization problems with cardinality constraints. Based on a recently introduced reformulation of this problem as a nonlinear program with continuous variables, we first define some problem-tailored constraint qualifications and then show how these constraint qualifications can be used to obtain suitable optimality conditions for cardinality constrained problems. Here, th...

We consider the application of the globalized semismooth Newton method to the solution of (the KKT conditions of) quasi variational inequalities. We show that the method is globally and locally superlinearly convergent for some important classes of quasi variational inequality problems. We report numerical results to illustrate the practical behavior of the method.

This article points out an important source of inefficiency in Platt’s sequential minimal optimization (SMO) algorithm that is caused by the use of a single threshold value. Using clues from the KKT conditions for the dual problem, two threshold parameters are employed to derive modifications of SMO. These modified algorithms perform significantly faster than the original SMO on all benchmark d...

In this paper we consider the minimization of a continuous function that is potentially not differentiable or not twice differentiable on the boundary of the feasible region. By exploiting an interior point technique, we present firstand second-order optimality conditions for this problem that reduces to classical ones when the derivative on the boundary is available. For this type of problems,...

Existing global optimization techniques for nonconvex quadratic programming (QP) branch by recursively partitioning the convex feasible set and thus generate an infinite number of branch-and-bound nodes. An open question of theoretical interest is how to develop a finite branch-and-bound algorithm for nonconvex QP. One idea, which guarantees a finite number of branching decisions, is to enforce...

This paper introduces the research status of convex quadratic bilevel programming at present firstly. Secondly, it analyzes the problem of convex quadratic bilevel programming models, concepts and properties. On this basis, using the optimality conditions of KKT, the problem will be transformed into a single complementary slackness relaxation problem. To solve this problem, we propose an orthog...

In this paper, we investigate the application of feasible direction method for an optimistic nonlinear bilevel programming problem. The convex lower level problem of an optimistic nonlinear bilevel programming problem is replaced by relaxed KKT conditions. The feasible direction method developed by Topkis and Veinott [22] is applied to the auxiliary problem to get a Bouligand stationary point f...

We consider a linear complementarity problem (LCP) arisen from the Arrow-Debreu-Leontief competitive economy equilibrium where the LCP coefficient matrix is symmetric. We prove that the decision problem, to decide whether or not there exists a complementary solution, is NP-complete. Under certain conditions, an LCP solution is guaranteed to exist and we present a fully polynomial-time approxima...