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.
fDate :
4/1/2007 12:00:00 AM
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;
Journal_Title :
Magnetics, IEEE Transactions on
DOI :
10.1109/TMAG.2007.892314
