The SOAR Optical Imager

The SOAR Optical Imager (SOI) is the commissioning instrument for the 4.2-m SOAR telescope, which is sited on Cerro Pachón, and due for first light in April 2003. It is being built at Cerro Tololo Inter-American Observatory, and is one of a suite of first-light instruments being provided by the four SOAR partners (NOAO, Brazil, University of North Carolina, Michigan State University). The instrument is designed to produce precision photometry and to fully exploit the expected superb image quality of the SOAR telescope, over a 6x6 arcmin field. Design goals include maintaining high throughput down to the atmospheric cut-off, and close reproduction of photometric passbands throughout 310-1050nm. The focal plane consists of a two-CCD mosaic of 2Kx4K Lincoln Labs CCDs, following an atmospheric dispersion corrector, focal reducer, and tip-tilt sensor. Control and data handling are within the LabVIEW-Linux environment used throughout the SOAR Project

Living with early-stage dementia: a review of qualitative studies

A

A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been formalized in the Coq theorem prover. Our proofs show that finite maps produced by the unification algorithm provide a model of the axioms characterizing idempotent MGUs of lists of constraints. The axioms that serve as the basis for our verification are derived from a standard set by extending them to lists of constraints. For us, constraints are equalities between terms in the language of simple types. Substitutions are formally modeled as finite maps using the Coq library Coq.FSets.FMapInterface. Coq's method of functional induction is the main proof technique used in proving many of the axioms.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Automatic generation of hardware/software interfaces

Enabling new applications for mobile devices often requires the use of specialized hardware to reduce power consumption. Because of time-to-market pressure, current design methodologies for embedded applications require an early partitioning of the design, allowing the hardware and software to be developed simultaneously, each adhering to a rigid interface contract. This approach is problematic for two reasons: (1) a detailed hardware-software interface is difficult to specify until one is deep into the design process, and (2) it prevents the later migration of functionality across the interface motivated by efficiency concerns or the addition of features. We address this problem using the Bluespec Codesign Language~(BCL) which permits the designer to specify the hardware-software partition in the source code, allowing the compiler to synthesize efficient software and hardware along with transactors for communication between the partitions. The movement of functionality across the hardware-software boundary is accomplished by simply specifying a new partitioning, and since the compiler automatically generates the desired interface specifications, it eliminates yet another error-prone design task. In this paper we present BCL, an extension of a commercially available hardware design language (Bluespec SystemVerilog), a new software compiling scheme, and preliminary results generated using our compiler for various hardware-software decompositions of an Ogg Vorbis audio decoder, and a ray-tracing application.National Science Foundation (U.S.) (NSF (#CCF-0541164))National Research Foundation of Korea (grant from the Korean Government (MEST) (#R33-10095)

Measuring the impact and costs of a universal group based parenting programme : protocol and implementation of a trial

Background Sub-optimal parenting is a common risk factor for a wide range of negative health, social and educational outcomes. Most parenting programmes have been developed in the USA in the context of delinquency prevention for targeted or indicated groups and the main theoretical underpinning for these programmes is behaviour management. The Family Links Nurturing Programme (FLNP) focuses on family relationships as well as behaviour management and is offered on a universal basis. As a result it may be better placed to improve health and educational outcomes. Developed in the UK voluntary sector, FLNP is popular with practitioners, has impressed policy makers throughout the UK, has been found to be effective in before/after and qualitative studies, but lacks a randomised controlled trial (RCT) evidence base. Methods/Design A multi-centre, investigator blind, randomised controlled trial of the FLNP with a target sample of 288 south Wales families who have a child aged 2-4 yrs living in or near to Flying Start/Sure Start areas. Changes in parenting, parent child relations and parent and child wellbeing are assessed with validated measures immediately and at 6 months post intervention. Economic components include cost consequences and cost utility analyses based on parental ranking of states of quality of life. Attendance and completion rates and fidelity to the FLNP course delivery are assessed. A nested qualitative study will assess reasons for participation and non-participation and the perceived value of the programme to families. By the end of May 2010, 287 families have been recruited into the trial across four areas of south Wales. Recruitment has not met the planned timescales with barriers including professional anxiety about families entering the control arm of the trial, family concern about video and audio recording, programme facilitator concern about the recording of FLNP sessions for fidelity purposes and delays due to the new UK research governance procedures. Discussion Whilst there are strong theoretical arguments to support universal provision of parenting programmes, few universal programmes have been subjected to randomised controlled trials. In this paper we describe a RCT protocol with quantitative and qualitative outcome measures and an economic evaluation designed to provide clear evidence with regard to effectiveness and costs. We describe challenges implementing the protocol and how we are addressing these

Numerical Study of High-Temperature Jet Flow Using RANS/LES and PANS Formulations

Two multi-scale-type turbulence models are implemented in the PAB3D solver. The models are based on modifying the Reynolds Averaged Navier-Stokes (RANS) equations. The first scheme is a hybrid RANS/LES model utilizing the two-equation (k(epsilon)) model with a RANS/LES transition function dependent on grid spacing and the computed turbulence length scale. The second scheme is a modified version of the Partially Averaged Navier-Stokes (PANS) model, where the unresolved kinetic energy parameter (f(sub k)) is allowed to vary as a function of grid spacing and the turbulence length scale. This parameter is estimated based on a novel two-stage procedure to efficiently estimate the level of scale resolution possible for a given flow on a given grid for Partial Averaged Navier-Stokes (PANS). It has been found that the prescribed scale resolution can play a major role in obtaining accurate flow solutions. The parameter f(sub k) varies between zero and one and equal to one in the viscous sub layer, and when the RANS turbulent viscosity becomes smaller than the LES viscosity. The formulation, usage methodology, and validation examples are presented to demonstrate the enhancement of PAB3D's time-accurate and turbulence modeling capabilities. The accurate simulations of flow and turbulent quantities will provide valuable tool for accurate jet noise predictions. Solutions from these models are compared to RANS results and experimental data for high-temperature jet flows. The current results show promise for the capability of hybrid RANS/LES and PANS in simulating such flow phenomena

Oxy-fuel combustion of coal and biomass blends

The ignition temperature, burnout and NO emissions of blends of a semi-anthracite and a high-volatile bituminous coal with 10 and 20 wt.% of olive waste were studied under oxy-fuel combustion conditions in an entrained flow reactor (EFR). The results obtained under several oxy-fuel atmospheres (21%O2–79%CO2, 30%O2–70%CO2 and 35%O2–65%CO2) were compared with those attained in air. The results indicated that replacing N2 by CO2 in the combustion atmosphere with 21% of O2 caused an increase in the temperature of ignition and a decrease in the burnout value. When the O2 concentration was increased to 30 and 35%, the temperature of ignition was lower and the burnout value was higher than in air conditions. A significant reduction in ignition temperature and a slight increase in the burnout value was observed after the addition of biomass, this trend becoming more noticeable as the biomass concentration was increased. The emissions of NO during oxy-fuel combustion were lower than under air-firing. However, they remained similar under all the oxy-fuel atmospheres with increasing O2 concentrations. Emissions of NO were significantly reduced by the addition of biomass to the bituminous coal, although this effect was less noticeable in the case of the semi-anthracite.This work was carried out with financial support from the Spanish MICINN (Project PS-120000-2005-2) co-financed by the European Regional Development Fund. M.V.G. and L.A. acknowledge funding from the CSIC JAE-Doc and CSIC JAE-Pre programs, respectively, co-financed by the European Social Fund. J.R. acknowledges funding from the Government of the Principado de Asturias (Severo Ochoa program).Peer reviewe

Implementation of Flow Tripping Capability in the USM3D Unstructured Flow Solver

A flow tripping capability is added to an established NASA tetrahedral unstructured parallel Navier-Stokes flow solver, USM3D. The capability is based on prescribing an appropriate profile of turbulence model variables to energize the boundary layer in a plane normal to a specified trip region on the body surface. We demonstrate this approach using the k-e two-equation turbulence model of USM3D. Modification to the solution procedure primarily consists of developing a data structure to identify all unstructured tetrahedral grid cells located in the plane normal to a specified surface trip region and computing a function based on the mean flow solution to specify the modified profile of the turbulence model variables. We leverage this data structure and also show an adjunct approach that is based on enforcing a laminar flow condition on the otherwise fully turbulent flow solution in user specified region. The latter approach is applied for the solutions obtained using other one- and two-equation turbulence models of USM3D. A key ingredient of the present capability is the use of a graphical user-interface tool PREDISC to define a trip region on the body surface in an existing grid. Verification of the present modifications is demonstrated on three cases, namely, a flat plate, the RAE2822 airfoil, and the DLR F6 wing-fuselage configuration