发展中国家疟疾监测数据模型的形式化规约

Emmanuel Tuyishimire

发展中国家疟疾监测数据模型的形式化规约

计算工程、金融与科学 2024-04-30 v1 计算机与社会

作者: Emmanuel Tuyishimire

摘要

第四次工业革命(4IR)与COVID-19大流行共同强烈呼吁诊断流程的数字化。世界现已确信，对疟疾等长期存在的疾病进行诊断数字化，对于更高效的治疗和控制至关重要。人们已经看到，疟疾控制将极大受益于其诊断流程（如数据收集）的数字化。在本文中，我们提出了一种数字数据收集系统的架构，以及如何利用该系统收集疟疾意识数据。该系统使用Z符号进行形式化规约，并基于系统的能力，定义了可能的疟疾决定因素，并讨论了其检索机制。

关键词

形式化规约数据模型疟疾监测数字化诊断 Z符号数据收集系统

引用

@article{arxiv.2404.17859,
  title  = {A Formal Specification of a Data Model for Malaria Surveillance in the Developing World},
  author = {Emmanuel Tuyishimire},
  journal= {arXiv preprint arXiv:2404.17859},
  year   = {2024}
}

备注

This paper has been accepted at 2024 The 7th International Conference on Information and Computer Technologies. Due to funding constraints, the paper cannot be published

发展中国家疟疾监测数据模型的形式化规约

摘要

关键词

引用

备注

相关论文