When shear horizontal ultrasonic guided waves interact with thickness discontinuities in plates, the reflected and transmitted wavefields can be composed of several modes due to mode conversion. It is known that a plate symmetric discontinuity, respect plate’s mid-plane, conversion restricted share same symmetry as incident mode. In this paper, we use an analytical model based on reciprocity pr...

This paper introduces ‘treatable’ theories, a large class of first-order theories each having a unique countable recursively saturated model.Important examples of such theories are DIS and DLO. It turns out that resplendency or parameter-free resplendency for such theories is implied by a Σ1(Π1 ThN)-statement. Other results concerning resplendency and Σ1definability are obtained.

This paper deals with violent discontinuities in shallow water flows with large Froude number F . On a horizontal base, the paradigm problem is that of the impact of two fluid layers in situations where the flow can be modelled as two smooth regions joined by a singularity in the flow field. Within the framework of shallow water theory we show that, over a certain timescale, this discontinuity ...

Hydraulic fracturing (HF), as a stimulation technique in petroleum engineering, has made possible the oil production from reservoirs with very low permeability. The combination of horizontal drilling and multiple HF with various perforation angles has been widely used to stimulate oil reservoirs for economical productions. Despite the wide use of HF, there are still ambiguous aspects that requi...

Distributive lattices with operators (DLO) are a natural generalization of the notion of Boolean algebras with operators. An operator in a bounded distributive lattice A is a function f : An → A which preserves ∧ (or ∨) in each coordinate. In the last few years these classes of algebras have been actively investigated since they appear as algebraic counterpart of many logics. Some important con...

While handling deformable linear objects (DLOs), such as hoses, wires or leaf springs, with an industrial robot at high speed, unintended and undesired oscillations that delay further operations may occur. This paper analyzes oscillations based on a simple model with one degree of freedom (DOF) and presents a method for active open-loop damping. Different ways to interpret an oscillating DLO as...

Synopsis The yield-line method of analysis provides a powerful means of identifying the ultimate load carrying capacity of reinforced concrete slabs. Benefits of the yield-line method are that it will often identify additional reserves of strength when applied to the analysis of existing slabs, and to highly economic slabs when used in design. Traditionally a hand-based method, the yield-line m...

End-users of multi-radio devices expect ubiquitous connectivity anytime and anywhere across heterogeneous networks. A minimal service disruption time while roaming across networks is key for successful deployments. Today’s roaming decisions are reactive and traditionally based on thresholds for signal strength, missed beacons, or other properties, leading to undesirable handover delays. In this...

The visual world consciously perceived is very different from the spatial array of photo-receptor activation present on our retinae; it is composed of segregated surfaces, organized into distinct objects. An important component of this organizational process, the segmentation of an image into figures and background, is shown to be performed much better in the lower visual field. This finding is...