In an earlier paper, [5], I gave semantics and tableau rules for a simple first-order intensional logic called FOIL, in which both objects and intensions are explicitly present and can be quantified over. Intensions, being non-rigid, are represented in FOIL as (partial) functions from states to objects. Scoping machinery, predicate abstraction, is present to disambiguate sentences like that ass...

Introduction: The samples from the Stardust space probe will offer the first opportunity for analyzing cometary matter collected under controlled conditions together with contemporary interstellar dust particles [1, 2]. Moreover, Stardust is the first sample return mission ever that provides material from a known solar system object other than the moon. The primary goal after sample arrival is ...

Several different working principles exist to drive a valveless pump. An efficient pump may be designed by placing a flapping foil into a channel filled with fluid. In the case of inviscid flow, the pressure difference along the channel is equivalent to the thrust force acting on the propulsor. The focus in this talk is to find foil movements of highest propulsive efficiency for a given thrust....

XAS measurements were performed at beamline E4 at the Hamburger Synchrotron Strahlungslabor (HASYLAB) under ambient conditions at 293 K. A Si(111) double crystal monochromator was used for measurements at the Cu K-edge (8.979 keV). The second monochromator crystal was tilted for optimal harmonic rejection. The energy resolution for the Cu K-edge energy is estimated to be 3.0 eV. The spectra wer...

Vortex control is a new paradigm in fluid mechanics, with applications to propulsion and wake reduction. A heaving and pitching hydrofoil placed in a flow with an array of oncoming vortices can achieve a very high propulsive efficiency and reduced wake signature. The canonical example of flow with regular arrays of vortices is the Krman vortex street, and this is our model for the inflow to the...

This thesis investigates the hydrodynamic effects of biologically-inspired leading-edge tubercles. Two complementary studies examine the performance of three-dimensional hydrofoils based on the pectoral flippers of the Humpback Whale (novangilae megaptera). The first study uses a static foil, with application to conventional control surfaces– such as rudders or dive planes–found on marine vehic...

A two-dimensional nonlinear inverse fluid-structure interaction problem for a curvilinear elastic hydrofoil is considered. A cavity formed behind the foil is modeled according to the single-spiral-vortex model by Tulin. The fluid-structure problem is decoupled by the method of successive approximations. For the cavitation problem, the foil is modeled as a polygon. The method of conformal mappin...

A two-dimensional nonlinear inverse fluid-structure interaction problem for a curvilinear elastic hydrofoil is considered. A cavity formed behind the foil is modeled according to the single-spiral-vortex model by Tulin. The fluid-structure problem is decoupled by the method of successive approximations. For the cavitation problem, the foil is modeled as a polygon. The method of conformal mappin...

We propose an ILP system FOIL-I, which induces logic programs by a top-down method from incomplete samples. An incomplete sample is constituted by some of positive examples and negative examples on a nite domain. FOIL-I has an evaluation function to estimate candidate de nitions, the function which is composition of an information-based function and an encoding complexity measure. FOILI uses a ...

The limiting uncertainty in recent high accuracy measurements of the mass attenuation coefficient is the measurement of the integrated column density. An improvement in the design of the absorption foil holder is described which reduces the integrated column density uncertainty. The new design allows the edges of the foil to be more accurately mapped by the X-ray beam by reducing the largest so...