Patent ID: 7272543
Filing Date: 2007-09-18
Classification: G06F

Abstract:
1. A method for structural analysis and correction of a system of differential equations describing a physical system, the system of differential equations being in a computer language in a computer system, the method which comprises the steps of: a) classifying equations of the system of differential equations into structural equations, explicit equations and modifiable equations; b) setting up a first bipartite graph from the system of differential equations, wherein nodes of a first partition correspond to the equations of the system of differential equations and nodes of a second partition correspond to “unknowns”; c) removing nodes corresponding to the structural equations and associated edges from the first bipartite graph; d) determining a “maximum matching” for the first bipartite graph after step c); e) setting up an empty second bipartite graph; f) determining unmatched nodes corresponding to a modifiable equation from the first bipartite graph; g) generating respective nodes in a first partition of a second bipartite graph for each node determined in step f); h) determining further nodes corresponding to the modifiable equation from the first bipartite graph by starting from the nodes determined in step f) and following alternate paths; i) appending the nodes determined in step h) to the nodes generated in step g); j) determining unmatched nodes corresponding to an unknown from the first bipartite graph; k) creating respective nodes in a second partition of the second bipartite graph for each node determined in step j); l) determining other nodes corresponding to the unknown from the first bipartite graph by starting from the unmatched nodes determined in step j) and using alternate paths; m) appending the other nodes determined in step l) to the nodes of the second bipartite graph created in step k); n) determining matched nodes corresponding to the modifiable equation from the first bipartite graph; o) deleting a matched edge from the nodes determined in step n); p) producing respective nodes in the first partition of the second bipartite graph for the nodes of the first bipartite graph determined in step n); q) determining respective nodes in the second partition of the second bipartite graph for each unmatched node corresponding to the unknown in the first bipartite graph; r) determining additional nodes corresponding to the unknown by starting from the unmatched nodes corresponding to the unknown in the first bipartite graph and following alternate paths; s) appending the nodes determined in step r) to the nodes of the second bipartite graph determined in step q); t) generating respective nodes in the first partition of the second bipartite graph for each structural equation; u) connecting respective nodes of the first partition of the second bipartite graph by an edge to respective nodes of the second partition of the second bipartite graph present in the same respective visibility range; v) connecting the respective nodes generated in step t) by an edge to respective nodes of the second partition of the second bipartite graph, if one of the unknowns corresponding to the respective node of the second partition is contained in a structural equation corresponding to a respective node of the first partition; w) determining a “maximum matching” of the second bipartite graph; and x) saving a corrected system of differential equations describing the physical system in view of the results of steps a-w, as a corrected model of the physical system.