US5479593A
Expired / Lapsed
US
⏱️ 0.0 years remaining
System and method for improved solving of equations employed during parametric geometric modeling
Assignee: Siemens Industry Software Inc
•
Filing: 1993-06-21
•
Granted: 1995-12-26
•
Expires: 2013-06-21
Abstract
Abstract A system and method for generating a parametric profile of an object to be modelled is shown which receives input from a user in the form of equations, generates further equations inherent to a profile definition, prioritizes the equations into ranked classes, sorts the prioritized equations to thereby create an ordered solved equation list, solves the sorted equations in the order they appear on the solved equation list and generates a profile of geometry entities constructed from the solutions of the solved equations. The system and method automatically constrain unknown variables within any under-populated equation sets based on heuristics and employ any redundant equations to determine and resolve conflicts among the equations to be used for generating the profile.
Inventors
- 👤 Penny Brewer
- 👤 Jon Stevenson
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-29 21:53
CPC Classifications
G; G06; G06F; G06F17/00; G06F17/10; G06F17/11; G06F17/13; G06F30/00; G06F30/10; G06F30/17
Claims Analysis
Total Claims: 21
Claim 1
Independent Claim
126 words
A processing system for parametric modelling of an object defined by a profile, comprising: an equation definer for receiving input from a user in the form of equations and generating axiom and system-inferred equations; an equation prioritizer for receiving all of said equations from said equation definer and prioritizing each of them based on whether it is a user-defined, axiom or system-inferred equation; an equation sorter for receiving said prioritized equations from said equation prioritizer and creating an ordered equation list therefrom; an equation solver for receiving said ordered equation list from said equation sorter and solving said equations in the order they appear on said ordered equation list; and a sketch generator for receiving solutions of said solved equations and generating a profile constructed therefrom.
Claim 2
Dependent Claim
126 words
A processing system for parametric modelling of an object defined by a profile, comprising: an equation definer for receiving input from a user in the form of equations and generating axiom and system-inferred equations; an equation prioritizer for receiving all of said equations from said equation definer and prioritizing each of them based on whether it is a user-defined, axiom or system-inferred equation; an equation sorter for receiving said prioritized equations from said equation prioritizer and creating an ordered equation list therefrom; an equation solver for receiving said ordered equation list from said equation sorter and solving said equations in the order they appear on said ordered equation list; and a sketch generator for receiving solutions of said solved equations and generating a profile constructed therefrom.
Claim 3
Dependent Claim
30 words
The processing system for parametric modelling of an object of claim 1, wherein said equation sorter further comprises a redundant equation list generator for generating a list of redundant equations.
Claim 4
Dependent Claim
83 words
The processing system for parametric modelling of an object of claim 2, wherein said equation sorter further comprises a redundant equation processor for comparing equations from said redundant equation list with equations from said ordered equation list to check for variable value conflicts, sending a message to said user if a conflict exists between user-defined equations, and deleting a conflicting system-inferred equation created during said step of generating if a conflict exists between at least one user-defined equation and said conflicting system-inferred equation.
Claim 5
Dependent Claim
43 words
The processing system for parametric modelling of an object of claim 2, wherein said equation sorter further comprises a redundant equation processor for comparing equations from said redundant equation list with equations from said ordered equation list to check for variable value conflicts.
Claim 6
Dependent Claim
50 words
The processing system for parametric modelling of an object of claim 1, wherein said equation solver further comprises an automatic constrainer for setting at least one unknown variable within at least one unsolved equation equal to a predetermined geometric constraint when said prioritized equations are a set of under-populated equations.
Claim 7
Dependent Claim
27 words
The processing system for parametric modelling of an object of claim 1, wherein said equation prioritizer assigns higher priority to all user-defined equations than any system-inferred equations.
Claim 8
Dependent Claim
28 words
The processing system for parametric modelling of an object of claim 6, wherein said equation prioritizer further assigns higher priority to all axiom equations than any user-defined equations.
Claim 9
Dependent Claim
107 words
The processing system for parametric modelling of an object of claim 1, wherein said equation sorter further comprises a equation list generator for cycling through each of said classes of equations beginning with those equations with highest priority and generating an ordered linked list of equations by skipping any equation with a plurality of unknown variables, adding an equation to said equation list if a single unknown variable in the equation can be isolated, and returning to any skipped equation in the order such equation was skipped to see whether it now has only a single unknown variable based on equations since added to said equation list.
Claim 10
Independent Claim
87 words
A method for a computing system to solve a set of equations describing a profile, comprising the computer-performed steps of: receiving input from a user in the form of equations; generating axiom and system-inferred equations; prioritizing each of all said equations based on whether it is a user-defined, axiom or system-inferred equation; creating an ordered equation list from said prioritized equations; solving said prioritized equations in the order they appear on said ordered equation list; and generating a profile constructed from the solutions of said solved equations.
Claim 11
Independent Claim
87 words
A method for a computing system to solve a set of equations describing a profile, comprising the computer-performed steps of: receiving input from a user in the form of equations; generating axiom and system-inferred equations; prioritizing each of all said equations based on whether it is a user-defined, axiom or system-inferred equation; creating an ordered equation list from said prioritized equations; solving said prioritized equations in the order they appear on said ordered equation list; and generating a profile constructed from the solutions of said solved equations.
Claim 12
Dependent Claim
37 words
The method for a computing system to solve a set of equations describing a profile of claim 9, said step of creating an ordered equation list further comprising the step of generating a list of redundant equations.
Claim 13
Dependent Claim
36 words
The method for a computing system to solve a set of equations describing a profile of claim 10, further comprising the step of checking for variable value conflicts between said redundant equations and said solved equations.
Claim 14
Dependent Claim
76 words
The method for a computing system to solve a set of equations describing a profile of claim 11, wherein said step of creating an ordered equation list further comprising the steps of sending a message to said user if a conflict exists between user-defined equations and deleting a conflicting system-inferred equation created during said step of generating axiom and system-inferred equations if a conflict exists between at least one user-defined equation and said conflicting system-inferred equation.
Claim 15
Dependent Claim
50 words
The method for a computing system to solve a set of equations describing a profile of claim 9, wherein said step of solving said equations further comprising: automatically constraining at least one unknown variable within at least one unsolved equation when said set of equations describing a profile is under-populated.
Claim 16
Dependent Claim
36 words
The method for a computing system to solve a set of equations describing a profile of claim 9, wherein said step of prioritizing said equations assigns higher priority to all user-defined equations than any system-inferred equations.
Claim 17
Dependent Claim
37 words
The method for a computing system to solve a set of equations describing a profile of claim 14, wherein said step of prioritizing said equations further assigns higher priority to all axiom equations than any user-defined equations.
Claim 18
Dependent Claim
141 words
The method for a computing system to solve a set of equations describing a profile of claim 9, wherein said step of creating an ordered equation list further comprising the steps of: cycling through each of said prioritized equations beginning with those equations with highest priority; generating an ordered linked list of equations by: adding an equation to said equation list if a single unknown variable in the equation can be isolated; skipping any equation with a plurality of unknown variables; and returning to any skipped equation in the order such equation was skipped to see whether such skipped equation now has only a single unknown variable based on equations since added to said equation list; and stopping said cycling and said generating of an ordered equation list when it is not possible to add another equation to said equation list.
Claim 19
Dependent Claim
59 words
The method for a computing system to solve a set of equations describing a profile of claim 16, wherein said step of creating an ordered equation list further comprising the step of: for each equation with only one unknown variable, rewriting said equation in such a form that said unknown variable is isolated before continuing with said cycling step.
Claim 20
Independent Claim
79 words
A method for a computing system to solve a set of equations describing a profile, comprising the computer-performed steps of: receiving input in the form of equations; prioritizing each of all said equations based on whether it is a user-defined, axiom or system-inferred equation; creating an ordered equation list from said prioritized equations; solving said prioritized equations in the order they appear on said ordered equation list; and generating a profile constructed from the solutions of said solved equations.
Claim 21
Independent Claim
79 words
A method for a computing system to solve a set of equations describing a profile, comprising the computer-performed steps of: receiving input in the form of equations; prioritizing each of all said equations based on whether it is a user-defined, axiom or system-inferred equation; creating an ordered equation list from said prioritized equations; solving said prioritized equations in the order they appear on said ordered equation list; and generating a profile constructed from the solutions of said solved equations.
References Cited (Backward Citations)
No citation records indexed.
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1998-12-25 | 1999-06-26 | 1999-12-26 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2002-12-25 | 2003-06-26 | 2003-12-26 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2006-12-25 | 2007-06-26 | 2007-12-26 | $7700.00 | Window Closed / Lapsed |