Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics
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
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on magnetics 2007-04, Vol.43 (4), p.1253-1256 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1256 |
|---|---|
| container_issue | 4 |
| container_start_page | 1253 |
| container_title | IEEE transactions on magnetics |
| container_volume | 43 |
| creator | Suuriniemi, S. Kangas, J. Kettunen, L. |
| description | 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 |
| doi_str_mv | 10.1109/TMAG.2007.892314 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_864156249</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4137820</ieee_id><sourcerecordid>2334382311</sourcerecordid><originalsourceid>FETCH-LOGICAL-c383t-eb2358375fee87d9dec090c2d34825abdc17122da9646a42145e1eef0bcc8d53</originalsourceid><addsrcrecordid>eNp9kc2LFDEQxYMoOK7eBS-NoHvqsfLZyXF3cFdhRWTn4ilkkmrJ0pOsSfdB_3rTzLKCB09FUb_3qKpHyGsKW0rBfNh_ubjeMoBhqw3jVDwhG2oE7QGUeUo2AFT3RijxnLyo9a61QlLYkO9XuRzdFH-7OebU5bHb5TQXF6KfY_rR3ealeOy-LS7NcY5YO5dCd5mXFFz5tcIhrsraxbRSNfa3c_Py9SV5Nrqp4quHekb2Vx_3u0_9zdfrz7uLm95zzeceD4xLzQc5IuohmIAeDHgWuNBMukPwdKCMBWeUUE6wtjdSxBEO3usg-Rk5P9nel_xzwTrbY6wep8klzEu1WoOShknTyPf_JbmQWnEODXz7D3jXvpDaEVYrQaViYnWDE-RLrrXgaO9LPLafWAp2TcSuidg1EXtKpEnePfi66t00Fpd8rH91WqmmY417c-IiIj6OBeWDZsD_AMDelFA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>864156249</pqid></control><display><type>article</type><title>Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics</title><source>IEEE Electronic Library (IEL)</source><creator>Suuriniemi, S. ; Kangas, J. ; Kettunen, L.</creator><creatorcontrib>Suuriniemi, S. ; Kangas, J. ; Kettunen, L.</creatorcontrib><description>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</description><identifier>ISSN: 0018-9464</identifier><identifier>EISSN: 1941-0069</identifier><identifier>DOI: 10.1109/TMAG.2007.892314</identifier><identifier>CODEN: IEMGAQ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Boundary conditions ; Boundary value problems ; Consistency ; Cross-disciplinary physics: materials science; rheology ; Electromagnetics ; Electrostatics ; Exact sciences and technology ; Face detection ; Gaussian processes ; Homology ; Insulation ; Integral equations ; Magnetism ; Materials science ; Mathematical analysis ; Maxwell equations ; Other topics in materials science ; Physics ; quasi-static boundary value problem (BVP) ; Software systems ; source quantity</subject><ispartof>IEEE transactions on magnetics, 2007-04, Vol.43 (4), p.1253-1256</ispartof><rights>2007 INIST-CNRS</rights><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2007</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c383t-eb2358375fee87d9dec090c2d34825abdc17122da9646a42145e1eef0bcc8d53</citedby><cites>FETCH-LOGICAL-c383t-eb2358375fee87d9dec090c2d34825abdc17122da9646a42145e1eef0bcc8d53</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4137820$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,314,780,784,789,790,796,23930,23931,25140,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4137820$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=18661092$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Suuriniemi, S.</creatorcontrib><creatorcontrib>Kangas, J.</creatorcontrib><creatorcontrib>Kettunen, L.</creatorcontrib><title>Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics</title><title>IEEE transactions on magnetics</title><addtitle>TMAG</addtitle><description>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</description><subject>Boundary conditions</subject><subject>Boundary value problems</subject><subject>Consistency</subject><subject>Cross-disciplinary physics: materials science; rheology</subject><subject>Electromagnetics</subject><subject>Electrostatics</subject><subject>Exact sciences and technology</subject><subject>Face detection</subject><subject>Gaussian processes</subject><subject>Homology</subject><subject>Insulation</subject><subject>Integral equations</subject><subject>Magnetism</subject><subject>Materials science</subject><subject>Mathematical analysis</subject><subject>Maxwell equations</subject><subject>Other topics in materials science</subject><subject>Physics</subject><subject>quasi-static boundary value problem (BVP)</subject><subject>Software systems</subject><subject>source quantity</subject><issn>0018-9464</issn><issn>1941-0069</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNp9kc2LFDEQxYMoOK7eBS-NoHvqsfLZyXF3cFdhRWTn4ilkkmrJ0pOsSfdB_3rTzLKCB09FUb_3qKpHyGsKW0rBfNh_ubjeMoBhqw3jVDwhG2oE7QGUeUo2AFT3RijxnLyo9a61QlLYkO9XuRzdFH-7OebU5bHb5TQXF6KfY_rR3ealeOy-LS7NcY5YO5dCd5mXFFz5tcIhrsraxbRSNfa3c_Py9SV5Nrqp4quHekb2Vx_3u0_9zdfrz7uLm95zzeceD4xLzQc5IuohmIAeDHgWuNBMukPwdKCMBWeUUE6wtjdSxBEO3usg-Rk5P9nel_xzwTrbY6wep8klzEu1WoOShknTyPf_JbmQWnEODXz7D3jXvpDaEVYrQaViYnWDE-RLrrXgaO9LPLafWAp2TcSuidg1EXtKpEnePfi66t00Fpd8rH91WqmmY417c-IiIj6OBeWDZsD_AMDelFA</recordid><startdate>20070401</startdate><enddate>20070401</enddate><creator>Suuriniemi, S.</creator><creator>Kangas, J.</creator><creator>Kettunen, L.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SP</scope><scope>7U5</scope><scope>8BQ</scope><scope>8FD</scope><scope>JG9</scope><scope>L7M</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>20070401</creationdate><title>Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics</title><author>Suuriniemi, S. ; Kangas, J. ; Kettunen, L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c383t-eb2358375fee87d9dec090c2d34825abdc17122da9646a42145e1eef0bcc8d53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Boundary conditions</topic><topic>Boundary value problems</topic><topic>Consistency</topic><topic>Cross-disciplinary physics: materials science; rheology</topic><topic>Electromagnetics</topic><topic>Electrostatics</topic><topic>Exact sciences and technology</topic><topic>Face detection</topic><topic>Gaussian processes</topic><topic>Homology</topic><topic>Insulation</topic><topic>Integral equations</topic><topic>Magnetism</topic><topic>Materials science</topic><topic>Mathematical analysis</topic><topic>Maxwell equations</topic><topic>Other topics in materials science</topic><topic>Physics</topic><topic>quasi-static boundary value problem (BVP)</topic><topic>Software systems</topic><topic>source quantity</topic><toplevel>online_resources</toplevel><creatorcontrib>Suuriniemi, S.</creatorcontrib><creatorcontrib>Kangas, J.</creatorcontrib><creatorcontrib>Kettunen, L.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Electronics & Communications Abstracts</collection><collection>Solid State and Superconductivity Abstracts</collection><collection>METADEX</collection><collection>Technology Research Database</collection><collection>Materials Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on magnetics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Suuriniemi, S.</au><au>Kangas, J.</au><au>Kettunen, L.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics</atitle><jtitle>IEEE transactions on magnetics</jtitle><stitle>TMAG</stitle><date>2007-04-01</date><risdate>2007</risdate><volume>43</volume><issue>4</issue><spage>1253</spage><epage>1256</epage><pages>1253-1256</pages><issn>0018-9464</issn><eissn>1941-0069</eissn><coden>IEMGAQ</coden><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</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/TMAG.2007.892314</doi><tpages>4</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9464 |
| ispartof | IEEE transactions on magnetics, 2007-04, Vol.43 (4), p.1253-1256 |
| issn | 0018-9464 1941-0069 |
| language | eng |
| recordid | cdi_proquest_journals_864156249 |
| source | IEEE Electronic Library (IEL) |
| subjects | Boundary conditions Boundary value problems Consistency Cross-disciplinary physics: materials science rheology Electromagnetics Electrostatics Exact sciences and technology Face detection Gaussian processes Homology Insulation Integral equations Magnetism Materials science Mathematical analysis Maxwell equations Other topics in materials science Physics quasi-static boundary value problem (BVP) Software systems source quantity |
| title | Formalization of Contradicting Source Quantities and Boundary Conditions in Quasi-Statics |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-07T00%3A25%3A06IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formalization%20of%20Contradicting%20Source%20Quantities%20and%20Boundary%20Conditions%20in%20Quasi-Statics&rft.jtitle=IEEE%20transactions%20on%20magnetics&rft.au=Suuriniemi,%20S.&rft.date=2007-04-01&rft.volume=43&rft.issue=4&rft.spage=1253&rft.epage=1256&rft.pages=1253-1256&rft.issn=0018-9464&rft.eissn=1941-0069&rft.coden=IEMGAQ&rft_id=info:doi/10.1109/TMAG.2007.892314&rft_dat=%3Cproquest_RIE%3E2334382311%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=864156249&rft_id=info:pmid/&rft_ieee_id=4137820&rfr_iscdi=true |