Simulation analoger Schaltungen unter Verwendung von Gebietsarithmetiken

[2] 1.数值模拟与数值模拟的数值模拟[j]。disese Schwankungen sind primär durch prozessspezifische Aspekte (lithography, dotiung usw.) bedingt。现代的ic都是如此。片上系统（SoC）雷达、传感器、元器件（Sensoren、Aktoren）、芯片集成。在Digitaltechnik realisiert， die interakintermit der Umgebung (Sensorik) erfolfolt jedoch nach for durch Analogkomponenten。模拟技术的发展-模拟技术的发展-模拟技术的发展-模拟技术的发展-模拟技术的发展在其相关系统中，z.B. Automotive, Medizin, der luffahrt， sine zuverlässige验证和eine verlässliche建模。In diesem Vorhaben soll ein neuartiges Simulationswerkzeug f<e:1> r模拟Schaltungen basereend auf Gebietsarithmetiken entwickelt werden， das die bekannten analyseten (DC， AC和TR) ermöglicht。在仿射曲面上的公差行为参数。Die仿射算法erweitert Die Intervalldarstellung durch line是Korrelationsinformationen和gewährleistet sichere einschl<e:1> sse der exakten Ergebnisse durch保守逼近。Der neue Ansatz bietet wesentlicet Vorteile beentafer类比器组件：Aus den simulationsignissen lassen， Informationen zur Verbesserung des Designs ableiten, data Systemgrößen and Parameter ber sog。符号，die bei der affinen Arithmetik Anwendung finden，在Beziehung stehen。Gleichzeitig ergeben西奇neue Moglichkeiten苏珥Verhaltensmodellierung unt Beibehaltung冯Eigenschaften麻省理工学院Unsicherheiten (verlassliche Modellierung)。在系统仿真中，物理仿真与生命仿真是相互关联的；系统仿真与生命仿真是相互关联的。derkern des Werkzeugs ist ein nichtlinearer Gleichungslöser mit Gebietsarithmetiken, derderdereinsatz zur Simulation optimiert ist。[2]机械系统理论与实践。

Die zunehmende Verkleinerung der Strukturen in integrierten Schaltungen (ICs) führt unausweichlich zu einer Zunahme der Parameterschwankungen1. Diese Schwankungen sind primär durch prozessspezifische Aspekte (Lithografie, Dotierung usw.) bedingt. Moderne ICs stellen sog. Systems on Chip (SoC) dar, da sie wesentliche Komponenten (Sensoren, Aktoren) auf einem Chip integrieren. Ein Großteil dieser Komponenten wird in Digitaltechnik realisiert, die Interaktion mit der Umgebung (Sensorik) erfolgt jedoch nach wie vor durch Analogkomponenten. Der Entwurf des Analog- Teils ist durch eine hohe Empfindlichkeit gegenüber Parameterschwankungen besonders kritisch und erfordert erheblichen Aufwand zur Verifikation. In sicherheitsrelevanten Systemen, z.B. Automotive, Medizin oder Luftfahrt, sind eine zuverlässige Verifikation und eine verlässliche Modellierung unabdingbar.In diesem Vorhaben soll ein neuartiges Simulationswerkzeug für analoge Schaltungen basierend auf Gebietsarithmetiken entwickelt werden, das die bekannten Analysearten (DC, AC und TR) ermöglicht. Das Werkzeug verwendet eine neue Beschreibung des toleranzbehafteten Parameterraumes durch affine Formen. Die affine Arithmetik erweitert die Intervalldarstellung durch lineare Korrelationsinformationen und gewährleistet sichere Einschlüsse der exakten Ergebnisse durch konservative Approximationen. Der neue Ansatz bietet wesentliche Vorteile beim Entwurf analoger Komponenten: Aus den Simulationsergebnissen lassen sich Informationen zur Verbesserung des Designs ableiten, da Systemgrößen und Parameter über sog. Symbole, die bei der affinen Arithmetik Anwendung finden, in Beziehung stehen. Gleichzeitig ergeben sich neue Möglichkeiten zur Verhaltensmodellierung unter Beibehaltung von Eigenschaften mit Unsicherheiten (verlässliche Modellierung). Einflüsse auf physikalischer Ebene lassen sich auf abstrakte Beschreibungen übertragen und liefern somit bei der Systemsimulation wesentlich bessere Einblicke in das Verhalten des Systems.Der Kern des Werkzeugs ist ein nichtlinearer Gleichungslöser mit Gebietsarithmetiken, der für den Einsatz zur Simulation optimiert ist. Das Werkzeug ist jedoch ebenfalls für den Einsatz in anderen Disziplinen (z.B. mechanische Systeme) geeignet.