The performance of an automated forward deduction system is crucial to its applicability. Since a forward deduction system working for discovery has no explicitly specified proposition or theorem given previously as goal, it often deduces many redundant intermediates, i.e., instances of those that have previously deduced. Therefore, how to reduce redundant intermediates is a general and difficu...

this paper presents an auto redundant technique for analysis of grid with curved members.this technique is based on the force method, but in the technique choice of the redundant iscompletely eliminated. the analysis technique is found very effective, accurate andprogrammable. a comprehensive c++ program has been developed to compute internalforces at the end of each member of the grid for diff...

Autonomic computational grids are self-organizing software systems that pool the computational resources of large public networks to solve computationally-intensive problems. While autonomic grids can scale to networks far larger than centralized grids, they have not seen the same adoption and success in industry due to an incomplete treatment of fault tolerance. In this paper, we propose two c...

-Stiffness modulation scheme for a robotic driving system with redundant actuation was investigated in this paper. The dynamic and the stiffness models of a simple system having one link and two prismatic actuators were derived and employed for computational simulations of dynamic response to an initial disturbance. Several combinations with different types of elastic elements were applied to t...

This paper presents a configuration manifold embedding model that provides a new approach to dynamic model reduction and adaptive control of redundant robotic systems. The proposed model is developed based on a geometrical and topological analysis of configuration manifolds (C-manifolds) hidden behind every robotic dynamic system that commonly obeys the Lagrange equation. With a detailed study ...

In the aircraft industry, it is common to use physically redundant components to ensure that the overall system meets the necessary safety requirements. For systems where physical redundancy is impractical (e.g, unmanned aerial vehicles), analytical redundancy can be used to reduce the number of components needed. However, it is more difficult to certify the safety of an analytically redundant ...

An harmonic lattice theory is used, in conjunction with Mura’s theory of eigendistorsions, to study the structure and energetics of nascent dislocation loops in face-centredcubic (FCC) crystals. An analytical expression for the activation energies of such loops is derived. The results obtained herein indicate that thermal activation of small dislocation loops is possible at high stress levels s...

[email protected] Gunma Astronomical Observatory, 6860-86 Nakayama, Takayama-mura, Agatsuma-gun, Gunma 377-0702 Gunma Study Center, The University of the Air, 1-13-2 Wakamiya-cho, Maebashi, Gunma 371-0032 Liberal Arts Education Center, Tokai University, 1117 Kitakaname, Hiratsuka, Kanagawa 259-1292 Department of Physics, Faculty of Science, Graduate School of Tokai University, 1117 Kitakaname,

Fast multiplication can be constructed by combining the tree structure of multiplication's addition, i.e. Wallace tree, with the parallel on-they conversion to have a multiplication without using any carry propagation adder at the end. This parallel on-they conversion speeds up the conversion of redundant binary to conventional binary. With the delay of n 4 , we can have the conversion from red...