Verifying the design of an article of manufacture containing the arrangement of shapes subject to boundary distance constraints among those shapes
This disclosure describes a method to verify the design of an article of manufacture that includes a software program executing on a workstation that executes the following steps: providing the shape of a first component and providing the shape of a second component; providing a boundary distance constraint; constructing a shape spectrum of the exterior boundary surface of closest approach associated with the shape of the first component, the shape of the second component, and the boundary distance constraint; verifying that the arrangement of the shape of the first component and the shape of the second component satisfy the boundary distance constraint; evaluating a subderivative of the shape spectrum of the exterior boundary surface of closest approach associated with the shape of the first component, the shape of the second component; where verifying that the boundary distance constraint is satisfied between the shape of the first component and the shape of the second component and when satisfied, the design of the article of manufacture can be verified.
1. A method to produce a verified design of an article of manufacture that comprises two or more components of the article and that uses a software program executing on a workstation that should satisfy an analytical representation of a boundary distance constraint between shapes of two components during verification of the design of the article of manufacture, comprising:
providing a software program executing on a workstation, the workstation includes a processor, memory, and storage, the software program executes the following steps:
providing a shape of a first component and providing a shape of a second component;
providing a boundary distance constraint, the boundary distance constraint specifies a geometric relationship to be verified between the shape of the first component and the shape of the second component;
constructing a shape spectrum of an exterior boundary surface of closest approach associated with the shape of the first component, the shape of the second component, and the boundary distance constraint, where the shape spectrum is an analytical representation of the boundary surface of closest approach and forms an analytical foundation for verifying the boundary distance constraint;
verifying that an arrangement of the shape of the first component and the shape of the second component satisfies the boundary distance constraint;
evaluating a subderivative of the shape spectrum of the exterior boundary surface of closest approach associated with the shape of the first component, the shape of the second component, and the boundary distance constraint, where the subderivative is used in verifying that the arrangement satisfies the boundary distance constraint and where the exterior boundary surface of closest approach is a shape that forms a geometric foundation for the step of verifying;
wherein verifying that the boundary distance constraint is satisfied between the shape of the first component and the shape of the second component and when satisfied, the software program can produce a verified design of the article of manufacture.
2. The method of claim 1 where the boundary distance constraint is that the first component and second component do not overlap.
3. The method of claim 1 where the boundary distance constraint is that the first component and second component overlap by a fixed distance.
4. The method of claim 1 where the boundary distance constraint is that the first component and second component abut.
5. The method of claim 1 where the boundary distance constraint is that the first component and second component are no closer than a fixed distance.
6. A non-transitory program storage device readable by a computing device that tangibly embodies a program of instructions executable by the computing device to perform a method to produce a verified design of an article of manufacture that comprises two or more components of the article and that uses a software program executing on a workstation that should satisfy an analytical representation of a boundary distance constraint between shapes of two components during verification of the design of the article of manufacture, wherein the method comprises:
providing a software program executing on a workstation, the workstation includes a processor, memory, and storage, the software program executes the following steps:
providing a shape of a first component and providing a shape of a second component;
providing a boundary distance constraint, the boundary distance constraint specifies a geometric relationship to be verified between the shape of the first component and the shape of the second component;
constructing a shape spectrum of an exterior boundary surface of closest approach associated with the shape of the first component, the shape of the second component, and the boundary distance constraint, where the shape spectrum is an analytical representation of the boundary surface of closest approach and forms an analytical foundation for verifying the boundary distance constraint;
verifying that an arrangement of the shape of the first component and the shape of the second component satisfies the boundary distance constraint;
evaluating a subderivative of the shape spectrum of the exterior boundary surface of closest approach associated with the shape of the first component, the shape of the second component, and the boundary distance constraint, where the subderivative is used in verifying that the arrangement satisfies the boundary distance constraint and where the exterior boundary surface of closest approach is a shape that forms a geometric foundation for the step of verifying;
wherein verifying that the boundary distance constraint is satisfied between the shape of the first component and the shape of the second component and when satisfied, the software program can produce a verified design of the article of manufacture.
7. The non-transitory program storage device of claim 6 where the boundary distance constraint is that the first component and second component do not overlap.
8. The non-transitory program storage device of claim 6 where the boundary distance constraint is that the first component and second component overlap by a fixed distance.
9. The non-transitory program storage device of claim 6 where the boundary distance constraint is that the first component and second component abut.
10. The non-transitory program storage device of claim 6 where the boundary distance constraint is that the first component and second component are no closer than a fixed distance.