81 research outputs found
Simulation and optimization studies of drag free satellite
Air cushion vehicle and analog simulation of zero gravity satellite to determine optimum fuel consumptio
MM Algorithms for Geometric and Signomial Programming
This paper derives new algorithms for signomial programming, a generalization
of geometric programming. The algorithms are based on a generic principle for
optimization called the MM algorithm. In this setting, one can apply the
geometric-arithmetic mean inequality and a supporting hyperplane inequality to
create a surrogate function with parameters separated. Thus, unconstrained
signomial programming reduces to a sequence of one-dimensional minimization
problems. Simple examples demonstrate that the MM algorithm derived can
converge to a boundary point or to one point of a continuum of minimum points.
Conditions under which the minimum point is unique or occurs in the interior of
parameter space are proved for geometric programming. Convergence to an
interior point occurs at a linear rate. Finally, the MM framework easily
accommodates equality and inequality constraints of signomial type. For the
most important special case, constrained quadratic programming, the MM
algorithm involves very simple updates.Comment: 16 pages, 1 figur
Hybridization of institutions
Extended version including all proofsModal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification.
In this context, the first contribution of this paper is an attempt to ‘universalize’ the hybridization idea. Following the lines of [DS07], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL) deter- mines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features.Fundação para a Ciência e a Tecnologia (FCT
Binary orbits as the driver of γ-ray emission and mass ejection in classical novae
Classical novae are the most common astrophysical thermonuclear explosions, occurring on the surfaces of white dwarf stars accreting gas from companions in binary star systems. Novae typically expel �10,000 solar masses of material at velocities exceeding 1,000 km/s. However, the mechanism of mass ejection in novae is poorly understood, and could be dominated by the impulsive flash of the thermonuclear runaway, prolonged optically thick winds, or binary interaction with the nova envelope. Classical novae are now routinely detected in GeV gamma-rays, suggesting that relativistic particles are accelerated by strong shocks in nova ejecta. Here we present high-resolution imaging of the gamma-ray-emitting nova V959 Mon at radio wavelengths, showing that its ejecta were shaped by binary motion: some gas was expelled rapidly along the poles as a wind from the white dwarf, while denser material drifted out along the equatorial plane, propelled by orbital motion. At the interface between the equatorial and polar regions, we observe synchrotron emission indicative of shocks and relativistic particle acceleration, thereby pinpointing the location of gamma-ray production. Binary shaping of the nova ejecta and associated internal shocks are expected to be widespread among novae, explaining why many novae are gamma-ray emitters
The Evolution of Compact Binary Star Systems
We review the formation and evolution of compact binary stars consisting of
white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and
BHs are thought to be the primary astrophysical sources of gravitational waves
(GWs) within the frequency band of ground-based detectors, while compact
binaries of WDs are important sources of GWs at lower frequencies to be covered
by space interferometers (LISA). Major uncertainties in the current
understanding of properties of NSs and BHs most relevant to the GW studies are
discussed, including the treatment of the natal kicks which compact stellar
remnants acquire during the core collapse of massive stars and the common
envelope phase of binary evolution. We discuss the coalescence rates of binary
NSs and BHs and prospects for their detections, the formation and evolution of
binary WDs and their observational manifestations. Special attention is given
to AM CVn-stars -- compact binaries in which the Roche lobe is filled by
another WD or a low-mass partially degenerate helium-star, as these stars are
thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure
Observational Constraints on the Common Envelope Phase
The common envelope phase was first proposed more than forty years ago to
explain the origins of evolved, close binaries like cataclysmic variables. It
is now believed that the phase plays a critical role in the formation of a wide
variety of other phenomena ranging from type Ia supernovae through to binary
black holes, while common envelope mergers are likely responsible for a range
of enigmatic transients and supernova imposters. Yet, despite its clear
importance, the common envelope phase is still rather poorly understood. Here,
we outline some of the basic principles involved, the remaining questions as
well as some of the recent observational hints from common envelope phenomena -
namely planetary nebulae and luminous red novae - which may lead to answering
these open questions.Comment: 29 pages, 8 figures. To appear in the book "Reviews in Frontiers of
Modern Astrophysics: From Space Debris to Cosmology" (eds. Kabath, Jones and
Skarka; publisher Springer Nature) funded by the European Union Erasmus+
Strategic Partnership grant "Per Aspera Ad Astra Simul"
2017-1-CZ01-KA203-03556
Optimal design of network distribution systems
The problem of finding the optimal distribution of pressure drop over a network is solved via an unconstrained gradient type algorithm. The developed algorithm is computationally attractive. Problems with several hundred variables and constraints were solved
The indifference band in multiple criteria decision problems
A case study of a discrete multiobjective problem using the 'Indifference Band' approach is presented. An outranking relation among the various alternatives was obtained and compared with the management's own ranking. It was found that the 'Indifference Band' approach can be used in ranking procedures.
Manpower allocation in the criminal investigation process
A model describing the optimal allocation of manpower for the investigation department of the Israeli police force is described. A technique for estimating police officials preferences is given. It is believed that the approach and the methodology used can be applied in various manpower allocation problems and can serve as a good case study.
- …