Designing Conducting Polymers Using Bioinspired Ant Algorithms

Ant algorithms are inspired in real ants and the main idea is to create virtual ants that travel into the space of possible solution depositing virtual pheromone proportional to how good a specific solution is. This creates a autocatalytic (positive feedback) process that can be used to generate automatic solutions to very difficult problems. In the present work we show that these algorithms can be used coupled to tight-binding hamiltonians to design conducting polymers with pre-specified properties. The methodology is completely general and can be used for a large number of optimization problems in materials science

First optical validation of a Schwarzschild Couder telescope: the ASTRI SST-2M Cherenkov telescope

The Cherenkov Telescope Array (CTA) represents the most advanced facility designed for Cherenkov Astronomy. ASTRI SST-2M has been developed as a demonstrator for the Small Size Telescope in the context of the upcoming CTA. Its main innovation consists in the optical layout which implements the Schwarzschild-Couder configuration and is fully validated for the first time. The ASTRI SST-2M optical system represents the first qualified example for two mirrors telescope for Cherenkov Astronomy. This configuration permits to (i) maintain a high optical quality across a large FoV (ii) de-magnify the plate scale, (iii) exploit new technological solutions for focal plane sensors. The goal of the paper is to present the optical qualification of the ASTRI SST-2M telescope. The qualification has been obtained measuring the PSF sizes generated in the focal plane at various distance from the optical axis. These values have been compared with the performances expected by design. After an introduction on the Gamma Astronomy from the ground, the optical design and how it has been implemented for ASTRI SST-2M is discussed. Moreover the description of the setup used to qualify the telescope over the full field of view is shown. We report the results of the first--light optical qualification. The required specification of a flat PSF of $\sim 10$ arcmin in a large field of view ~10 deg has been demonstrated. These results validate the design specifications, opening a new scenario for Cherenkov Gamma ray Astronomy and, in particular, for the detection of high energy (5 - 300 TeV) gamma rays and wide-field observations with CTA.Comment: 6 pages, 5 figure

Verification and Control of Partially Observable Probabilistic Real-Time Systems

We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local states are partially visible to an observer or controller. We give a probabilistic temporal logic that can express a range of quantitative properties of these models, relating to the probability of an event's occurrence or the expected value of a reward measure. We then propose techniques to either verify that such a property holds or to synthesise a controller for the model which makes it true. Our approach is based on an integer discretisation of the model's dense-time behaviour and a grid-based abstraction of the uncountable belief space induced by partial observability. The latter is necessarily approximate since the underlying problem is undecidable, however we show how both lower and upper bounds on numerical results can be generated. We illustrate the effectiveness of the approach by implementing it in the PRISM model checker and applying it to several case studies, from the domains of computer security and task scheduling

Polarimetric survey of asteroids with the Asiago telescope

We present the first results of an asteroid photo--polarimetry program started at Asiago--Cima Ekar Observatory. The aim of our survey is to estimate diversity in polarimetric properties of asteroids belonging to different taxonomic and dynamical classes. The data were obtained with the polarization analyser placed inside the Faint Object Spectrographic Camera (AFOSC) of the 1.8m telescope. This instrument allows simultaneous measurements of the two first Stokes parameters without any lambda/2 retarding plate. Our survey began in 2002, and up to now we have obtained data on a sample of 36 asteroids; most of them are being investigated with the polarimetric technique for the first time. Combining our data with those already available in literature, we present an estimate of the inversion angle for 7 asteroids in this paper. Furthermore, we present the polarimetric measurements of the rare asteroid classes belonging to the A and D types and a detailed VRI observations at extremely small phase angles of the low albedo asteroid 1021 Flammari

BIGRE: a low cross-talk integral field unit tailored for extrasolar planets imaging spectroscopy

Integral field spectroscopy (IFS) represents a powerful technique for the detection and characterization of extrasolar planets through high contrast imaging, since it allows to obtain simultaneously a large number of monochromatic images. These can be used to calibrate and then to reduce the impact of speckles, once their chromatic dependence is taken into account. The main concern in designing integral field spectrographs for high contrast imaging is the impact of the diffraction effects and the non-common path aberrations together with an efficient use of the detector pixels. We focus our attention on integral field spectrographs based on lenslet-arrays, discussing the main features of these designs: the conditions of appropriate spatial and spectral sampling of the resulting spectrograph's slit functions and their related cross-talk terms when the system works at the diffraction limit. We present a new scheme for the integral field unit (IFU) based on a dual-lenslet device (BIGRE), that solves some of the problems related to the classical TIGER design when used for such applications. We show that BIGRE provides much lower cross-talk signals than TIGER, allowing a more efficient use of the detector pixels and a considerable saving of the overall cost of a lenslet-based integral field spectrograph.Comment: 17 pages, 18 figures, accepted for publication in Ap

Photophysical properties of thin films and solid phase of switchable supermolecular anthracene-based rotaxanes

Polycrystalline powders and thin films of a novel rotaxane, methyl-exopyridine-anthracene rotaxane (EPAR-Me), and of the related thread and stoppers 10-[3,5-di (ter butyl)phenoxy]decyl-2-({2-[(9-anthrylcarbonyl) amino] acetyl}amino) acetate (ANTPEP), have been characterised by photoluminescence, absorption and photoluminescence excitation spectroscopy. A rather unusual, i.e. unstructured and largely red-shifted, photoluminescence spectral behaviour of the rotaxane has been found. Preliminary time resolved measurements indicate a fast energy transfer from the anthracene unit to different species the nature of which is still not assigned.