Base de connaissance en code mapîe générée par MEDUSA MF77 Partie 4 ,
y.f26 ld, fl4,y,f 18 ld, pp.7-9, 0142. ,
f6 ld2 [y,17+-0xl000],y.f8 fmuid y.f8,y.f6,y.fio ld2, p.16 ,
y.n] ld [ s /.fp+0x5c12 id2 [y,i2] ,y,f i8 id [y,fp+ox48] ,y.i3 ld2 [ , / 1 13] ) y.f20 fmuld, il id2 cy,ii],y.f3o ldf2 ld [7.fp+Ox703 ) y.i3 st2f6 fmuld y.f617+-0xff0] ,y.f20 fmuld y.f20 ) '/.fl8 ) y,f22 fsubd y, pp.4-6, 1942. ,
Structure and interpretation of computer programs, 1987. ,
Fundations of Mechanics, The Benjamin, 1978. ,
Spatial Kinematic Chains, 1982. ,
Rational Kinematics, 1988. ,
The Synthesis of Smooth Trajectories for Pick and Place Operations, IEEE Trans, on Syst., Man and Cybernetics, vol.18, pp.173-178, 1990. ,
Traité de Mécanique Rationnelle, 1911. ,
The Handbook of Artificial Intelligence, 1981. ,
Robot Arm Dynamic and Control, NASA Tech. Memo. n° 33-669. JPL, Feb, 1974. ,
Dialogo Sopra le due Massimi Sistemi del Mundo, Edition Florence, 1710. ,
Eléments de Mathématique: Algèbre", Chapitres 1 à 3, Diffusion CCLS, 1970. ,
Formation des Equations de la Dynamique: Examen des Divers Méthodes, Annales des Ponts et Chaussées, vol.29, pp.5-19, 1984. ,
Preliminary Sketch of Biquaternions, Proceedings of the London Mathematical Society, vol.1, issue.1, 1873. ,
DOI : 10.1112/plms/s1-4.1.381
Applications of Grassmann's Extensive Algebra, Jour, of Math. Pure and Applied, vol.1, pp.350-358, 1878. ,
Programming in Prolog, 1984. ,
Les Robots: Modélisation et Commande, 1981. ,
A Kinematic Notation for Lower-Pair Mechanisms Based on Matrices, ASME Journal of Applied Mechanics, pp.215-221, 1955. ,
Rewrite Systems, 1989. ,
Relationship Between Kane's Equations and the Gibbs-Appei Equations, J. of Guidance and Control Dynamics, vol.12, 1987. ,
Eléments d'Analyse, 1975. ,
Modélisation et Commande des Robots, Hermès, 1988. ,
Eléments d'Intelligence Artificielle, Hermes, 1987. ,
Cours de Géométrie Différentielle Locale, 1957. ,
On Adaptative Sampling, Computing, vol.34, pp.391-400, 1990. ,
Lectures on Lie Groups, 1969. ,
Time Integration of the Equation of Motion in Mechanism Analysis, Computer and Structurs, vol.33, issue.3, pp.801-820, 1989. ,
On the Fundamentale Formulae of Dynamics, American J. of Mathmatics, vol.11, pp.49-64, 1879. ,
Modèles des Robots Manipulateurs: Application à leur Commande, Cepadues-Editions, 1984. ,
Application des Systèmes de Calcul Formel pour l'Automatisation de la Modélisation Mathématique des Robots Industriels, Actes du Workshop Calcul formel, pp.23-25, 1992. ,
L'Intelligence Artificielle, PUF, 1989. ,
Introduction to Maple, 1992. ,
The Dynamical Attitude Equation for a N-Bar Satellite, J. of Astronautical Sciences, vol.12, issue.4, pp.123-128, 1965. ,
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980. ,
DOI : 10.1145/322217.322230
Introduction to Lie Algebras and Representation Theory, 1972. ,
Spacial Configurations of Robot-Arms via Screw Theory (Part 2), Rebotica, vol.5, pp.17-22, 1978. ,
Kinematic Geometry of Mechanisms, Oxford Engineering Series, 1978. ,
On the Dynamics of Human Body Model, J. of Biomechanics, vol.4, pp.369-378, 1971. ,
Topological Analysis of Multibody Systems Recursive Dynamics Formulations, Mech. Struct, and Mach, vol.17, issue.2, pp.239-258, 1989. ,
Axiom?: The Scientific Computer System, 1992. ,
Automatic Proofs by Induction in Equtional Theories without Constructors, Logic in Computer Science pp, pp.358-366, 1986. ,
Formulation of Equations of Motion for Complex Spacecraft, Journal of Guidance, Control, and Dynamics, vol.3, issue.2, 1980. ,
DOI : 10.2514/3.55956
The Use of Kane's Dynamical Equations in Robotics, The International Journal of Robotics Research, vol.104, issue.2, pp.3-21, 1983. ,
DOI : 10.1177/027836498300200301
The Near Minimum-Time Control of Open-Loop Articulated Kinematic Chains, Standford Artificial Intelligence Laboratory, AI Memo, vol.106, 1969. ,
The Near Minimum-Time Control of Open-Loop Articulated Kinematic Chains, J. Dynamic Systems Measurment Control, vol.93, pp.167-172, 1971. ,
Space Kinematics and Lie Groups, 1985. ,
Comment on "Relationship Between Kane's Equations and the Gibbs-Appell Equations", Journal of Guidance, Control, and Dynamics, vol.10, issue.6, pp.594-595, 1987. ,
DOI : 10.2514/3.56447
Lisp: The Scheme Programming Language, 1987. ,
Deduction with Symbolic Constraints, Intelligence Artificielle, vol.4, issue.3, pp.9-52, 1990. ,
Simple word Problems in Universal Algebra, Computational Algebra, J. Learch, pp.263-297, 1970. ,
Computer Generation of Robot Dynamics Equations and the Related Issues, Journal of Robotic Systems, vol.33, pp.301-319, 1986. ,
Mechanizing Inductive Reasoning, Proc. of the AAAI Conference, pp.240-245, 1990. ,
Mécanique Analytique" 1, 1965. ,
Sur la Mécanique Analytique du Corps Solide, J. de La Méca, vol.17, issue.5, 1978. ,
Alice: un Langage et un Programme pour Résoudre des Problème Combinatoires, Thèse d'Etat, 1976. ,
Mécanismes et Géométrie Différentielle, pp.205-208, 1991. ,
On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings, Jour, of Automated Resoning, vol.6, pp.39-49, 1990. ,
Modèle Mathématique des Systèmes Mécaniques Articulés en Vue de la Commande Automatique de leurs Mouvements, CRAS Série B, vol.278, pp.799-801, 1974. ,
Passive and Semi Active Attitude Stabilizations: Flexible Spacecraft, 1971. ,
Dynamic Analysis of Hinge Connected Rigid Bodies with Non-Rigid Appendages, JPL Tech. Report, pp.32-1576, 1974. ,
On-Line Computational Scheme for Mechanical Manipulators, ASME Journal of Dynamic Systems, Measurement, and Control, vol.112, pp.69-76, 1980. ,
Automatic Generation of Dynamic Equations for Mechanical Manipulators, 1981. ,
Contribution à la Formalisation de la Commande par Retour d'Efforts en Robotique: Application à la Commande de Robots Parallèles, Thèse de Doctorat, 1986. ,
Méthodes de Programmation, Eyrolles, 1980. ,
Philosopliiae Naturalis Principia Mathematica, 1687. ,
DOI : 10.5479/sil.52126.39088015628399
URL : http://www.e-rara.ch/download/pdf/4150990?name=%255BTomus%2520primus%2520et%2520secundus.%255D
Modelling Trajectory Calculation and Servoing of a Computer Controled Arm, 1972. ,
Formulation of the Kinematic Model of a General (6DOF) Manipulator Using Screw Operator, J. of Robotic Syst, vol.4, issue.6, pp.771-797, 1987. ,
Métaconnaissance: Futur de l'Intelligence Artificielle, 1990. ,
Kinematique and Kinetic Analysis of Open-Chain Linkages Utilizing Newton-Euler Method, Mathematical Biosciences, pp.107-130, 1979. ,
La Science et l'Hypothèse, Flammarion, 1902. ,
On the Use of Dual- Matrix Exponentials in Robotic Kinematics, The International Journal of Robotics Research, vol.8, issue.5, 1989. ,
DOI : 10.1177/027836498900800505
Manipulator control using the configuration space method, Industrial Robot: An International Journal, vol.5, issue.2, pp.69-73, 1978. ,
DOI : 10.1108/eb004494
ADAMS: A Sparse Matrix Approach to Solving Multibody Dynamics ProblemsComputer Algebra in Applied Mathmatics: An Introduction to MAC- SYMA, Proc. SDIO/NASA, 1984. ,
Contribution à la Modélisation et à la Commande Dynamique des Robots Manipulateurs, Thèse d'Etat, 1980. ,
The principle of transference: History, statement and proof, Mechanism and Machine Theory, vol.28, issue.1, 1992. ,
DOI : 10.1016/0094-114X(93)90055-Z
A Dynamical Formalism for an Arbitrary Number of Interconnected Rigid Bodies with Reference to the Problem of Satellite Attitude Control, Proc. 3 rd IFAC Congr., Paper 46D, 1966. ,
Comment on "Relationship Between Kane's Equation and the Gibbs-Appell Equations", Journal of Guidance, Control, and Dynamics, vol.10, issue.6, pp.595-596, 1987. ,
DOI : 10.2514/3.56448
Les machines de l'intelligence artificielle, La Recherche, octobre, 1985. ,
Lie Algebras and Lie Groups, W.A. Benjamain, 1965. ,
Dynamics of Multibody Systems, 1989. ,
Constrained Motion of a Three-Dimensional Manipulator Over Unknown Constraints: The Robotic Groping Problem, 1988. ,
Common LISP : The Language, 1984. ,
Dynamics of articulated open-chain active mechanisms, Mathematical Biosciences, vol.28, issue.1-2, pp.137-170, 1976. ,
DOI : 10.1016/0025-5564(76)90099-7
Teleoperator Arm Design Program, MIT, CS. Drap. Lab. Cambridge, U.S.A, 1973. ,
Application of Linear Algebra to Screw Systems, Mech. and Mach, vol.17, issue.1, pp.73-83 ,
Special Configurations of Spacial Mechanisms and Robot Arms, Mech. and Mach, vol.17, issue.2, pp.119-132, 1982. ,
Géométrie et Intelligence Artificielle pour les Robots, 1988. ,
Real-Time Multibody System Dynamic Simulation: Part I. A Modified Recursive Formulation and Topological Analysis, Mechanics of Structures and Machines, vol.19, issue.1, pp.99-127, 1991. ,
DOI : 10.1115/1.3428176
On the Dinamic Analysis of Spatial Linkages, 1965. ,
Dinamic Behavior of Spatial Linkages, Asme, J. of Ingineering for Industry, vol.91, pp.251-258 ,
La Pensée Scientifique Moderne, 1969. ,
Lie Groups, Lie Algebras, and their Representations, 1974. ,
Computer Simulation of the Dynamics of Complicated Mechanisms of Robot Manipulaters, Engineering Cibernetics, vol.12, issue.6, pp.65-70, 1974. ,
Real Time Dynamics of Manipulation Robots, 1985. ,
DOI : 10.1007/978-3-642-82198-1
Mechanical Arm Control, 1979. ,
A Treatise on The Analytical Dynamics of Particles and Rigid Bodies, 1904. ,
DOI : 10.1017/CBO9780511608797
Relative Equilibrium Positions and their Stability for a Multi-body Satellite in a Circular Orbit, Ingenieer Archiv, vol.44, pp.269-279, 1975. ,
Dynamics of Systems of Rigide Bodies, B.G. Teubner, 1977. ,
MESA VERDE: a Symbolic Program for Non-linear Articulated Rigid-Body Dynamics, Proc. ACME Design Eng. Div. Conf. and Exibit on Mechanical Vibration and Noise, Cincinati, 1985. ,
Application of Dual Number Quaternion Algebra to the Analysis of Spatial Mechanisms, ASME J. for Indus, vol.31, issue.2, pp.300-308, 1964. ,
Application of Dual Number Quaternion Algebra to the Analysis of Spacial Mechanismes, J, Appl. Mech, vol.86, pp.300-308, 1964. ,
Groupes et Algebres de Lie, Intelligence Artificielle, Programmation Orientée Objets ,