Search

In this paper, we propose a decentralized parallel computation model for global optimization using interval analysis. The model is adaptive to any number of processors and the workload is automatically and evenly distributed among all processors by alternative message passing. The problems received by each processor are processed based on their local dominance properties, which avoids unnecessary interval evaluations. Further, the problem is treated as a whole at the beginning of computation so that no initial decomposition scheme is required. Numerical experiments indicate that the model works well and is stable with different number of parallel processors, distributes the load evenly among the processors, and provides an impressive speedup, especially when the problem is time-consuming to solve. [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]

The Fermat-Torricelli problem is an optimization problem associated with a finite subset $\{a_{j}\}_{j=1}^{q}$ of ℝ and a family $\{c_{j}\}_{j=1}^{q}$ of positive weights. The function F to be minimized is defined by $F(x)=\sum _{j=1}^{q}c_{j}\Vert x-a_{j}\Vert$. In this paper, we extend this problem to the case of volumes. [ABSTRACT FROM AUTHOR]

The notion of extended-well-posedness has been introduced by Zolezzi for scalar minimization problems and has been further generalized to vector minimization problems by Huang. In this paper, we study the extended well-posedness properties of vector minimization problems in which the objective function is C-quasiconvex. To achieve this task, we first study some stability properties of such problems. [ABSTRACT FROM AUTHOR]

The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely accepted, it is necessary to achieve the same for interval computation. The cset of a function over a set in its domain space is the set of all limits of normal function values over that set. Csets form a sound basis for defining a number of practical models for interval arithmetic that handle division by zero and related operations in an intuitive and consistent manner. Cset-based systems offer new opportunities for compiler optimization by rearranging interval expressions, achieving tighter bounds by reducing dependencies within the expression. This paper presents basic theory. It discusses division by zero, the case for a global flag to support ``loose'' evaluation, performance, and semantics. It presents numerical examples using a trial Matlab implementation. [ABSTRACT FROM AUTHOR]

In this paper, we discuss the smoothing of an implicit function defined by a nonsmooth underdetermined system of equations F(y, z) =0. We apply a class of parametrized smoothing methods to smooth F and investigate the limiting behavior of the implicit function solving the smoothed equations. In particular, we discuss the approximation of the Clarke generalized Jacobian of the implicit function when F is piecewise smooth. As an application, we present an analysis of the generalized Karush-Kuhn-Tucker conditions of different forms for a piecewise-smooth equality-constrained minimization problem. [ABSTRACT FROM AUTHOR]

In this paper, we consider a general primal-dual nonlinear rescaling (PDNR) method for convex optimization with inequality constraints. We prove the global convergence of the PDNR method and estimate the error bounds for the primal and dual sequences. In particular, we prove that, under the standard second-order optimality conditions, the error bounds for the primal and dual sequences converge to zero with linear rate. Moreover, for any given ratio 0 < γ < 1, there is a fixed scaling parameter kγ > 0 such that each PDNR step shrinks the primal-dual error bound by at least a factor 0 < γ < 1, for any k ≥ kγ. The PDNR solver was tested on a variety of NLP problems including the constrained optimization problems (COPS) set. The results obtained show that the PDNR solver is numerically stable and produces results with high accuracy. Moreover, for most of the problems solved, the number of Newton steps is practically independent of the problem size. [ABSTRACT FROM AUTHOR]

In multiple-hop MIMO relay systems, an end-to-end channel capacity is restricted by the bottleneck relay. Therefore, in order to obtain the high end-to-end channel capacity, we propose a simple mathematical method to optimize both distances and transmit powers simultaneously. Additionally, the end-to-end channel capacity of optimization based on an one-way and a two-ways transmissions is analyzed. The specific TDMA is proposed to control the transmission of all transmitters on MAC layer and then the distance and the transmit power are optimized based on MAC-PHY cross layer by the proposal particle filter method to obtain the higher end-to-end channel capacity. The calculation result indicates that there is the optimal number of relays that has the maximal end-to-end channel capacity and the trade-off between the end-to-end channel capacity and the delay time. [ABSTRACT FROM AUTHOR]

This work presents an algorithm for multiobjective optimization that is structured as: (i) a descent direction is calculated, within the cone of descent and feasible directions, and (ii) a multiobjective line search is conducted over such direction, with a new multiobjective golden section segment partitioning scheme that directly finds line-constrained efficient points that dominate the current one. This multiobjective line search procedure exploits the structure of the line-constrained efficient set, presenting a faster compression rate of the search segment than single-objective golden section line search. The proposed multiobjective optimization algorithm converges to points that satisfy the Kuhn-Tucker first-order necessary conditions for efficiency (the Pareto-critical points). Numerical results on two antenna design problems support the conclusion that the proposed method can solve robustly difficult nonlinear multiobjective problems defined in terms of computationally expensive black-box objective functions. [ABSTRACT FROM AUTHOR]

We present a new constraint qualification which guarantees strong duality between a cone-constrained convex optimization problem and its Fenchel-Lagrange dual. This result is applied to a convex optimization problem having, for a given nonempty convex cone K, as objective function a K-convex function postcomposed with a K-increasing convex function. For this so-called composed convex optimization problem, we present a strong duality assertion, too, under weaker conditions than the ones considered so far. As an application, we rediscover the formula of the conjugate of a postcomposition with a K-increasing convex function as valid under weaker conditions than usually used in the literature. [ABSTRACT FROM AUTHOR]

The article discusses a study on a class of correct mathematical operations on prediction and recognition algorithms. It states that the right operations come up in relation to the issue of constructing correct algorithms and that correct operations possess the property of preserving the correctness of the algorithms. It adds that the property is useful in developing procedures of correct training that involves the potential of generating families of correct algorithms. The application of a correct operation reportedly makes it possible to obtain new algorithms in an extended model of algorithms.

By refining a variant of the Klee–Minty example that forces the central path to visit all the vertices of the Klee–Minty n-cube, we exhibit a nearly worst-case example for path-following interior point methods. Namely, while the theoretical iteration-complexity upper bound is $$O(2^{n}n^{\frac{5}{2}})$$ , we prove that solving this n-dimensional linear optimization problem requires at least 2 n −1 iterations. [ABSTRACT FROM AUTHOR]

A mixed optimal model approximation is presented to obtain reduced-order models for truly fast descriptor systems. By a projection from truly fast descriptor systems to discrete-time systems, a mixed optimal model approximation for truly fast descriptor systems is transformed to a mixed optimal model approximation of the corresponding discrete-time systems. The structure of the fast descriptor systems is preserved in the model approximation procedure. The expression of the error and its gradient are given explicitly in terms of the solutions of certain Lyapunov equations. A numerical example is provided to illustrate the effectiveness of the proposed method. [ABSTRACT FROM AUTHOR]

We develop an implementable algorithm for stochastic optimization problems involving probability functions. Such problems arise in the design of structural and mechanical systems. The algorithm consists of a nonlinear optimization algorithm applied to sample average approximations and a precision-adjustment rule. The sample average approximations are constructed using Monte Carlo simulations or importance sampling techniques. We prove that the algorithm converges to a solution with probability one and illustrate its use by an example involving a reliability-based optimal design. [ABSTRACT FROM AUTHOR]

Sufficient conditions are derived for the controllability of nonlinear neutral evolution integrodifferential systems with infinite delay in a Banach space. The results are obtained by using the resolvent operators and the Schaefer fixed-point theorem. An example is given to illustrate the results. [ABSTRACT FROM AUTHOR]