Previous methods for generating random modal formulae (for the multi-modal logic K (m)) result either in awed test sets or for-mulae that are too hard for current modal decision procedures and, also, unnatural. We present here a new system and generation methodology which results in unnawed test sets and more-natural formulae that are better suited for current decision procedures. Most empirica...

The aim of this paper is to conduct experimental modal analysis and numerical simulation to verify the structural characteristics of a deployable-retractable wing for aircraft and spacecraft. A modal impact test was conducted in order to determine the free vibration characteristics. Natural frequencies and vibration mode shapes were obtained via measurement in LMS Test. Lab. The frequency respo...

marine industry requires continued development of new technologies in order to produce oil. an essential requirement in design is to be able to compare experimental data from prototype structures with predicted information from a corresponding analytical finite element model. in this study, structural model updating may be defined as the fit of an existing analytical model in the light of measu...

A common requirement for modern distributed and reactive systems is a high dependability guaranteeing reliability and security. The rigorous analysis of dependable systems specifications is of paramount importance for the reliability and security of these systems. A two-layered modal specification notation will allow the specification of services and protocols for distributed dependable systems...

Deciding on the configuration in which to test a structure is an important consideration which needs to be addressed before a test is carried out. Since the evolution of the modal test, there are several test configurations free-free, fixed, added-mass, amongst othersthat have been developed and used. However, the free-free test configuration remains the most favoured for most applications sinc...

In this study, an improved GA-based damage detection algorithm using a set of combined modal features that include natural frequency, mode shape, and modal strain energy is proposed. In order to achieve the objective, the following approaches are implemented. Firstly, a new GA-based damage detection algorithm is formulated for beam-type structures. A schematic of the GA-based damage detection a...

The perception of modal and falsetto registers was analyzed in a material consisting of a total of 80 vowel sounds sung by 10 choir singers, 40 sung in modal register and 40 in falsetto register. These vowel sounds were classified by sixteen expert listeners in a force choice test and the number of votes for modal was compared with the voice source parameters (1) Closed Quotient (Qclosed)and (2...