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...

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....

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...

Vol. 37 No. 5 • May 2012 • P&T® 261 mivacurium following a sales visit by a pharmaceutical representative. The carton of mivacurium was delivered to the pharmacy and was placed in stock next to metronidazole. Both products were packaged in foil overwraps. Before the error occurred, metronidazole had been the only foil-wrapped, premixed solution in the pharmacy; miva curium was not on the formul...

From last 50 years, electron beam therapy has an important radiation therapy modality. The electron beam from the LINAC is of size ∼ 2 mm, whereas the size required for actual treatment is usually larger than 2 × 2 cm up to 25 × 25 cm at the isocenter. In the present work, it is proposed to use dual scattering foil system for production of clinical electron beam. The foils for 6 to 20 MeV elect...