This study presents a combined analytical and experimental effort to characterize and improve the ride qua/;ty of the Department Of Energy fractork?i/er combination. The focus is to augment the experimental test results with the use of a high quality computer model. The discussion includes an overview of the finite element model of the vehicle and experimental modal tesf results. Sysfem identif...

Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions under which a class of L-models can be defined by a formula or a set of formulas of L), and the Separation Theorem (that provides conditions under which two disjoint classes ...

Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expres...

In this paper, the modal properties of the Alamosa Canyon Bridge obtained using ambient data are compared to those obtained from impact hammer vibration tests. Using ambient sources of excitation to determine the modal characteristics of large civil engineering structures is desirable for several reasons. The forced vibration testing of such structures generally requires a large amount of speci...

To investigate sensory reweighting as a fundamental property of sensor fusion during standing, we probed postural control with simultaneous rotations of the visual scene and surface of support. Nineteen subjects were presented with pseudo-random pitch rotations of visual scene and platform at the ankle to test for amplitude dependencies in the following conditions: low amplitude vision: high am...

Heavily loaded, stressed power systems exhibit complex nonlinear dynamic behaviors which can not be analyzed and described accurately by conventional linear methods such as eigen-analysis. Normal form of vector fields, a well established mathematical method, and Modal Series technique, a relatively newly established approach have been used as tools to analyze, characterize and quantify some of ...

In multi-modal interactions including haptics, problems such as input sensor noise, temporal mismatch between graphics and haptics, and non-constant refresh rates may cause non-smooth force/torque display. This paper proposes temporal smoothing technique for haptic interaction using a sensing glove inmulti-modal applications. The proposed technique employs two processes: (1) a noise reduction m...

This study was undertaken to determine the learning style preferences of first and 2nd year BDS students by administering VARK questionnaire. Stepping stone method was used to identify sensory modality preference of each student. 51% students preferred single mode of learning style (27% kinesthetic, 15% aural, 6% read/write and 3% visual mode of learning style). 49% students preferred multiple ...

A wave model is proposed for estimating damping loss factor as a function of frequency for a beam with arbitrary transient loading applied through the boundary conditions. In contrast to modal methods which provide measures of damping only at the modal frequencies of the test structure, the damping factor is determined over discrete, but regularly spaced, frequency values associated with the te...

In this paper, we exploit graph-theoretic techniques to efficiently reason about partially ordered events in the Event Calculus. We replace the traditional generate-and-test reasoning strategy by a more efficient generate-only one that operates on the underlying directed acyclic graph of events representing ordering information by pairing breadth-first and depth-first visits in a suitable way. ...