A compositional framework is proposed for modelling network protocols with symbolic transition graphs. The main advantages of the framework are that it can address dynamic network topologies without requiring additional mobility facilities; and it can work out system models that preserve deadlock freedom, namely the deadlock freedom of a system model depends only on the deadlock freedom of its ...

The first step to study and develop a two Degrees of Freedom (DOF) prosthesis is to derive a dynamic model for simulation and control design. In this paper, the ankle-foot prosthesis has controllable Dorsi-Plantarflexion (DP) and Inversion-Eversion (IE) DOF. We derive a compliant dynamic model for a recently developed ankle-foot prosthesis followed by identification of the actuators, transmissi...

This study is concentrated on the natural frequencies and mode shapes of a simple three-member space frame coupled with a dynamic vibration absorber. The dynamic vibration absorber is modeled as a six-degree-of-freedom mass-spring system. For the first time, the free vibration of an elastic structure with a six-degree-of-freedom mass-spring system is found. Each member of the space frame has un...

A spatial six degree freedom mathematical model of a three wheeled vehicle (TWV) used in Asian countries has been developed using multi body system approach. The model includes suspension and tyre compliance. The model consists of a single sprung mass (vehicle body) connected to three unsprung masses (three wheels) at each corner. The suspensions and tires are modeled as springs and linear damp...

The banking sector is one of the important financial intermediaries in an economic system. Improvement in the banking sector can achieve optimal allocation of financial resources. The performance of banks and other financial service providers has direct effect on economic growth. One of the factors that can affect the banks operation is economic freedom. Economic freedom and freedom of private ...

Transmission of blast waves is a complex phenomenon and the characteristics vary with blast design parameters and geo-technical properties of medium. Frequency of vibration and triggering component for structural excitation generally quantifies safe vibration magnitude. At closer distance or higher elevations than the blast locations, vertical or transverse component will be the first arrival t...

Going back to basic physics, combine it with discrete mathematics and system theory, resulted in a powerful tool for generating dynamic process models that are consistent with the assumptions made, consistent with the basic physical laws, where appropriate, and are guaranteed structurally solvable. The user is left the freedom to map his view of the process in the model design process, thus has...

This paper is concerned with the identification problem of two degree of freedom robot arm’s joints’ time-varying stiffness under time-varying torque loads. The industrial robot arms can be simplified into series hinged linkage mechanism. The unrestraint dynamic equation of two degrees of freedom robot arm can be obtained by using analytical mechanics method. The model which was established in ...

The freedom of a decision is not yet sufficiently described as a psychological variable. We present a model of functional decision freedom that aims to fill that role. The model conceptualizes functional freedom as a capacity of people that varies depending on certain conditions of a decision episode. It denotes an inner capability to consciously shape complex decisions according to one's own v...