Search

In this paper, a new class of Hermite-Hadamard type integral inequalities using a strong type of convexity, known as n-polynomial exponential type s-convex function, is studied. This class is established by utilizing the Hölder's inequality, which has several applications in optimization theory. Some existing results of the literature are obtained from newly explored consequences. Finally, some novel limits for specific means of positive real numbers are shown as applications. [ABSTRACT FROM AUTHOR]

This paper deals with undiscounted infinite stage two-person zero-sum stochastic games with finite state and action spaces. It was recently shown that such games possess a value. But in general there are no optimal strategies. We prove that for each player there exists a nonempty set of easy initial states, i.e. starting states for which the player possesses an optimal stationary strategy. This result is proved with the aid of facts derived by Bewley and Kohlberg for the limit discount equation for stochastic games. [ABSTRACT FROM AUTHOR]

In this paper, a new class of (G, C, ρ)-type I functions and their generalizations are introduced. We consider a class of differentiable multiobjective optimization problems and establish sufficient optimality conditions. The results of the paper are more general than those existing in the literature. [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]

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]

This paper presents a surrogate constraint tabu thresholding (SCTT) implementation for solving the frequency assignment problem. The frequency assignment problem is an important combinatorial optimisation problem that arises in telecommunications. The main objective is to assign radio frequencies to a number of communication links such that interference is minimised. Interference is minimised by satisfying a number of problem specific constraints. The surrogate constraint is created by taking a weighted sum of the constraints not satisfied. SCTT is compared with a tabu thresholding method from the literature on a set of simulated but realistic test problems with respect to quality of the solution in a given time period. Computational results show that SCTT is more efficient and effective for all the test problems. [ABSTRACT FROM AUTHOR]

This paper explores the use of simulated annealing (SA) for solving arbitrary combinatorial optimisation problems. It reviews an existing code called GPSIMAN for solving 0–1 problems, and evaluates it against a commercial branch-and-bound code, OSL. The problems tested include travelling salesman, graph colouring, bin packing, quadratic assignment and generalised assignment. The paper then describes a technique for representing these problems using arbitrary integer variables, and shows how a general simulated annealing algorithm can also be applied. This new code, INTSA, outperforms GPSIMAN and OSL on almost all of the problems tested. [ABSTRACT FROM AUTHOR]

This paper presents an approach, similar to penalty functions, for solving arbitrary mathematical programs. The surrogate mathematical program is a lesser constrained problem that, in some cases, may be solved with dynamic programming. The paper deals with the theoretical development of this surrogate approach. [ABSTRACT FROM AUTHOR]

This paper introduces a generalization of the frequently discussed problem of finding the optimum redundancy that maximizes the reliability of a network of components. Past work has restricted consideration to arrangements of redundant components called series-parallel networks. This paper allows a much broader class of arrangements called series-parallelseries networks. It is important to consider such arrangements for realistic situations in which components have more than one failure mode, or the combination of parallel paths introduces a failure probability. A dynamic programming algorithm is used to solve the more general problem for the case in which there are no constraints on the optimum solution. The algorithm is extended to handle multiple constraints using dominance and a variety of elimination methods to reduce the storage required in a compurer implementation of the algorithm. Problems with as many as 15 serial components and three constraints have been solved with reasonable digital computer computation times. [ABSTRACT FROM AUTHOR]

In this paper, proper optimality concepts in vector optimization with variable ordering structures are introduced for the first time and characterization results via scalarizations are given. New type of scalarizing functionals are presented and their properties are discussed. The scalarization approach suggested in the paper does not require convexity and boundedness conditions. [ABSTRACT FROM AUTHOR]

This paper presents a convex mathematical programming model for the global optimization of recycle/reuse water networks. The model is based on a general superstructure that includes the major configurations of interest such as segregation, mixing, recycle, bypass, and treatment of streams needed to satisfy the process and environmental constraints. The basic idea of the model formulation is to consider component balances, treating as optimization variables the individual flowrates. This formulation avoids the bilinear terms that appear when the compositions and total flowrates are considered as optimization variables. The objective function consists in the minimization of the total annual cost including the fresh sources costs, the treatment units costs (which are reformulated as convex functions) and the piping costs. Four examples problems are solved to show the applicability of the proposed model. [ABSTRACT FROM AUTHOR]

The present paper studies the following constrained vector optimization problem: $$\mathop {\min }\limits_C f(x),g(x) \in - K,h(x) = 0$$, where f: ℝ n → ℝ m, g: ℝ n → ℝ p are locally Lipschitz functions, h: ℝ n → ℝ q is C1 function, and C ⊂ ℝ m and K ⊂ ℝ p are closed convex cones. Two types of solutions are important for the consideration, namely w-minimizers (weakly efficient points) and i-minimizers (isolated minimizers of order 1). In terms of the Dini directional derivative first-order necessary conditions for a point x0 to be a w-minimizer and first-order sufficient conditions for x0 to be an i-minimizer are obtained. Their effectiveness is illustrated on an example. A comparison with some known results is done. [ABSTRACT FROM AUTHOR]

A novel filled function is given in this paper to find a global minima for a nonsmooth constrained optimization problem. First, a modified concept of the filled function for nonsmooth constrained global optimization is introduced, and a filled function, which makes use of the idea of the filled function for unconstrained optimization and penalty function for constrained optimization, is proposed. Then, a solution algorithm based on the proposed filled function is developed. At last, some preliminary numerical results are reported. The results show that the proposed approach is promising. [ABSTRACT FROM AUTHOR]

An optimization problem is defined by an objective function to be maximized with respect to a set of constraints. To overcome some theoretical and practical difficulties, the constraint-set is sometimes relaxed and “easier” problems are solved. This led us to study relaxations providing exactly the same set of optimal solutions. We give a complete characterization of these relaxations and present several examples. While the relaxations introduced in this paper are not always easy to solve, they may help to prove that some mathematical programs are equivalent in terms of optimal solutions. An example is given where some of the constraints of a linear program can be relaxed within a certain limit. [ABSTRACT FROM AUTHOR]

This paper presents an efficient technique for synthesis and optimization of the polynomials over GF(2m), where m is a nonzero positive integer. The technique is based on a graph-based decomposition and factorization of the polynomials, followed by efficient network factorization and optimization. A technique for efficiently computing the coefficients of the polynomials over GF(pm), where p is a prime number, is first presented. The coefficients are stored as polynomial graphs over GF(pm). The synthesis and optimization is initiated from this graph-based representation. The technique has been applied to minimize multipliers over the fields GF(2κ ), where k = 2,..., 8, generated with all the 51 primitive polynomials in the 0.18-/~m CMOS technology with the help of the Synopsys design compiler. It has also been applied to minimize combinational exponentiation circuits, parallel integer adders and multipliers, and other multivariate bit- as well as word-level polynomials. The experimental results suggest that the proposed technique can reduce area, delay, and power by significant amounts. We also observed that the technique is capable of producing 100% testable circuits for stuck-at faults. [ABSTRACT FROM AUTHOR]

For variational inequalities, various merit functions, such as the gap function, the regularized gap function, the D-gap function and so on, have been proposed. These functions lead to equivalent optimization formulations and are used to optimization-based methods for solving variational inequalities. In this paper, we extend the regularized gap function and the D-gap functions for a quasi-variational inequality, which is a generalization of the variational inequality and is used to formulate generalized equilibrium problems. These extensions are shown to formulate equivalent optimization problems for quasi-variational inequalities and are shown to be continuous and directionally differentiable. [ABSTRACT FROM AUTHOR]

Due to the large amounts of data required to be processed by the typical Grid job, it is conceivable that the use of optical transport networks in Grid deployment (hence the term “Lambda Grid”) will increase. The exact topology of the interconnecting network is obtained by solving a dimensioning problem, and the outcome of this strongly depends on both the expected workload characteristics and Grid scheduling policy. Solving this combined scheduling and dimensioning problem using straightforward ILP modelling is cumbersome; however, for steady-state Grid operation, Divisible Load Theory (DLT) can yield scalable formulations of this problem. In this paper, the on-line hierarchical scheduling on a lambda Grid of workload approaching the Grid’s capacity in a two-tier Grid mode of operation is studied. A number of these algorithms are goal-driven, in the sense that target per-resource goals are obtained from the off-line solution to the Divisible Load model. We compare these on-line multiresource scheduling policies for different workloads, Grid interconnection topologies and Grid parameters. We show that these algorithms perform well in the studied scenarios when compared to a fully centralized scheduling algorithm. [ABSTRACT FROM AUTHOR]

Increasing levels of process variation in current process technologies make it extremely important that design and process decisions be made while considering their impact. This paper presents a convex-optimization-based approach to select values of supply voltages, threshold voltages, and oxide thicknesses to minimize power dissipation in a simplified abstraction of multi-Vdd/Vth/Tox CMOS designs while considering process variation. The authors use this probabilistic approach to perform optimization of different statistical parameters of power dissipation (e.g., mean or high percentile points) and quantify the impact of rising process variations on these power-minimization techniques. [ABSTRACT FROM AUTHOR]

Abstract This paper proposes a new robust FIR equalizer for discrete time systems subject to parameter uncertainties in the matrices of the system state-space model from an H8 perspective. The uncertain parameters are supposed to belong to a given convex bounded polyhedral domain. The discrete algebraic Riccati inequality (DARI) and linear matrix inequality (LMI) provide an extremely superior methodology in the H8 control fields. By the H8 and robust methods in conjunction with the bounded real lemma, the robust FIR equalizer design is transformed into a standard LMI optimization problem. An example is given to illustrate the proposed methodology. [ABSTRACT FROM AUTHOR]

This paper describes a novel approach for solving combinatorial optimisation problems called Simulated Jumping. It is based on ideas from spin-glasses, simulated annealing and self-organisation. We start from a low temperature, and the system is then subjected to a rapid heating and cooling process (a shaking process). This process is controlled by the system's energy in a self-organised manner. The heating and cooling process will continuously melt and freeze local regions; this process pushes the system out of local minima and hence minimises the energy function. Application of the Simulated Jumping method to the Quadratic Assignment and Asymmetric Travelling Salesman problems gives promising results. [ABSTRACT FROM AUTHOR]

The purpose of this paper is to take stock of what is known and to suggest some conceptual foundations for future progress in the areas of postoptimality analysis and parametric optimization techniques for integer programming. [ABSTRACT FROM AUTHOR]

In this paper, we are concerned with an algorithm which combines the generalized linear programming technique proposed by Dantzig and Wolfe with the stochastic quasi-gradient method in order to solve stochastic programs with recourse. In this way, we overcome the difficulties arising in finding the exact values of the objective function of recourse problems by replacing them with the statistical estimates of the function. We present the basic steps of the proposed algorithm focusing our attention on its implementation alternatives aimed at improving both the convergence and computational performances. The main application areas are mentioned and some computational experience in the validation of our approach is reported. Finally, we discuss the possibilities of parallelization of the proposed algorithmic schemes. [ABSTRACT FROM AUTHOR]

This paper considers the problem of finding minimal length tree networks on the unit sphere Φ of a given point set (V) where distance is measured along great circular arcs. The related problems of finding a Steiner Minimal Tree SMT (V) and of finding a Minimum Spanning Tree MST(V) are treated through a simplicial decomposition technique based on computing the Delaunay Triangulation DT (V) and the Voronoi Diagram VD(V) of the given point set. O (N log N) algorithms for computing DT(V), VD(V), and WST(V) as well as an O(N log N) heuristic for finding a sub-optimal SMT(V) solution are presented, together with experimental results for randomly distributed points on Φ. [ABSTRACT FROM AUTHOR]

The purpose of the paper is to give a survey of methods, partly derived by the author in joint work with other researchers, concerning the problem of constructing e-optimal strategies for partially observable MDPs. The methods basically consist in transforming the problem into one of approximation: Starting from the original problem a sequence of approximating problems is constructed such that: (i) For each approximating problem an optimal strategy can actually be computed, (ii) Given ϵ » 0, there exists an approximating problem such that the optimal strategy for the latter is ϵ-optimal for the original problem. [ABSTRACT FROM AUTHOR]

This paper analyzes priority rules that are mixtures of preemption and postponable rules. Whether a preemption occurs is made to depend on some factor in addition to priority class; dependence on the completed portion of service (age) of the lower-priority customer in service and the number of prior preemptions of the lower-priority customer in service are each considered. The stochastic model (without priorities) is that of the M/G/1 queue. The paper obtains first-moment expressions (e.g., expected number of customers in the system) in the steady-state case for each priority class as a function of the particular factor being considered. It then introduces a linear cost model that is a function of expected waiting time and expected number of preemptions, and formulates the problem of finding an optimal rule from each class by considering a parametric class of rules determined by each factor. In each case, conditions are sought for the global optimality of a rule over a class of rules, but results are obtained only after restrictions (e.g., monotone failure rates) on service distributions are imposed. [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]

In this paper a parametric optimization problem for a linear neutral system with two delays with an integral quadratic performance index is formulated and solved. The method of computing of a performance index value bases on determining of a Lyapunov functional defined on a state space such that its value for an initial state is equal to a performance index value. In the paper a form of a Lyapunov functional is assumed and a method of computing its coefficients is given. An example illustrating the application of discussed theory is presented. It concerns the system with a PD-controller designed to control a plant with two delays both retarded and neutral type. For such system a value of considered performance index is determined. [ABSTRACT FROM AUTHOR]

In this paper, the concept of second order generalized α-type I univexity is introduced. Based on the new definitions, we derive weak, strong and strict converse duality results for two second order duals of a minmax fractional programming problem. [ABSTRACT FROM AUTHOR]

Abstract: this paper gives them some properties. This paper firstly introduces rough logic, and proposes factorization of model based on rough logic, and proposes the optimal factorization of model, so one complex model could be factorized into several simple models, which are easy to be handled. this paper not only gives them some properties, but also analyze the time complexity of it. [Copyright &y& Elsevier]

Abstract: This paper firstly introduces rough logic, and proposes factorization of model based on rough logic, and proposes the optimal factorization of model, so one complex model could be factorized into several simple models, which are easy to be handled. this paper gives them somae properties. [Copyright &y& Elsevier]

In this paper, an efficient computation method is developed for solving a general class of minmax optimal control problems, where the minimum deviation from the violation of the continuous state inequality constraints is maximized. The constraint transcription method is used to construct a smooth approximate function for each of the continuous state inequality constraints. We then obtain an approximate optimal control problem with the integral of the summation of these smooth approximate functions as its cost function. A necessary condition and a sufficient condition are derived showing the relationship between the original problem and the smooth approximate problem. We then construct a violation function from the solution of the smooth approximate optimal control problem and the original continuous state inequality constraints in such a way that the optimal control of the minmax problem is equivalent to the largest root of the violation function, and hence can be solved by the bisection search method. The control parametrization and a time scaling transform are applied to these optimal control problems. We then consider two practical problems: the obstacle avoidance optimal control problem and the abort landing of an aircraft in a windshear downburst. [ABSTRACT FROM AUTHOR]

The article explores the mechanics of the television game show "The Weakest Link." Contestants of the game answer general knowledge questions, with each correct answer raising the amount held in a temporary pot. The game involves several mathematical issues such as strategy optimization, existence of Nash equilibria, and voting considerations. The payoff vector as being the amount in the pot after a chain of correct answers was introduced to describe various versions of the game around the world.

In this paper, we derive some existence results for generalized variational inequalities associated with mappings satisfying the ( S)+ condition. The relation between the ( S)+ and ( S) conditions is discussed. As an application, we also consider multivalued complementarity problems associated with mappings satisfying the ( S)+ condition, and prove a theorem to characterize the solvability of such problems in terms of exceptional families of elements. [ABSTRACT FROM AUTHOR]

Abstract  This paper describes a new multiobjective interactive memetic algorithm applied to dynamic location problems. The memetic algorithm integrates genetic procedures and local search. It is able to solve capacitated and uncapacitated multi-objective single or multi-level dynamic location problems. These problems are characterized by explicitly considering the possibility of a facility being open, closed and reopen more than once during the planning horizon. It is possible to distinguish the opening and reopening periods, assigning them different coefficient values in the objective functions. The algorithm is part of an interactive procedure that asks the decision maker to define interesting search areas by establishing limits to the objective function values or by indicating reference points. The procedure will be applied to some illustrative location problems. [ABSTRACT FROM AUTHOR]

In this paper, we study an algorithm (which we call the support reduction algorithm) that can be used to compute non-parametric M-estimators in mixture models. The algorithm is compared with natural competitors in the context of convex regression and the ‘Aspect problem’ in quantum physics. [ABSTRACT FROM AUTHOR]

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]

Let M be a matroid on E υ {l}, where l ∉ E is a distinguished element of M, The l-port of M is the set 풫 = {P: P ⊆ E with P υ {l} a circuit of M}. Let A be the 풫-E incidence matrix. Let U2,4 be the uniform matroid on four elements of rank two, let F7 be the Fano matroid, let F7* be the dual of F7, and let F7+ be the unique series extension of F7. In this paper, we prove that the system Ax ≥ 1, x ≥ 0 is box-totally dual integral (box-TDI) if and only if M has no U2.4-minor using l, no F7*-minor using l, and no F7+-minor using l as a series element. Our characterization yields a number of interesting results in combinatorial optimization. [ABSTRACT FROM AUTHOR]

A key challenge in using timing-robust asynchronous circuit styles is the lack of automated optimization techniques. In this paper, technology mapping and cell merger algorithms for asynchronous threshold networks are introduced. The cell merger problem is a restricted form of technology mapping where only adjacent cells are merged. The two algorithms can each target either delay or area, or a combined delay-area cost function. Experiments were performed on substantial industrial design examples (DES and GCD circuits) that had already been optimized by an existing commercial asynchronous synthesis tool flow. Average delay improvements of 31.6% for basic technology mapping and 29.6% for basic cell merger were obtained. Average area improvements of 9.5 % for basic technology mapping and 8.5 % for basic cell merger were also obtained. Additional experiments were performed on the largest MCNC combinational benchmarks with similar results. Finally, targeting a hybrid cost function, area minimization under specified hard timing constraints, a further area reduction of up to 10.7% on average in technology mapping was recovered without compromising the overall system performance. The new algorithms are the first systematic and general mapping approach for asynchronous threshold networks, targeting delay or area, which preserve the timing-robustness properties of the initial unoptimized circuits. [ABSTRACT FROM AUTHOR]

During the last years nature inspired intelligent techniques have become attractive for analyzing large data sets and solving complex optimization problems. In this paper, one of the most interesting of them, the Ant Colony Optimization (ACO), is used for the construction of a hybrid algorithmic scheme which effectively handles the Pap Smear Cell classification problem. This algorithmic approach is properly combined with a number of nearest neighbor based approaches for performing the requested classification task, through the solution of the so-called optimal feature subset selection problem. The proposed complete algorithmic scheme is tested in two sets of data. The first one consists of 917 images of pap smear cells and the second set consists of 500 images, classified carefully by expert cyto-technicians and doctors. Each cell is described by 20 numerical features, and the cells fall into seven (7) classes, four (4) representing normal cells and three (3) abnormal cases. Nevertheless, from the medical diagnosis viewpoint, a minimum requirement corresponds to the general two-class problem of correct separation between normal from abnormal cells. [ABSTRACT FROM AUTHOR]

In his 1976 book, Proofs and Refutations, Lakatos presents a collection of case studies to illustrate methods of mathematical discovery in the history of mathematics. In this paper, we reframe these methods in ways that we have found make them more amenable for use as a framework for research on learning and teaching mathematics. We present an episode from an undergraduate abstract algebra classroom to illustrate the guided reinvention of mathematics through processes that strongly parallel those described by Lakatos. Our analysis suggests that the constructs described by Lakatos can provide a useful framework for making sense of the mathematical activity in classrooms where students are actively engaged in the development of mathematical ideas and provide design heuristics for instructional approaches that support the learning of mathematics through the process of guided reinvention. [ABSTRACT FROM AUTHOR]

The effective resistance between two nodes of a weighted graph is the electrical resistance seen between the nodes of a resistor network with branch conductances given by the edge weights. The effective resistance comes up in many applications and fields in addition to electrical network analysis, including, for example, Markov chains and continuous-time averaging networks. In this paper we study the problem of allocating edge weights on a given graph in order to minimize the total effective resistance, i.e., the sum of the resistances between all pairs of nodes. We show that this is a convex optimization problem and can be solved efficiently either numerically or, in some cases, analytically. We show that optimal allocation of the edge weights can reduce the total effective resistance of the graph (compared to uniform weights) by a factor that grows unboundedly with the size of the graph. We show that among all graphs with n nodes, the path has the largest value of optimal total effective resistance and the complete graph has the least. [ABSTRACT FROM AUTHOR]

In this paper we present sufficient conditions for global optimality of non-convex quadratic programs involving linear matrix inequality (LMI) constraints. Our approach makes use of the concept of a quadratic subgradient. We develop optimality conditions for quadratic programs with LMI constraints by using Lagrangian function and by examining conditions which minimizes a quadratic subgradient of the Lagrangian function over simple bounding constraints. As applications, we obtain sufficient optimality condition for quadratic programs with LMI and box constraints by minimizing a quadrtic subgradient over box constraints. We also give optimality conditions for quadratic minimization involving LMI and binary constraints. [ABSTRACT FROM AUTHOR]

Abstract??In this paper, we consider Levitin?Polyak type well-posedness for a general constrained vector optimization problem. We introduce several types of (generalized) Levitin?Polyak well-posednesses. Criteria and characterizations for these types of well-posednesses are given. Relations among these types of well-posedness are investigated. Finally, we consider convergence of a class of penalty methods under the assumption of a type of generalized Levitin?Polyak well-posedness. [ABSTRACT FROM AUTHOR]

A temporal flexible planning problem that involves contingent and requirement events can be formulated as a simple temporal network with uncertainty (STNU). An STNU is controllable when there is a strategy for executing the requirement events (or actions) in such a way that all the conditions involving contingent events can be satisfied in all situations. The most interesting and useful controllability property is dynamic controllability in which the remaining actions in an STNU can always be scheduled under all possible feasible durations of future contingent events when all the past contingent events are known. In this paper, we propose and study a novel problem of assigning bounds on the duration of each requirement link in order for the resulting STNU to be dynamically controllable and to minimize the total cost over the allowed durations of all requirement links. We first prove the NP hardness of the problem with a linear cost function. We then formulate the dynamic controllability of an STNU as the constraints in a nonlinear optimization problem. Finally, we present methods for reducing the number of constraints in order to make the problem tractable and to demonstrate the computational performance of our methods. [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]

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]