Supervised by
In the frame of
http://romma.lmt.enscachan.fr
Partners
No
explicit and robust relation between CAD Models and function. Iyer et al. '05 

≠  
BoltedJunction 
Function is the semantics of a design.
Gero '90
Function  Behavior  Form 
v.s. 
Level  Enrichment  Restructuring 

Funct. interface  Comp. interface  Geometric 
Funct. unit  Component  None 
Funct. module  Comp. group  Organizational 
Conventional Interface
A CI is a conceptual entity that represents an interaction between two components in an assembly.

CI types

Functional Interfaces
An FI is an interaction between two neighboring mechanical components that fulfills, or contributes to the fulfillment of a function.
 
Observations 




Bool. Op.  ≈ 8'! 
3level filtering  ≈ 0.15''. 
3level filtering  < 0.2''. 
Threaded Link  Cylindric Interference  Spline Link 
Spline link
Form  Function  

module  Group 

?  Geometry 
unit  Component 

?  
interface  CI 

FIs  Geometry 

Product at rest
Components of a product hold in place. Ref. State I
$$\sum\limits_{i \in \mathcal{I}(C)} \mathsf{W}_{i} = \sum \{ \vec{f}_{i}  \vec{m}_{i} \} = \{ \vec{0}  \vec{0} \}$$

Not Null  $\odot$  $]\infty, 0[ \: \cup \: ]0, +\infty[$ 
Null  $\oslash$  $[0, 0]$ 
Strictly Positive  $\oplus$  $]0, +\infty[$ 
Strictly Negative  $\ominus$  $]\infty, 0[$ 
Arbitrary  $\otimes$  $]\infty, +\infty[$ 
Coordinate alignment 

CI_{1}  CI_{2}  C  
+  =  
+  = 
$\odot$  Not Null 
$\oslash$  Null 
$\oplus$  Strictly Positive 
$\ominus$  Strictly Negative 
$\otimes$  Arbitrary 
Static Determinacy
Statically indeterminate structures must be functionally justified. Ref. State II

Functional Group
A set of components that together deliver a coherent function or set of functions.

Force Propagation
Loads generated by an internal load generator propagate through a cycle in a functional product.
Ref. State III

Force propagation graphs  
Form  Function  

module  Group 

? One FC  Geometry & Behavior 
unit  Component 

?  
interface  CI 

FIs One FI  Geometry & Behavior 
Functional Designation
An FD is a denomination that functionally identifies a class of a component.

romma
ontology to capture domain knowledge.romma
concepts and instances are assigned to their respective geometric entities.romma
is submitted to DL reasoner.DIG protocol  
Geometric and behavioral module

Reasoner  
DIG protocol 
Form  Function  

module  Group 

One FC  Geometry & Behavior 
unit  Component 

? One FD  Expert Rules 
interface  CI 

One FI  Geometry & Behavior 
