Chimera Grid Tools

Chimera Grid Tools (CGT) is a software package for performing computational fluid dynamics (CFD) analysis utilizing the Chimera-overset-grid method. For modeling flows with viscosity about geometrically complex bodies in relative motion, the Chimera-overset-grid method is among the most computationally cost-effective methods for obtaining accurate aerodynamic results. CGT contains a large collection of tools for generating overset grids, preparing inputs for computer programs that solve equations of flow on the grids, and post-processing of flow-solution data. The tools in CGT include grid editing tools, surface-grid-generation tools, volume-grid-generation tools, utility scripts, configuration scripts, and tools for post-processing (including generation of animated images of flows and calculating forces and moments exerted on affected bodies). One of the tools, denoted OVERGRID, is a graphical user interface (GUI) that serves to visualize the grids and flow solutions and provides central access to many other tools. The GUI facilitates the generation of grids for a new flow-field configuration. Scripts that follow the grid generation process can then be constructed to mostly automate grid generation for similar configurations. CGT is designed for use in conjunction with a computer-aided-design program that provides the geometry description of the bodies, and a flow-solver program

The Lag Model Applied to High Speed Flows

The Lag model has shown great promise in prediction of low speed and transonic separations. The predictions of the model, along with other models (Spalart-Allmaras and Menter SST) are assessed for various high speed flowfields. In addition to skin friction and separation predictions, the prediction of heat transfer are compared among these models, and some fundamental building block flowfields, are investigated

On QBF Proofs and Preprocessing

QBFs (quantified boolean formulas), which are a superset of propositional formulas, provide a canonical representation for PSPACE problems. To overcome the inherent complexity of QBF, significant effort has been invested in developing QBF solvers as well as the underlying proof systems. At the same time, formula preprocessing is crucial for the application of QBF solvers. This paper focuses on a missing link in currently-available technology: How to obtain a certificate (e.g. proof) for a formula that had been preprocessed before it was given to a solver? The paper targets a suite of commonly-used preprocessing techniques and shows how to reconstruct certificates for them. On the negative side, the paper discusses certain limitations of the currently-used proof systems in the light of preprocessing. The presented techniques were implemented and evaluated in the state-of-the-art QBF preprocessor bloqqer.Comment: LPAR 201

A surface-patterned chip as a strong source of ultracold atoms for quantum technologies

Laser-cooled atoms are central to modern precision measurements. They are also increasingly important as an enabling technology for experimental cavity quantum electrodynamics, quantum information processing and matter–wave interferometry. Although significant progress has been made in miniaturizing atomic metrological devices, these are limited in accuracy by their use of hot atomic ensembles and buffer gases. Advances have also been made in producing portable apparatus that benefits from the advantages of atoms in the microkelvin regime. However, simplifying atomic cooling and loading using microfabrication technology has proved difficult. In this Letter we address this problem, realizing an atom chip that enables the integration of laser cooling and trapping into a compact apparatus. Our source delivers ten thousand times more atoms than previous magneto-optical traps with microfabricated optics and, for the first time, can reach sub-Doppler temperatures. Moreover, the same chip design offers a simple way to form stable optical lattices. These features, combined with simplicity of fabrication and ease of operation, make these new traps a key advance in the development of cold-atom technology for high-accuracy, portable measurement devices

Understanding and Extending Incremental Determinization for 2QBF

Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determinization as a set of inference rules to help understand the design space of similar algorithms. We then present additional inference rules that extend incremental determinization in two ways. The first extension integrates the popular CEGAR principle and the second extension allows us to analyze different cases in isolation. The experimental evaluation demonstrates that the extensions significantly improve the performance

How a Diverse Research Ecosystem Has Generated New Rehabilitation Technologies: Review of NIDILRR’s Rehabilitation Engineering Research Centers

Over 50 million United States citizens (1 in 6 people in the US) have a developmental, acquired, or degenerative disability. The average US citizen can expect to live 20% of his or her life with a disability. Rehabilitation technologies play a major role in improving the quality of life for people with a disability, yet widespread and highly challenging needs remain. Within the US, a major effort aimed at the creation and evaluation of rehabilitation technology has been the Rehabilitation Engineering Research Centers (RERCs) sponsored by the National Institute on Disability, Independent Living, and Rehabilitation Research. As envisioned at their conception by a panel of the National Academy of Science in 1970, these centers were intended to take a “total approach to rehabilitation”, combining medicine, engineering, and related science, to improve the quality of life of individuals with a disability. Here, we review the scope, achievements, and ongoing projects of an unbiased sample of 19 currently active or recently terminated RERCs. Specifically, for each center, we briefly explain the needs it targets, summarize key historical advances, identify emerging innovations, and consider future directions. Our assessment from this review is that the RERC program indeed involves a multidisciplinary approach, with 36 professional fields involved, although 70% of research and development staff are in engineering fields, 23% in clinical fields, and only 7% in basic science fields; significantly, 11% of the professional staff have a disability related to their research. We observe that the RERC program has substantially diversified the scope of its work since the 1970’s, addressing more types of disabilities using more technologies, and, in particular, often now focusing on information technologies. RERC work also now often views users as integrated into an interdependent society through technologies that both people with and without disabilities co-use (such as the internet, wireless communication, and architecture). In addition, RERC research has evolved to view users as able at improving outcomes through learning, exercise, and plasticity (rather than being static), which can be optimally timed. We provide examples of rehabilitation technology innovation produced by the RERCs that illustrate this increasingly diversifying scope and evolving perspective. We conclude by discussing growth opportunities and possible future directions of the RERC program

Numerical Modeling of Flow Control in a Boundary-Layer-Ingesting Offset Inlet Diffuser at Transonic Mach Numbers

This paper will investigate the validation of the NASA developed, Reynolds-averaged Navier-Stokes (RANS) flow solver, OVERFLOW, for a boundary-layer-ingesting (BLI) offset (S-shaped) inlet in transonic flow with passive and active flow control devices as well as a baseline case. Numerical simulations are compared to wind tunnel results of a BLI inlet experiment conducted at the NASA Langley 0.3-Meter Transonic Cryogenic Tunnel. Comparisons of inlet flow distortion, pressure recovery, and inlet wall pressures are performed. The numerical simulations are compared to the BLI inlet data at a free-stream Mach number of 0.85 and a Reynolds number of approximately 2 million based on the fanface diameter. The numerical simulations with and without tunnel walls are performed, quantifying tunnel wall effects on the BLI inlet flow. A comparison is made between the numerical simulations and the BLI inlet experiment for the baseline and VG vane cases at various inlet mass flow rates. A comparison is also made to a BLI inlet jet configuration for varying actuator mass flow rates at a fixed inlet mass flow rate. Overall, the numerical simulations were able to predict the baseline circumferential flow distortion, DPCP avg, very well within the designed operating range of the BLI inlet. A comparison of the average total pressure recovery showed that the simulations were able to predict the trends but had a negative 0.01 offset when compared to the experimental levels. Numerical simulations of the baseline inlet flow also showed good agreement with the experimental inlet centerline surface pressures. The vane case showed that the CFD predicted the correct trends in the circumferential distortion levels for varying inlet mass flow but had a distortion level that was nearly twice as large as the experiment. Comparison to circumferential distortion measurements for a 15 deg clocked 40 probe rake indicated that the circumferential distortion levels are very sensitive to the symmetry of the flow and that a misalignment of the vanes in the experiment could have resulted in this difference. The numerical simulations of the BLI inlet with jets showed good agreement with the circumferential inlet distortion levels for a range of jet actuator mass flow ratios at a fixed inlet mass flow rate. The CFD simulations for the jet case also predicted an average total pressure recovery offset that was 0.01 lower than the experiment as was seen in the baseline. Comparisons of the flow features for the jet cases revealed that the CFD predicted a much larger vortex at the engine fan-face when compare to the experiment

Playing the role of a ‘boundary organisation’: getting smarter with networking

Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: [email protected] En BestuurswetenskappeSkool vir Publieke Leierska

Frequency of cancer in children residing in Mexico City and treated in the hospitals of the Instituto Mexicano del Seguro Social (1996–2001)

BACKGROUND: The objective of this article is to present the frequency of cancer in Mexican children who were treated in the hospitals of the Instituto Mexicano del Seguro Social in Mexico City (IMSS-MC) in the period 1996–2001. METHODS: The Registry of Cancer in Children, started in 1996 in the IMSS-MC, is an on-going, prospective register. The data from 1996 through 2001 were analyzed and the different types of cancer were grouped according to the International Classification for Cancer in Children (ICCC). From this analysis, the general and specific frequencies by age and by sex were obtained for the different groups of neoplasms. Also, the frequency of the stage of the disease that had been diagnosed in cases of children with solid tumors was obtained. RESULTS: A total of 1,702 new cases of children with cancer were registered, with the male/female ratio at 1.1/1. Leukemias had the highest frequency with 784 cases (46.1%) and, of these, acute lymphoblastic leukemias were the most prevalent with 614 cases (78.3%). Thereafter, in descending order of frequency, were tumors of the central nervous system (CNST) with 197 cases (11.6%), lymphomas with 194 cases (11.4%), germinal cell tumors with 110 cases (6.5%), and bone tumors with 97 cases (5.7%). The highest frequency of cancer was found in the group of one to four year-olds that had 627 cases (36.8%). In all the age groups, leukemias were the most frequent. In the present work, the frequency of Hodgkin's disease (~4%) was found to be lower than that (~10%) in previous studies and the frequency of tumors of the sympathetic nervous system was low (2.3%). Of those cases of solid tumors for which the stage of the disease had been determined, 66.9% were diagnosed as being Stage III or IV. CONCLUSIONS: The principal cancers in the children treated in the IMSS-MC were leukemias, CNST, and lymphomas, consistent with those reported by developed countries. A 2.5-fold reduction in the frequency of Hodgkin's disease was found. Of the children, the stage of whose disease had been determined, two thirds were diagnosed as having advanced stages of the disease