Algorithm for Representation of Objects to Enable Robotic Recongnition

A portion of the disclosure of this patent document contains material which is subject to copyright protection. The copyright owner has no objection to the facsimile reproduction by anyone of the patent document or the patent disclosure, as it appears in the Patent and Trademark Office patent file or records, but otherwise reserves all copyright rights whatsoever.

1. Field of the Invention

This invention relates to the representation of objects for recognition of such objects and more particularly, to algorithms for the efficient representation of objects in a computer for robotic recognition of such objects.

2. Description of the Related Art

Modern industrial robots must be able to recognize a wide range of objects in order to effectively perform the diverse tasks that they are called upon to execute in commercial use. A crucial step in such recognition is the representation of objects in an object library that the robot will use to compare with actual objects perceived in order to identify the objects perceived.

There are various techniques that have been applied in the areas of geometric modeling and feature-based recognition, but most of these techniques have been limited to computer simulations of simple, two-dimensional shaped objects. In the area of geometric modeling, the techniques employed include wireframe (vertex lists), volumetric (Constructive Solid Geometry), spatial (Octree Codes), and boundary (B-reps in the form of edge graphs) representations for describing objects in a computer. In the area of recognition, previously developed techniques include curvature estimation, moment-based operators, and combining geometric constraints with interpretation trees.

It is, thus, an object of the present invention to provide a method to efficiently represent complex three-dimensional objects in a computer so that a robot can access them for the purpose of recognition of objects encountered by the robot.

A partial disclosure of some aspects disclosed herein may be found in "Designing a Highly Conformable Tactile Sensor for Flexible Gripping Using a Digital Probe Array", by Glenn M. Friedman (D.Eng. Thesis), Rensselaer Polytechnic Institute, Troy, N.Y., August, 1994 (hereinafter referred to as "the Friedman Thesis"). The actual date of submission of the Friedman Thesis for publication was Aug. 15, 1994. References on the related art may be found on pages 118-128 of the Friedman Thesis. In addition, a cursory description of the algorithm during the development stage of computer software implementing it may be found in Flexible Assembly Systems--1992, The ASME Design Technical Conferences--4th Conference on Flexible Assembly Systems, Scottsdale, Ariz., Sep. 13-16, 1992, edited by A. H. Soni, University of Cincinnati, The American Society of Mechanical Engineers, 1992, page 116.

An algorithm for the representation of objects in an object library for the purpose of robotic recognition of such objects comprises the use of superquadric volume primitives and a Winged Edge graph structure.

The superquadric volume primitives are generated by at least three ruled shape functions and are combined to produce volumetric representations of complex three-dimensional objects using union, intersection, complement, and difference operations.

The volumetric representations are reduced to a list of surface vertices or voxels only and the algorithm then automatically generates a Winged Edge graph structure from the list of voxels. The Winged Edge graph structure's size is kept as small as possible through the use of face-joining, edge-killing, and edge-joining routines.

FIG. 1 is a diagram showing a ruled surface S and the vectors used to generate it.

FIG. 2 is a diagram showing a computer simulation of a three-dimensional shape using ruled functions to generate a ruled volume function.

FIG. 3 is a perspective view of a sphere composed of surface voxels.

FIG. 4 is a schematic of a portion of a Winged Edge graph structure.

FIG. 5 is a table showing the adjacency values for the portion of the Winged Edge graph structure shown in FIG. 4.

FIG. 6 is a perspective view of a Winged Edge graph structure for a sphere.

FIG. 7 is a schematic showing a group of vertices, edges, and faces of a Winged Edge graph structure before the face-joining and edge-killing routine commences.

FIG. 7a is a schematic showing the portion of the Winged Edge graph structure shown in FIG. 7 after faces F.sub.2 and F.sub.3 have been joined and edge E.sub.5 has been killed.

FIG. 7b is a schematic showing the portion of the Winged Edge graph structure shown in FIG. 7a after faces F.sub.1 and F.sub.4 have been joined and edge E.sub.6 has been killed.

FIG. 8 is a schematic showing the portion of the Winged Edge graph structure shown in FIG. 7b after edge E.sub.1 has been joined to edge E.sub.2.

FIG. 9 is a perspective view of the Winged Edge graph structure for the sphere shown in FIG. 6 after face-joining, edge-killing, and edge-joining have been done.

Polynomial functions of degree 2 are called quadratic and equations of the form f(x,y,z)=0 in general describe surfaces in three-dimensional space where x, y, and z are the three coordinate axes defining such a space. The general quadratic equation

represents a quadratic surface embracing spheres, cylinders, cones, ellipsoids, parabaloids, and hyperboloids.

Superquadrics are a generalized set of polynomial functions that form variations on ellipsoids. A superquadric volume function defines the existence of volume points or voxels within a shape in terms of its spatial coordinates. Points outside the shape are assigned a VOID label, while points inside are assigned a VOLUME label representing that particular volume.

The superquadric volume function takes the form of: ##EQU1## Where a.sub.1, a.sub.2, and a.sub.3 are the dimensions of the shape in x, y, z, e.sub.1 >0 is a squareness parameter in the xy-plane and e.sub.2 >0 is a squareness parameter in the xz-plane.

One characteristic of a superquadric is that the shape generated is symmetric about all three axes. Therefore, it is only necessary to generate the function in one octant and reflect that shape into the remaining seven octants to complete the function.

The present invention is directed toward an algorithm which first generates superquadric volume functions for given complex three-dimensional shapes. Superquadric volume primitives (simple shapes such as spheres, ellipses, tori, etc.) are first generated in the process described immediately below and then binary set operators are used to combine the volume primitives to form complex three-dimensional shapes.

Superquadric volume primitives are generated by ruled shape functions which describe a family of straight lines having both direction and magnitude or, in other words, a family of vectors. These ruled shape functions are based upon the concept of the parameterization of a ruled surface exemplified by S 2 shown in FIG. 1. The surface S 2 is described mathematically by the following function:

where the variable u indicates a certain angular position along the lower border of the surface S 2, R(u) is a position vector leading from the origin of the coordinate system used (indicated by the x, y, and z axes on FIG. 1) to a certain angular position u on the lower border of the surface S 2, and A(u) is a line vector from angular position u to the point on the top border of the surface S 2 corresponding to angular position u. The parameter, v, is a scalar quantity which ranges from 0 to 1 and determines the magnitude of A(u). S (v, u) is simply the vector sum of R(u) and vA(u). Both R(u) and vA(u) are the ruled shape functions generating S(v, u).

When this concept is extended to three dimensions, we obtain a ruled volume function of three parameters u.sub.1, u.sub.2, and u.sub.3, an example of which is shown in FIG. 2. The superquadric volume primitives needed are a subset of the ruled volume functions generated. The ruled volume function shown in FIG. 2 is described by:

where U.sub.3 is the length by which A.sub.2cc (u.sub.1, u.sub.2) must be multiplied, and u.sub.1 and u.sub.2 are angular parameters describing the angular positions of R.sub.1c (u.sub.1), R.sub.2cc (u.sub.1, u.sub.2), and A.sub.2cc (u.sub.1, u.sub.2). The use of the c subscripts in the above equation contains information about the history of each quantity and how it relates to other quantities. For example, in the following expression:

the running subscript c indicates that Q.sub.c (u) is the "child" or result of applying the given shape function F.sup.Q.sub.c to the basis or "parent" quantities Q.sub.0 and Q.sub.1, the function parameter E.sup.Q.sub.c, and the angular parameter u.

Applying these principles to our case, we obtain for R.sub.1c (u.sub.1), R.sub.2cc (u.sub.1, u.sub.2), and A.sub.2cc (u.sub.1, u.sub.2) the following expressions:

We can also obtain expressions for the function parameters E.sup.Q.sub.2cc (u.sub.1) as a squareness function G.sup.Q.sub.2cc of the base values E.sup.Q.sub.20c and E.sup.Q.sub.21c, a second function parameter E.sup.Q.sub.2cc, and the angular parameter u.sub.1 (Q=R, A):

The parameters E.sup.Q.sub.2cc (u.sub.1) defined by the above equation are squareness parameters and vary with the parameter u.sub.1 in the same way that R.sub.1c (u.sub.1), R.sub.2c (u.sub.1, u.sub.2), and A.sub.2cc (u.sub.1, u.sub.2 functions of u.sub.1. E.sup.Q.sub.20c and E.sup.Q.sub.21c are basis quantities partially determining E.sup.Q.sub.2cc (u.sub.1). E.sup.Q.sub.2cc are the rotation parameters that determine the squareness parameters E.sup.Q.sub.2cc (u.sub.1).

Returning to Equation (1) and with reference to FIG. 2, we proceed to define the terms in Equation (1) explicitly. R.sub.0 is a position vector determining the position of the origin of the local coordinate system (indicated in FIG. 2 by the V.sub.1, V.sub.2 and V.sub.3 axes) with respect to the origin of the global coordinate system (indicated in FIG. 2 by the x, y, and z axes) and indicates the position from which the first ruled shape function R.sub.1c (u.sub.1) will be extended in generating the volume desired. R.sub.1c (u.sub.1) is a function of the angular parameter u.sub.1. R.sub.2cc (u.sub.1, u.sub.2) is the second ruled shape function used in generating the volume desired and is a function of angular parameter u.sub.2, as well as u.sub.1. Finally, A.sub.2cc (u.sub.1, u.sub.2) is the third ruled shape function used in generating the volume desired and again is a function of angular parameters u.sub.1 and u.sub.2. The parameter u.sub.3 is a scalar quantity which ranges from 0 to 1 and determines the length of A.sub.2cc (u.sub.1, u.sub.2).

The shape functions F and squareness function G referred to in the expressions for R.sub.2cc (u.sub.1, u.sub.2), A.sub.2cc (u.sub.1, u.sub.2), and E.sup.Q.sub.2cc (u.sub.1) must be smooth, continuous functions in the range of u.sub.1 and u.sub.2 depending on the particular function.

Two useful functions which satisfy the requirements for F and G are the superinterpolator and the superelliptic. Taking R.sub.2cc (u.sub.1, u.sub.2) as an example, and recognizing that R.sub.2cc (u.sub.1, u.sub.2) has three components along the V.sub.1, V.sub.2, and V.sub.3 axes, r.sub.2cc1 (u.sub.1, u.sub.2), r.sub.2cc2 (u.sub.1, u.sub.2), and r.sub.2cc3 (u.sub.1, u.sub.2), the expression for the superinterpolator is:

where r.sub.2cci (u.sub.1, u.sub.2) is the ith component of R.sub.2cc (u.sub.1, u.sub.2), (i=1, 2, 3), .epsilon..sup.q.sub.2cci (u.sub.1)=2/e.sup.q.sub.2cci (u.sub.1) where e.sup.q.sub.2cci (u.sub.1) is the squareness parameter with respect to the i.sup.th component of E.sup.Q.sub.2cc (u.sub.1), and d(u.sub.2)=u.sub.2 or

are two possible expressions for d(u.sub.2).

The superelliptic function using analogous notation to that employed for the superinterpolator function, is expressed by:

where .theta.=u.sub.2 .pi./2 ##EQU2##

Once a plurality of superquadric volume primitives have been obtained and after converting the volume primitives into voxels in voxel space Z, the points may be combined into a volumetric representation of a given complex three-dimensional object. This is done by combining pairs of coincident voxels (Z.sub.1 (C), Z.sub.2 (C)), where C are the coincident voxel coordinates of two volume primitives which produce sets of voxels Z.sub.1 and Z.sub.2, from the primitives according to the following Boolean operations: ##EQU3##

It should be noted that, although three ruled shape functions, R.sub.1c (u.sub.1), R.sub.2cc (u.sub.1, u.sub.2), and u.sub.3 A.sub.2cc (u.sub.1, u.sub.2), are sufficient to generate the superquadric volume primitives, in many cases n ruled shape functions, (n>3), of the form: ##EQU4## may be used to generate the superquadric volume primitives, holding all but two angular parameters u.sub.1, . . . , u.sub.n-1 constant and allowing scalar parameter u.sub.n to vary in order to simplify the resulting expression. The subscripts c.sub.1, . . . , c.sub.m (m=i, k-1, k) in the preceding expression represent the fact that the variable subscripted is the m.sup.th generation "child" of 2.sup.m first generation basis quantities. The subscripts p.sub.k+1, . . . , p.sub.i-h in the preceding expression represent the fact that the variable subscripted is the (i-k).sup.th level "parent", or basis quantity, for the last generation child. Finally the j subscripts j=1, 2, 3) represent the three components of each variable subscripted along the V.sub.1, V.sub.2, and V.sub.3 axes.

After a given complex three dimensional shape is generated by the aforementioned process, a mask is applied to the model shape and for every voxel in the model shape a search is made for adjacent voids. If adjacent voids are found, then the voxel can be identified as a surface voxel and it will be saved for further processing; otherwise it will be discarded. Surface voxels are the ones that are of primary interest when a robot attempts to match an object to the model in the object library since the robot normally only makes sensory contact with the surface of an object. An example of a sphere composed of surface voxels is shown in FIG. 3. Any three dimensional shape generated by the aforementioned process may be displayed on a personal computer monitor screen.

In order to accurately and efficiently convey information about an object's shape, it is advantageous to incorporate the subset of surface voxels as vertices of a directed edge graph which also includes edges and faces to represent the object's surface. A common structure used to represent an edge graph is known as the Winged Edge graph structure, {W-E}, using the symbols V for vertex, E for edge, and F for face. Using standard set notation and functional notation, the data stored in the computer for the graph structure is:

where s=d,u, t=l,r, and d="down", u="up", l="left", and r="right", are the adjacency directions. If should be noted that, strictly speaking, the adjacency directions, s(V), s(E).sub.st, t(E).sub.st and t(F), are not necessary for a complete specification of a Winged Edge graph structure, but are included herein for the efficient running of the algorithm generating a {W-E} from the surface voxels under consideration.

FIG. 4 shows an example of a basic Winged Edge graph structure and FIG. 5 lists the corresponding adjacencies. The adjacency directions can be best explained by reference to FIG. 4. V.sub.2 is said to be an "up" vertex because edge E.sub.1 is incident into V.sub.2 and V.sub.1 is said to be a "down" vertex because edge E.sub.1 is incident out of V.sub.1. Edge E.sub.5 is said to have an "up right" adjacency to E.sub.1 because edge E.sub.5 is to the right of the "up" or arrow end of E.sub.1. Likewise, E.sub.1 is said to have a "down right" adjacency to E.sub.2 since E.sub.1 is to the right of the "down" or tail end of E.sub.2. Adjacency relationships between other edges shown in FIG. 4 can be explained analogously to the explanation given above. Edges E.sub.4, E.sub.5, E.sub.2, and E.sub.3 are said to be the wings of edge E.sub.1 ; hence the name Winged Edge graph structure. Finally, faces F.sub.1 and F.sub.2 can be said to be "right" or "left" with respect to edge E.sub.1 if an observer is looking along edge E, in the direction indicated by the arrow representing E.sub.1.

The terms of equation (2) have the following significance. E(V) contains, for each vertex V, one of the edges E incident on the vertex V. s(V) contains, for each vertex V, a label indicating whether vertex V is an "up" vertex or, in other words, has label u or whether vertex V is a "down" vertex or, in other words, has label d for the edge E(V). V(E).sub.s contains, for each edge E, a pair of values indicating the vertex V.sub.i which is the "up" vertex for that edge as well as vertex V.sub.j which is the "down" vertex for that edge. E(E).sub.st contains, for each edge E, a set of the four edges that are adjacent to edge E (namely the "down left", "up left", "down right", and "up right" edges). s(E).sub.st contains, for each of the edges contained in E(E).sub.st, which are the set of the four edges adjacent to edge E, the "up" or "down" direction of edge E with respect to each of the edges in E(E).sub.st. t(E).sub.st contains, for each of the edges contained in E(E).sub.st, which are the set of the four edges adjacent to edge E, the "left" or "right" direction of edge E with respect to each of the edges in E(E).sub.st. F(E).sub.t contains, for each edge E, the "left" and "right" faces with respect to that edge E. F(F) contains the oldest ancestor of face F prior to the first face-joining (this procedure is explained below) involving face F. E(F) contains, for each face F, an edge that surrounds that face. t(F) contains, for each face F, the "left" or "right" direction of that face F with respect to edge E(F). FIG. 5 illustrates, by way of example, the values of each element of equation (2) for FIG. 4.

The algorithm for automatically generating a {W-E} from a given model shape's surface voxels or vertex list begins by searching the voxel space Z, using Cartesian coordinates, for the first occurrence of a surface voxel or vertex V and, upon finding V, initializing {W-E} as a self-loop (edge pointing to itself) with the following assignments:

E(V).rarw.E

V(E).sub.s .rarw.V(s=d, u)

E(E).sub.st .rarw.E(t=l, r)

F(E).sub.t .rarw.F

F(F).rarw.F

E(F).rarw.E

(Although the algorithm begins with a self-loop, which is an abstraction that does not exist in physical space, the algorithm guarantees two-manifold surfaces result in this and other non-manifold situations by subdividing the voxel space, if necessary.) Then the algorithm continues, for each vertex V, by forward searching normally, diagonally, and at comers by Cartesian coordinates for adjacent vertices V.sub.i. If an adjacent vertex V.sub.i is found, an edge E is created between the vertex V and the adjacent vertex V.sub.i by the following assignments:

E(V).rarw.E

s(V).rarw.d

V(E).sub.d .rarw.V

V(E).sub.u .rarw.V.sub.i

E(V.sub.i).rarw.E

s(V.sub.i).rarw.u

Newly created edges E.sub.j pair with an existing edge E if they share a common vertex such that:

where f, g.epsilon.s.

If this condition is true, the adjacency relationships between E.sub.j and E are defined according to the following assignments:

E(E).sub.d(x.sup.12.sub.)r(x.sup.13.sub.) .rarw.E.sub.j

s(E).sub.d(x.sup.12.sub.)r(x.sup.13.sub.) .rarw.d.sub.(x.sup.1.sub.)

t(E).sub.d(x.sup.12.sub.)r(x.sup.13.sub.) .rarw.l.sub.(x.sup.123.sub.)

E(E.sub.j).sub.d(x.sup.1.sub.)l(x.sup.123.sub.) .rarw.E

s(E.sub.j).sub.d(x.sup.1.sub.)l(x.sup.123.sub.) .rarw.d(x.sup.12)

t(E.sub.j).sub.d(x.sup.1.sub.)1(x.sup.123.sub.) .rarw.r(x.sup.13)

where the subscript x is a symbolic truth variable that exists in either the true state (+1) or false state (-1) according to the rule:

The variable x=+1 if the statement is true and x=-1 if the statement is false. The function of the variable is to switch the adjacency directions analogous to the way an `equivalent` electronic gate (a relational operator found in Symbolic Logic whose symbol is `.tbd.`) multiplies its inputs. For example, if x.sup.1 =+1, x.sup.2 =-1, and x.sup.3 =-1, then:

and results in d(x.sup.1)=d, d(x.sup.12 x.sup.2)=u, r(x.sup.13)=1, and l(x.sup.123)=1. In addition, any occurrence of |s or |t switches the adjacency as if |s was written s(-1) and |t was written t(-1).

The first truth variable x.sup.1 tests whether the sense of f is "down":

{x.sup.1 : f=d}.

The second variable x.sup.2 tests whether the edge directions of the pair of edges E and E.sub.j are opposing or aligned:

{x.sup.2 : f=g}.

The third variable x.sup.3 tests whether the resulting normal N=E.times.E.sub.j points outward from the surface:

{x.sup.3 : Z(C+N)=0}.

Occasionally, an edge E.sub.j will be paired with an existing edge E which completes a closed loop of edges and establishes a new face F. The following assignments join a face to {W-E}:

F(E).sub.r(x.sup.23.sub.) .rarw.F

F(E.sub.j).sub.l(x.sup.23.sub.) .rarw.F

F(E(E).sub.dr(x.sup.3.sub.)).sub.l(x.sup.34.sub.) .rarw.F

F(F).rarw.F

E(F).rarw.E

t(F).rarw.r(x.sup.23)

where the fourth and fifth variables x.sup.4 and x.sup.5 test the adjacency of adjacent edges. If the loop contains three edges, then:

{x.sup.4 : V(E(E).sub.dr(x.sup.3.sub.)).sub.d(x.sup.2.sub.) .noteq.V(E.sub.j).sub.d(x.sup.2.sub.) }.

However, if the loop contains four edges, then:

{x.sup.4 :V(E).sub.d =V(E(E).sub.dr(x.sup.3.sub.)).sub.d }

{x.sup.5 :V(E(E)dr(x.spsb.3.sub.)).sub.u(x.sbsp.4.sub.) =V(E(E(E).sub.dr(x.spsb.3.sub.)).sub.u(x.spsb.4.sub.)(x.spsb.34.sub.)).sub .u(x.sup.4.sub.) }.

and the following assignment statement is added to those specified above:

F(E(E(E).sub.dr(x.sup.3.sub.)).sub.u(x.sup.4.sub.)l(x.sup.34.sub.)).sub.l(x .sup.35.sub.) .rarw.F

An example of a Winged Edge graph structure for a sphere is shown in FIG. 6.

Although not necessary, by continuously inspecting adjacent faces of {W-E} for coplanarism, reduction in the size of {W-E} can be achieved without introducing ambiguity into the representation of the model shape. Thus, if the normals of the faces F(E).sub.r and F(E).sub.l have the same direction, then face F(E.sub.r(x.sup.6.sub.) can be joined to F(E).sub.r(x.sup.6.sub.) by the following assignment:

F(F(E).sub.l(x.sup.6.sub.)).rarw.F(E).sub.r(x.sup.6.sub.)

where the sixth variable x.sup.6 compares the order or ancestry of the faces:

{x.sup.6 :F(E).sub.r <F(E).sub.l }.

The oldest ancestor of any face F can be determined by the following search routine:

F*(F)={do{F=F(F)} until (F=F(F)); return F}.

{W-E} is revised and reduced after every face-joining by removing or killing the edge common to both faces, E, as specified in the following assignments:

E(E(E).sub.st).sub.s(E(E).sbsb.st.sub.)t(E(E).sbsb.st).rarw.E(E).sub.slt

s(E(E).sub.st).sub.s(E(E).sbsb.st.sub.)t(E(E).sbsb.st).rarw.s(E).sub.slt

t(E(E).sub.st).sub.s(E(E).sbsb.st.sub.)t(E(E).sbsb.st).rarw.t(E).sub.slt

where s=d, u, t=1, r.

FIGS. 7, 7a and 7b show face F.sub.2 joined to F.sub.3 and face F.sub.1 joined to F.sub.4 using the edge-killing procedure which kills edges E.sub.5 and E.sub.6.

If a face-joining results in the most recently created edge E having overlapping wings of equal slopes (E(E).sub.fh =E(E).sub.flh ; f.epsilon.s, h.epsilon.t), then an edge-joining procedure can also be done (since the order of edges is not critical, it is easier to join the most recently created edge E to the wing than vice versa) of the undirectional, collinear edges having a common vertex by the following assignments:

E(V(E).sub.lf).rarw.E(E).sub.fh

s(V(E).sub.lf).rarw.S(E).sub.fh

V(E(E).sub.fh).sub.s(E).sbsb.fh .rarw.V(E).sub.lf

E(E(E).sub.ft).sub.s(E).sbsb.fh.sub.t(E).sbsb.fh .rarw.E(E).sub.lft

E(E(E).sub.lft).sub.s(E).sbsb.lft.sub.t(E).sub.lft .rarw.E(E).sub.ft

s(E(E).sub.ft).sub.s(E).sbsb.lft.sub.t(E).sbsb.lft .rarw.s(E).sub.lft

s(E(E).sub.lft).sub.s(E).sbsb.lft.sub.t(E).sub.lft .rarw.s(E).sub.ft

t(E(E).sub.ft).sub.s(E).sbsb.fh.sub.t(E).sbsb.fh .rarw.t(E).sub.lft

t(E(E).sub.lft).sub.s(E).sbsb.lft.sub.t(E).sub.lft .rarw.t(E).sub.ft

where t=1, r.

FIG. 8 shows the result of joining edges E.sub.1 and E.sub.2 in FIG. 7b.

The Winged Edge graph structure for the sphere in FIG. 5 reduced by face-joining, edge-kllling, and edge-joining is shown in FIG. 9.

A computer program listing of a computer program performing most of the steps in the algorithm specified above follows this portion of the specification as an Appendix and is part of this disclosure.

The computer program is in the computer programming language C and contains a "main" routine (a term of art well known to those ordinarily skilled in the art of C programming) and various subroutines. However, the computer program could be implemented in many other computer programming languages as is well known to those ordinarily skilled in the art of computer programming.

The computer program listing contains subroutines that provide for a graphical user interface. The graphical user interface allows the user to specify various superquadric volume primitives that he wishes to combine, the method of combination, and the position of such volume primitives, with rotation and translation of such volume primitives allowed, and displays both the surface voxel version and the Winged Edge graph structure version of the resultant three-dimensional object. The superquadric volume primitives are restricted to a sphere, cylinder, cone, cube, and box.

The computer program generates superquadric volume primitives by generating a series of discrete points represented by their three-dimensional coordinates to represent ruled shape functions and then uses voxels which include those discrete points and the points included in the volume "swept out" by the ruled shape functions to represent superquadric volume primitives. The superquadric volume primitives may be combined using the Boolean operations of union and difference, which are sufficient for robotic recognition applications. The Boolean operations of complement and intersection are not presently implemented by this computer program, but it may be easily extended to include these operations. The computer program discards all voxels other than the surface voxels of the object represented prior to further processing.

The computer program then proceeds to generates the Winged Edge graph structure from the list of surface voxels. In doing so, it uses a number of truth variables in addition to those specified herein. Those truth variables were discovered not to be necessary to the implementation of this algorithm after the writing of the computer program so they are not included in the preceding disclosure.

While preferred embodiments of the present invention have been described in detail, various modifications, alterations, and changes may be made without departing from the spirit and scope of the present invention as defined in the following claims.

Unpublished work .RTM.1995 Glenn M. Friedman. ##SPC1##