Data processing: structural design – modeling – simulation – and em – Modeling by mathematical expression
Reexamination Certificate
2007-09-18
2007-09-18
Rodriguez, Paul (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Modeling by mathematical expression
Reexamination Certificate
active
10273520
ABSTRACT:
A method for structural analysis and correction of a system of differential equations described by a computer language is disclosed. A description of a physical system (in the form of equations, in particular differential equations) as a computer program in a computer system is included. Suitable bipartite graphs for examining the solubility of the equations are generated with the method. Erroneous descriptions can be determined and can possibly be corrected with the bipartite graphs. A computer system containing a computer-readable medium having computer-executable instructions for performing the method, and a corresponding data carrier are disclosed.
REFERENCES:
Peter Bunus and Peter Fritzson, “A Debugging Scheme for Declarative Equation Based Modeling Languages”, Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, Jan. 19-20, 2002, Springer.
Peter Bunus and Peter Fritzson, “Methods for Structural Analysis and Debugging of Modelica Models”, Proceedings of the 2nd International Modelica Conference, 2002, pp. 157-165.
Alan Dolan and Joan Aldous, “Networks and algorithms: an introductory approach”, 1993, John Wiley & Sons, pp. 31, 284-309.
Armen S. Asratian et al.; “Bipartite Graphs and their Applications”, 1998, Cambridge University Press, pp. v-xi, 1-22, 56-74, 174-191.
Christian Bliek et al.; “Using Graph Decomposition for Solving Continuous CSPs”, 1998, Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming.
Jochen Mades and Manfred Glesner, “Regularization of Hierarchical VHDL-AMS Models using Bipartite Graphs”, Jun. 2002, Proceedings of the 39th Design Automation Conference, pp. 548-551.
Alfred V. Aho et al.; “Data Structures and Algorithms”, 1983, Addison-Wesley, pp. 246-250.
Francois E. Cellier et al.; “Automated Formula Manipulation Supports Object-oriented Continuous-System Modeling”, 1993, IEEE Control Systems, vol. 13, Issue 2, pp. 28-38.
Constantinos C. Pantelides: “The Consistent Initialization Of Differential-Algebraic Systems”,SIAM J. Sci. Stat. Comput., vol. 9, No. 2, Mar. 1988, pp. 213-221.
Günther Reiβig et al.: “Computing The Generic Index Of The Circuit Equations Of Linear Active Networks”,Proceedings of the IEEE International Symposium on Circuits and Systems, IEEE, 1996.
Boris V. Cherkassky et al.: “Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms”,Technical Report 98-036R, NEC Research Institute, Inc., 1998.
Estevez-Schwarz Diana
Mades Jochen
Greenberg Laurence A.
Guill Russ
Infineon - Technologies AG
Locher Ralph E.
Rodriguez Paul
LandOfFree
Method and computer system for structural analysis and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and computer system for structural analysis and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and computer system for structural analysis and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3790665