# Michael A. Wesley's research while affiliated with IBM Research and other places

**What is this page?**

This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.

It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.

If you're a ResearchGate member, you can follow this page to keep up with this author's work.

If you are this author, and you don't want us to display this page anymore, please let us know.

It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.

If you're a ResearchGate member, you can follow this page to keep up with this author's work.

If you are this author, and you don't want us to display this page anymore, please let us know.

## Publications (12)

Initial planning for a solid modeling symposium to be sponsored by the General Motors Research Laboratories was begun in mid-1980. However, the final decision about program topics was not made until early 1983. The change of emphasis in those few years, revealed by the contrasts between the earliest plans and the symposium as held, is interesting.

This paper presents a design for a software system (OYSTER) for the parametric simulation and analysis of the fabrication steps of very large scale integrated circuit devices. The system is based on a solid geometric modeling approach in which the component parts of an integrated circuit are represented at any step as three-dimensional solid object...

A geometric algorithm for performing bending operations on polyhedral objects is described. The hypotheses, conditions and model of the bending process are defined, and then the mathematical model of bending is developed for each element of the boundary representation of a polyhedron. The algorithm has applications as a new means of generating geom...

Many important CAD data bases exist only in wire frame (three-dimensional edge and vertex) or projection (two-dimensional planar view) form. In order to exploit the many advantages of computer-based solid modeling, the data descriptors of the objects in these data bases must be converted to solid form. This paper surveys methods for performing the...

In an earlier paper, the authors presented an algorithm for finding all polyhedral solid objects with a given set of vertices and straight line edges (its wire frame). This paper extends the Wire Frame algorithm to find all solid polyhedral objects with a given set of two dimensional projections. These projections may contain depth information in t...

Given a polyhedral object, its wire frame is the set of its edges and vertices. In this paper, we present an algorithm which discovers all objects with a given wire frame. This algorithm, which has a number of applications to mechanical design besides being of mathematical interest, has been implemented and has performed well on complex objects.

Very high level languages for describing mechanical assembly require a representation of the geometric and physical properties of 3-D objects including parts, tools, and the assembler itself. This paper describes a geometric modeling system that generates a data base in which objects and assemblies are represented by nodes in a graph structure. The...

In this chapter the role of a comprehensive engineering data base in design, manufacture, assembly, and inspection has been developed. By means of examples and references to the literature it has been shown that many of the ingredients are already technically feasible. It remains to be seen whether the outstanding problems are solvable, and which a...

A collision avoidance algorithm for planning a safe path for a polyhedral object moving among known polyhedral objects is described. The algorithm transforms the obstacles so that they represent the locus of forbidden positions for an arbitrary reference point on the moving object. A trajectory of this reference point which avoids all forbidden reg...

This paper describes an experimental very high level programming system for computer controlled mechanical assembly, AUTOPASS (AUTOmated Parts ASsembly System). The AUTOPASS language is oriented towards objects and assembly operations, rather than motions of mechanical assembly machines. It is intended to enable the user to concentrate on the overa...

## Citations

... As has been observed by Quinlan and Woodwark [94], "Solid modelling has now come of age, and attention is shifting from demonstrating that techniques are feasible to questions of efficiency and utility." Similar conclusions have been reached by Voelcker and Wesley [138]. Progress towards this goal is a primary aim of the thesis. ...

... Недолікиалгоритм не підходить для трансформації 2 → 3 складних об'єктів. 6) Марковський Дж. та Веслі М.А., 1981 р., [8][9][10][11][12][13][14][15][16][17][18][19]. (дослідження: площини). ...

... As the function changes with time, objects transformed by the mapping appear to deform. Useful mappings that, can easily be parameterized as a function of time have been proposed for bending [6] and for twisting [1]. More complex mappings, based on trivariate tensor products, treat the x, y, and z coordinates as the u, v, and t variables of a polynomial form that defines the three coordinates of the image point, P(u,v,t), in the original Euclidean space. ...

... The history of motion planning begins around 1979 (15) and continues as an ever-growing research field into the present. This 40-year period can be divided into four eras. ...

... In the 1980s, again, the focus of the 3D product model research remained on product design, with many large organizations concentrating research efforts in this area, including research sponsored by organizations such as IBM, Austin Rover, McDonnel Douglas, and Northrop Aircraft [27,139,221,274]. However, the research also built on the trends started in the 1970s of 3D product model geometric dimensioning and tolerancing as well as data processing of the 3D product model. ...

... The establishment of a DT enables product data sharing to the downstream manufacturing operations. Some robot programming research use CAD software to define the motions relative to the product design such as Autopass [4], HighLap [5,6], Archimedes 2 [7], or more recently the work of Perzylo et al. [8], and Pane et al. [9]. The CAD data is used to associate end-effector motions or control strategies based on the relative geometric dimensions in the design. ...

... 3D reconstruction from three orthographic views. Studies on recovering 3D models from three orthographic views date back to the 70s and 80s [13,22,32,25,10]. An early survey on this topic appears in [31]. ...

... 3D reconstruction from three orthographic views. Studies on recovering 3D models from three orthographic views date back to the 70s and 80s [13,22,32,25,10]. An early survey on this topic appears in [31]. ...

... In [160] a formula is given calculating the volume λ of a tetrahedron [0, T ] which spans from 0 ∈ R 3 to a triangle T of the vertices V 1 , V r , and V r+1 in 3D: ...

... For instance, it could be argued that the Oyster system [41] developed in early 80s at IBM Research was a successful example of implementation of a P→S conversion where a Simulated model of the manufactured VLSI assembly was derived algorithmically from a Planned model of the VLSI manufacturing process plan. The resulting Simulated representation of an assembly of polyhedral solids was sufficient to support the physical simulation and analysis for manufactured product validation, and hence played the role of a Designed view, effectively making the S ↔D verification unnecessary. ...