Search results for "Computer Science Application"
showing 10 items of 3998 documents
A Highly Flexible Trajectory Model Based on the Primitives of Brownian Fields—Part II: Analysis of the Statistical Properties
2016
In the first part of our paper, we have proposed a highly flexible trajectory model based on the primitives of Brownian fields (BFs). In this second part, we study the statistical properties of that trajectory model in depth. These properties include the autocorrelation function (ACF), mean, and the variance of the path along each axis. We also derive the distribution of the angle-of-motion (AOM) process, the incremental traveling length process, and the overall traveling length. It is shown that the path process is in general non-stationary. We show that the AOM and the incremental traveling length processes can be modeled by the phase and the envelope of a complex Gaussian process with no…
Solving the pentahedron problem
2015
Nowadays, all geometric modelers provide some tools for specifying geometric constraints. The 3D pentahedron problem is an example of a 3D Geometric Constraint Solving Problem (GCSP), composed of six vertices, nine edges, five faces (two triangles and three quadrilaterals), and defined by the lengths of its edges and the planarity of its quadrilateral faces. This problem seems to be the simplest non-trivial problem, as the methods used to solve the Stewart platform or octahedron problem fail to solve it. The naive algebraic formulation of the pentahedron yields an under-constrained system of twelve equations in eighteen unknowns. Even if the use of placement rules transforms the pentahedron…
Cut-First Branch-and-Price-Second for the Capacitated Arc-Routing Problem
2012
This paper presents the first full-fledged branch-and-price (bap) algorithm for the capacitated arc-routing problem (CARP). Prior exact solution techniques either rely on cutting planes or the transformation of the CARP into a node-routing problem. The drawbacks are either models with inherent symmetry, dense underlying networks, or a formulation where edge flows in a potential solution do not allow the reconstruction of unique CARP tours. The proposed algorithm circumvents all these drawbacks by taking the beneficial ingredients from existing CARP methods and combining them in a new way. The first step is the solution of the one-index formulation of the CARP in order to produce strong cut…
A hybrid genetic algorithm with local search: I. Discrete variables: optimisation of complementary mobile phases
2001
Abstract A hybrid genetic algorithm was developed for a combinatorial optimisation problem. The assayed hybridation modifies the reproduction pattern of the genetic algorithm through the application of a local search method, which enhances each individual in each generation. The method is applied to the optimisation of the mobile phase composition in liquid chromatography, using two or more mobile phases of complementary behaviour. Each of these phases concerns the optimal separation of certain compounds in the analysed mixture, while the others can remain overlapped. This optimisation approach may be useful in situations where full resolution with a single mobile phase is unfeasible. The o…
Designing portfolios of financial products via integrated simulation and optimization models
1999
We analyze the problem of debt issuance through the sale of innovative financial products. The problem is broken down to questions of designing the financial products, specifying the debt structure with the amount issued in each product, and determining an optimal level of financial leverage. We formulate a hierarchical optimization model to integrate these three issues and provide constructive answers. Input data for the models are obtained from Monte Carlo simulation procedures that generate scenarios of holding period returns of the designed products. The hierarchical optimization model is specialized for the problem of issuing a portfolio of callable bonds to fund mortgage assets. The …
Apparel sizing using trimmed PAM and OWA operators
2012
This paper is concerned with apparel sizing system design. One of the most important issues in the apparel development process is to define a sizing system that provides a good fit to the majority of the population. A sizing system classifies a specific population into homogeneous subgroups based on some key body dimensions. Standard sizing systems range linearly from very small to very large. However, anthropometric measures do not grow linearly with size, so they can not accommodate all body types. It is important to determine each class in the sizing system based on a real prototype that is as representative as possible of each class. In this paper we propose a methodology to develop an …
Energy-efficient resource allocation for OFDMA two-way relay networks with imperfect CSI
2015
Most of the existed works on the radio resource allocation (RRA) problem commonly assume the channel-state information (CSI) can be perfectly obtained by the transmission source. However, such assumption is not practical in the realistic wireless systems. In this work, we consider the practical implementation issues of resource allocation in orthogonal frequency division multiple access (OFDMA) two-way relay networks: the inaccuracy of channel-state information (CSI) available to the source. Instead, only the estimated channel status is known by the source. In this context, a joint optimization of subcarrier pairing and allocation, relay selection, and transmit power allocation is formulate…
New Results on the Mixed General Routing Problem
2005
[EN] In this paper, we deal with the polyhedral description and the resolution of the Mixed General Routing Problem. This problem, in which the service activity occurs both at some of the nodes and at some of the arcs and edges of a mixed graph, contains a large number of important arc and node routing problems as special cases. Here, a large family of facet-defining inequalities, the Honeycomb inequalities, is described. Furthermore, a cutting-plane algorithm for this problem that incorporates new separation procedures for the K-C, Regular Path-Bridge, and Honeycomb inequalities is presented. Branch and bound is invoked when the final solution of the cutting-plane procedure is fractional. …
Preface
2015
This special issue of Mathematical Structures in Computer Science is devoted to the fourteenth Italian Conference on Theoretical Computer Science (ICTCS) held at University of Palermo, Italy, from 9th to 11th September 2013. ICTCS is the conference of the Italian Chapter of the European Association for Theoretical Computer Science and covers a wide spectrum of topics in Theoretical Computer Science, ranging from computational complexity to logic, from algorithms and data structure to programming languages, from combinatorics on words to distributed computing. For this reason, the contributions here included come from very different areas of Theoretical Computer Science. In fact this special…
Tensor tomography on Cartan–Hadamard manifolds
2017
We study the geodesic X-ray transform on Cartan-Hadamard manifolds, and prove solenoidal injectivity of this transform acting on functions and tensor fields of any order. The functions are assumed to be exponentially decaying if the sectional curvature is bounded, and polynomially decaying if the sectional curvature decays at infinity. This work extends the results of Lehtonen (2016) to dimensions $n \geq 3$ and to the case of tensor fields of any order.