Host Galaxy Contribution to the Colours of `Red' Quasars

We describe an algorithm that measures self-consistently the relative galaxy contribution in a sample of radio-quasars from their optical spectra alone. This is based on a spectral fitting method which uses the size of the characteristic 4000\AA~ feature of elliptical galaxy SEDs. We apply this method to the Parkes Half-Jansky Flat Spectrum sample of Drinkwater et al. (1997) to determine whether emission from the host galaxy can significantly contribute to the very red optical-to-near-infrared colours observed. We find that at around $2\sigma$ confidence, most of the reddening in unresolved (mostly quasar-like) sources is unlikely to be due to contamination by a red stellar component.Comment: 11 pages, 11 figures. Accepted for Publication in Monthly Notices of the Royal Astronomical Societ

Layers, resources and property templates in the specification and analysis of two interactive systems

The paper briefly explores a layered approach to the analysis of two interactive systems (Nuclear Control and Air Traffic Control), indicating how the analysis enables exploration of the particular features emphasised by the use cases relating to the examples. These features relate to the interactive behaviour of the systems. To facilitate the analysis, property templates are proposed as heuristics for developing appropriate requirements for the respective user interfaces.Jose Creissac Campos and Michael Harrison were funded by ´ project ref. NORTE-07-0124-FEDER-000062, co-financed by the North Portugal Regional Operational Programme (ON.2 O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT). Paul Curzon, Michael Harrison and Paolo Masci were funded by the CHI+MED project: Multidisciplinary Computer Human Interaction Research for the design and safe use of interactive medical devices project, UK EPSRC Grant Number EP/G059063/1.info:eu-repo/semantics/publishedVersio

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software

This paper presents a generic infusion pump user interface (GIP-UI) architecture that intends to capture the common characteristics and functionalities of interactive software incorporated in broad classes of infusion pumps. It is designed to facilitate the identification of use hazards and their causes in infusion pump designs. This architecture constitutes our first effort at establishing a model-based risk analysis methodology that helps manufacturers identify and mitigate use hazards in their products at early stages of the development life-cycle. The applicability of the GIP-UI architecture has been confirmed in a hazard analysis focusing on the number entry software of existing infusion pumps, in which the GIP-UI architecture is used to identify a substantial set of user interface design errors that may contribute to use hazards found in infusion pump incidents

The Southern 2MASS AGN Survey: spectroscopic follow-up with 6dF

The Two Micron All-Sky Survey (2MASS) has provided a uniform photometric catalog to search for previously unknown red AGN and QSOs. We have extended the search to the southern equatorial sky by obtaining spectra for 1182 AGN candidates using the 6dF multifibre spectrograph on the UK Schmidt Telescope. These were scheduled as auxiliary targets for the 6dF Galaxy Redshift Survey. The candidates were selected using a single color cut of J - Ks > 2 to Ks ~ 15.5 and a galactic latitude of |b|>30 deg. 432 spectra were of sufficient quality to enable a reliable classification. 116 sources (or ~27%) were securely classified as type 1 AGN, 20 as probable type 1s, and 57 as probable type 2 AGN. Most of them span the redshift range 0.05<z<0.5 and only 8 (or ~6%) were previously identified as AGN or QSOs. Our selection leads to a significantly higher AGN identification rate amongst local galaxies (>20%) than in any previous galaxy survey. A small fraction of the type 1 AGN could have their optical colors reddened by optically thin dust with A_V<2 mag relative to optically selected QSOs. A handful show evidence for excess far-IR emission. The equivalent width (EW) and color distributions of the type 1 and 2 AGN are consistent with AGN unified models. In particular, the EW of the [OIII] emission line weakly correlates with optical--near-IR color in each class of AGN, suggesting anisotropic obscuration of the AGN continuum. Overall, the optical properties of the 2MASS red AGN are not dramatically different from those of optically-selected QSOs. Our near-IR selection appears to detect the most near-IR luminous QSOs in the local universe to z~0.6 and provides incentive to extend the search to deeper near-IR surveys.Comment: 57 pages, 12 figures, 4 tables, to appear in vol.27/4 of Publications of the Astronomical Society of Australia (PASA

WISE/NEOWISE Preliminary Analysis and Highlights of the 67P/Churyumov-Gerasimenko Near Nucleus Environs

On January 18-19 and June 28-29 of 2010, the Wide-field Infrared Survey Explorer (WISE) spacecraft imaged the Rosetta mission target, comet 67P/Churyumov-Gerasimenko. We present a preliminary analysis of the images, which provide a characterization of the dust environment at heliocentric distances similar to those planned for the initial spacecraft encounter, but on the outbound leg of its orbit rather than the inbound. Broad-band photometry yields low levels of CO2 production at a comet heliocentric distance of 3.32 AU and no detectable production at 4.18 AU. We find that at these heliocentric distances, large dust grains with mean grain diameters on the order of a millimeter or greater dominate the coma and evolve to populate the tail. This is further supported by broad-band photometry centered on the nucleus, which yield an estimated differential dust particle size distribution with a power law relation that is considerably shallower than average. We set a 3-sigma upper limit constraint on the albedo of the large-grain dust at <= 0.12. Our best estimate of the nucleus radius (1.82 +/- 0.20 km) and albedo (0.04 +/- 0.01) are in agreement with measurements previously reported in the literature

Using a complete spectroscopic survey to find red quasars and test the KX method

We present an investigation of quasar colour-redshift parameter space in order to search for radio-quiet red quasars and to test the ability of a variant of the KX quasar selection method to detect quasars over a full range of colour without bias. This is achieved by combining IRIS2 imaging with the complete Fornax Cluster Spectroscopic Survey to probe parameter space unavailable to other surveys. We construct a new sample of 69 quasars with measured bJ - K colours. We show that the colour distribution of these quasars is significantly different from that of the Large Bright Quasar Survey's quasars at a 99.9% confidence level. We find 11 of our sample of 69 quasars have signifcantly red colours (bJ - K >= 3.5) and from this, we estimate the red quasar fraction of the K <= 18.4 quasar population to be 31%, and robustly constrain it to be at least 22%. We show that the KX method variant used here is more effective than the UVX selection method, and has less colour bias than optical colour-colour selection methods.Comment: 11 pages, 14 figures, accepted for publication in MNRA

PVSio-web: a tool for rapid prototyping device user interfaces in PVS

We present PVSio-web which extends the simulation component of the PVS proof system with functionalities for rapid prototyping device user interfaces. The tool presents itself as a classic image-editing environment with functionalities such as area selection and hyperlink creation, thus reducing the barriers that prevent non-experts in formal methods from using PVS. Designers load a picture of the layout of the device user interface under development, specify interactive areas over the layout, and link them to a PVS specification. They can then explore the behaviour of the formal user interface specification through point-and-click interactions. The architecture of the tool is general, and can be used as the basis for extending other verification tools. A demonstration of the capabilities of PVSio-web is presented through an example based on a commercial medical device user interface. Our ultimate aim is to promote and facilitate the use of formal verification tools when developing device user interfaces

Using PVS to support the analysis of distributed cognition systems

The rigorous analysis of socio-technical systems is challenging, because people are inherent parts of the system, together with devices and artefacts. In this paper, we report on the use of PVS as a way of analysing such systems in terms of distributed cognition. Distributed cognition is a conceptual framework that allows us to derive insights about plausible user trajectories in socio-technical systems by exploring what information in the environment provides resources for user action, but its application has traditionally required substantial craft skill. DiCoT adds structure and method to the analysis of socio-technical systems from a distributed cognition perspective. In this work, we demonstrate how PVS can be used with DiCoT to conduct a systematic analysis. We illustrate how a relatively simple use of PVS can help a field researcher to (i) externalise assumptions and facts, (ii) verify the consistency of the logical argument framed in the descriptions, (iii) help uncover latent situations that may warrant further investigation, and (iv) verify conjectures about potential hazards linked to the observed use of information resources. Evidence is also provided that formal methods and empirical studies are not alternative approaches for studying a socio-technical system, but that they can complement and refine each other. The combined use of PVS and DiCoT is illustrated through a case study concerning a real-world emergency medical dispatch system. © 2013, Springer-Verlag London

Modelling Distributed Cognition Systems in PVS

We report on our efforts to formalise DiCoT, an informal structured approach for analysing complex work systems, such as hospital and day care units, as distributed cognition systems. We focus on DiCoT's information flow model, which describes how information is transformed and propagated in the system. Our contribution is a set of generic models for the specification and verification system PVS. The developed models can be directly mapped to the informal descriptions adopted by human-computer interactions experts. The models can be verified against properties of interest in the PVS theorem prover. Also, the same models can be simulated, thus facilitating analysts to engage with stakeholders when checking the correctness of the model. We trial our ideas on a case study based on a real-world medical system