Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Finite State Model"”.
-
Random search of AND-OR graphs representing finite-state models
Model checking tools have been effective in testing concurrent software represented by communicating finite-state machines. But these tools may require a very large amount of memory. A finite-state model can be translated automatically into a compact AND-OR graph. We use an abductive random search …
-
Foundations for Finite-State Modelling of a Two-Dimensional Airfoil that Reverses Direction
<p>Current 3-D finite-state wake models are incapable of simulating a maneuver in which the sign of the free-stream velocity changes direction and the rotor enters its own wake -- as might occur in the case of a helicopter which ascends and then descends. It is the purpose of this work to create a …
-
Application of Finite-State Wake Models to Rotors Re-entering Their Own Wake
This paper details the development of a finite-state, dynamic wake model for the purpose of modeling a helicopter rotor reentering its own wake. This model stems directly from both the Peters-Morillo wake model to determine the velocity field on and above the helicopter rotor and the Peters-Fei …
-
Foundations for the Coupled Inflow and Structural Dynamics of Multi-rotor Helicopters
<p>In this work, the Peters-Seidel finite-state model is expanded to calculate the coupled inflow and rotor dynamics of tandem rotor configurations. This establishes the foundation for a more complete multi-rotor, dynamic inflow model with finite-state methods. The derivation presented in this work …
-
Collaboration Enforcement In Mobile Ad Hoc Networks
… To address these problems, we first propose a finite state model. With this technique, no reputation information is propagated in the network and malicious nodes cannot cause false penalty to benign hosts. Misbehaving node detection is performed on-demand; and malicious node punishment and …
-
An evaluation of three user-system interface specification techniques
… components they can specify; their relation to a finite state model of the USI; and if they are usable by the human factors engineer as a basis for an analytic analysis of a USI design to detect violations of excepted USI design guidelines. Four categories of tools were surveyed: semi-formal …
-
A Rigorous Solution for Finite-State Inflow throughout the Flowfield
<p>In this research, the Hseih/Duffy model is extended to all three velocity components of inflow across the rotor disk in a mathematically rigorous way so that it can be used to calculate the inflow below the rotor disk plane. This establishes a complete dynamic inflow model for the entire flow …
-
Sensor Fusion based Gait Recognition for Accurate Actuation of Foot Drop Stimulation
… system that is based on unique bipedal gait model (BPM). The BPM is formed by cross product of finite state model (FSM) of gait at each foot. The sensing platform used for gait and activity information relies on force sensitive resistors (FSRs) for plantar foot pressure; accelerometers for …
-
Essays on Microeconomics with Incomplete Information
… bubble and a common strong bubble. In a simple finite horizon model with asymmetric information and short sales constraints, I show that the following results hold for any finite number of agents. First, under the implicit assumption of perfect memory, common strong bubbles never exist in any …