Data processing: structural design – modeling – simulation – and em – Modeling by mathematical expression
Reexamination Certificate
2001-12-21
2008-08-19
Rodriguez, Paul L (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Modeling by mathematical expression
C703S013000, C716S030000
Reexamination Certificate
active
07415395
ABSTRACT:
A method is provided of simulating a system. The method defines equations modeling the system using terms having characteristics encapsulated within the term. Next, the method performs symbolic processing on the established equations for simplification. Additionally, the method performs system processing on the established equations for efficient simulation. Aspects of some embodiments of the described invention include a method of symbolically processing a set of equations, a method of eliminating an integral in a Pantelides algorithm, and a method of tearing block equation blocks.
REFERENCES:
patent: 6556954 (2003-04-01), Denk et al.
patent: 2003/0105618 (2003-06-01), Estevez-Schwarz
patent: 2003/0154059 (2003-08-01), Feldmann et al.
patent: 2004/0133407 (2004-07-01), Reissig
patent: 2005/0071137 (2005-03-01), Selvaraj et al.
patent: 2005/0107895 (2005-05-01), Pistikopoulos et al.
Feehery, W.F. et al. “A Differentiation-Based Approach to Dynamic Simulation and Optimization with High-Index Differential-Algebraic Equations.” SIAM Computational Differentiation, ® 1996. pp. 239-253.
“Publications of Paul I. Barton.” http://yoric.mit.edu/publications. Printed Nov. 23, 2005.
Le Lann, J.M. et al. “Dynamic Simulation of Partial Differential Systems: Application to Some Chemical Engineering Problems.” 3rd ICL Joint Conf. Jul. 16-18, 1998.
“Publications & Communications.” http://www.prosim.net/publication. Printed Nov. 23, 2005.
Martinson, W. et al. “A Differentiation Index for Partial Differential-Algebraic Equations.” SIAM J. Sci. Comput. ® 2000. vol. 21, No. 6, pp. 2295-2315.
Pytlak, R. et al. “Optimal Control of Differential-Algebraic Equations without Impulses.” Proc. of the 33rd Conf. on Decision and Control. Dec. 1994. pp. 951-956.
Park, Taeshin et al. “State Event Location in Differential Algebraic Models.” ACM Transactions on Modeling and Computer Simulation (TOMACS). Apr. 1996. vol. 6, Issue 2. pp. 137-165.
Zitney, S.E. et al. “Sparse Matrix Methods for Chemical Process Separation Calculations on Supercomputers.” Proc. 1992 ACM/IEEE Conf. on High Performance Networking and Computing. 1992. pp. 414-423.
“3.1 Associating Objects in C++”. http://people.cs.vt.edu/>kafura/cs2704/intro2.html. Last updated: Jul. 3, 1996 Printed: Nov. 23, 2005.
“Computational Differentiation: Techniques, Applications, and Tools, Proc. AD1996, Santa Fe, New Mexico.” http://bt.pa.msu.edu/papers-cgi/display.pl?name=sfbook. Printed from the Internet on Jun. 9, 2006.
“U.S. Copyright Office Search for TX-4-442-865”. http://www.loc.gov/cgi-bin/formprocessor/copyright/locis.pl. Printed from the Internet on Jun. 9, 2006.
“Second International Workshop on Computational Differentiation, Feb. 12-15, 1996. La Fonda Hotel. Santa Fe, New Mexico”. http://bt.pa.msu.edu/cd96/program.html. Dated Jan. 3, 1996. Printed from the Internet on Jun. 9, 2006.
“Session 9”. http://bt.pa.msu.edu/cd96/s9.html. Dated Dec. 28, 1995. Printed from the Internet on Jun. 9, 2006.
“Workshop Program”. http://www-unix.mcs.anl.gov/autodiff/Santa—Fe/abstracts. Undated. Printed from the Internet on Jun. 9, 2006.
Pye, John. “Pantelides Algorithm in PHP.” Last modified May 16, 2005. http://pye.dyndns.org/pantelides/.
Cellier, Francois. “The Structural Singularity Removal Algorithm by Pantelides.” Sep. 15, 2003. http://www.ece.arizona.edu/˜cellier/ece449—ppt.pdf.
Cellier, F.E. and H. Elmqvist. “Automated Formula Manipulation Supports Object-Oriented Continuous-System Modeling.” IEEE Control Systems Magazine. Apr. 1993. vol. 13, Issue 2, pp. 28-38.
Pantelides, C., “The Consistent Initialization of Differential-Algebraic Systems”, SIAM Journal of Scientific and Statistical Computing, vol. 9, 1988, pp. 213-231.
Tarjan, R.E., “Depth First Search and Linear Graph Algorithms”, SIAM Journal of Computing, vol. 1, 1972, pp. 146-160.
Duff, I.S., et al., “An Implementation of Tarjan's Algorithm for the Block Triangularization of a Matrix”, ACM Transactions on Mathematical Software, vol. 4, No. 2, Jun. 1978, pp. 137-147.
Caterpillar Inc.
Craig Dwin M
Finnegan Henderson Farabow Garrett & Dunner
Rodriguez Paul L
LandOfFree
Symbolic evaluation engine for high-performance simulations does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Symbolic evaluation engine for high-performance simulations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic evaluation engine for high-performance simulations will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4014351