{"title":"用量词消除法确定流行病模型的Hopf分岔。","authors":"Mirna Udovicic","doi":"10.5455/aim.2025.33.162-169","DOIUrl":null,"url":null,"abstract":"<p><strong>Background: </strong>An application of a novel method of a quantifier elimination for the SEIS model was presented in this paper. The appearance of the AIDS disease was crucial for developing numerous new epidemic models. We decided to analyse one of these complex models by QE method.</p><p><strong>Objective: </strong>A main aim was to investigate the existence of the Hopf bifurcation for the SEIS model. We have also analysed one complex epidemic model appropriate for AIDS disease by QE method. We applied the <b>SEIR</b> model in order to analyse the early phase of COVID-19 in BiH and different regions in Italy.</p><p><strong>Methods: </strong>The implementation of a new method for quantifier elimination for the theory of real closed fields (a method was implemented in Mathematica).</p><p><strong>Results: </strong>The main result was that the system which describes the SEIS model does not have a Hopf bifurcation for any parameter values for the epidemiological relevant cases.</p><p><strong>Conclusion: </strong>We applied an original implementation of QE method successfully in order to investigate the SEIS model. Considering the application of QE method to a model appropriate for AIDS disease, we were interested in change of the qualitative behaviour of a parametrized system of differential equations.</p>","PeriodicalId":7074,"journal":{"name":"Acta Informatica Medica","volume":"33 2","pages":"162-169"},"PeriodicalIF":0.0000,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12212214/pdf/","citationCount":"0","resultStr":"{\"title\":\"Determining Hopf Bifurcation for Epidemic Model by Quantifier Elimination (QE).\",\"authors\":\"Mirna Udovicic\",\"doi\":\"10.5455/aim.2025.33.162-169\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p><strong>Background: </strong>An application of a novel method of a quantifier elimination for the SEIS model was presented in this paper. The appearance of the AIDS disease was crucial for developing numerous new epidemic models. We decided to analyse one of these complex models by QE method.</p><p><strong>Objective: </strong>A main aim was to investigate the existence of the Hopf bifurcation for the SEIS model. We have also analysed one complex epidemic model appropriate for AIDS disease by QE method. We applied the <b>SEIR</b> model in order to analyse the early phase of COVID-19 in BiH and different regions in Italy.</p><p><strong>Methods: </strong>The implementation of a new method for quantifier elimination for the theory of real closed fields (a method was implemented in Mathematica).</p><p><strong>Results: </strong>The main result was that the system which describes the SEIS model does not have a Hopf bifurcation for any parameter values for the epidemiological relevant cases.</p><p><strong>Conclusion: </strong>We applied an original implementation of QE method successfully in order to investigate the SEIS model. Considering the application of QE method to a model appropriate for AIDS disease, we were interested in change of the qualitative behaviour of a parametrized system of differential equations.</p>\",\"PeriodicalId\":7074,\"journal\":{\"name\":\"Acta Informatica Medica\",\"volume\":\"33 2\",\"pages\":\"162-169\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2025-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12212214/pdf/\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Acta Informatica Medica\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5455/aim.2025.33.162-169\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Medicine\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica Medica","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5455/aim.2025.33.162-169","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Medicine","Score":null,"Total":0}
Determining Hopf Bifurcation for Epidemic Model by Quantifier Elimination (QE).
Background: An application of a novel method of a quantifier elimination for the SEIS model was presented in this paper. The appearance of the AIDS disease was crucial for developing numerous new epidemic models. We decided to analyse one of these complex models by QE method.
Objective: A main aim was to investigate the existence of the Hopf bifurcation for the SEIS model. We have also analysed one complex epidemic model appropriate for AIDS disease by QE method. We applied the SEIR model in order to analyse the early phase of COVID-19 in BiH and different regions in Italy.
Methods: The implementation of a new method for quantifier elimination for the theory of real closed fields (a method was implemented in Mathematica).
Results: The main result was that the system which describes the SEIS model does not have a Hopf bifurcation for any parameter values for the epidemiological relevant cases.
Conclusion: We applied an original implementation of QE method successfully in order to investigate the SEIS model. Considering the application of QE method to a model appropriate for AIDS disease, we were interested in change of the qualitative behaviour of a parametrized system of differential equations.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
