nach oben

Optical and Quantum Electronics

Erschienen in:

01.02.2018

Model pathway diagrams for the representation of mathematical models

verfasst von: Thomas Koprucki, Michael Kohlhase, Karsten Tabelow, Dennis Müller, Florian Rabe

Erschienen in: Optical and Quantum Electronics | Ausgabe 2/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Mathematical models are the foundation of numerical simulation of optoelectronic devices. We present a concept for a machine-actionable as well as human-understandable representation of the mathematical knowledge they contain and the domain-specific knowledge they are based on. We propose to use theory graphs to formalize mathematical models and model pathway diagrams to visualize them. We illustrate our approach by application to the van Roosbroeck system describing the carrier transport in semiconductors by drift and diffusion. We introduce an approach for the block-based composition of models from simpler components.

Vorheriger Artikel Non equilibrium Green’s function quantum transport for green multi-quantum well nitride light emitting diodes

Nächster Artikel Heterostructure modeling considerations for Ge-on-Si waveguide photodetectors

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

See http://www.nusod.org/2017/conf_oqe.html.

See http://www.swmath.org.

See https://www.force11.org.

See http://www.nmp-deepen.eu.

MPD Hub https://github.com/WIAS-BERLIN/MPDHub/wiki/.

Baker, M.: Is there a reproducibility crisis? Nature 533(7604), 452–455 (2016)ADSCrossRef

Bourne, P.E., Clark, T.W., Dale, R., de Waard, A., Herman, I., Hovy, E.H., Shotton, D.: Improving the future of research communications and e-scholarship (Dagstuhl perspectives workshop 11331). Dagstuhl Manif. 1(1), 41–60 (2012). https://doi.org/10.4230/DagMan.1.1.41

Brase, J.: Datacite—a global registration agency for research data. In: Fourth International Conference on Cooperation and Promotion of Information Resources in Science and Technology, COINFO’09, 2009, pp. 257–261. IEEE (2009)

Greuel, G.M., Sperber, W.: swMATH—an information service for mathematical software. In: Hong H., Yap C. (eds.) Proceedings of 4th International Congress on Mathematical Software—ICMS 2014, Seoul, South Korea, 5–9 Aug 2014, pp. 691–701. Springer, Berlin (2014)

Jerome, J.W.: Analysis of Charge Transport. A Mathematical Study of Semiconductor Devices. Springer, Berlin (1996)CrossRef

Kohlhase, M.: OMDoc—An Open Markup Format for Mathematical Documents [Version 1.2]. No. 4180 in LNAI. Springer (2006). http://omdoc.org/pubs/omdoc1.2.pdf. Accessed 13 Sep 2017

Kohlhase, M.: Using

https://static-content.springer.com/image/art%3A10.1007%2Fs11082-018-1321-7/MediaObjects/11082_2018_1321_Figb_HTML.gif

as a Semantic Markup Format. Math. Comput. Sci. 2(2), 279–304 (2008). https://kwarc.info/kohlhase/papers/mcs08-stex.pdf

Kohlhase, M., Koprucki, T., Müller, D., Tabelow, K.: Mathematical models as research data via flexiformal theory graphs. In: Geuvers H., England M., Hasan O., Rabe F., Teschke O. (eds.) Proceedings of 10th International Conference on Intelligent Computer Mathematics, CICM 2017, Lecture Notes in Artificial Intelligence, Edinburgh, UK, 17–21 July 2017, vol. 10383, pp. 224–238. Springer International Publishing, Cham (2017). https://doi.org/10.1007/978-3-319-62075-6_16

Koprucki, T., Tabelow, K.: Mathematical models: a research data category? In: Greuel G.M., Koch T., Paule P., Sommese A. (eds.) Proceedings of 5th International Conference on Mathematical Software—ICMS 2016, Lecture Notes in Computer Science, Berlin, Germany, 11–14 July 2016, vol. 9725, pp. 423–428. Springer International Publishing, Cham (2016). https://doi.org/10.1007/978-3-319-42432-3_53

Koprucki, T., Tabelow, K., Kleinod, I.: Mathematical research data. PAMM 16(1), 959–960 (2016). https://doi.org/10.1002/pamm.201610458 CrossRefMATH

Piprek, J. (ed.): Handbook of Optoelectronic Device Modeling and Simulation. Series in Optics and Optoelectronics. CRC Press, Boca Raton (2017a)

Piprek, J.: NUSOD Blog: How to Get Your Simulation Paper Accepted (2017b). https://nusod.wordpress.com/2017/01/04/how-to-get-your-simulation-paper-accepted/. Accessed 30 March 2017

Rabe, F.: The MMT API: a generic MKM system. In: Carette J., Aspinall D., Lange C., Sojka P., Windsteiger W. (eds.) Intelligent Computer Mathematics, No. 7961 in Lecture Notes in Computer Science, pp. 339–343. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-39320-4

Rabe, F., Kohlhase, M.: A scalable module system. Inf Comput 230, 1–54 (2013). http://kwarc.info/frabe/Research/mmt.pdf

Razum, M., Neumann, J., Hahn, M.: Radar-Ein Forschungsdaten-Repositorium als Dienstleistung für die Wissenschaft. Zeitschrift für Bibliothekswesen und Bibliographie 61(1), 18–27 (2014)CrossRef

Rupprecht, M., Kohlhase, M., Müller, D.: A flexible, interactive theory-graph viewer. In: Kohlhase A., Pollanen M. (eds.) 12th Workshop on Mathematical User Interfaces, MathUI 2017 (2017). http://kwarc.info/kohlhase/papers/mathui17-tgview.pdf

Selberherr, S.: Analysis and Simulation of Semiconductor Devices. Springer, Wien (1984)CrossRef

Stodden, V., Borwein, J., Bailey, D.: Setting the default to reproducible: reproducibility in computational and experimental mathematics. SIAM News 46, 4–6 (2013)

Wilkinson, M.D., Dumontier, M., Aalbersberg, I.J., Appleton, G., Axton, M., Baak, A., Blomberg, N., Boiten, J.W., da Silva Santos, L.B., Bourne, P.E., et al.: The FAIR guiding principles for scientific data management and stewardship. Sci Data 3, 160018 (2016)

Titel: Model pathway diagrams for the representation of mathematical models
verfasst von: Thomas Koprucki
Michael Kohlhase
Karsten Tabelow
Dennis Müller
Florian Rabe
Publikationsdatum: 01.02.2018
Verlag: Springer US
Erschienen in: Optical and Quantum Electronics / Ausgabe 2/2018
Print ISSN: 0306-8919
Elektronische ISSN: 1572-817X
DOI: https://doi.org/10.1007/s11082-018-1321-7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 2/2018

Polarization and p-type doping effects on photoresponse of separate absorption and multiplication AlGaN solar-blind avalanche photodiodes

Failure location mechanism in long-reach PON based on OCDR

A novel time and wavelength interleaved optical pulsed signal for a high resolution photonic analogue to digital converter

Identifying the contributions of multiple-returning recollision orbits in strong-field above-threshold ionization

Confined optical beam-bending for direct connection among cores of different multicore fibers

Comparative analysis of long-haul system based on SSB modulation utilising dual parallel Mach–Zehnder modulators