First-order methods (FOMs) have been popularly used for solving large-scale problems. However, many existing works only consider unconstrained problems or those with simple constraint. In this paper, we develop two FOMs constrained convex programs, where the constraint set is represented by affine equations and smooth nonlinear inequalities. Both are based on classical augmented Lagrangian func...

Structural models are often augmented with additional wellformedness constraints to rule out unwanted configurations of instances. These constraints are usually written in dedicated constraint languages specifically tailored to the conceptual framework of the host modeling language, the most well-known example being the OCL constraint language for the UML. Many multi-level modeling languages, h...

The gap between a recently developed dynamical version of relaxed magnetohydrodynamics (RxMHD) and ideal MHD (IMHD) is bridged by approximating the zero-resistivity "Ideal" Ohm's Law (IOL) constraint using an augmented Lagrangian method borrowed from optimization theory. augmentation combines pointwise vector Lagrange multiplier global penalty function can be used either for iterative enforceme...

Structural models are often augmented with additional wellformedness constraints to rule out unwanted configurations of instances. These constraints are usually written in dedicated constraint languages specifically tailored to the conceptual framework of the host modeling language, the most well-known example being the OCL constraint language for the UML. Many multi-level modeling languages, h...

A central issue in the optimizing compilation of Constraint Logic Programming (CLP) languages is how to compile away as much general constraint solving as possible. Most such work relies on obtaining mode and type information by global analysis, and uses it to generate specialized code for individual constraints and calls, often with the aid of multiple specialization. Some recent work has augm...

Abstract The design of guidance law for smart missile based on implicit dynamic-inverse direct mode configuration is described in this paper. theory and algorithm are applied to the law. pitching acceleration yaw designed pitch channel by using augmented proportional respectively. attacking time parameter attack error equation introduced as constraint criteria dynamic-inverse. According singula...

This paper describes a methodology for transmission expansion planning (TEP) within a deregulated electricity market. Two objective functions including investment cost (IC) and congestion cost (CC) are considered. The proposed model forms a bi-level optimization problem in which upper level problem represents an independent system operator (ISO) making its decisions on investment while in the l...

This paper presents a multi-periodic, multi-echelon blood supply chain network consisting of blood donors, mobile collection units, local blood centers, main blood centers and demand points in which the local and main blood centers are subject to random failure in dispatching blood products to demand points. The problem has two objectives including minimization of the total chain costs and maxi...

This paper presents a multi-objective and multi-service location-allocation model with capacity planning to design a healthcare facilities network through considering a referral system. Therefore, a mixed integer nonlinear programming (MINLP) model containing two objective functions is proposed. The first objective function is  relates to minimization of total opening cost, minimization of tota...