Search results for "Methods"
showing 10 items of 4526 documents
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
A systematic comparison of kinetic modelling methods generating parametric maps for [11C]-(R)-PK11195
2006
[(11)C]-(R)-PK11195 is presently the most widely used radiotracer for the monitoring of microglia activity in the central nervous system (CNS). Microglia, the resident immune cells of the brain, play a critical role in acute and chronic diseases of the central nervous system and in host defence against neoplasia. The purpose of this investigation was to evaluate the reliability and sensitivity of five kinetic modelling methods for the formation of parametric maps from dynamic [(11)C]-(R)-PK11195 studies. The methods we tested were the simplified reference tissue model (SRTM), basis pursuit, a simple target-to-reference ratio, the Logan plot and a wavelet based Logan plot. For the reliabilit…
Structural variability of 3C 111 on parsec scales
2011
We discuss the parsec-scale structural variability of the extragalactic jet 3C 111 related to a major radio flux density outburst in 2007. The data analyzed were taken within the scope of the MOJAVE, UMRAO, and F-GAMMA programs, which monitor a large sample of the radio brightest compact extragalactic jets with the VLBA, the University of Michigan 26 m, the Effelsberg 100 m, and the IRAM 30 m radio telescopes. The analysis of the VLBA data is performed by fitting Gaussian model components in the visibility domain. We associate the ejection of bright features in the radio jet with a major flux-density outburst in 2007. The evolution of these features suggests the formation of a leading compo…
Studies of Relativistic Jets in Active Galactic Nuclei with SKA
2014
Relativistic jets in active galactic nuclei (AGN) are among the most powerful astrophysical objects discovered to date. Indeed, jetted AGN studies have been considered a prominent science case for SKA, and were included in several different chapters of the previous SKA Science Book (Carilli & Rawlings 2004). Most of the fundamental questions about the physics of relativistic jets still remain unanswered, and await high-sensitivity radio instruments such as SKA to solve them. These questions will be addressed specially through analysis of the massive data sets arising from the deep, all-sky surveys (both total and polarimetric flux) from SKA1. Wide-field very-long-baseline-interferometri…
Neutral hydrogen in galaxy clusters: impact of AGN feedback and implications for intensity mapping
2015
By means of zoom-in hydrodynamic simulations we quantify the amount of neutral hydrogen (HI) hosted by groups and clusters of galaxies. Our simulations, which are based on an improved formulation of smoothed particle hydrodynamics (SPH), include radiative cooling, star formation, metal enrichment and supernova feedback, and can be split in two different groups, depending on whether feedback from active galactic nuclei (AGN) is turned on or off. Simulations are analyzed to account for HI self-shielding and the presence of molecular hydrogen. We find that the mass in neutral hydrogen of dark matter halos monotonically increases with the halo mass and can be well described by a power-law of th…
ELDAR, a new method to identify AGN in multi-filter surveys: the ALHAMBRA test case
2017
We present ELDAR, a new method that exploits the potential of medium- and narrow-band filter surveys to securely identify active galactic nuclei (AGN) and determine their redshifts. Our methodology improves on traditional approaches by looking for AGN emission lines expected to be identified against the continuum, thanks to the width of the filters. To assess its performance, we apply ELDAR to the data of the ALHAMBRA (Advance Large Homogeneous Area Medium Band Redshift Astronomical) survey, which covered an effective area of 2.38 deg2 with 20 contiguous medium-band optical filters down to F814W ≃ 24.5. Using two different configurations of ELDAR in which we require the detection of at lea…
Pressure of the hot gas in simulations of galaxy clusters
2016
We analyze the radial pressure profiles, the ICM clumping factor and the Sunyaev-Zel'dovich (SZ) scaling relations of a sample of simulated galaxy clusters and groups identified in a set of hydrodynamical simulations based on an updated version of the TreePM-SPH GADGET-3 code. Three different sets of simulations are performed: the first assumes non-radiative physics, the others include, among other processes, AGN and/or stellar feedback. Our results are analyzed as a function of redshift, ICM physics, cluster mass and cluster cool-coreness or dynamical state. In general, the mean pressure profiles obtained for our sample of groups and clusters show a good agreement with X-ray and SZ observa…
ON the NATURE of HYDROSTATIC EQUILIBRIUM in GALAXY CLUSTERS
2016
In this paper we investigate the level of hydrostatic equilibrium (HE) in the intra-cluster medium of simulated galaxy clusters, extracted from state-of-the-art cosmological hydrodynamical simulations performed with the Smoothed-Particle-Hydrodynamic code GADGET-3. These simulations include several physical processes, among which stellar and AGN feedback, and have been performed with an improved version of the code that allows for a better description of hydrodynamical instabilities and gas mixing processes. Evaluating the radial balance between the gravitational and hydrodynamical forces, via the gas accelerations generated, we effectively examine the level of HE in every object of the sam…
Scheduling in Targeted Transient Surveys and a New Telescope for CHASE
2010
We present a method for scheduling observations in small field-of-view transient targeted surveys. The method is based on maximizing the probability of detection of transient events of a given type and age since occurrence; it requires knowledge of the time since the last observation for every observed field, the expected light curve of the event, and the expected rate of events in the fields where the search is performed. In order to test this scheduling strategy we use a modified version of the genetic scheduler developed for the telescope control system RTS2. In particular, we present example schedules designed for a future 50 cm telescope that will expand the capabilities of the CHASE s…
Real- and redshift-space halo clustering in $f(R)$ cosmologies
2016
We present two-point correlation function statistics of the mass and the halos in the chameleon $f(R)$ modified gravity scenario using a series of large volume N-body simulations. Three distinct variations of $f(R)$ are considered (F4, F5 and F6) and compared to a fiducial $\Lambda$CDM model in the redshift range $z \in [0,1]$. We find that the matter clustering is indistinguishable for all models except for F4, which shows a significantly steeper slope. The ratio of the redshift- to real-space correlation function at scales $> 20 h^{-1} \mathrm{Mpc}$ agrees with the linear General Relativity (GR) Kaiser formula for the viable $f(R)$ models considered. We consider three halo populations cha…