An exact solution is presented for a swinging Atwood’s machine. This teardrop-heart orbit is constructed using Hamilton-Jacobi theory. The example nicely illustrates the utility of the Hamilton-Jacobi method for finding solutions to nonlinear mechanical systems when more elementary techniques fail. PACS numbers: 02.30 — 03.20 Date: 14 February 1993 To be submitted to: The American Journal of Ph...

We investigate the dynamics of microcapsules in linear shear flow within a reduced model with two degrees of freedom. In previous work for steady shear flow, the dynamic phases of this model, i.e. swinging, tumbling and intermittent behaviour, have been identified using numerical methods. In this paper, we integrate the equations of motion in the quasi-spherical limit analytically for time-cons...

This paper presents balance control of humanoid robot for HuroSot using its upper body motion and swinging two arms. The upper body is modeled as an inverted pendulum for an on-line compensation. By using the upper body motion it compensates ZMP (Zero Moment Point) error, obtained by FSR (Force Sensitive Resistor) sensors attached on the sole of the foot. Also by swinging the arms it can cancel...

Swinging types 18] provide an integrated framework for specifying software on the basis of many-sorted logic in terms of \static" functions and relations as well as \dynamic" transition systems. Swinging types combine equational, Horn and modal logic for the purpose of using evaluation and proof rules from all three logics for rapid prototyp-ing and veriication. A swinging speciication separate...

A three-dimensional (3D) simulation study of the effect of inertia on the dynamics of vesicles and red blood cells (RBCs) has not been reported. Here, we developed a 3D model based on the front tracking method to investigate how inertia affects the dynamics of spherical/non-spherical vesicles and biconcave-shaped RBCs with the Reynolds number ranging from 0.1 to 10. The results showed that iner...

Swinging types (STs) provide an axiomatic specification formalism for designing and verifying software in terms of many-sorted logic and canonical models. STs are one-tiered insofar as static and dynamic, structural and behavioral aspects of a system are treated on the same syntactic and semantic level. Canonical models interpret relations as least or greatest fixpoints. All reasoning about a p...

To determine how arm movements influence postural sway in the upright position after stroke, interactions between arm, trunk, and center of pressure (CoP) displacements in the sagittal direction were investigated in participants with hemiparesis and healthy subjects. Participants swung both arms sagittally in either of 2 directions (in-phase, anti-phase) and at 2 speeds (preferred, fast) while ...