Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products

The reformulation-linearization technique (RLT) is a prominent approach to constructing tight linear relaxations of non-convex continuous and mixed-integer optimization problems. The goal of this paper is to extend the applicability and improve the performance of RLT for bilinear product relations. First, a method for detecting bilinear product relations implicitly contained in mixed-integer linear programs is developed based on analyzing linear constraints with binary variables, thus enabling the application of bilinear RLT to a new class of problems. Our second contribution addresses the high computational cost of RLT cut separation, which presents one of the major difficulties in applying RLT efficiently in practice. We propose a new RLT cutting plane separation algorithm which identifies combinations of linear constraints and bound factors that are expected to yield an inequality that is violated by the current relaxation solution. A detailed computational study based on implementations in two solvers evaluates the performance impact of the proposed methods.Comment: 16 pages, 0 figures, submitted to the 24th Conference on Integer Programming and Combinatorial Optimizatio

Handling software upgradeability problems with MILP solvers

Upgradeability problems are a critical issue in modern operating systems. The problem consists in finding the "best" solution according to some criteria, to install, remove or upgrade packages in a given installation. This is a difficult problem: the complexity of the upgradeability problem is NP complete and modern OS contain a huge number of packages (often more than 20 000 packages in a Linux distribution). Moreover, several optimisation criteria have to be considered, e.g., stability, memory efficiency, network efficiency. In this paper we investigate the capabilities of MILP solvers to handle this problem. We show that MILP solvers are very efficient when the resolution is based on a linear combination of the criteria. Experiments done on real benchmarks show that the best MILP solvers outperform CP solvers and that they are significantly better than Pseudo Boolean solvers.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

制約整数計画ソルバSCIPの並列化

要旨あり最適化技術に基づく統計的推論原著論

Dark Matter Disc Enhanced Neutrino Fluxes from the Sun and Earth

As disc galaxies form in a hierarchical cosmology, massive merging satellites are preferentially dragged towards the disc plane. The material accreted from these satellites forms a dark matter disc that contributes 0.25 - 1.5 times the non-rotating halo density at the solar position. Here, we show the importance of the dark disc for indirect dark matter detection in neutrino telescopes. Previous predictions of the neutrino flux from WIMP annihilation in the Earth and the Sun have assumed that Galactic dark matter is spherically distributed with a Gaussian velocity distribution, the standard halo model. Although the dark disc has a local density comparable to the dark halo, its higher phase space density at low velocities greatly enhances capture rates in the Sun and Earth. For typical dark disc properties, the resulting muon flux from the Earth is increased by three orders of magnitude over the SHM, while for the Sun the increase is an order of magnitude. This significantly increases the sensitivity of neutrino telescopes to fix or constrain parameters in WIMP models. The flux from the Earth is extremely sensitive to the detailed properties of the dark disc, while the flux from the Sun is more robust. The enhancement of the muon flux from the dark disc puts the search for WIMP annihilation in the Earth on the same level as the Sun for WIMP masses < 100 GeV.Comment: 7 pages, 4 figures, added a short paragraph to the discussion section, conclusions unchanged, published versio

Comparison of PBO solvers in a dependency solving domain

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

Skeletal Morphology of Opius dissitus and Biosteres carbonarius (Hymenoptera: Braconidae), with a Discussion of Terminology

The Braconidae, a family of parasitic wasps, constitute a major taxonomic challenge with an estimated diversity of 40,000 to 120,000 species worldwide, only 18,000 of which have been described to date. The skeletal morphology of braconids is still not adequately understood and the terminology is partly idiosyncratic, despite the fact that anatomical features form the basis for most taxonomic work on the group. To help address this problem, we describe the external skeletal morphology of Opius dissitus Muesebeck 1963 and Biosteres carbonarius Nees 1834, two diverse representatives of one of the least known and most diverse braconid subfamilies, the Opiinae. We review the terminology used to describe skeletal features in the Ichneumonoidea in general and the Opiinae in particular, and identify a list of recommend terms, which are linked to the online Hymenoptera Anatomy Ontology. The morphology of the studied species is illustrated with SEM-micrographs, photos and line drawings. Based on the examined species, we discuss intraspecific and interspecific morphological variation in the Opiinae and point out character complexes that merit further study

Aircraft-Engine Particulate Matter Emissions from Conventional and Sustainable Aviation Fuel Combustion: Comparison of Measurement Techniques for Mass, Number, and Size

Sustainable aviation fuels (SAFs) have different compositions compared to conventional petroleum jet fuels, particularly in terms of fuel sulfur and hydrocarbon content. These differences may change the amount and physicochemical properties of volatile and non-volatile particulate matter (nvPM) emitted by aircraft engines. In this study, we evaluate whether comparable nvPM measurement techniques respond similarly to nvPM produced by three blends of SAFs compared to three conventional fuels. Multiple SAF blends and conventional (Jet A-1) jet fuels were combusted in a V2527-A5 engine, while an additional conventional fuel (JP-8) was combusted in a CFM56-2C1 engine. We evaluated nvPM mass concentration measured by three real-Time measurement techniques: photoacoustic spectroscopy, laser-induced incandescence, and the extinction-minus-scattering technique. Various commercial instruments were tested, including three laser-induced incandescence (LII) 300s, one photoacoustic extinctiometer (PAX), one micro soot sensor (MSS+), and two cavity-Attenuated phase shift PMSSA (CAPS PMSSA) instruments. Mass-based emission indices (EIm) reported by these techniques were similar, falling within 30ĝ€¯% of their geometric mean for EIm above 100ĝ€¯mg per kg fuel (approximately 10ĝ€¯μgĝ€¯PMĝ€¯m-3 at the instrument); this geometric mean was therefore used as a reference value. Additionally, two integrative measurement techniques were evaluated: filter photometry and particle size distribution (PSD) integration. The commercial instruments used were one tricolor absorption photometer (TAP), one particle soot absorption photometer (PSAP), and two scanning mobility particle sizers (SMPSs). The TAP and PSAP were operated at 5ĝ€¯% and 10ĝ€¯% of their nominal flow rates, respectively, to extend the life of their filters. These techniques are used in specific applications, such as on board research aircraft to determine particulate matter (PM) emissions at cruise. EIm reported by the alternative techniques fell within approximately 50ĝ€¯% of the mean aerosol-phase EIm. In addition, we measured PM-number-based emission indices using PSDs and condensation particle counters (CPCs). The commercial instruments used included TSI SMPSs, a Cambustion differential mobility spectrometer (DMS500), and an AVL particle counter (APC), and the data also fell within approximately 50ĝ€¯% of their geometric mean. The number-based emission indices were highly sensitive to the accuracy of the sampling-line penetration functions applied as corrections. In contrast, the EIm data were less sensitive to those corrections since a smaller volume fraction fell within the size range where corrections were substantial. A separate, dedicated experiment also showed that the operating laser fluence used in the LII 300 laser-induced incandescence instrument for aircraft-engine nvPM measurement is adequate for a range of SAF blends investigated in this study. Overall, we conclude that all tested instruments are suitable for the measurement of nvPM emissions from the combustion of SAF blends in aircraft engines

Diversity and Distribution of Braconidae, a Family of Parasitoid Wasps in the Central European Peatbogs of South Bohemia, Czech Republic

An ecological overview of seven years investigation of Braconidae, a family of parasitoid wasps (Hymenoptera: Ichneumonoidea) and a tyrpho-classification of parasitoids in peatbog areas of South Bohemia, Czech Republic are given. A total of 350 species were recorded in investigated sites, but only five tyrphobionts (1.4%) are proposed: Microchelonus basalis, Microchelonus koponeni, Coloneura ate, Coloneura danica and Myiocephalus niger. All of these species have a boreal-alpine distribution that, in Central Europe, is associated only with peatbogs. Tyrphophilous behaviour is seen in at least four (1.1%) species: Microchelonus pedator, Microchelonus subpedator, Microchelonus karadagi and Microchelonus gravenhorstii; however, a number of other braconids prefer peatbogs because they were more frequently encountered within, rather than outside, the bog habitat. The rest of the braconids (342 species, 97.5%) are tyrphoneutrals, many of them being eurytopic components of various habitats throughout their current ranges. Lists of tyrphobiontic braconids and a brief commentary on species composition, distributional picture of actual ranges, and parasitoid association to bog landscape are provided. Being true refugial habitats for populations in an ever-changing world, peatbogs play a significant role in harboring insect communities

Aircraft engine particulate matter emissions from sustainable aviation fuels: Results from ground-based measurements during the NASA/DLR campaign ECLIF2/ND-MAX

The use of alternative jet fuels by commercial aviation has increased substantially in recent years. Beside the reduction of carbon dioxide emission, the use of sustainable aviation fuels (SAF) may have a positive impact on the reduction of particulate emissions. This study summarizes the results from a ground-based measurement activity conducted in January 2018 as part of the ECLIF2 ND-MAX campaign in Ramstein, Germany. Two fossil reference kerosenes and three different blends with the renewable fuel component HEFA-SPK (Hydroprocessed Esters and Fatty Acids Synthetic Paraffinic Kerosene) were burned in an A320 with V2527-A5 engines to investigate the effect of fuel naphthalene aromatic content and the corresponding fuel hydrogen content on nonvolatile particle number and mass emissions