Results 251 to 260 of about 1,186,586 (288)

Contact manipulation and geometric reasoning

1989
In assembly tasks, part-mating involves contact between parts with size tolerances and for some assembly strategies, jamming results. A way to avoid such problems is to explicitly use the contact during motion with an active compliant procedure. This paper deals with contact manipulation.
Alain Giraud, Daniel Sidobre
openaire   +1 more source

Geometric reasoning with logic and algebra

Artificial Intelligence, 1988
Results of computational geometry from the point of view of logical reasoning on geometric bodies: planes, balls, cylinders, etc. are surveyed. The formalization of this reasoning is carried out by means of logic of the first order with functional and predicate symbols, relations, logical and object variables and constants, logical and quantor ...
openaire   +3 more sources

Representation and Reasoning of Geometric Tolerances in Design

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1997
AbstractThe geometric dimensioning and tolerancing (GD&T) specifications of a design are directly associated with its performance and functional requirements. They also govern the manufacturing and quality control processes needed to achieve those requirements.
Jhy-Cherng Tsai, Mark Cutkosky
exaly   +3 more sources

Images and Concepts in Geometrical Reasoning

1995
Geometry is a school subject, but also and primarily geometry is a mathematical domain. As mathematics educators we are interested in geometry from both points of view. That is the reason why a first discussion is devoted to highlighting some characteristics of geometry as a mathematical domain.
openaire   +2 more sources

A Complex Change of Variables for Geometrical Reasoning

2001
We use complex vectors in geometrical reasoning, specifically automated theorem proving. The calculations are embedded in Clifford algebras, but commutative polynomial techniques can be used. Using the Gröbner basis package in the computer algebra package Maple, this approach is shown to have efficiency benefits in situations where distance and angle ...
Stokes, T., Bulmer, M.
openaire   +3 more sources

Assembly planning based on geometric reasoning

Computers & Graphics, 1990
Abstract This paper presents the application of geometric reasoning to the automatic construction of an assembly partial order from an attributed liaison graph representation of an assembly. The construction is based on the principle of assembly by disassembly and on the extraction of preferred subassemblies.
Sukhan Lee 0001, Yeong-Gil Shin
openaire   +2 more sources

Constructive geometrical reasoning and diagrams

Synthese, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Causal reasoning using geometric analysis

Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 2002
We describe an approach that uses causal and geometric reasoning to construct explanations for the purposes of the geometric features on the parts of a mechanical device. To identify the purpose of a feature, the device is simulated with and without the feature.
Levent Burak Kara, Thomas F. Stahovich
openaire   +2 more sources

Geometric reasoning for the extraction of form features

Computer-Aided Design, 1996
Abstract The primary limitation of feature-recognition approaches, namely their lack of generalization, has been addressed by the development of feature-extraction techniques. This paper presents a boundary-based procedure for the sequential extraction of form features from cad models of objects with planar surfaces.
Abir Z. Qamhiyah, R. D. Venter, Beno Benhabib   +2 more
openaire   +1 more source

Geometrical reasoning for structures

Proceedings IECON '91: 1991 International Conference on Industrial Electronics, Control and Instrumentation, 2002
In the structural analysis of trusses, there are graphical methods such as the method of joins and the method of sections. A geometrical reasoning method for structures based on these graphical methods is presented. It is shown that the method can solve the example of N. Henneberg (1886), which cannot be solved by the graphical methods.
openaire   +1 more source