Method and apparatus for detecting laminar flow separation and reattachment

The invention is a method and apparatus for detecting laminar flow separation and flow reattachment of a fluid stream by simultaneously sensing and comparing a plurality of output signals, each representing the dynamic shear stress at one of an equal number of sensors spaced along a straight line on the surface of an airfoil or the like that extends parallel to the fluid stream. The output signals are concurrently compared to detect the sensors across which a reversal in phase of said output signal occurs, said detected sensors being in the region of laminar separation or reattachment. The novelty in this invention is the discovery and use of the phase reversal phenomena to detect laminar separation and attachment of a fluid stream from any surface such as an airfoil supported therein

Blocking Java Applets at the Firewall

This paper explores the problem of protecting a site on the Internet against hostile external Java applets while allowing trusted internal applets to run. With careful implementation, a site can be made resistant to current Java security weaknesses as well as those yet to be discovered. In addition, we describe a new attack on certain sophisticated firewalls that is most effectively realized as a Java applet

Band-Limited Coronagraphs using a halftone-dot process: II. Advances and laboratory results for arbitrary telescope apertures

The band-limited coronagraph is a nearly ideal concept that theoretically enables perfect cancellation of all the light of an on-axis source. Over the past years, several prototypes have been developed and tested in the laboratory, and more emphasis is now on developing optimal technologies that can efficiently deliver the expected high-contrast levels of such a concept. Following the development of an early near-IR demonstrator, we present and discuss the results of a second-generation prototype using halftone-dot technology. We report improvement in the accuracy of the control of the local transmission of the manufactured prototype, which was measured to be less than 1%. This advanced H-band band-limited device demonstrated excellent contrast levels in the laboratory, down to 10-6 at farther angular separations than 3 lambda/D over 24% spectral bandwidth. These performances outperform the ones of our former prototype by more than an order of magnitude and confirm the maturity of the manufacturing process. Current and next generation high-contrast instruments can directly benefit from such capabilities. In this context, we experimentally examine the ability of the band-limited coronagraph to withstand various complex telescope apertures.Comment: Accepted in ApJ - under pres

The Structure of High Strehl Ratio Point-Spread Functions

We describe the symmetries present in the point-spread function (PSF) of an optical system either located in space or corrected by an adaptive o to Strehl ratios of about 70% and higher. We present a formalism for expanding the PSF to arbitrary order in terms of powers of the Fourier transform of the residual phase error, over an arbitrarily shaped and apodized entrance aperture. For traditional unapodized apertures at high Strehl ratios, bright speckles pinned to the bright Airy rings are part of an antisymmetric perturbation of the perfect PSF, arising from the term that is first order in the residual phase error. There are two symmetric second degree terms. One is negative at the center, and, like the first order term, is modulated by the perfect image's field strength -- it reduces to the Marechal approximation at the center of the PSF. The other is non-negative everywhere, zero at the image center, and can be responsible for an extended halo -- which limits the dynamic range of faint companion detection in the darkest portions of the image. In regimes where one or the other term dominates the speckles in an image, the symmetry of the dominant term can be exploited to reduce the effect of those speckles, potentially by an order of magnitude or more. We demonstrate the effects of both secondary obscuration and pupil apodization on the structure of residual speckles, and discuss how these symmetries can be exploited by appropriate telescope and instrument design, observing strategies, and filter bandwidths to improve the dynamic range of high dynamic range AO and space-based observations. Finally, we show that our analysis is relevant to high dynamic range coronagraphy.Comment: Accepted for publication in ApJ; 20 pages, 4 figure

Developing procedures for assessment of ecological status of Indian River basins in the context of environmental water requirements

River basins / Ecology / Indicators / Environmental flows / Environmental management / Habitats / Biota / Fish / Ecosystems / India / Krishna River Basin / Chauvery River Basin / Narmada River Basin / Periyar River Basin / Ganga River Basin

The Solar-System-Scale Disk Around AB Aurigae

The young star AB Aurigae is surrounded by a complex combination of gas-rich and dust dominated structures. The inner disk which has not been studied previously at sufficient resolution and imaging dynamic range seems to contain very little gas inside a radius of least 130 astronomical units (AU) from the star. Using adaptive-optics coronagraphy and polarimetry we have imaged the dust in an annulus between 43 and 302 AU from the star, a region never seen before. An azimuthal gap in an annulus of dust at a radius of 102 AU, along with a clearing at closer radii inside this annulus, suggests the formation of at least one small body at an orbital distance of about 100 AU. This structure seems consistent with crude models of mean motion resonances, or accumulation of material at two of the Lagrange points relative to the putative object and the star. We also report a low significance detection of a point source in this outer annulus of dust. This source may be an overdensity in the disk due to dust accreting onto an unseen companion. An alternate interpretation suggests that the object's mass is between 5 and 37 times the mass of Jupiter. The results have implications for circumstellar disk dynamics and planet formation.Comment: 11 pages, 5 figures, accepted for publication in Astrophysical Journal, V. 680, June 10, 200

An Analysis of Fundamental Waffle Mode in Early AEOS Adaptive Optics Images

Adaptive optics (AO) systems have significantly improved astronomical imaging capabilities over the last decade, and are revolutionizing the kinds of science possible with 4-5m class ground-based telescopes. A thorough understanding of AO system performance at the telescope can enable new frontiers of science as observations push AO systems to their performance limits. We look at recent advances with wave front reconstruction (WFR) on the Advanced Electro-Optical System (AEOS) 3.6 m telescope to show how progress made in improving WFR can be measured directly in improved science images. We describe how a "waffle mode" wave front error (which is not sensed by a Fried geometry Shack-Hartmann wave front sensor) affects the AO point-spread function (PSF). We model details of AEOS AO to simulate a PSF which matches the actual AO PSF in the I-band, and show that while the older observed AEOS PSF contained several times more waffle error than expected, improved WFR techniques noticeably improve AEOS AO performance. We estimate the impact of these improved WFRs on H-band imaging at AEOS, chosen based on the optimization of the Lyot Project near-infrared coronagraph at this bandpass.Comment: 15 pages, 11 figures, 1 table; to appear in PASP, August 200

Optimization of Apodized Pupil Lyot Coronagraph for ELTs

We study the optimization of the Apodized Pupil Lyot Coronagraph (APLC) in the context of exoplanet imaging with ground-based telescopes. The APLC combines an apodization in the pupil plane with a small Lyot mask in the focal plane of the instrument. It has been intensively studied in the literature from a theoretical point of view, and prototypes are currently being manufactured for several projects. This analysis is focused on the case of Extremely Large Telescopes, but is also relevant for other telescope designs. We define a criterion to optimize the APLC with respect to telescope characteristics like central obscuration, pupil shape, low order segment aberrations and reflectivity as function of the APLC apodizer function and mask diameter. Specifically, the method was applied to two possible designs of the future European-Extremely Large Telescope (E-ELT). Optimum configurations of the APLC were derived for different telescope characteristics. We show that the optimum configuration is a stronger function of central obscuration size than of other telescope parameters. We also show that APLC performance is quite insensitive to the central obscuration ratio when the APLC is operated in its optimum configuration, and demonstrate that APLC optimization based on throughput alone is not appropriate.Comment: 9 pages, 17 figures, accepted for publication in Astronomy & Astrophysic

Au/TiO2(110) interfacial reconstruction stability from ab initio

We determine the stability and properties of interfaces of low-index Au surfaces adhered to TiO2(110), using density functional theory energy density calculations. We consider Au(100) and Au(111) epitaxies on rutile TiO2(110) surface, as observed in experiments. For each epitaxy, we consider several different interfaces: Au(111)//TiO2(110) and Au(100)//TiO2(110), with and without bridging oxygen, Au(111) on 1x2 added-row TiO2(110) reconstruction, and Au(111) on a proposed 1x2 TiO reconstruction. The density functional theory energy density method computes the energy changes on each of the atoms while forming the interface, and evaluates the work of adhesion to determine the equilibrium interfacial structure.Comment: 20 pages, 11 figure

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP