448 research outputs found
Development and application of an optimization procedure for flutter suppression using the aerodynamic energy concept
An optimization procedure is developed based on the responses of a system to continuous gust inputs. The procedure uses control law transfer functions which have been partially determined by using the relaxed aerodynamic energy approach. The optimization procedure yields a flutter suppression system which minimizes control surface activity in a gust environment. The procedure is applied to wing flutter of a drone aircraft to demonstrate a 44 percent increase in the basic wing flutter dynamic pressure. It is shown that a trailing edge control system suppresses the flutter instability over a wide range of subsonic mach numbers and flight altitudes. Results of this study confirm the effectiveness of the relaxed energy approach
Application of the aerodynamic energy concept to flutter suppression and gust alleviation by use of active controls
The effects of active controls on flutter suppression and gust alleviation of the Arava twin turboprop STOL transport and the Westwind twinjet business transport are investigated. The active control surfaces are introduced in pairs which include, in any chosen wing strip, a 20-percent chord leading-edge control and a 20-percent chord trailing-edge control. Each control surface is driven by a combined linear-rotational sensor system located on the activated strip. The control law is based on the concept of aerodynamic energy and utilizes previously optimized control law parameters based on two-dimensional aerodynamic theory. The best locations of the activated system along the span of the wing are determined for bending-moment alleviation, reduction in fuselage accelerations, and flutter suppression. The effectiveness of the activated system over a wide range of maximum control deflections is also determined. Two control laws are investigated. The first control law utilizes both rigid-body and elastic contributions of the motion. The second control law employs primarily the elastic contribution of the wing and leads to large increases in the activated control effectiveness as compared with the basic control law. The results indicate that flutter speed can be significantly increased (over 70 percent increase) and that the bending moment due to gust loading can be almost totally eliminated by a control system of about 10 to 20 percent span with reasonable control-surface rotations
Mach's relativity of rotation in light of contemporary physics
Mach argued for a relational rather than an absolute notion of space,
insisting that centrifugal forces inside a rotating object such as a bucket can
be reproduced by keeping the bucket fixed and rotating the universe. In
response to a paper of ours denying the validity of Mach's views, Bhadra and
Das elaborate on Mach's position. We address several of their arguments and
show that Mach's relational notion of space is wrong-headed. Special and
general relativity distinguish between a bucket (i.e. any system) rotating in a
fixed universe and a bucket fixed in a rotating universe and between a
non-rotating bucket in a non-rotating universe and a co-rotating bucket in a
rotating universe, distinctions that go against Mach's relational theory of
space. Even when taken on its own terms, Mach's theory can apply only to single
point-like buckets rotating at infinitesimal angular velocities
Do the fundamental constants change with time ?
Comparisons between the redshifts of spectral lines from
cosmologically-distant galaxies can be used to probe temporal changes in
low-energy fundamental constants like the fine structure constant and the
proton-electron mass ratio. In this article, I review the results from, and the
advantages and disadvantages of, the best techniques using this approach,
before focussing on a new method, based on conjugate satellite OH lines, that
appears to be less affected by systematic effects and hence holds much promise
for the future.Comment: 15 pages, 3 figures. This is an electronic version of an invited
review article for Mod. Phys. Lett. A, published as [Mod. Phys. Lett. A, Vol.
23, No. 32, 2008, pp. 2711] (copyright World Scientific Publishing Company;
http://www.worldscientific.com/
Role of dynamic Jahn-Teller distortions in Na2C60 and Na2CsC60 studied by NMR
Through 13C NMR spin lattice relaxation (T1) measurements in cubic Na2C60, we
detect a gap in its electronic excitations, similar to that observed in
tetragonal A4C60. This establishes that Jahn-Teller distortions (JTD) and
strong electronic correlations must be considered to understand the behaviour
of even electron systems, regardless of the structure. Furthermore, in metallic
Na2CsC60, a similar contribution to T1 is also detected for 13C and 133Cs NMR,
implying the occurence of excitations typical of JT distorted C60^{2-} (or
equivalently C60^{4-}). This supports the idea that dynamic JTD can induce
attractive electronic interactions in odd electron systems.Comment: 3 figure
Proving Differential Privacy with Shadow Execution
Recent work on formal verification of differential privacy shows a trend
toward usability and expressiveness -- generating a correctness proof of
sophisticated algorithm while minimizing the annotation burden on programmers.
Sometimes, combining those two requires substantial changes to program logics:
one recent paper is able to verify Report Noisy Max automatically, but it
involves a complex verification system using customized program logics and
verifiers.
In this paper, we propose a new proof technique, called shadow execution, and
embed it into a language called ShadowDP. ShadowDP uses shadow execution to
generate proofs of differential privacy with very few programmer annotations
and without relying on customized logics and verifiers. In addition to
verifying Report Noisy Max, we show that it can verify a new variant of Sparse
Vector that reports the gap between some noisy query answers and the noisy
threshold. Moreover, ShadowDP reduces the complexity of verification: for all
of the algorithms we have evaluated, type checking and verification in total
takes at most 3 seconds, while prior work takes minutes on the same algorithms.Comment: 23 pages, 12 figures, PLDI'1
- …