Search results for "computational"
showing 10 items of 5884 documents
Minimum fuel control of the planar circular restricted three-body problem
2012
The circular restricted three-body problem is considered to model the dynamics of an artificial body submitted to the attraction of two planets. Minimization of the fuel consumption of the spacecraft during the transfer, e.g. from the Earth to the Moon, is considered. In the light of the controllability results of Caillau and Daoud (SIAM J Control Optim, 2012), existence for this optimal control problem is discussed under simplifying assumptions. Thanks to Pontryagin maximum principle, the properties of fuel minimizing controls is detailed, revealing a bang-bang structure which is typical of L1-minimization problems. Because of the resulting non-smoothness of the Hamiltonian two-point bound…
Shaken Snow Globes: Kinematic Tracers of the Multiphase Condensation Cascade in Massive Galaxies, Groups, and Clusters
2018
We propose a novel method to constrain turbulence and bulk motions in massive galaxies, groups and clusters, exploring both simulations and observations. As emerged in the recent picture of the top-down multiphase condensation, the hot gaseous halos are tightly linked to all other phases in terms of cospatiality and thermodynamics. While hot halos (10^7 K) are perturbed by subsonic turbulence, warm (10^4 K) ionized and neutral filaments condense out of the turbulent eddies. The peaks condense into cold molecular clouds (< 100 K) raining in the core via chaotic cold accretion (CCA). We show all phases are tightly linked via the ensemble (wide-aperture) velocity dispersion along the line o…
Experimental and numerical enhancement of Vibrational Resonance in a neural circuit
2012
International audience; A neural circuit exactly ruled by the FitzHugh-Nagumo equations is excited by a biharmonic signal of frequencies f and F with respective amplitudes A and B. The magnitude spectrum of the circuit response is estimated at the low frequency driving f and presents a resonant behaviour versus the amplitude B of the high frequency. For the first time, it is shown experimentally that this Vibrational Resonance effect is much more pronounced when the two frequencies are multiple. This novel enhancement is also confirmed by numerical predictions. Applications of this nonlinear effect to the detection of weak stimuli are finally discussed.
Investigation of the vibrational dynamics of the HCN/CNH isomers through high order canonical perturbation theory
2000
International audience; Molecular vibrations of the molecule HCN/CNH are examined using a combination of a minimum energy path Hamiltonian and high order canonical perturbation theory , as suggested in a recent work [D. Sugny and M. Joyeux, J. Chem. Phys. 112, 31 (2000)]. In addition, the quantum analog of the classical CPT is presented and results obtained therefrom are compared to the classical ones. The MEP Hamiltonian is shown to provide an accurate representation of the original potential energy surface and a convenient starting point for the CPT. The CPT results are subsequently used to elucidate the molecular dynamics: It appears that the isomerization dynamics of HCN/CNH is very tri…
Sub-optimal waypoints, UAV path planning and mosaicing application
2016
International audience; Create a complete system of video surveillance using camera mounted on a robot like UAV to maintain optimized vast area coverage and reconstruct an image by using mosaicing techniques. This paper demonstrated the efficiency of using one UAV to cover vast area using optimized positions.
Some Computational Aspects of DISTANCE-SAT
2007
In many AI fields, one must face the problem of finding a solution that is as close as possible to a given configuration. This paper addresses this problem in a propositional framework. We introduce the decision problem distance-sat, which consists in determining whether a propositional formula admits a model that disagrees with a given partial interpretation on at most d variables. The complexity of distance-sat and of several restrictions of it are identified. Two algorithms based on the well-known Davis/Logemann/Loveland search procedure for the satisfiability problem sat are presented so as to solve distance-sat for CNF formulas. Their computational behaviors are compared with the ones …
Proceedings of the 8th Linked Data in Architecture and Construction Workshop (LDAC2020)
2020
International audience
Nouvelles perspectives du BIM
2021
Les dernières avancées dans la modélisation des informations du bâtiment et la maquette numérique ont permis d'améliorer l'efficacité des livraisons et performances, en catalysant des méthodes de travail innovantes dans le domaine général de l'architecture, de l'ingénierie et de la construction (AEC). Malgré les nombreux outils et technologies numériques et les différentes normes ouvertes BIM, il demeure un besoin croissant d'interopérabilité entre acteurs et logiciels.Allant de cas d'études constitués par des projets industriels réels à des projets recherche, les six chapitres de cet ouvrage témoignent de l'intérêt de la filière et des entreprises pour adapter et faire évoluer leurs pratiq…
Inverse Tone Mapping Based upon Retina Response
2014
International audience; The development of high dynamic range (HDR) display arouses the research of inverse tone mapping methods, which expand dynamic range of the low dynamic range (LDR) image to match that of HDR monitor. This paper proposed a novel physiological approach, which could avoid artifacts occurred in most existing algorithms. Inspired by the property of the human visual system (HVS), this dynamic range expansion scheme performs with a low computational complexity and a limited number of parameters and obtains high-quality HDR results. Comparisons with three recent algorithms in the literature also show that the proposed method reveals more important image details and produces …
Scheduling independent stochastic tasks on heterogeneous cloud platforms
2019
International audience; This work introduces scheduling strategies to maximize the expected number of independent tasks that can be executed on a cloud platform within a given budget and under a deadline constraint. The cloud platform is composed of several types of virtual machines (VMs), where each type has a unitexecution cost that depends upon its characteristics. The amount of budget spent during the execution of a task on a given VM is the product of its execution length by the unit execution cost of that VM. The execution lengths of tasks follow a variety of standard probability distributions (exponential, uniform, halfnormal, etc.), which is known beforehand and whose mean and stand…