14,404 research outputs found
Model mount system for testing flutter
A wind tunnel model mount system is disclosed for effectively and accurately determining the effects of attack and airstream velocity on a model airfoil or aircraft. The model mount system includes a rigid model attached to a splitter plate which is supported away from the wind tunnel wall several of flexible rods. Conventional instrumentation is employed to effect model rotation through a turntable and to record model flutter data as a function of the angle of attack versus dynamic pressure
A two-degree-of-freedom flutter mount system with low damping for testing rigid wings at different angles of attack
A wind tunnel model mount system for conducting flutter research using a rigid wing was developed. The wing is attached to a splitter plate so that the two move as one rigid body. The splitter plate is supported away from the tunnel wall by a system of rods with fixed fixed and conditions. The rods flex in such a way that only pitch and plunge oscillations are permitted. At the tunnel wall the rods are attached to a remotely controlled turntable so that angle of attack can be varied. Wind tunnel data obtained by using the mount system are presented for a supercritical and a conventional airfoil. Both classical flutter and stall flutter data are presented
Computational fluid mechanics utilizing the variational principle of modeling damping seals
An analysis for modeling damping seals for use in Space Shuttle main engine turbomachinery is being produced. Development of a computational fluid mechanics code for turbulent, incompressible flow is required
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Since there are different ways of axiomatizing and developing a mathematical
theory, knowledge about a such a theory may reside in many places and in many
forms within a library of formalized mathematics. We introduce the notion of a
realm as a structure for consolidating knowledge about a mathematical theory. A
realm contains several axiomatizations of a theory that are separately
developed. Views interconnect these developments and establish that the
axiomatizations are equivalent in the sense of being mutually interpretable. A
realm also contains an external interface that is convenient for users of the
library who want to apply the concepts and facts of the theory without delving
into the details of how the concepts and facts were developed. We illustrate
the utility of realms through a series of examples. We also give an outline of
the mechanisms that are needed to create and maintain realms.Comment: As accepted for CICM 201
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study
A biform theory is a combination of an axiomatic theory and an algorithmic
theory that supports the integration of reasoning and computation. These are
ideal for formalizing algorithms that manipulate mathematical expressions. A
theory graph is a network of theories connected by meaning-preserving theory
morphisms that map the formulas of one theory to the formulas of another
theory. Theory graphs are in turn well suited for formalizing mathematical
knowledge at the most convenient level of abstraction using the most convenient
vocabulary. We are interested in the problem of whether a body of mathematical
knowledge can be effectively formalized as a theory graph of biform theories.
As a test case, we look at the graph of theories encoding natural number
arithmetic. We used two different formalisms to do this, which we describe and
compare. The first is realized in , a version of Church's
type theory with quotation and evaluation, and the second is realized in Agda,
a dependently typed programming language.Comment: 43 pages; published without appendices in: H. Geuvers et al., eds,
Intelligent Computer Mathematics (CICM 2017), Lecture Notes in Computer
Science, Vol. 10383, pp. 9-24, Springer, 201
Simulation of solidification in a Bridgman cell
Bridgman-type crystal growth techniques are attractive methods for producing homogeneous, high-quality infrared detector and junction device materials. However, crystal imperfections and interface shapes still must be controlled through modification of the temperature and concentration gradients created during solidification. The objective of this investigation was to study the temperature fields generated by various cell and heatpipe configurations and operating conditions. Continuum's numerical model of the temperature, species concentrations, and velocity fields was used to describe the thermal characteristics of Bridgman cell operation
- …