{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:08:12Z","timestamp":1759838892127,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030406158"},{"type":"electronic","value":"9783030406165"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40616-5_31","type":"book-chapter","created":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T11:02:59Z","timestamp":1581591779000},"page":"362-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["A Simulink-Based Infinity Computer Simulator and Some Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2660-1432","authenticated-orcid":false,"given":"Alberto","family":"Falcone","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0351-0869","authenticated-orcid":false,"given":"Alfredo","family":"Garro","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9305-964X","authenticated-orcid":false,"given":"Marat S.","family":"Mukhametzhanov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1429-069X","authenticated-orcid":false,"given":"Yaroslav D.","family":"Sergeyev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,14]]},"reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.matcom.2016.03.007","volume":"141","author":"P Amodio","year":"2016","unstructured":"Amodio, P., Iavernaro, F., Mazzia, F., Mukhametzhanov, M.S., Sergeyev, Y.D.: A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic. Math. Comput. Simul. 141, 24\u201339 (2016)","journal-title":"Math. Comput. Simul."},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-319-26109-6_13","volume-title":"Complex Systems Design & Management","author":"Paolo Bocciarelli","year":"2015","unstructured":"Bocciarelli, P., D\u2019Ambrogio, A., Falcone, A., Garro, A., Giglio, A.: A model-driven approach to enable the distributed simulation of complex systems. In: Complex Systems Design & Management, Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris, France, 23\u201325 November 2015, pp. 171\u2013183 (2015). https:\/\/doi.org\/10.1007\/978-3-319-26109-6_13"},{"issue":"12","key":"31_CR3","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.1177\/0037549719829828","volume":"95","author":"Paolo Bocciarelli","year":"2019","unstructured":"Bocciarelli, P., D\u2019Ambrogio, A., Falcone, A., Garro, A., Giglio, A.: A model-driven approach to enable the simulation of complex systems on distributed architectures. In: SIMULATION: Transactions of the Society for Modeling and Simulation International (2018, in Press). https:\/\/doi.org\/10.1177\/0037549719829828","journal-title":"SIMULATION"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Calude, C., Dumitrescu, M.: Infinitesimal probabilities based on grossone. Report CDMTCS-536, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand (2019)","DOI":"10.1007\/s42979-019-0042-8"},{"key":"31_CR5","first-page":"298","volume":"318","author":"M Cococcioni","year":"2018","unstructured":"Cococcioni, M., Pappalardo, M., Sergeyev, Y.D.: Lexicographic multiobjective linear programming using grossone methodology: theory and algorithm. Appl. Math. Comput. 318, 298\u2013311 (2018)","journal-title":"Appl. Math. Comput."},{"key":"31_CR6","first-page":"290","volume":"318","author":"R Leone De","year":"2018","unstructured":"De Leone, R.: Nonlinear programming and grossone: quadratic programming and the role of constraint qualifications. Appl. Math. Comput. 318, 290\u2013297 (2018)","journal-title":"Appl. Math. Comput."},{"issue":"1","key":"31_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10589-017-9957-y","volume":"71","author":"R Leone De","year":"2018","unstructured":"De Leone, R., Fasano, G., Sergeyev, Y.D.: Planar methods and grossone for the conjugate gradient breakdown in nonlinear programming. Comput. Optim. Appl. 71(1), 73\u201393 (2018)","journal-title":"Comput. Optim. Appl."},{"key":"31_CR8","unstructured":"Falcone, A., Garro, A.: Using the HLA standard in the context of an international simulation project: the experience of the \u201cSMASHTeam\u201d. In: 15th International Conference on Modeling and Applied Simulation, MAS 2016, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2016, Larnaca, Cyprus, 26\u201328 September 2016, pp. 121\u2013129. Dime University of Genoa (2016)"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Falcone, A., Garro, A., Anagnostou, A., Taylor, S.J.E.: An introduction to developing federations with the high level architecture (HLA). In: 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, 3\u20136 December 2017, pp. 617\u2013631 (2017)","DOI":"10.1109\/WSC.2017.8247820"},{"key":"31_CR10","doi-asserted-by":"publisher","unstructured":"Falcone, A., Garro, A., D\u2019Ambrogio, A., Giglio, A.: Engineering systems by combining BPMN and HLA-based distributed simulation. In: 2017 IEEE International Conference on Systems Engineering Symposium, ISSE 2017, Vienna, Austria, 11\u201313 October 2017, pp. 1\u20136. Institute of Electrical and Electronics Engineers Inc. (2017). https:\/\/doi.org\/10.1109\/SysEng.2017.8088302","DOI":"10.1109\/SysEng.2017.8088302"},{"key":"31_CR11","doi-asserted-by":"publisher","unstructured":"Falcone, A., Garro, A., Taylor, S.J.E., Anagnostou, A.: Simplifying the development of hla-based distributed simulations with the HLA development kit software framework (DKF). In: 21st IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017, Rome, Italy, 18\u201320 October 2017, pp. 216\u2013217 (2017). https:\/\/doi.org\/10.1109\/DISTRA.2017.8167691","DOI":"10.1109\/DISTRA.2017.8167691"},{"key":"31_CR12","unstructured":"Falcone, A., Garro, A., Tundis, A.: Modeling and simulation for the performance evaluation of the on-board communication system of a metro train. In: 13th International Conference on Modeling and Applied Simulation, MAS 2014, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2014, Bordeaux, France, 10\u201312 September 2014, pp. 20\u201329. Dime University of Genoa (2014)"},{"key":"31_CR13","first-page":"312","volume":"318","author":"M Gaudioso","year":"2018","unstructured":"Gaudioso, M., Giallombardo, G., Mukhametzhanov, M.S.: Numerical infinitesimals in a variable metric method for convex nonsmooth optimization. Appl. Math. Comput. 318, 312\u2013320 (2018)","journal-title":"Appl. Math. Comput."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Iavernaro, F., Mazzia, F., Mukhametzhanov, M.S., Sergeyev, Y.D.: Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the Infinity Computer. Preprint submitted in Archiv: https:\/\/arxiv.org\/abs\/1807.10952 (2018)","DOI":"10.1016\/j.apnum.2019.06.011"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Kvasov, D.E., Mukhametzhanov, M.S., Sergeyev, Y.D.: Ill-conditioning provoked by scaling in univariate global optimization and its handling on the Infinity Computer. In: AIP Conference Proceedings, vol. 2070, p. 20011 (2019)","DOI":"10.1063\/1.5089978"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Mazzia, F., Sergeyev, Y.D., Iavernaro, F., Amodio, P., Mukhametzhanov, M.S.: Numerical methods for solving ODEs on the Infinity Computer. In: AIP Conference Proceedings, New York, vol. 1776, p. 090033 (2016)","DOI":"10.1063\/1.4965397"},{"key":"31_CR17","doi-asserted-by":"publisher","unstructured":"M\u00f6ller, B., Garro, A., Falcone, A., Crues, E.Z., Dexter, D.E.: On the execution control of HLA federations using the SISO space reference FOM. In: 21st IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017, Rome, Italy, 18\u201320 October 2017, pp. 75\u201382. Institute of Electrical and Electronics Engineers Inc. (2017). https:\/\/doi.org\/10.1109\/DISTRA.2017.8167669","DOI":"10.1109\/DISTRA.2017.8167669"},{"issue":"3","key":"31_CR18","first-page":"375","volume":"26","author":"D Rizza","year":"2018","unstructured":"Rizza, D.: A study of mathematical determination through Bertrand\u2019s paradox. Comput. Optim. Appl. 26(3), 375\u2013395 (2018)","journal-title":"Comput. Optim. Appl."},{"key":"31_CR19","unstructured":"Sergeyev, Y.D.: Computer system for storing infinite, infinitesimal, and finite quantities and executing arithmetical operations with them. USA patent 7,860,914 (2010), EU patent 1728149 (2009), RF patent 2395111 (2010)"},{"key":"31_CR20","unstructured":"Sergeyev, Y.D.: Arithmetic of Infinity. Edizioni Orizzonti Meridionali, CS (2003). 2nd edn. (2013)"},{"issue":"12","key":"31_CR21","doi-asserted-by":"publisher","first-page":"e1688","DOI":"10.1016\/j.na.2009.02.030","volume":"71","author":"YD Sergeyev","year":"2009","unstructured":"Sergeyev, Y.D.: Numerical point of view on Calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains. Nonlinear Anal. Ser. A: Theory Methods Appl. 71(12), e1688\u2013e1707 (2009)","journal-title":"Nonlinear Anal. Ser. A: Theory Methods Appl."},{"issue":"4","key":"31_CR22","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/s11590-010-0221-y","volume":"5","author":"YD Sergeyev","year":"2011","unstructured":"Sergeyev, Y.D.: Higher order numerical differentiation on the Infinity Computer. Optim. Lett. 5(4), 575\u2013585 (2011)","journal-title":"Optim. Lett."},{"issue":"3","key":"31_CR23","doi-asserted-by":"crossref","first-page":"425","DOI":"10.15388\/Informatica.2010.298","volume":"21","author":"YD Sergeyev","year":"2010","unstructured":"Sergeyev, Y.D., Garro, A.: Observability of turing machines: a refinement of the theory of computation. Informatica 21(3), 425\u2013454 (2010)","journal-title":"Informatica"},{"issue":"2","key":"31_CR24","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s11227-013-0894-y","volume":"65","author":"YD Sergeyev","year":"2013","unstructured":"Sergeyev, Y.D., Garro, A.: Single-tape and multi-tape Turing machines through the lens of the grossone methodology. J. Supercomput. 65(2), 645\u2013663 (2013)","journal-title":"J. Supercomput."},{"key":"31_CR25","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/j.cnsns.2017.11.013","volume":"59","author":"YD Sergeyev","year":"2018","unstructured":"Sergeyev, Y.D., Kvasov, D.E., Mukhametzhanov, M.S.: On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales. Commun. Nonlinear Sci. Numer. Simul. 59, 319\u2013330 (2018)","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"issue":"1","key":"31_CR26","first-page":"3","volume":"12","author":"YD Sergeyev","year":"2016","unstructured":"Sergeyev, Y.D., Mukhametzhanov, M.S., Mazzia, F., Iavernaro, F., Amodio, P.: Numerical methods for solving initial value problems on the Infinity Computer. Int. J. Unconv. Comput. 12(1), 3\u201323 (2016)","journal-title":"Int. J. Unconv. Comput."},{"key":"31_CR27","doi-asserted-by":"publisher","first-page":"219","DOI":"10.4171\/EMSS\/4-2-3","volume":"4","author":"YD Sergeyev","year":"2017","unstructured":"Sergeyev, Y.D.: Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems. EMS Surv. Math. Sci. 4, 219\u2013320 (2017)","journal-title":"EMS Surv. Math. Sci."}],"container-title":["Lecture Notes in Computer Science","Numerical Computations: Theory and Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40616-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T08:23:01Z","timestamp":1614414181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40616-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030406158","9783030406165"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40616-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NUMTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Numerical Computations: Theory and Algorithms","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crotone","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"numta2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/si.deis.unical.it\/~yaro\/numta2019\/index.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}