DocumentCode
753424
Title
Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics
Author
Suuriniemi, Saku ; Kangas, Jari ; Kettunen, Lauri
Author_Institution
Inst. of Electromagn., Tampere Univ. of Technol.
Volume
43
Issue
4
fYear
2007
fDate
4/1/2007 12:00:00 AM
Firstpage
1253
Lastpage
1256
Abstract
In this paper, we propose a formalization of contradicting source quantities and boundary values in quasi-static electromagnetic boundary value problems (BVPs). The question is recast in terms of relative homology, and a procedure for systematic contradiction detection is proposed
Keywords
boundary-value problems; electrostatics; boundary value problems; quasistatic electromagnetics; relative homology; source quantity; Boundary conditions; Boundary value problems; Electromagnetics; Electrostatics; Face detection; Gaussian processes; Insulation; Integral equations; Maxwell equations; Software systems; Consistency; homology; quasi-static boundary value problem (BVP); source quantity;
fLanguage
English
Journal_Title
Magnetics, IEEE Transactions on
Publisher
ieee
ISSN
0018-9464
Type
jour
DOI
10.1109/TMAG.2007.892314
Filename
4137820
Link To Document