Combining physical and geometric models to plan safe and executable motions for a rover moving on a terrain

2005 ◽  
pp. 456-475 ◽  
Author(s):  
Moëz Cherif ◽  
Christian Laugier ◽  
Christine Milesi-Bellier ◽  
Bernard Faverjon
Keyword(s):  
Geometric Models

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

Volumetric Representation and Manipulation of Geometric Models

2001 ◽  
Author(s):  
Greg Turk ◽  
F. S. Nooruddin ◽  
James F. O'Brien ◽  
Gary Yngve
Keyword(s):  
Geometric Models ◽  
Volumetric Representation

Anyon Networks from Geometric Models of Matter

2021 ◽  
Author(s):  
Michael Atiyah ◽  
Matilde Marcolli
Keyword(s):  
Normal Bundle ◽  
Present Form ◽  
Joint Work ◽  
Geometric Models ◽  
Tensor Networks

Abstract This paper, completed in its present form by the second author after the first author passed away in 2019, describes an intended continuation of the previous joint work on anyons in geometric models of matter. This part outlines a construction of anyon tensor networks based on four-dimensional orbifold geometries and braid representations associated with surface-braids defined by multisections of the orbifold normal bundle of the surface of orbifold points.

Geometric models for measuring sediment wedge volume in retention check dams

2016 ◽  
Vol 30 (1-2) ◽  
pp. 119-127 ◽  
Author(s):  
Iván Ramos-Diez ◽  
Joaquín Navarro-Hevia ◽  
Roberto San Martín Fernández ◽  
Virginia Díaz-Gutiérrez ◽  
Jorge Mongil-Manso
Keyword(s):  
Geometric Models ◽  
Check Dams ◽  
Wedge Volume

An Approach to Generate Three Dimensional Machining Process Model According to Information from Design Model Based on Definition

2016 ◽  
Vol 693 ◽  
pp. 1684-1692 ◽  
Author(s):  
Hong Lei Zhang ◽  
Wen He Liao ◽  
Yu Guo ◽  
Wen An Yang
Keyword(s):  
Process Model ◽  
Three Dimensional ◽  
Design Model ◽  
Machining Process ◽  
Model Generation ◽  
Geometric Models ◽  
Model Based

Faced with the problem of generation for 3D machining process model, an approach to generate three dimensional machining process model according to information from design model based on definition is proposed. Compared with the existing methods, the approach utilizes multiple information of design model based on definition and takes many phases into consideration of 3D process model generation. The structure of 3D machining process model is defined and the course of 3D process model generation is researched, including multiple information acquirement, generation of procedure geometric models and annotation. Finally, the framework of system and application for 3D machining process model generation are presented for validation purposes.

Sign in / Sign up

Export Citation Format

Share Document