This paper presents an electrical impedance tomography (EIT) method using a partial-differential-equation-constrained optimization approach. The forward problem in the inversion framework is described by complete electrode model (CEM), which seeks electric potential within domain and at surface electrodes considering contact between them. finite element solution of has been validated commercial...

The aim of the paper is to provide a theoretical basis for approximate reduced SQP methods. In contrast to inexact reduced SQP methods, the forward and the adjoint problem accuracies are not increased when zooming in to the solution of an optimization problem. Only linear-quadratic problems are treated, where approximate reduced SQP methods can be viewed as null-space iterations for KKT systems...

For an inequality system defined by an infinite family of proper convex functions (not necessarily lower semicontinuous), we introduce some new notions of constraint qualifications. Under the new constraint qualifications, we provide necessary and/or sufficient conditions for the KKT rules to hold. Similarly, we provide characterizations for constrained minimization problems to have total Lagra...

We propose a variant of the classical augmented Lagrangian method for constrained optimization problems in Banach spaces. Our theoretical framework does not require any convexity or second-order assumptions and allows the treatment of inequality constraints with infinite-dimensional image space. Moreover, we discuss the convergence properties of our algorithm with regard to feasibility, global ...

Constraint qualifications (CQ) are assumptions on the algebraic description of the feasible set of an optimization problem that ensure that the KKT conditions hold at any local minimum. In this work we show that constraint qualifications based on the notion of constant rank can be understood as assumptions that ensure that the polar of the linear approximation of the tangent cone, generated by ...

Computing the chromatic number of a graph is an NP-hard problem. For random graphs and some other classes of graphs, estimators of the expected chromatic number have been well studied. In this paper, a new 0–1 integer programming formulation for the graph coloring problem is presented. The proposed new formulation is used to develop a method that generates graphs of known chromatic number by us...

Using variational analysis techniques, we study convex-composite optimization problems. In connection with such a problem, we introduce several new notions as variances of the classical KKT conditions. These notions are shown to be closely related to the notions of sharp or weak sharp solutions. As applications, we extend some results on metric regularity of inequalities from the convex case to...

Prediction of wave-induced instantaneous (oscillatory or momentary) liquefaction is particularly important for the design offshore foundations. Most previous studies applied linear Darcy model to characterize porous flow in a seabed. This treatment was found cause fallacious tensile stresses non-cohesive In this study, overcome such shortcomings models, non-Darcy proposed based on Karush–Kuhn–T...

We consider a special class of optimization problems that we call Mathematical Programs with Vanishing Constraints, MPVC for short, which serves as a unified framework for several applications in structural and topology optimization. Since an MPVC most often violates stronger standard constraint qualification, first-order necessary optimality conditions, weaker than the standard KKT-conditions,...