Search results for " Program"
showing 10 items of 3075 documents
The OptQuest Callable Library
2005
In this chapter we discuss the development and application of a library of functions that is the optimization engine for the OptQuest system. OptQuest is commercial software designed for optimizing complex systems, such as those formulated as simulation models. OptQuest has been integrated with several simulation packages with the goal of adding optimization capabilities. The optimization technology within OptQuest is based on the metaheuristic framework known as scatter search. In addition to describing the functionality of the OptQuest Callable Library (OCL) with an illustrative example, we apply it to a set of unconstrained nonlinear optimization problems.
Manager's Toolbox for OSS/BSS Market Analysis
2009
The purpose of this section is to provide a set of quick tools for analysts and managers to analyze the status of the telecom operator software market.
Fast and Accurate Bounds on Linear Programs
2009
We present an algorithm that certifies the feasibility of a linear program while using rational arithmetic as little as possible. Our approach relies on computing a feasible solution of the linear program that is as far as possible from satisfying an inequality at equality. To realize such an approach, we have to detect the set of inequalities that can only be satisfied at equality. Compared to previous approaches for this problem our algorithm has a much higher rate of success.
Certifying feasibility and objective value of linear programs
2012
Abstract We present an algorithm that certifies the feasibility of a linear program and computes a safe bound on its objective value while using rational arithmetic as little as possible. Our approach relies on computing a feasible solution that is as far as possible from satisfying an inequality at equality. To this end, we have to detect the set of inequalities that can only be satisfied at equality. Compared to previous approaches, our algorithm has a much higher success rate.
Black-Box Solvers
2017
Linear programming is perhaps the best-known tool for optimization. Linear programming is a general-purpose framework that allows a real system to be abstracted as a model with a linear objective function subject to a set of linear constraints.
MATHEMATICS AS A QUASI-EMPIRICAL SCIENCE
2006
The present paper aims at showing that there are times when set theoretical knowledge increases in a non-cumulative way. In other words, what we call ‘set theory’ is not one theory which grows by simple addition of a theorem after the other, but a finite sequence of theories T1, ..., T n in which Ti+1, for 1 ≤ i < n, supersedes T i . This thesis has a great philosophical significance because it implies that there is a sense in which mathematical theories, like the theories belonging to the empirical sciences, are fallible and that, consequently, mathematical knowledge has a quasi-empirical nature. The way I have chosen to provide evidence in favour of the correctness of the main thesis of t…
Left-to-right tree pattern matching
1991
We propose a new technique to construct left-to-right matching automata for trees. Our method is based on the novel concept of prefix unifcation which is used to compute a certain closure of the pattern set. From the closure a kind of deterministic matching automaton can be derived immediately. We also point out how to perform the construction incrementally which makes our approach suitable for applications in which pattern sets change dynamically, such as in the Knuth-Bendix completion algorithm.
Identification of self(in)compatibility genotypes and microsatellite marker based fingerprinting of traditional italian sweet cherry accessions
2012
Italy is one of the main European sweet cherry producers and it has a rich germplasm, including many minor local varieties that have not been well studied or used in breeding programmes. Sweet cherry is self-incompatible, with few exceptions; its incompatibility is controlled by a multi-allelic S locus, which is gametophytically expressed. The knowledge of S-alleles and cross-incompatibility groups of sweet cherry genotypes and cultivars is important for growers and breeders. In this work we analysed 48 traditional sweet cherry varieties and cultivars, mainly from Calabria and Emilia Romagna regions, together with eight Sicilian cultivars and the standard set of reference genotypes proposed…
Harmonisation of Higher Education in Agricultural/Biosystems Engineering
2018
The international harmonisation of the Higher Education Area (HEA) in Agricultural/Biosystems Engineering (ABE), was started by Prof. Giuseppe Pellizzi during the CIGR 1989 Conference. This action was carried out in the EU by EurAgEng SIG RD12 - Education and Communication (Chairman Prof. Pierluigi Febo from 1994) and also elsewhere by CIGR WG1 - Agricultural Engineering University Curricula Harmonization (Chairman Prof. Pierluigi Febo from 1994 and Secretary Dr. Antonio Comparetti from 2007). The book and CD-ROM: “The University Structure and Curricula on Agricultural Engineering. An overview of 36 countries”, were presented by Prof. Pierluigi Febo during the AgEng 2000 Conference. Three t…