{"title":"流行病学中的量词消除应用。","authors":"Mirna Udovicic","doi":"10.5455/aim.2024.32.71-75","DOIUrl":null,"url":null,"abstract":"<p><strong>Background: </strong>An application of a novel method of a quantifier elimination in epidemiology was presented in this paper.</p><p><strong>Objective: </strong>We investigated the existence of the endemic equilibrium for the SEIRS model by QE method and gave a short review of the epidemic prediction models for covid-19.</p><p><strong>Methods: </strong>A new method for quantifier elimination for the theory of real closed fields.</p><p><strong>Results: </strong>Obtained value of a reproduction number and endemic equilibrium for the SEIRS model by QEAnalysis of the SEIR model with the concrete values through the example of Severe Acute Respiratory Syndrome (SARS) (a critical value of a transmission rate is evaluated in the example).</p><p><strong>Conclusion: </strong>The main result of this paper is the obtained value of the endemic equilibrium for the SEIRS model (similar result is obtained for the SEIR model). Also, we have analysed the SEIR model through the examle of SARS and we reviewed several epidemic prediction models for covid-19.</p>","PeriodicalId":7074,"journal":{"name":"Acta Informatica Medica","volume":"32 1","pages":"71-75"},"PeriodicalIF":0.0000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10997178/pdf/","citationCount":"0","resultStr":"{\"title\":\"Application of Quantifier Elimination in Epidemiology.\",\"authors\":\"Mirna Udovicic\",\"doi\":\"10.5455/aim.2024.32.71-75\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p><strong>Background: </strong>An application of a novel method of a quantifier elimination in epidemiology was presented in this paper.</p><p><strong>Objective: </strong>We investigated the existence of the endemic equilibrium for the SEIRS model by QE method and gave a short review of the epidemic prediction models for covid-19.</p><p><strong>Methods: </strong>A new method for quantifier elimination for the theory of real closed fields.</p><p><strong>Results: </strong>Obtained value of a reproduction number and endemic equilibrium for the SEIRS model by QEAnalysis of the SEIR model with the concrete values through the example of Severe Acute Respiratory Syndrome (SARS) (a critical value of a transmission rate is evaluated in the example).</p><p><strong>Conclusion: </strong>The main result of this paper is the obtained value of the endemic equilibrium for the SEIRS model (similar result is obtained for the SEIR model). Also, we have analysed the SEIR model through the examle of SARS and we reviewed several epidemic prediction models for covid-19.</p>\",\"PeriodicalId\":7074,\"journal\":{\"name\":\"Acta Informatica Medica\",\"volume\":\"32 1\",\"pages\":\"71-75\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10997178/pdf/\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Acta Informatica Medica\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5455/aim.2024.32.71-75\",\"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.2024.32.71-75","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Medicine","Score":null,"Total":0}
Application of Quantifier Elimination in Epidemiology.
Background: An application of a novel method of a quantifier elimination in epidemiology was presented in this paper.
Objective: We investigated the existence of the endemic equilibrium for the SEIRS model by QE method and gave a short review of the epidemic prediction models for covid-19.
Methods: A new method for quantifier elimination for the theory of real closed fields.
Results: Obtained value of a reproduction number and endemic equilibrium for the SEIRS model by QEAnalysis of the SEIR model with the concrete values through the example of Severe Acute Respiratory Syndrome (SARS) (a critical value of a transmission rate is evaluated in the example).
Conclusion: The main result of this paper is the obtained value of the endemic equilibrium for the SEIRS model (similar result is obtained for the SEIR model). Also, we have analysed the SEIR model through the examle of SARS and we reviewed several epidemic prediction models for covid-19.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
