EP1390883A2 - Procede pour fournir des informations d'erreur sur des incoherences dans un systeme d'equations differentielles - Google Patents

Procede pour fournir des informations d'erreur sur des incoherences dans un systeme d'equations differentielles

Info

Publication number
EP1390883A2
EP1390883A2 EP02737851A EP02737851A EP1390883A2 EP 1390883 A2 EP1390883 A2 EP 1390883A2 EP 02737851 A EP02737851 A EP 02737851A EP 02737851 A EP02737851 A EP 02737851A EP 1390883 A2 EP1390883 A2 EP 1390883A2
Authority
EP
European Patent Office
Prior art keywords
computer program
equation
computer
component
meshes
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
EP02737851A
Other languages
German (de)
English (en)
Inventor
Gunther Reissig
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Infineon Technologies AG
Original Assignee
Infineon Technologies AG
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Infineon Technologies AG filed Critical Infineon Technologies AG
Publication of EP1390883A2 publication Critical patent/EP1390883A2/fr
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
    • G06F17/13—Differential equations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/36—Circuit design at the analogue level
    • G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods

Definitions

  • a set of column meshes of the dependency matrix ⁇ is determined, each of which has the numbers of those columns of the dependency matrix A, or those components of x or one of its derivatives, which are dependent on one another.
  • a "line mesh” is understood here to mean the following.
  • a set C z of natural numbers i, l ⁇ i ⁇ n is called a row mesh of a matrix with n rows and m columns if it fulfills the following conditions:
  • a column mesh is understood to be a set C s of natural numbers i, l ⁇ i ⁇ m, a matrix ⁇ with n rows and m columns if it fulfills the following conditions:
  • the "set of column indices of the transverse T" is understood to be a set Z which contains the column indices of the elements of the transverse T of the matrix A as elements.
  • the set Z contains exactly those numbers j for which there is an i, so that the element (/ " , /) is an element of the transverse T of the matrix A ,.
  • step 2 of the method according to the invention with the aim of determining row meshes and column meshes of the dependency matrix Y shown in FIG. 2, the transverse T of the dependency matrix given in FIG. 2 is first determined.
  • Methods for determining transversals are in IS Duff, "On algorithms for obtaining a maximum transversal", ACM Trans. Math. Software, 7 (3): 315-330, 19-81 , in EL Lawler, "Combinatorial Optimization: Networks and Matroids", Holt, Rinehart and Winston, 1976, in L. Lovasz and MD Plummer, "Matching Theory", North-Holland Mathematics Studies 121 .. Annais of Discrete Mathematics, 29. North Holland, 1986, or in CC Pantelides, "The consistent initialization of differential algebraic systems", SIAM J. Sei. Statist. Co put., 9 (2): 213-231, Mar. 1988.
  • steps for providing error information about inconsistencies in the system of equations are carried out before the equation system is actually solved.
  • / j (t, x ⁇ i), x (t), ..., x (i) (t) j depends on the first element of x, i.e. on x x (t).
  • the element A (3, l) selected as an example is set to the value "0" because the third element of f, that is f 3 ⁇ l, x (l), x ⁇ t), -. , x (l)), is from the first element of x, i.e. from
  • step 2 of the method according to the invention with the aim of determining row meshes and column meshes of the dependency matrix A indicated in FIG. 4, the transverse T of the dependency matrix A indicated in FIG. 4 is first determined.
  • Step 3 outputs the error information shown in FIG. 5.
  • a prediction of the behavior of the underlying system with numerical means is not even attempted because errors will occur if a simulation is possible at all. Rather, the modeling of the system and the system itself must be checked again. This saves valuable computing time on the computer system not shown here. Troubleshooting is considerably simplified by knowing the error information output in step 3.
  • the equation system is to be solved numerically, ie values for the unknown vector x (t) are to be calculated at one or more times t.
  • Known numerical solution methods which are not illustrated here, are used for this purpose, which run as a computer program on a computer system not shown here.
  • error information about inconsistencies in the relevant system of equations is provided as follows before the system of equations is actually solved.
  • fl (xl (t), x2 (t), x3 (t), pl, p2, p3) is Kirchhoff's voltage equation for the mesh consisting of all three network elements of the network from FIG. 6.
  • the quantity Z of the row meshes determined in FIG. 4 and the quantity S of the column meshes ascertained in FIG. 4 are determined.
  • the error information specified in FIG. 8 is output using the equation meaning list G and the component meaning list K from FIG.

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Theoretical Computer Science (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computational Mathematics (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Computer Hardware Design (AREA)
  • Data Mining & Analysis (AREA)
  • General Engineering & Computer Science (AREA)
  • Algebra (AREA)
  • Operations Research (AREA)
  • Databases & Information Systems (AREA)
  • Software Systems (AREA)
  • Geometry (AREA)
  • Evolutionary Computation (AREA)
  • Microelectronics & Electronic Packaging (AREA)
  • Automation & Control Theory (AREA)
  • Complex Calculations (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Testing And Monitoring For Control Systems (AREA)

Abstract

L'invention concerne un procédé pour fournir des informations d'erreur concernant des incohérences dans un système d'équations différentielles décrivant un système ou un processus technique.
EP02737851A 2001-05-28 2002-05-23 Procede pour fournir des informations d'erreur sur des incoherences dans un systeme d'equations differentielles Withdrawn EP1390883A2 (fr)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
DE10126018A DE10126018A1 (de) 2001-05-28 2001-05-28 Verfahren zum Bereitstellen von Fehlerinformationen über Inkonsistenzen in einem System von Differentialgleichungen
DE10126018 2001-05-28
PCT/DE2002/001878 WO2002097679A2 (fr) 2001-05-28 2002-05-23 Procede pour fournir des informations d'erreur sur des incoherences dans un systeme d'equations differentielles

Publications (1)

Publication Number Publication Date
EP1390883A2 true EP1390883A2 (fr) 2004-02-25

Family

ID=7686449

Family Applications (1)

Application Number Title Priority Date Filing Date
EP02737851A Withdrawn EP1390883A2 (fr) 2001-05-28 2002-05-23 Procede pour fournir des informations d'erreur sur des incoherences dans un systeme d'equations differentielles

Country Status (7)

Country Link
US (1) US7490026B2 (fr)
EP (1) EP1390883A2 (fr)
JP (1) JP2004532483A (fr)
KR (1) KR100552639B1 (fr)
CN (1) CN1527979A (fr)
DE (1) DE10126018A1 (fr)
WO (1) WO2002097679A2 (fr)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7415395B2 (en) * 2001-12-21 2008-08-19 Caterpillar Inc. Symbolic evaluation engine for high-performance simulations
DE102004040177A1 (de) * 2004-08-18 2006-03-09 Infineon Technologies Ag Verfahren zur Verbesserung der Aussageschärfe von Diagnosen technischer Anordnungen
US20080026968A1 (en) * 2006-07-28 2008-01-31 Deckman Douglas E Lubricant compositions, their preparation and use
US8483999B2 (en) 2010-11-18 2013-07-09 Toyota Motor Engineering & Manufacturing North America, Inc. Method and system for simplifying models
WO2013125118A1 (fr) * 2012-02-22 2013-08-29 カルソニックカンセイ株式会社 Dispositif d'estimation de paramètres
US8726203B1 (en) 2013-04-25 2014-05-13 Cydesign, Inc. System and method for generating virtual test benches

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH01307868A (ja) 1988-06-06 1989-12-12 Mitsubishi Electric Corp 数値解析装置
JPH0944473A (ja) 1995-07-26 1997-02-14 Hitachi Ltd 有限要素法による偏微分方程式解析手法
DE19626984C1 (de) * 1996-07-04 1997-11-27 Siemens Ag Verfahren zur rechnergestützten Ermittlung einer Systemzusammenhangsfunktion
EP1062604B1 (fr) * 1998-03-18 2001-11-07 Siemens Aktiengesellschaft Procede et dispositif pour determiner une defaillance d'un systeme technique
US6266630B1 (en) * 1998-06-03 2001-07-24 Mentor Graphics Corporation Method and apparatus for providing a graphical user interface for simulating designs with analog and mixed signals
US6230101B1 (en) * 1999-06-03 2001-05-08 Schlumberger Technology Corporation Simulation method and apparatus

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
See references of WO02097679A2 *

Also Published As

Publication number Publication date
JP2004532483A (ja) 2004-10-21
KR100552639B1 (ko) 2006-02-20
DE10126018A1 (de) 2003-02-27
KR20040007612A (ko) 2004-01-24
US20040133407A1 (en) 2004-07-08
US7490026B2 (en) 2009-02-10
WO2002097679A2 (fr) 2002-12-05
CN1527979A (zh) 2004-09-08
WO2002097679A3 (fr) 2003-05-22

Similar Documents

Publication Publication Date Title
DE102010026616A1 (de) Verfahren und Vorrichtung zum Kompensieren von erstprinzipienbasierten Simulationsmodellen
DE60007772T2 (de) Rekursive zustandsschätzung durch matrixfaktorisierung
WO2018059855A1 (fr) Procédé pour enregistrer données d'un appareil de terrain d'une manière sécurisée contre des manipulations
EP3188053A1 (fr) Procede de configuration d'une co-simulation pour systeme entier
EP1145192A2 (fr) Configuration d'elements informatiques interconnectes, procede de determination assistee par ordinateur d'une dynamique a la base d'un processus dynamique et procede d'apprentissage assiste par ordinateur d'une configuration d'elements informatiques interconnectes
EP1062604B1 (fr) Procede et dispositif pour determiner une defaillance d'un systeme technique
WO2002097679A2 (fr) Procede pour fournir des informations d'erreur sur des incoherences dans un systeme d'equations differentielles
EP3418924A1 (fr) Procédé mise en uvre sur ordinateur destiné à simuler un circuit global électrique
DE19626984C1 (de) Verfahren zur rechnergestützten Ermittlung einer Systemzusammenhangsfunktion
EP2517129B1 (fr) Procédé et dispositif pour déterminer les variables d'état d'un modèle de processus différentiel-algébrique hybride
DE10150914C1 (de) Verfahren zur strukturellen Analyse und Korrektur eines mittels einer Computersprache beschriebenen Differentialgleichungssystems
EP1344125A2 (fr) Procede de production orientee besoins de nombres aleatoires individuels d'une suite de nombres aleatoires d'un bruit en 1/f
EP1483633B1 (fr) Procede de simulation d'un systeme technique et simulateur associe
EP1590751A2 (fr) Detection de proprietes (verification formelle) pour un systeme mixte constitue de sous systemes analogiques et numeriques
EP3651121A1 (fr) Système d'aide à l'analyse d'un réseau causal entraîné
DE19711484C1 (de) Verfahren zur Abbildung eines technischen Systems durch einen Rechner
DE4217314A1 (de) Adaptives Computersystem
DE69031975T2 (de) Neurorechner
WO1999017238A1 (fr) Procede de reduction pour simulations de production de donnees de connaissance
DE102023117151A1 (de) Verfahren zum Test eines elektronischen Steuergerätes mit einem Simulator
DE102016113310A1 (de) Verfahren zur Bewertung von Aussagen einer Mehrzahl von Quellen zu einer Mehrzahl von Fakten
DE102017126846A1 (de) Künstliches Neuronales Netz und Verfahren hierzu
DE102022115570A1 (de) Computerimplementiertes Verfahren zur Simulation einer elektrischen Schaltung mittels einer Echtzeitplattform
DE102005023145B4 (de) Verfahren zum Simulieren und Untersuchen einer elektrischen Schaltung und Speichermedium
DE102019200493A1 (de) Verfahren und Vorrichtung zum Prüfen der Software eines Steuergerätes

Legal Events

Date Code Title Description
PUAI Public reference made under article 153(3) epc to a published international application that has entered the european phase

Free format text: ORIGINAL CODE: 0009012

AK Designated contracting states

Kind code of ref document: A2

Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LI LU MC NL PT SE TR

17P Request for examination filed

Effective date: 20031001

17Q First examination report despatched

Effective date: 20041119

STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: THE APPLICATION IS DEEMED TO BE WITHDRAWN

18D Application deemed to be withdrawn

Effective date: 20091201