A major obstacle in applying nite-state model checking to the veriication of large systems is the com-binatorial explosion of the state space arising when many loosely coupled parallel processes are considered. The problem also known as the state-explosion problem has been attacked from various sides. This paper presents a new approach based on partial model checking: Parts of the concurrent sy...

In recent years, multi-modal fusion has attracted a lot of research interest, both in academia, and industry. Multimodal entails the combination information from set different types sensors. Exploiting complementary sensors, we show that target detection classification problems can greatly benefit this approach result performance increase. To achieve gain, various sensors is shown to require so...

Numerical optimisations were conducted to reduce the noise levels inside the payload bay of a rocket by using vibration and acoustic absorbers attached to the fairing walls. The vibration absorbers act in both translational and rotational axes. The acoustic absorbers were modelled as simplified Helmholtz resonators. A Finite Element model of the vibro-acoustic system was created in ANSYS and th...

The role of the frontal lobe in cross-modal visual-auditory processing has been documented in experiments using incongruent/congruent paradigms. In this study, 4 patients with left frontal World Health Organization Grade II glioma were assessed during pre-, intra-, and postoperative sessions with picture-naming and verbal-visual task requiring judgment of congruence between pictures and words. ...

We propose a general one-dimensional continuous formulation to analyze the vibrational modes of antennalike nanomechanical resonators consisting of two symmetric arrays of cantilevers affixed to a central nanobeam. The cantilever arrays can have arbitrary density and length profile along the beam. We obtain the secular equation that allows for the determination of their frequency spectrum and i...

This paper presents an integrated approach to the modeling and control of aircraft with flexible wings. The coupled aircraft rigid body dynamics with a high-order elastic wing model can be represented in a finite dimensional state-space form. Given a set of desired output covariance, a model reduction process is performed by using the weighted Modal Cost Analysis (MCA). A dynamic output feedbac...