1,631 research outputs found
Design and performance of a fixed, nonaccelerating, guide vane cascade that operates over an inlet flow angle range of 60 deg
A unique set of wind tunnel guide vanes are designed with an inverse design code and analyzed with a panel method and an integral boundary layer code developed at the NASA Lewis Research Center. The fixed guide vanes, 80 feet long with 6-foot chord length, were designed for the NASA Ames 40 x 80/80 x 120 ft Wind Tunnel. Low subsonic flow is accepted over a 60 deg range of inlet angle from either the 40 x 80 leg or the 80 x 120 leg of the wind tunnel, and directed axially into the main leg of the tunnel where drive fans are located. Experimental tests of 1/10-scale models were conducted to verify design calculations
Solvates, salts, and cocrystals : a proposal for a feasible classification system
The design of pharmaceutical cocrystals has initiated widespread debate on the classification of cocrystals. Current attempts to classify multicomponent crystals suffer from ambiguity, which has led to inconsistent definitions for cocrystals and for multicomponent crystals in general. Inspired by the work of Aitipamula et al. (Cryst. Growth Des. 2012, 12, 2147-2152), we present a feasible classification system for all multicomponent crystals. The present classification enables us to analyze and classify multicomponent crystal structures present in the Cambridge Structural Database (CSD). This reveals that all seven classes proposed are relevant in terms of frequency of occurrence. Lists of CSD refcodes for all classes are provided. We identified over 5000 cocrystals in the CSD, as well as over 12 000 crystals with more than two components. This illustrates that the possibilities for alternative drug formulations can be increased significantly by considering more than two components in drug design
Population-based mammography screening below age 50: balancing radiation-induced vs prevented breast cancer deaths
Introduction:Exposure to ionizing radiation at mammography screening may cause breast cancer. Because the radiation risk increases with lower exposure age, advancing the lower age limit may affect the balance between screening benefits and risks. The present study explores the benefit-risk ratio of screening before age 50.Methods:The benefits of biennial mammography screening, starting at various ages between 40 and 50, and continuing up to age 74 were examined using micro-simulation. In contrast with previous studies that commonly used excess relative risk models, we assessed the radiation risks using the latest BEIR-VII excess abso
Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization
The purpose of this note is to survey a methodology to solve systems of
polynomial equations and inequalities. The techniques we discuss use the
algebra of multivariate polynomials with coefficients over a field to create
large-scale linear algebra or semidefinite programming relaxations of many
kinds of feasibility or optimization questions. We are particularly interested
in problems arising in combinatorial optimization.Comment: 28 pages, survey pape
Linking Ground, Space and Knowledge: The Role of Weather Forecasting in Pastoralists\u27 Decision-Making
Changing weather patterns and decreasing land availability continue to challenge the livelihood of the pastoralists in northern Tanzania. The increasing variability of expected rains has complicated livestock management, often jeopardizing household resilience. Drought Early Warning Systems are being set up to contribute to decision-making processes at national and international levels. Nevertheless, due to the large spatial- and temporal resolution of these systems and their high uncertainties, these systems have limited value at a pastoral household level.
Therefore, this paper explores what type of weather and climate information is deemed valuable for pastoral households in Longido District, Tanzania. It is based on an ethnographic study, conducted over a period of four months. It explores what weather information would be useful, the necessary scale of desired information, the required lead time of communication and, lastly, the most effective method of communicating forecast information. Following on this data, the study assessed the status of remote sensing and weather forecast modelling, exploring the question, the desired weather information can be forecast with enough skill and at a scale that is relevant to pastoral households in Longido? The ECMWF weather model was used in the assessment, revealing some optimism and scepticism concerning the status of existing information and technologies.
Technological recommendations include verification of rainfall data, further research on the rainfall threshold concept, and exploring the model skill of embedded models in Tanzania. At the level of implementation , recommendations include discussing the adverse impacts of actions taken based on the forecasts and forming an implementation advisory group, which includes a comprehensive breadth of stakeholders, such as knowledgeable community members, village leaders, traditional leaders and also professionals from the field of climate sciences, rangeland ecology and anthropology
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
Instrumental Music Influences Recognition of Emotional Body Language
In everyday life, emotional events are perceived by multiple sensory systems. Research has shown that recognition of emotions in one modality is biased towards the emotion expressed in a simultaneously presented but task irrelevant modality. In the present study, we combine visual and auditory stimuli that convey similar affective meaning but have a low probability of co-occurrence in everyday life. Dynamic face-blurred whole body expressions of a person grasping an object while expressing happiness or sadness are presented in combination with fragments of happy or sad instrumental classical music. Participants were instructed to categorize the emotion expressed by the visual stimulus. The results show that recognition of body language is influenced by the auditory stimuli. These findings indicate that crossmodal influences as previously observed for audiovisual speech can also be obtained from the ignored auditory to the attended visual modality in audiovisual stimuli that consist of whole bodies and music
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL
We present the latest major release version 6.0 of the quantified Boolean
formula (QBF) solver DepQBF, which is based on QCDCL. QCDCL is an extension of
the conflict-driven clause learning (CDCL) paradigm implemented in state of the
art propositional satisfiability (SAT) solvers. The Q-resolution calculus
(QRES) is a QBF proof system which underlies QCDCL. QCDCL solvers can produce
QRES proofs of QBFs in prenex conjunctive normal form (PCNF) as a byproduct of
the solving process. In contrast to traditional QCDCL based on QRES, DepQBF 6.0
implements a variant of QCDCL which is based on a generalization of QRES. This
generalization is due to a set of additional axioms and leaves the original
Q-resolution rules unchanged. The generalization of QRES enables QCDCL to
potentially produce exponentially shorter proofs than the traditional variant.
We present an overview of the features implemented in DepQBF and report on
experimental results which demonstrate the effectiveness of generalized QRES in
QCDCL.Comment: 12 pages + appendix; to appear in the proceedings of CADE-26, LNCS,
Springer, 201
- …