Instrumental polarisation at the Nasmyth focus of the E-ELT

The ~39-m European Extremely Large Telescope (E-ELT) will be the largest telescope ever built. This makes it particularly suitable for sensitive polarimetric observations, as polarimetry is a photon-starved technique. However, the telescope mirrors may severely limit the polarimetric accuracy of instruments on the Nasmyth platforms by creating instrumental polarisation and/or modifying the polarisation signal of the object. In this paper we characterise the polarisation effects of the two currently considered designs for the E-ELT Nasmyth ports as well as the effect of ageing of the mirrors. By means of the Mueller matrix formalism, we compute the response matrices of each mirror arrangement for a range of zenith angles and wavelengths. We then present two techniques to correct for these effects that require the addition of a modulating device at the polarisation-free intermediate focus that acts either as a switch or as a part of a two-stage modulator. We find that the values of instrumental polarisation, Stokes transmission reduction and cross- talk vary significantly with wavelength, and with pointing, for the lateral Nasmyth case, often exceeding the accuracy requirements for proposed polarimetric instruments. Realistic ageing effects of the mirrors after perfect calibration of these effects may cause polarimetric errors beyond the requirements. We show that the modulation approach with a polarimetric element located in the intermediate focus reduces the instrumental polarisation effects down to tolerable values, or even removes them altogether. The E-ELT will be suitable for sensitive and accurate polarimetry, provided frequent calibrations are carried out, or a dedicated polarimetric element is installed at the intermediate focus.Comment: Accepted for publication in A&

The complexity of linear-time temporal logic over the class of ordinals

We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem. We show that it has a PSPACE-complete satisfiability problem over the class of ordinals. Among the consequences of our proof, we show that given the code of some countable ordinal alpha and a formula, we can decide in PSPACE whether the formula has a model over alpha. In order to show these results, we introduce a class of simple ordinal automata, as expressive as B\"uchi ordinal automata. The PSPACE upper bound for the satisfiability problem of the temporal logic is obtained through a reduction to the nonemptiness problem for the simple ordinal automata.Comment: Accepted for publication in LMC

Optical Phase Unwrapping in the Presence of Branch Points

Strong turbulence causes phase discontinuities known as branch points in an optical field. These discontinuities complicate the phase unwrapping necessary to apply phase corrections onto a deformable mirror in an adaptive optics (AO) system. This paper proposes a non-optimal but effective and implementable phase unwrapping method for optical fields containing branch points. This method first applies a least-squares (LS) unwrapper to the field which isolates and unwraps the LS component of the field. Four modulo-2π-equivalent non-LS components are created by subtracting the LS component from the original field and then restricting the result to differing ranges. 2π phase jumps known as branch cuts are isolated to the non-LS components and the different non-LS realizations have different branch cut placements. The best placement of branch cuts is determined by finding the non-LS realization with the lowest normalized cut length and adding it to the LS component. The result is an unwrapped field which is modulo-2π-equivalent to the original field while minimizing the effect of phase cuts on system performance. This variable-range ‘ϕLS+ϕnon-LS’ unwrapper, is found to outperform other unwrappers designed to work in the presence of branch points at a reasonable computational burden. The effect of improved unwrapping is demonstrated by comparing the performance of a system using a fixed-range ‘ϕLS+ϕnon-LS’ realization unwrapper against the variable-range ‘ϕLS+ϕnon-LS’ unwrapper in a closed-loop simulation. For the 0.5 log-amplitude variance turbulence tested, the system Strehl performance is improved by as much as 41.6 percent at points where fixed-range ‘ϕLS+ϕnon-LS’ unwrappers result in particularly poor branch cut placement. This significant improvement in previously poorly performing regions is particularly important for systems such as laser communications which require minimum Strehl ratios to operate successfully

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machine

Heterologous Processing and Export of the Bacteriocins Pediocin PA-1 and Lactococcin A in Lactococcus Lactis:A Study with Leader Exchange

The bacteriocins pediocin PA-1 and lactococcin A are synthesized as precursors carrying N-terminal extensions with a conserved cleavage site preceded by two glycine residues in positions -2 and -1. Each bacteriocin is translocated through the cytoplasmic membrane by an integral membrane protein of the ABC cassette superfamily which, in the case of pediocin PA-1, has been shown to possess peptidase activity responsible for proteolytic cleavage of the pre-bacteriocin. In each case, another integral membrane protein is essential for bacteriocin production. In this study, a two-step PCR approach was used to permutate the leaders of pediocin PA-1 and lactococcin A. Wild-type and chimeric pre-bacteriocins were assayed for maturation by the processing/export machinery of pediocin PA-1 and lactococcin A. The results show that pediocin PA-1 can be efficiently exported by the lactococcin machinery whether it carries the lactococcin or the pediocin leader. It can also compete with wild-type lactococcin A for the lactococcin machinery. Pediocin PA-1 carrying the lactococcin A leader or lactococcin A carrying that of pediocin PA-1 was poorly secreted when complemented with the pediocin PA-1 machinery, showing that the pediocin machinery is more specific for its bacteriocin substrate. Wild-type pre-pediocin and chimeric pre-pediocin were shown to be processed by the lactococcin machinery at or near the double-glycine cleavage site. These results show the potential of the lactococcin LcnC/LcnD machinery as a maturation system for peptides carrying double-glycine-type amino-terminal leaders

On the Graph Theory of Majority Illusions

The popularity of an opinion in one’s direct circles is not necessarily a good indicator of its popularity in one’s entire community. For instance, when confronted with a majority of opposing opinions in one’s circles, one might get the impression that one belong s to a minority. From this perspective, network structure makes local information about global properties of the group potentially inaccurate. However, the way a social network is wired also determines what kind of information distortion can actually occur. In this paper, we discuss which classes of networks allow for a majority of agents to have the wrong impression about what the majority opinion is, that is, to be in a ‘majority illusion’.</p

Estrés Abiótico y Homeostasis Iónica

Master Universitario en Biología Agraria y Acuicultura.-- 75 horas, 3 Créditos ECTS.Peer reviewe