On the solution of mathematical programming problems with equilibrium constraints

Mathematical programming problems with equilibrium constraints (MPEC) are nonlinear programming problems where the constraints have a form that is analogous to first-order optimality conditions of constrained optimization. We prove that, under reasonable sufficient conditions, stationary points of the sum of squares of the constraints are feasible points of the MPEC. In usual formulations of MPEC all the feasible points are nonregular in the sense that they do not satisfy the Mangasarian-Fromovitz constraint qualification of nonlinear programming. Therefore, all the feasible points satisfy the classical Fritz-John necessary optimality conditions. In principle, this can cause serious difficulties for nonlinear programming algorithms applied to MPEC. However, we show that most feasible points do not satisfy a recently introduced stronger optimality condition for nonlinear programming. This is the reason why, in general, nonlinear programming algorithms are successful when applied to MPEC.

Higher grading conformal affine Toda theory and (generalized) sine-Gordon/massive Thirring duality

Some properties of the higher grading integrable generalizations of the conformal affine Toda systems are studied. The fields associated to the non-zero grade generators are Dirac spinors. The effective action is written in terms of the Wess-Zumino-Novikov-Witten (WZNW) action associated to an affine Lie algebra, and an off-critical theory is obtained as the result of the spontaneous breakdown of the conformal symmetry. Moreover, the off-critical theory presents a remarkable equivalence between the Noether and topological currents of the model. Related to the off-critical model we define a real and local lagrangian provided some reality conditions are imposed on the fields of the model. This real action model is expected to describe the soliton sector of the original model, and turns out to be the master action from which we uncover the weak-strong phases described by (generalized) massive Thirring and sine-Gordon type models, respectively. The case of any (untwisted) affine Lie algebra furnished with the principal gradation is studied in some detail. The example of s^l(n) (n = 2, 3) is presented explicitly. © SISSA/ISAS 2003.

Dynamic programming approach for road centerline extraction from digital images

This paper presents a dynamic programming approach for semi-automated road extraction from medium-and high-resolution images. This method is a modified version of a pre-existing dynamic programming method for road extraction from low-resolution images. The basic assumption of this pre-existing method is that roads manifest as lines in low-resolution images (pixel footprint> 2 m) and as such can be modeled and extracted as linear features. On the other hand, roads manifest as ribbon features in medium- and high-resolution images (pixel footprint ≤ 2 m) and, as a result, the focus of road extraction becomes the road centerlines. The original method can not accurately extract road centerlines from medium- and high- resolution images. In view of this, we propose a modification of the merit function of the original approach, which is carried out by a constraint function embedding road edge properties. Experimental results demonstrated the modified algorithm's potential in extracting road centerlines from medium- and high-resolution images.

A generalized Riemann- Stieltjes integral on time scales and discontinuous dynamical equations

This paper is concerned with a generalization of the Riemann- Stieltjes integral on time scales for deal with some aspects of discontinuous dynamic equations in which Riemann-Stieltjes integral does not works. © 2011 Academic Publications.

A multi-objective programming approach for the optimal operation of distributed generation considering uncertainty

Due to the renewed interest in distributed generation (DG), the number of DG units incorporated in distribution systems has been rapidly increasing in the past few years. This situation requires new analysis tools for understanding system performance, and taking advantage of the potential benefits of DG. This paper presents an evolutionary multi-objective programming approach to determine the optimal operation of DG in distribution systems. The objectives are the minimization of the system power losses and operation cost of the DG units. The proposed approach also considers the inherent stochasticity of DG technologies powered by renewable resources. Some tests were carried out on the IEEE 34 bus distribution test system showing the robustness and applicability of the proposed methodology. © 2011 IEEE.

Encoding through generalized polynomial codes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Challenges of programming apprentice

The present article describes the challenges programming apprentices face and identifies the elements and processes that set them apart from experienced programmers. And also explains why a conventional programming languages teaching approach fails to map the programming mental model. The purpose of this discussion is to benefit from ideas and cognitive philosophies to be embedded in programming learning tools. Cognitive components are modeled as elements to be handled by the apprentices in tutoring systems while performing a programming task. In this process a mental level solution (the mental model of the program) and an implementation level solution (the program) are created. The mapping between these representations is a path followed by the student explicitly in this approach. © 2011 IEEE.

Necessary and sufficient condition for generalized passivity, passification and application to multivariable adaptive systems

Recently, a generalized passivity concept for linear multivariable systems was obtained which allows circumventing the restrictiveness of the usual passivity concept. The latter is associated with the classical SPR (Strictly Positive Real) condition whereas the new concept of passivity is associated with the so called WSPR condition and its advantage in multivariable systems is that it does not require a restrictive symmetry condition of SPR systems. As a result, it allows the design of multivariable adaptive control that, unlike some existing factorization approaches, does not imply in additional overparameterization of the adaptive controller. In this paper, we complete a previously established WSPR sufficient condition and prove that it is also necessary. We also propose some methods of passification by either premultiplying the system output tracking error vector or the system input vector by an adequate passifying matrix multiplier, so that the resulting input/output transfer function becomes WSPR. The efficiency of our proposals are illustrated by simulation utilizing a well known robotics adaptive visual servoing problem. © 2011 IFAC.

An analysis of Generalized Symmetrical Components in non sinusoidal three phase systems

This paper presents the study of the so called Generalized Symmetrical Components, proposed by Tenti et. al. to the analysis of unbalanced periodic non sinusoidal three phase systems. As a result, it was possible to establish a proper relationship between such of generalized symmetrical components and Fortescue symmetrical components to the harmonic frequencies that compose a generic periodic non sinusoidal three phase system. © 2011 IEEE.

NCAP embedded using structured programming

This paper presents a network node embedded based on IEEE 1451 standard developed using structured programming to access the transducers in the WTIM. The NCAP was developed using Nios II processor and uClinux, a embedded operating system developed to features restricted hardware. Both hardware and software have dynamics features and they can be configured based in the application features. Based in this features, the NCAP was developed using the minimum components of hardware and software to that being implemented in remote environment like central point of data request. Many NCAP works are implemented with an object oriented structure. This is different from the surrounding implementations. In this project the NCAP was developed using structured programming. The tests of the NCAP were made using a ZigBee interface between NCAP and WTIM and the system demonstrated in areas of difficult access for long period of time due to need for low power consumption. © 2012 IEEE.

Optimal reactive power dispatch using stochastic chance-constrained programming

Deterministic Optimal Reactive Power Dispatch problem has been extensively studied, such that the demand power and the availability of shunt reactive power compensators are known and fixed. Give this background, a two-stage stochastic optimization model is first formulated under the presumption that the load demand can be modeled as specified random parameters. A second stochastic chance-constrained model is presented considering uncertainty on the demand and the equivalent availability of shunt reactive power compensators. Simulations on six-bus and 30-bus test systems are used to illustrate the validity and essential features of the proposed models. This simulations shows that the proposed models can prevent to the power system operator about of the deficit of reactive power in the power system and suggest that shunt reactive sourses must be dispatched against the unavailability of any reactive source. © 2012 IEEE.

Strategies to reduce the number of variables and the combinatorial search space of the multistage transmission expansion planning problem

This paper proposes strategies to reduce the number of variables and the combinatorial search space of the multistage transmission expansion planning problem (TEP). The concept of the binary numeral system (BNS) is used to reduce the number of binary and continuous variables related to the candidate transmission lines and network constraints that are connected with them. The construction phase of greedy randomized adaptive search procedure (GRASP-CP) and additional constraints, obtained from power flow equilibrium in an electric power system are employed for more reduction in search space. The multistage TEP problem is modeled like a mixed binary linear programming problem and solved using a commercial solver with a low computational time. The results of one test system and two real systems are presented in order to show the efficiency of the proposed solution technique. © 1969-2012 IEEE.

A mixed-integer linear programming approach for optimal type, size and allocation of distributed generation in radial distribution systems

This paper presents a mixed-integer linear programming approach to solving the problem of optimal type, size and allocation of distributed generators (DGs) in radial distribution systems. In the proposed formulation, (a) the steady-state operation of the radial distribution system, considering different load levels, is modeled through linear expressions; (b) different types of DGs are represented by their capability curves; (c) the short-circuit current capacity of the circuits is modeled through linear expressions; and (d) different topologies of the radial distribution system are considered. The objective function minimizes the annualized investment and operation costs. The use of a mixed-integer linear formulation guarantees convergence to optimality using existing optimization software. The results of one test system are presented in order to show the accuracy as well as the efficiency of the proposed solution technique.© 2012 Elsevier B.V. All rights reserved.

Fermion localization on branes with generalized dynamics

In this letter we consider a specific model of braneworld with nonstandard dynamics diffused in the literature, specifically we focus our attention on the matter energy density, the energy of system, the Ricci scalar and the thin-brane limit. As the model is classically stable and capable of localize gravity, as a natural extension we address the issue of fermion localization of fermions on a thick brane constructed out from one scalar field with nonstandard kinetic terms coupled with gravity. The contribution of the nonstandard kinetic terms to the problem of fermion localization is analyzed. It is found that the simplest Yukawa coupling η ωφ ω supports the localization of fermions on the thick brane. It is shown that the zero mode for left-handed fermions can be localized on the thick brane depending on the values for the coupling constant η. Copyright © EPLA, 2013.

Divergences of generalized quantum electrodynamics on the Lorenz gauge

In this paper we study the Generalized Quantum Electrodynamics (GQED4) on the Lorenz gauge condition and show that divergences are still present in the theory. © 2013 American Institute of Physics.