Search

This article provides instructions in preparing a paper for publication in the "Journal of Optimization Theory and Applications." Some of these guidelines are the following: 1)submission of manuscripts in triplicate; 2) reference to English as the official language of the journal; 3) inclusion of an abstract of at least 50 to 100 words in each contribution; and, 4) the abstract should be followed by a list of four to five key words identifying the subject.

A chance constrained optimization problem over a finite distribution involves a set of scenario constraints from which a small subset can be violated. We consider the setting where all scenario constraints are mixed-integer convex. Existing works typically consider a mixed integer nonlinear programming (MINLP) formulation of this problem by introducing binary variables to indicate which constraint systems are to be satisfied or violated. A variety of cutting plane approaches for this MINLP formulation have been developed. In this paper we consider a family of cuts in the original space rather than those in the extended space of the MINLP reformulation. These cuts, known as quantile cuts, can be viewed as a projection of the well known family of mixing inequalities for the MINLP reformulation onto the original problem space. We show that the closure of the infinite family of all quantile cuts has a finite description. An important corollary of this result is that for linear chance constrained problems the quantile closure is polyhedral. We further show that a recursive application of quantile closure operations recovers the convex hull of the nonconvex chance constrained set in the limit, and in the pure integer setting the convergence is finite. We show that separation of quantile cuts is in general NP-hard, develop a heuristic separation method, and demonstrate its effectiveness through a computational study. We also study an approximation of the quantile closure and propose a generalization by grouping scenarios. [ABSTRACT FROM AUTHOR]

In this paper, optimality conditions are presented and analyzed for the cardinality-constrained cone programming arising from finance, statistical regression, signal processing, etc. By introducing a restricted form of (strict) Robinson constraint qualification, the first-order optimality conditions for the cardinality-constrained cone programming are established based upon the properties of the normal cone. After characterizing further the second-order tangent set to the cardinality-constrained system, the second-order optimality conditions are also presented under some mild conditions. These proposed optimality conditions, to some extent, enrich the optimization theory for noncontinuous and nonconvex programming problems. [ABSTRACT FROM AUTHOR]

Classification rules with a reserve judgment option provide a way to satisfy constraints on the misclassification probabilities when there is a high degree of overlap among the populations. Constructing rules which maximize the probability of correct classification while satisfying such constraints is a difficult optimization problem. This paper uses the form of the optimal solution to develop a relatively simple and computationally fast method for three populations which has a non parametric quality in controlling the misclassification probabilities. Simulations demonstrate that this procedure performs well. [ABSTRACT FROM AUTHOR]

Abstract: This paper is mainly concerned with the classical KKT reformulation and the primal KKT reformulation (also known as an optimization problem with generalized equation constraint (OPEC)) of the optimistic bilevel optimization problem. A generalization of the MFCQ to an optimization problem with operator constraint is applied to each of these reformulations, hence leading to new constraint qualifications (CQs) for the bilevel optimization problem. - and -type stationarity conditions tailored for the problem are derived as well. Considering the close link between the aforementioned reformulations, similarities and relationships between the corresponding CQs and optimality conditions are highlighted. In this paper, a concept of partial calmness known for the optimal value reformulation is also introduced for the primal KKT reformulation and used to recover the -stationarity conditions. [Copyright &y& Elsevier]

In a 1966 paper by C.A.B. Smith, the short and long conjunctive sums of games are defined and methods are described for determining the theoretical winner of a game constructed using one type of these sums. In this paper, we develop a method for determining the winner of a game constructed using arbitrary combinations of these sums. [ABSTRACT FROM AUTHOR]

For 30 years after their invention half a century ago, cutting planes for integer programs have been an object of theoretical investigations that had no apparent practical use. When they finally proved their practical usefulness in the late eighties, that happened in the framework of branch and bound procedures, as an auxiliary tool meant to reduce the number of enumerated nodes. To this day, pure cutting plane methods alone have poor convergence properties and are typically not used in practice. Our reason for studying them is our belief that these negative properties can be understood and thus remedied only based on a thorough investigation of such procedures in their pure form. In this paper, the second in a sequence, we address some important issues arising when designing a computationally sound pure cutting plane method. We analyze the dual cutting plane procedure proposed by Gomory in 1958, which is the first (and most famous) convergent cutting plane method for integer linear programming. We focus on the enumerative nature of this method as evidenced by the relative computational success of its lexicographic version (as documented in our previous paper on the subject), and we propose new versions of Gomory's cutting plane procedure with an improved performance. In particular, the new versions are based on enumerative schemes that treat the objective function implicitly, and redefine the lexicographic order on the fly to mimic a sound branching strategy. Preliminary computational results are reported. [ABSTRACT FROM AUTHOR]

In this paper, we consider approximation algorithms for optimizing a generic multi-variate homogeneous polynomial function, subject to homogeneous quadratic constraints. Such optimization models have wide applications, e.g., in signal processing, magnetic resonance imaging (MRI), data training, approximation theory, and portfolio selection. Since polynomial functions are non-convex, the problems under consideration are all NP-hard in general. In this paper we shall focus on polynomial-time approximation algorithms. In particular, we first study optimization of a multi-linear tensor function over the Cartesian product of spheres. We shall propose approximation algorithms for such problem and derive worst-case performance ratios, which are shown to be dependent only on the dimensions of the model. The methods are then extended to optimize a generic multi-variate homogeneous polynomial function with spherical constraint. Likewise, approximation algorithms are proposed with provable approximation performance ratios. Furthermore, the constraint set is relaxed to be an intersection of co-centered ellipsoids; namely, we consider maximization of a homogeneous polynomial over the intersection of ellipsoids centered at the origin, and propose polynomial-time approximation algorithms with provable worst-case performance ratios. Numerical results are reported, illustrating the effectiveness of the approximation algorithms studied. [ABSTRACT FROM AUTHOR]

We found a minor error in the proof of paper “Universal Alignment Probability Revisited” by S.Y. Lin and Y.C. Ho (J. Optim. Theory Appl. 113(2):399–407, ). In this note, we give a counterexample and explain the reason. We also show that the conclusion of that paper is still correct despite this minor error. A new proof of the conclusion is given. [ABSTRACT FROM AUTHOR]

This paper considers the problem of searching for the actual time of failure for a system when the only information that is available is that it is has failed by a time t. This situation can be analyzed by using the concept of the reversed failure rate. This paper considers optimization problems that can be solved by using the reversed failure rate. When a unit is detected to have failed at time t, we discuss an optimum backward time from time t to search for its failure time which minimizes the expected cost. The recovery of a database system and of reweighing products using a scale are taken to be two typical applications of the backward time concept. Two models are proposed for appropriate maintenance actions for these situations when a unit is detected to have failed at time t. [ABSTRACT FROM AUTHOR]

This paper deals with a parametric family of convex semi-infinite optimization problems for which linear perturbations of the objective function and continuous perturbations of the right-hand side of the constraint system are allowed. In this context, Cánovas et al. (SIAM J. Optim. 18:717–732, []) introduced a sufficient condition (called ENC in the present paper) for the strong Lipschitz stability of the optimal set mapping. Now, we show that ENC also entails high stability for the minimal subsets of indices involved in the KKT conditions, yielding a nice behavior not only for the optimal set mapping, but also for its inverse. Roughly speaking, points near optimal solutions are optimal for proximal parameters. In particular, this fact leads us to a remarkable simplification of a certain expression for the (metric) regularity modulus given in Cánovas et al. (J. Glob. Optim. 41:1–13, []) (and based on Ioffe (Usp. Mat. Nauk 55(3):103–162, []; Control Cybern. 32:543–554, [])), which provides a key step in further research oriented to find more computable expressions of this regularity modulus. [ABSTRACT FROM AUTHOR]

Parameter identification of an induction motor has long been studied either for vector control or fault diagnosis. This paper addresses parameter identification of an induction motor under on-load operation. For estimating electrical and mechanical parameters in the motor model from the on-load data, unmeasured initial states and load torque profile have to be also estimated for state evaluation. Since gradient of cost function for the auxiliary variables are hard to be derived, direct optimization methods that rely on computational capability should be employed. In this paper, the univariate dynamic encoding algorithm for searches (uDEAS), recently developed by the authors, is applied to the identification of whole unknown variables with measured voltage, current, and velocity data. Profiles of motor parameters estimated with uDEAS are reasonable, and estimation time is 2 δ on average, which is quite fast as compared with other direct optimization methods. [ABSTRACT FROM AUTHOR]

Abstract: This paper is concerned with a new type of the classical Bernstein operators where the function is evaluated at intervals . We also make extensive study simultaneous approximation by the linear combination of these new Bernstein type operators . At the end of this paper we have given an other modification of these operators. [Copyright &y& Elsevier]

Abstract: Ecological expert knowledge is often based on qualitative rules consisting of linguistic terms such as ‘low’, ‘moderate’ or ‘high’. Since fuzzy systems transform these rules and terms into a mathematical framework, they allow implementing this expert knowledge in ecological models. However, the development of a reliable knowledge base is complex and time consuming. Recent research has shown that complementing fuzzy systems by data-driven techniques can solve this knowledge acquisition bottleneck. In this paper, a heuristic nearest ascent hill-climbing algorithm for rule base optimisation is applied to construct a fuzzy rule-based habitat suitability model for spawning European grayling (Thymallus thymallus L.) in the Aare river (Bern, Switzerland). Optimisation of the fuzzy rule-based model was based on two different training criteria, the weighted correctly classified instances and Cohen''s Kappa. The ecological relevance of the results was assessed by comparing the optimised rule bases with a rule base derived from ecological expert knowledge. Optimisation based on Kappa appeared to generate acceptable results (CCI=0.70; Kappa=0.32) and was more practical than optimisation based on since the latter required fine tuning of a weight parameter, which accounted for the species prevalence. The optimal rules showed 74% similarity with the rules derived from expert knowledge, while 84% of all model errors was due to false positive predictions of the model. These errors might be due to the impact of variables, which were not included in this study on grayling presence and thus are not necessarily a model error. The habitat suitability model optimised in this paper is able to predict the effect of different impacts on the river system and to select the optimal restoration option. Hence, it could be a valuable decision support tool for river managers and ease the discussion between stakeholders. [Copyright &y& Elsevier]

This paper examines a number of variants of the sparse k-spanner problem and presents hardness results concerning their approximability. Previously, it was known that most k-spanner problems are weakly inapproximable (namely, they are NP-hard to approximate with ratio O(log n), for every k ≥ 2) and that the unit-length k-spanner problem for constant stretch requirement k ≥ 5 is strongly inapproximable (namely, it is NP-hard to approximate with ratio $O(2^{{\log}^{1 - \epsilon} n})$ ). The results of this paper significantly expand the ranges of hardness for k-spanner problems. In general, strong hardness is shown for a number of k-spanner problems, for certain ranges of the stretch requirement k depending on the particular variant at hand. The problems studied differ by the types of edge weights and lengths used, and they include directed, augmentation and client-server variants. The paper also considers k-spanner problems in which the stretch requirement k is relaxed (e.g., $k = \Omega(\log n))$ . For these cases, no inapproximability results were known (even for a constant approximation ratio) for any spanner problem. Moreover, some versions of the k-spanner problem are known to enjoy the ratio-degradation property; namely, their complexity decreases exponentially with the inverse of the stretch requirement. So far, no hardness result existed precluding any k-spanner problem from enjoying this property. This paper establishes strong inapproximability results for the case of relaxed stretch requirement (up to $k = O(n^{{1 - \delta}})$ , for any $0 < \delta < 1$ ), for a large variety of k-spanner problems. It is also shown that these problems do not enjoy the ratio-degradation property. [ABSTRACT FROM AUTHOR]

Relaxed controls have proved to be very useful in studying the existence of optimal controls in optimal control theory. Many positive results have been obtained in the literature. However, negative results have also made their rare appearances. The optimal control problem considered in this paper looks quite simple. Yet, by treating such a problem, we can get interesting results, substantiating our idea as to whether an optimal control exists or not. In our opinion, the method used in the paper can be applied to more generalized cases. [ABSTRACT FROM AUTHOR]

This paper proposes several globally convergent geometric optimization algorithms on Riemannian manifolds, which extend some existing geometric optimization techniques. Since any set of smooth constraints in the Euclidean space Rn (corresponding to constrained optimization) and the Rn space itself (corresponding to unconstrained optimization) are both special Riemannian manifolds, and since these algorithms are developed on general Riemannian manifolds, the techniques discussed in this paper provide a uniform framework for constrained and unconstrained optimization problems. Unlike some earlier works, the new algorithms have less restrictions in both convergence results and in practice. For example, global minimization in the one-dimensional search is not required. All the algorithms addressed in this paper are globally convergent. For some special Riemannian manifold other than Rn, the newalgorithms are very efficient. Convergence rates are obtained. Applications are discussed. [ABSTRACT FROM AUTHOR]

Abstract: In this paper, we suggest and analyze a new inexact proximal point method for solving general variational inequalities, which can be considered as an implicit predictor–corrector method. An easily measurable error term is proposed with further relaxed error bound and an optimal step length is obtained by maximizing the profit-function and is dependent on the previous points. Our results include several known and new techniques for solving variational inequalities and related optimization problems. Results obtained in this paper can be viewed as an important improvement and refinement of the previously known results. Preliminary numerical experiments are included to illustrate the advantage and efficiency of the proposed method. [Copyright &y& Elsevier]

Abstract: A rank-niche evolution strategy (RNES) algorithm has been developed in this paper to solve unconstrained multiobjective optimization problems. A required number of Pareto-optimal solutions can be generated by the algorithm in a single run. In addition to the operations of recombination, mutation and selection used in original evolution strategy (ES), an external elite set which contains a given number of non-dominated elites is updated and trimmed by a clustering technique to maintain a uniformly distributed Pareto front. The fitness function for each individual contains the information of rank and crowding status. The selection operation using this fitness function considers the superiority and distribution simultaneously. Eight test problems illustrated in other papers are used to test RNES. For some test problems the Pareto-optimal solutions obtained by RNES are better than those obtained by GA-based algorithms. [Copyright &y& Elsevier]

This paper addresses the problem of minimization of a nonsmooth function under general nonsmooth constraints when no derivatives of the objective or constraint functions are available. We introduce the mesh adaptive direct search (MADS) class of algorithms which extends the generalized pattern search (GPS) class by allowing local exploration, called polling, in an asymptotically dense set of directions in the space of optimization variables. This means that under certain hypotheses, including a weak constraint qualification due to Rockafellar, MADS can treat constraints by the extreme barrier approach of setting the objective to infinity for infeasible points and treating the problem as unconstrained. The main GPS convergence result is to identify limit points x0302;, where the Clarke generalized derivatives are nonnegative in a finite set of directions, called refining directions. Although in the unconstrained case, nonnegative combinations of these directions span the whole space, the fact that there can only be finitely many GPS refining directions limits rigorous justification of the barrier approach to finitely many linear constraints for GPS. The main result of this paper is that the general MADS framework is flexible enough to allow the generation of an asymptotically dense set of refining directions along which the Clarke derivatives are nonnegative. We propose an instance of MADS for which the refining directions are dense in the hypertangent cone at x0302; with probability 1 whenever the iterates associated with the refining directions converge to a single x0302;. The instance of MADS is compared to versions of GPS on some test problems. We also illustrate the limitation of our results with examples. [ABSTRACT FROM AUTHOR]

Abstract: Discrete models and continuous control systems are considered in regard to optimality of their trajectories. Some aspects of the principle of optimality [1, p. 83] are analyzed, and it is shown to imply total optimality, that is, the optimality of every part of an optimal trajectory. Certain autonomous systems with free admissible variations possess this property. Nonautonomous optimal systems are not, in general, totally optimal, in which case the principle of optimality is not valid. A modification is proposed for the derivation of the main functional equation to demonstrate that dynamic programming and its functional equations are valid also in the case of nonoptimal remaining trajectories under a certain contiguity condition that is defined and analyzed in the paper. Control systems with incomplete information or structural limitations on controls do not, in general, satisfy the contiguity condition. Control problems for such systems may have optimal solutions which, however, cannot be obtained by dynamic programming. This fact is shown in an example of a widely used engineering system for which an optimal trajectory has all its remaining parts nonoptimal and noncontiguous to the optimal trajectory. The paper presents theoretical justification of dynamic programming for contiguous systems that do not conform to the principle of optimality. Examples are presented to illustrate the results which open new avenues in modeling and optimization of general (not totally optimal) control systems. [Copyright &y& Elsevier]

In this paper, we propose a new methodology for handling optimization problems with uncertain data. With the usual Robust Optimization paradigm, one looks for the decisions ensuring a required performance for all realizations of the data from a given bounded uncertainty set, whereas with the proposed approach, we require also a controlled deterioration in performance when the data is outside the uncertainty set. The extension of Robust Optimization methodology developed in this paper opens up new possibilities to solve efficiently multi-stage finite-horizon uncertain optimization problems, in particular, to analyze and to synthesize linear controllers for discrete time dynamical systems. [ABSTRACT FROM AUTHOR]

Abstract: The topic of the paper is in the field of sculptured surface machining (SSM) on multi-axis NC machines. It presents novel results of investigation of tool-path generation for sculptured surface machining on multi-axis NC machines. The purpose of the paper is to develop an integral form of solution to the problem of optimal tool-path generation. The concept of time-minimal tool-paths is introduced, as well as the optimization problem being formulated analytically. The problem of optimization is subdivided into the following three partial sub-problems: (a) the problem of local tool-path generation; (b) the problem of regional tool-path generation, and finally, (c) the problem of global tool-path generation. The paper presents a closed-form solution to the first two sub-problems. A solution to the problem of optimal tool-path generation is given in the form of an integral equation. The obtained solution enables one to retain the optimal cutter configuration (i.e., the cutter position, and the cutter orientation), as well as the optimal instant direction of feed-rate at every cutter location-point (further, CC-point). [Copyright &y& Elsevier]

Abstract: In this paper, a new definition of the filled function is given, it is different from the primary definition which was given by Ge in paper [R.P. Ge, A filled function method for finding a global minimzer of a function of several variables, Math. Program. 46 (1990) 191–204]. Based on the definition, a new filled function is proposed, and it has better properties. An algorithm for unconstrained global optimization is developed from the new filled function. The implementation of the algorithm on several test problems is reported with satisfactory numerical results. [Copyright &y& Elsevier]

Abstract: Design of an optimal shock-damping isolator is presented in this paper with specific application to casters. The design is first formulated as an optimization problem to minimize the peak acceleration of a load while keeping the maximal deflection of the isolator within a specified physical limit. The resulting solution is a constant force isolator. However, it is difficult to realize a constant force isolator with conventional mechanisms using linear springs and dampers. To implement such an isolator physically, a novel mechanism employing multiple linear springs has been developed. The structure and the parameters of the springs have been chosen by optimization techniques, and the resulting mechanism has been embodied in a prototype caster design. This paper presents the concept, design procedure, simulation and experimental evaluation results of a prototype optimal shock-damping caster in detail. The peak acceleration of this new design is only 65% of the existing caster. From a manufacturing point of view, this newly designed caster is not much more complex than existing ones. [Copyright &y& Elsevier]

The article informs that the no free lunch theorem says that there is no single evolutionary algorithm (EA) which can solve all possible optimization problems efficiently. Over the entire problem space, the performance of all EAs is equivalent. For a given optimization problem, people need to focus on designing problem-oriented algorithms in order to improve the algorithm's performance. For any NP-hard problem, people only have limited heuristic knowledge to use when designing EAs that solve it. This paper, aims to discover the role of heuristic knowledge in EAs. Through a comparative study of three different EAs for solving the node covering problem, the paper investigates the role of heuristic knowledge in EAs finding a feasible solution and the optimal solution.

This paper points out that meta-heuristics should have not only robustness and adaptability to problems with different structure but also adjustability of parameters included in their algorithms. Particle swarm optimization (PSO), whose concept began as a simulation of a simplified social milieu, is known as one of the most powerful optimization methods for solving nonconvex continuous optimization problems. Then, in order to improve adjustability, a new parameter is introduced into PSO on the basis of the proximate optimality principle (POP). In this paper, we propose adaptive PSO and the effectiveness and the feasibility of the proposed approach are demonstrated on simulations using some typical nonconvex optimization problems. © 2005 Wiley Periodicals, Inc. Electr Eng Jpn, 151(3): 41–49, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/eej.20077 [ABSTRACT FROM AUTHOR]

Rufus P. Isaacs joined the RAND Corporation4. Santa Monica, California in 1948 and started to develop the theory of dynamic games in the early 1950s. Until winter 1954/55, when Isaacs left the RAND Corporation, he investigated two player. zero-sum dynamic games of the classic pursuit-evasion type. Prior to 1965, Isaacs published his theory only in internal RAND papers and research memoranda. In his first RAND paper (Ref. 1), Isaacs sketched the basic ideas of zero-sum dynamic game theory The ideas already included rudimentary precursors of the maximum principle, dynamic programming, and backward analysis. At the end of 1954 and the beginning of 1955. Isaacs summarized his research in four research memoranda (Refs. 3–6), which ten years later formed the basis of his famous book on Differential Games (Ref. 7). This paper survey's Isaacs' research with an emphasis on the early years of dynamic games. The readers are kindly invited to discuss the author's point of view. Comments and statements sent to the author will be summarized and published later. [ABSTRACT FROM AUTHOR]

This paper addresses the problem of discovering the structure of a fitness function from binary strings to the reals under the assumption of bounded epistasis. Two loci (string positions) are epistatically Linked if the effect of changing the allele (value) at one locus depends on the allele at the other locus. Similarly, a group of loci are epistatically linked if the effect of changing the allele at one locus depends on the alleles at all other loci of the group. Under the assumption that the size of such groups of loci are bounded, and assuming that the function is given only as a "black box function", this paper presents and analyzes a randomized algorithm that finds the complete epistatic structure of the function in the form of the Walsh coefficients of the function. [ABSTRACT FROM AUTHOR]

This paper deals with a fully implicit time discretization scheme with variable time-step for a nonlinear system modelling phase transition and mechanical deformations in shape memory alloys. The model is studied in the non-stationary case and accounts for local microscopic interactions between the phases introducing the gradients of the phase parameters. The resulting initial-boundary value problem has already been studied by the author who proved existence, uniqueness and continuous dependence on data for a suitable weak solution along some regularity results. A careful and detailed investigation of the variable time-step discretization is the goal of this paper. Thus, we deduce some estimates for the discretization error. These estimates depend only on data, impose no constraints between consecutive time-steps and show an optimal order of convergence. Finally, we prove another regularity result for the solution under stronger regularity assumptions on data. [ABSTRACT FROM AUTHOR]

This paper deals with the numerical solution of optimal control problems for ODEs. The methods considered here rely on some standard optimization code to solve a discretized version of the control problem under consideration. We aim to make available to the optimization software not only the discrete objective functional, but also its gradient. The objective gradient can be computed either from forward (sensitivity) information or backward (adjoint) information. The purpose of this paper is to discuss various ways of adjoint computation. It will be shown both theoretically and numerically that methods based on the continuous adjoint equation require a careful choice of both the integrator and gradient assembly formulas in order to obtain a gradient consistent with the discretized control problem. Particular attention is given to automatic differentiation techniques which generate automatically a suitable integrator. [ABSTRACT FROM AUTHOR]

This paper studies the tracking and almost disturbance decoupling problem of the nonlinear AMIRA ball and beam system based on the feedback linearization approach. The main contribution of this study is to construct a controller, under appropriate conditions, such that the resulting closed-loop system is valid for any initial condition and bounded tracking signal with the following characteristics: input-to-state stability with respect to disturbance inputs and almost disturbance decoupling. Two examples on the almost disturbance decoupling problem, which cannot be solved via Ref. 1, are proposed in this paper exploiting the fact that the tracking and the almost disturbance decoupling performances are easily achieved by our proposed approach. [ABSTRACT FROM AUTHOR]

In this paper, a new sequential penalty algorithm, based on the L[sub ∞] exact penalty function, is proposed for a general nonlinear constrained optimization problem. The algorithm has the following characteristics: it can start from an arbitrary initial point; the feasibility of the subproblem is guaranteed; the penalty parameter is adjusted automatically; global convergence without any regularity assumption is proved. The update formula of the penalty parameter is new. It is proved that the algorithm proposed in this paper behaves equivalently to the standard SQP method after sufficiently many iterations. Hence, the local convergence results of the standard SQP method can be applied to this algorithm. Preliminary numerical experiments show the efficiency and stability of the algorithm. [ABSTRACT FROM AUTHOR]

This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. This analysis is motivated by a desire to understand the successful behavior of the algorithm under hypotheses that are satisfied by many practical problems. Specifically, even if the objective function is discontinuous or extended-valued, the methods find a limit point with some minimizing properties. Simple examples show that the strength of the optimality conditions at a limit point depends not only on the algorithm, but also on the directions it uses and on the smoothness of the objective at the limit point in question. The contribution of this paper is to provide a simple convergence analysis that supplies detail about the relation of optimality conditions to objective smoothness properties and to the defining directions for the algorithm, and it gives previous results as corollaries. [ABSTRACT FROM AUTHOR]

This paper considers the problem of minimizing a nonlinear objective function subject to a system of bipolar fuzzy relational equations with max- $T_{L}$ composition, where $T_{L}$ is the Łukasiewicz triangular norm. It shows that the feasible domain, i.e., the solution set of a system of bipolar fuzzy relational equations, can be reformulated as a system of 0-1 mixed integer inequalities. Consequently, such a type of optimization problems can be handled within the framework of 0-1 mixed integer optimization requiring no particular solving techniques. [ABSTRACT FROM AUTHOR]

Purpose – The purpose of this paper is to present the topology optimization method to design the rotor and the tooth base in the stator of the permanent magnet (PM) excited machine with the improved high-speed features. The topological and shape sensitivity through the multi-level set method (MLSM) have been used to attain an innovative design of both the rotor and stator made of different materials. Design/methodology/approach – This framework is based on the application of the topological and the shape derivative, obtained by incorporating the adjoint variable method into the MLSM for the magnetoquasistatic system. The representation of the shape and their evolution during the iterative optimization process are obtained by the MLSM. Findings – To find the optimal configuration of a PM machine, the stator and rotor poles were simultaneously optimized by redistributing the iron and the magnet material over the design domains. In this way, it was possible to obtain an innovative design which allows to reduce mechanical vibration and the acoustic noise caused by the cogging torque, while taking the back electromotive force into account. Originality/value – The novelty of the proposed method is to apply the modified multi-level set algorithm with the total variation to the magnetoquasistatic optimization problem. Given the eddy currents phenomenon in the model of a PM machine, it was possible not only to optimize the structure of a PM machine but also to analyze electromagnetic losses distribution. [ABSTRACT FROM AUTHOR]

Waveform design is a pivotal component of the fully adaptive radar construct. In this paper, we consider waveform design for radar space time adaptive processing (STAP), accounting for the waveform dependence of the clutter correlation matrix. Due to this dependence, in general, the joint problem of receiver filter optimization and radar waveform design becomes an intractable, nonconvex optimization problem, Nevertheless, it is, however, shown to be individually convex either in the filter or in the waveform variables. We derive constrained versions of a) the alternating minimization algorithm, b) proximal alternating minimization, and c) the constant modulus alternating minimization, which, at each step, iteratively optimizes either the STAP filter or the waveform independently. A fast and slow time model permits waveform design in radar STAP, but the primary bottleneck is the computational complexity of the algorithms. [ABSTRACT FROM PUBLISHER]

Optimal reactive power planning is one of the major and important problems in electrical power systems operation and control. This is nothing but multi-objective, nonlinear, minimization problem of power system optimization. This paper presents the relevance of New Improved Differential Evolution (NIDE) algorithm to solve the Reactive Power Planning (RPP) problem based on Multi-objective optimization. Minimization of total cost of energy loss and cost of F A C T controlers installments are taken as the objectives incorporating (RPP) problem. With help of New Voltage Stability Index (NVSI), the critical lines and buses are identified to install the FACTS controllers. The optimal settings of the control variables of the generator voltages, transformer tap settings and provision and parameter settings of the FACT controllers SVC, TCSC, and UPFC are considered for reactive power planning. The approach applied to IEEE 30 and 72-bus Indian system for minimization of active power loss. Simulation results are compared with other optimization algorithm. [ABSTRACT FROM AUTHOR]

The paper suggests a new-to the best of the author's knowledge-characterization of decisions, which are optimal in the multi-objective optimization problem with respect to a definite proper preference cone, a Euclidean cone with a prescribed angular radius. The main idea is to use the angle distances between the unit vector and points of utility space. A necessary and sufficient condition for the optimality in the form of an equation is derived. The first-order necessary optimality conditions are also obtained. [ABSTRACT FROM AUTHOR]

In the present paper, we consider the inequality constrained vector problem with continuously Fréchet differentiable objective functions and constraints. We obtain second-order necessary optimality conditions of Karush-Kuhn-Tucker type for weak efficiency. A new second-order constraint qualification of Zangwill type is introduced. It is applied in the optimality conditions. Some connections with other constraint qualifications are established. [ABSTRACT FROM AUTHOR]

Vector quantization is known widely as a highly efficient coding for image and speech signals. The algorithm proposed by Linde, Buzo, and Gray (the LBG algorithm) is the most fundamental design procedure for this kind of quantizer. However, the LBG algorithm usually gives only the local minimum of the distortion measure based on the quantization error. With such a background, this paper introduces the simulated annealing procedure into the design of the vector quantizer based on the LBG algorithm, which is known as the effective method for the NP-complete probabilistic combinational optimization problem. The widely employed mean-square error is adopted as the distortion measure. Various approaches are considered to derive the global minimum of the measure. In other words, this paper is based on the LBG algorithm and presents a design procedure for the vector quantizer (more generally, the vector quantizer considering the channel error) by introducing simulated annealing. By this approach, a vector quantizer with a better performance than the traditional design as well as a more ideal highly efficient coding is realized. A simulated experiment is executed for the standard image data (SIDBA), and it is demonstrated that the simulated annealing is useful in the design of the vector quantizer. [ABSTRACT FROM AUTHOR]

In this paper, we consider a constrained nonconvex nonsmooth optimization, in which both objective and constraint functions may not be convex or smooth. With the help of the penalty function, we transform the problem into an unconstrained one and design an algorithm in proximal bundle method in which local convexification of the penalty function is utilized to deal with it. We show that, if adding a special constraint qualification, the penalty function can be an exact one, and the sequence generated by our algorithm converges to the KKT points of the problem under a moderate assumption. Finally, some illustrative examples are given to show the good performance of our algorithm. [ABSTRACT FROM AUTHOR]

The zero propellant maneuver (ZPM) is an advanced space station, large angle attitude maneuver technique, using only control momentum gyroscopes (CMGs). Path planning is the key to success, and this paper studies the associated multi-objective optimization problem. Three types of maneuver optimal control problem are formulated: (i) momentum-optimal, (ii) time-optimal, and (iii) energy-optimal. A sensitivity analysis approach is used to study the Pareto optimal front and allows the tradeoffs between the performance indices to be investigated. For example, it is proved that the minimum peak momentum decreases as the maneuver time increases, and the minimum maneuver energy decreases if a larger momentum is available from the CMGs. The analysis is verified and complemented by the numerical computations. Among the three types of ZPM paths, the momentum-optimal solution and the time-optimal solution generally possess the same structure, and they are singular. The energy-optimal solution saves significant energy, while generally maintaining a smooth control profile. [ABSTRACT FROM AUTHOR]

In this paper, epsilon and Ritz methods are applied for solving a general class of fractional constrained optimization problems. The goal is to minimize a functional subject to a number of constraints. The functional and constraints can have multiple dependent variables, multiorder fractional derivatives, and a group of initial and boundary conditions. The fractional derivative in the problem is in the Caputo sense. The constrained optimization problems include isoperimetric fractional variational problems (IFVPs) and fractional optimal control problems (FOCPs). In the presented approach, first by implementing epsilon method, we transform the given constrained optimization problem into an unconstrained problem, then by applying Ritz method and polynomial basis functions, we reduce the optimization problem to the problem of optimizing a real value function. The choice of polynomial basis functions provides the method with such a flexibility that initial and boundary conditions can be easily imposed. The convergence of the method is analytically studied and some illustrative examples including IFVPs and FOCPs are presented to demonstrate validity and applicability of the new technique. [ABSTRACT FROM AUTHOR]

In real linear spaces, partial orderings are usually generated by ordering cones. In many situations, however, such an ordering cone is too small with respect to the whole space. Therefore, in this paper, we extend the concept of ordering cones to a more general concept. For this purpose, we define a parameterized binary relation, based on a convex cone and a binary function. We investigate some geometrical and topological properties of this relation in detail. [ABSTRACT FROM AUTHOR]

In this paper, we consider a dynamic optimization problem involving a general switched system that evolves by switching between several subsystems of nonlinear delay-differential equations. The optimization variables in this system consist of: (1) the times at which the subsystem switches occur; and (2) a set of system parameters that influence the subsystem dynamics. We first establish the existence of the partial derivatives of the system state with respect to both the switching times and the system parameters. Then, on the basis of this result, we show that the gradient of the cost function can be computed by solving the state system forward in time followed by a costate system backward in time. This gradient computation procedure can be combined with any gradient-based optimization method to determine the optimal switching times and parameters. We propose an effective optimization algorithm based on this idea. Finally, we consider three numerical examples, one involving the 1,3-propanediol fed-batch production process, to illustrate the effectiveness and applicability of the proposed algorithm. [ABSTRACT FROM AUTHOR]

During the last years several ant-based techniques were involved to solve hard and complex optimization problems. The current paper is a short study about the influence of artificial ant species in solving optimization problems. There are studied the artificial Pharaoh Ants, Lasius Niger and also artificial ants with no special specificity used commonly in Ant Colony Optimization. [ABSTRACT FROM AUTHOR]

Abstract: The main results of this paper include a detailed analysis of the notion of generalized order optimality and some sufficient conditions for a point satisfying the necessary optimality condition of Mordukhovich (2006) for being a generalized order solution of the optimization problem under consideration. [Copyright &y& Elsevier]

The r-component connectivity κ r (G) of the non-complete graph G is the minimum number of vertices whose deletion results in a graph with at least r components. So, κ2 is the usual connectivity. In this paper, we determine the r-component connectivity of the hypercube Q n for r=2, 3, …, n+1, and we classify all the corresponding optimal solutions. [ABSTRACT FROM PUBLISHER]