Being an essential concept in CAD/CAM and even in Concurrent Engineering, feature isthe theoretical basis of related technology, but formal definition of rt is still wanted. After reviewingprevious works , this paper ...Being an essential concept in CAD/CAM and even in Concurrent Engineering, feature isthe theoretical basis of related technology, but formal definition of rt is still wanted. After reviewingprevious works , this paper defines form feature as″a triplet(G ,D ,S) relevant to whole artifact or apart of it , where G,D,S are knowledge of geometry, manufacturing domain (CIM domain) and aspecific stage of product life cycle (CIM stage) , respectively. These knowledge together with aggre-gating and creating rules can be used for design , recognition and classification″ . In this definition .non-geometric semantics of form features are emphasized, and featured primitives, as feature con-structs, are defined by augmented adjacency graph (AAG) and geometric constraints. Finaliy. alge-braic specification is utilized to represent form features and illustrative examples are given.展开更多
This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator wh...This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator which can bedefined by strategy relations and transformations are given in order to model theprocess of finding the solution of a problem. Also discussed is its object-orientedimplementation. The functional specification and the design specification for an algorithm are given in one framework so that the correctness of the algorithm can beeasily proved.展开更多
文摘Being an essential concept in CAD/CAM and even in Concurrent Engineering, feature isthe theoretical basis of related technology, but formal definition of rt is still wanted. After reviewingprevious works , this paper defines form feature as″a triplet(G ,D ,S) relevant to whole artifact or apart of it , where G,D,S are knowledge of geometry, manufacturing domain (CIM domain) and aspecific stage of product life cycle (CIM stage) , respectively. These knowledge together with aggre-gating and creating rules can be used for design , recognition and classification″ . In this definition .non-geometric semantics of form features are emphasized, and featured primitives, as feature con-structs, are defined by augmented adjacency graph (AAG) and geometric constraints. Finaliy. alge-braic specification is utilized to represent form features and illustrative examples are given.
文摘This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator which can bedefined by strategy relations and transformations are given in order to model theprocess of finding the solution of a problem. Also discussed is its object-orientedimplementation. The functional specification and the design specification for an algorithm are given in one framework so that the correctness of the algorithm can beeasily proved.
