Relational algebras as developed by Codd and his followers are extended by noting an equivalence withfunctional languages. this leads to higher order relations, recursive definitions of relations, and the use of high...
详细信息
the paper describes the design of a modern robot control system and the possibilities and functions in a number of different aspects, such as: programming methods and man-machine functions for fast and easy teaching o...
详细信息
ISBN:
(纸本)0903608561
the paper describes the design of a modern robot control system and the possibilities and functions in a number of different aspects, such as: programming methods and man-machine functions for fast and easy teaching of the robot;hardware, software and kinematics in a robot control system;process oriented functions for efficient and high qualitative control of processes such as arc welding and spot welding;and input/output functions for flexible manufacturing systems. Finally, the paper analyzes future trends in development within the field of robotics.
In this paper an approach based on off-line programming is suggested. the general case of finishing a 3-D surface is considered. the method is demonstrated on the example of finishing a bended planar sheet. An interac...
详细信息
ISBN:
(纸本)0903608561
In this paper an approach based on off-line programming is suggested. the general case of finishing a 3-D surface is considered. the method is demonstrated on the example of finishing a bended planar sheet. An interactive program used to visualize the 'coating' thickness on a colour display makes it possible to an operator to modify the spraying parameters in order to obtain an optimal coating quality. Robot joint angles are calculated on the basis of the resulted spraying gun trajectory, thus the optimal painting strategy can be performed for the given robot type.
the paper starts with a brief review of programming of robots. Subsequently a detailed definition of off-line programming requirements is given. the requirements fall into two major areas. the first one is that of pro...
详细信息
ISBN:
(纸本)0903608561
the paper starts with a brief review of programming of robots. Subsequently a detailed definition of off-line programming requirements is given. the requirements fall into two major areas. the first one is that of program logic and location data generation and verification off-line, and the second one is that of program execution and the use of sensors to correct for positioning errors on-line. the emphasis in the paper is on the execution aspect;wherein an approach is proposed to automatically compensate for positioning errors due to robot inaccuracy or object location variations. It is based mainly on the use of a non-contact opto-electronic sensor to determine the robot end-point location in space. Details of the system, the algorithm and the procedure used are given.
A programming and control software system (GENERA) for industrial robots is presented. the control system supports both textual (CAR - language) and non-textual programming. the main features, structure and performanc...
详细信息
ISBN:
(纸本)0903608561
A programming and control software system (GENERA) for industrial robots is presented. the control system supports both textual (CAR - language) and non-textual programming. the main features, structure and performance of the control system, of the explicit programming language (CAR) and algorithms used for trajectory generation and movement control, are presented. Superposed motions in cartesian coordinates and adaptive motion, using information provided by three level sensors, can be performed. Cartesian Abstract Robot (CAR) defines an abstract robot suited to mechanical assembly operations. GENERA software system is taylored by a generation procedure, depending on robot's arm, computer configuration and application necessity. All the software runs on CORAL 4001/4011 minicomputer (DEC software compatible).
the use of industrial robots in the field of machining, and especially in the area of deburring is still quite new. One of the main reasons is the amount of time required to create programs for the robots. To effectiv...
详细信息
ISBN:
(纸本)0903608561
the use of industrial robots in the field of machining, and especially in the area of deburring is still quite new. One of the main reasons is the amount of time required to create programs for the robots. To effectively reduce this time, an interactive programming system was developed in which the operator teaches only characteristic points of a workpiece. By tactile sensing, the robot measures the contour between these points using its milling tool. In this measurement cycle the tool tip is moved and oriented in accordance withthe surface of the work-piece. All processing parameters can be varied easily to optimize the process.
the Interactive theorem Prover (ITP), an environment that supports research into the theory and application of automated reasoning, is described. ITP is an interactive system providing convenient access to and control...
详细信息
the proceedings contain 29 papers. the special focus in this conference is on Automated Deduction. the topics include: Termination of a Set of Rules Modulo a Set of Equations;associative-Commutative Unification;a Line...
ISBN:
(纸本)9780387960227
the proceedings contain 29 papers. the special focus in this conference is on Automated Deduction. the topics include: Termination of a Set of Rules Modulo a Set of Equations;associative-Commutative Unification;a Linear Time Algorithm for a Subcase of Second Order Instantiation;a New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm;a Case Study of theorem Proving by the Knuth-Bendix Method: Discovering that x3= x Implies Ring Commutativity;a Narrowing Procedure for theories with Constructors;a General Inductive Completion Algorithm and Application to Abstract Data Types;the Next Generation of Interactive theorem Provers;the Linked Inference Principle, II: the User’s Viewpoint;a Portable Environment for Research in Automated Reasoning;a New Interpretation of the Resolution Principle;using Examples, Case Analysis, and Dependency Graphs in theorem Proving;expansion Tree Proofs and their Conversion to Natural Deduction Proofs;analytic and Non-analytic Proofs;applications of Protected Circumscription;implementation Strategies for Plan-Based Deduction;a programming Notation for Tactical Reasoning;the Mechanization of Existence Proofs of Recursive Predicates;solving Word Problems in Free Algebras Using Complexity Functions;solving a Problem in Relevance Logic with an Automated theorem Prover;a Natural Proof System Based on Rewriting Techniques;EKL—A Mathematically Oriented Proof Checker;A Linear Characterization of NP-Complete Problems;a Satisfiability Tester for Non-Clausal Propositional Calculus;a Decision Method for Linear Temporal Logic;a Progress Report on New Decision Algorithms for Finitely Presented Abelian Groups;canonical Forms in Finitely Presented Algebras.
暂无评论