C. R. Fuerte-Esquivel Universidad Michoacana de San Nicolás de Hidalgo, Morelia, Mexico Abstract A general approach to real-time transient stability control is described, yielding various complementary techniques: pure preventive, open-loop emergency, and closed-loop emergency controls. Recent progress in terms of a global transient stability-constrained optimal power flow is presented, yieldin...

The notion of weighted centers is essential in V-space interior-point algorithms for linear programming. Although there were some successes in generalizing this notion to semidefinite programming via weighted center equations, we still do not have a generalization that preserves two important properties — 1) each choice of weights uniquely determines a pair of primal-dual weighted centers, and ...

In this paper, we integrate goal programming (GP), Taylor Series, Kuhn-Tucker conditions and Penalty Function approaches to solve linear fractional bi-level programming (LFBLP)problems. As we know, the Taylor Series is having the property of transforming fractional functions to a polynomial. In the present article by Taylor Series we obtain polynomial objective functions which are equivalent to...

While object-oriented programming languages are good at modelling real-world concepts and benefit from rich libraries and developer tools, logic programming languages are well suited for declaratively solving computational problems that require knowledge reasoning. Nontrivial declarative applications could take advantage of the modelling features of object-oriented programming and of the rich s...

We formulate the NP-hard absolute value equation as linear complementary problem when the singular values of A exceed one, and we proposed a mixed integer linear programming method to absolute value equation problem. The effectiveness of the method is demonstrated by its ability to solve random problems.

This study deals with the effects of a supply chain (SC) with single product, multiple retailers and a manufacturer, where the manufacturer(he) produces lotsize of the product that contains a random portion of imperfect quality item. The imperfect quality products are sold in a secondary shop. The new contribution of this paper is a new non-linear demand function. Demand of the end customers va...

We study a balanced academic curriculum problem and an industrial steel mill slab design problem. These problems can be modelled in different ways, using both Integer Linear Programming (ILP) and Constraint Programming (CP) techniques. We consider the utility of each model. We also propose integrating the models to create hybrids that benefit from the complementary strengths of each model. Expe...

Intersection types and bounded quantiication are complementary extensions of a rst-order programming language with subtyping. We deene a typed-calculus combining these extensions, illustrate its unusual properties, and develop basic proof-theoretic and semantic results leading to algorithms for subtyping and typechecking.