By Topic

Mathematical Theory of Reusability

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Michael Leyton ; Associate Professor, Center for Discrete Mathematics & Theoretical Computer Science (DIMACS) Rutgers University, USA.

This talk gives an introduction to my book A Generative Theory of Shape (Springer-Verlag, 550pages). The purpose of the book is to develop a generative theory that has two properties regarded as fundamental to intelligence - maximizing reusability of structure and maximizing recoverability of the generative operations. These two properties are particularly important in the representation of complex organization - which is the main concern of the book. The primary goal of the theory is the conversion of complexity into understandability. For this purpose, a mathematical theory is presented of how understandability is created in a structure. This is achieved by developing a group-theoretic approach to formalizing reusability and recoverability. To handle highly complex structure, a new class of groups is invented, called unfolding groups. These unfold structure from a maximally collapsed version of that structure. A principal aspect of the theory is that it develops a new algebraic formalization of major object-oriented concepts such as inheritance. The consequence that the book establishes a representational language for complex organizational structure, that is interoperable by virtue of the principles on which the theory is based: reusability and recoverability. The book gives extensive applications of the theory to CAD/CAM, human and machine vision, robotics, software engineering, and physics. For example, the theory is used to give new and detailed insights into the main stages of mechanical CAD/CAM: part-design, assembly and machining. And within part-design, an extensive analysis is given of sketching, alignment, dimensioning, resolution, editing, sweeping, feature-addition, and intent-management.

Published in:

2007 IEEE International Conference on Information Reuse and Integration

Date of Conference:

13-15 Aug. 2007