Modal logics based on Kripke style semantics are the prominent formalism in AI for modeling beliefs Kripke semantics involve a collection of possible worlds and a relation among the worlds called an accessibility relation Dependent on the properties of the accessibility relation di erent modal operators can be captured Belief operators have been modeled by an accessibility relation which produc...

Abstract This article proposes an active modal vibration control method based on a sliding mode controller applied to smart material composite structure with integrated piezoelectric transducers as actuators and sensors. First, the electromechanical coupled system is identified using reduced-order model. The surface modal-filtered states designed general formulation allowing of multiple modes s...

Modal verbs in English are challenging to learn by speakers of other languages. The purpose of thiswas to shed light on the use of gesture in learning English modal verbs by Persian-speaking children.To achieve this, 60 elementary Iranian learners, studying at some institutes in Karaj took part in thisstudy. The participants were randomly put into one experimental group and one control group. T...

Cantilevered beams with piezoceramic layers have been frequently used as piezoelectric vibration energy harvesters in the past five years. The literature includes several single degree-of-freedom models, a few approximate distributed parameter models and even some incorrect approaches for predicting the electromechanical behavior of these harvesters. In this paper, we present the exact analytic...

This work compares results from analytical and numerical techniques to predict the modal contributions to the radiated sound power and far-field sound pressure for structures submerged in a heavy fluid medium. A fluid-loaded cylindrical shell with hemispherical end caps is examined. The cylinder is excited by either axial or transverse forces acting at one end, to predominantly excite the lowes...

An object model of multi-modal transport networks is developed with particular emphasis on applications in trip planning. The model caters for both public and private transport modes, and incorporates spatial and temporal data. A uniform approach to optimum trip nding across multi-modal transport networks is developed. The multi-modal network is spatially ordered using a quadtree storage object...

We propose a novel integrated scheme for generation of Bell states, which allows simultaneous spatial filtering of pump photons. It is achieved through spontaneous parametric down-conversion in the system of nonlinear adiabatically coupled waveguides. We perform detailed analytic study of photon-pair generation in coupled waveguides and reveal the optimal conditions for the generation of each p...

This study presents a framework with closed-form solutions for the bimodal coupled bridge aerolastic system, and points out the control parameters which critically influence the generation of inter-modal coupling and aerodynamic damping. Accordingly, this information helps in developing a guideline for the selection of most important structural modes in a coupled flutter analysis. The role of e...

Multi-modal test execution allows execution of the same test against various layers of a software system, e.g. the GUI layer, the web service layer and the business logic layer. Multi-modal test execution helps with identifying the location of software bugs during debugging and maintenance as well as in tracking the progress of the development effort. This paper presents a method that effective...