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

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/

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

Targeted delivery of anti-inflammatory therapy to rheumatoid tissue by fusion proteins containing an IL-4-linked synovial targeting peptide

We provide first-time evidence that the synovial endothelium-targeting peptide (SyETP) CKSTHDRLC successfully delivers conjugated IL-4 to human rheumatoid synovium transplanted into SCID mice. SyETP, previously isolated by in vivo phage display and shown to preferentially localize to synovial xenografts, was linked by recombinant technology to hIL-4 via an MMP-cleavable sequence. Both IL-4 and the MMP-cleavable sequence were shown to be functional. IL-4-SyETP augmented production of IL-1ra by synoviocytes stimulated with IL-1[beta] in a dose-dependent manner. In vivo imaging confirmed increased retention of SyETP-linked-IL-4 in synovial grafts which was enhanced by increasing number of copies (one to three) in the constructs. Strikingly, SyETP delivered bioactive IL-4 in vivo as demonstrated by increased pSTAT6 in synovial grafts. Thus, this study provides proof of concept for peptide-tissue-specific targeted immunotherapy in rheumatoid arthritis. This technology is potentially applicable to other biological therapies providing enhanced potency to inflammatory sites and reducing systemic toxicity