CPC G06F 17/11 (2013.01) [G06F 17/00 (2013.01); G06F 30/00 (2020.01); G06F 30/20 (2020.01)] | 10 Claims |
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.
|