Wyniki wyszukiwania:

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.

Die mit dem Schuldrechtsmodernisierungsgesetz vollzogene Aufhebung der bislang fur das gesamte Arbeitsrecht geltenden Bereichausnahme in 23 Abs. 1 AGBG a. F. hat die Diskussion um die inhaltliche Abfassung und Auslegung arbeitsvertraglicher Bezugnahmen auf Tarifvertrage neu belebt. Die Arbeit setzt sich daher kritisch mit den Grenzen einer standardisierten Verwendung von Bezugnahmevereinbarungen auseinander und untersucht, inwieweit die im Recht der Allgemeinen Geschaftsbedingungen geltenden Besonderheiten auf die arbeitsvertragliche Inbezugnahme tarifvertraglicher Arbeitsbedingungen...

This work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boundary reduction of elliptic boundary value problems in $mathbb DEGREES3$. The book is self-contained, the prerequisites on elliptic partial differential and integral equations being presented in Chapters 2 and 3. The main focus is on the development, analysis, and implementation of Galerkin boundary element methods, which is one of the most flexible and robust numerical discretization methods for integral equations. For the efficient...

This work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boundary reduction of elliptic boundary value problems in $mathbb DEGREES3$. The book is self-contained, the prerequisites on elliptic partial differential and integral equations being presented in Chapters 2 and 3. The main focus is on the development, analysis, and implementation of Galerkin boundary element methods, which is one of the most flexible and robust numerical discretization methods for integral equations. For the efficient...