ShareTrace：使用Actor模型的联系人跟踪
ShareTrace: Contact Tracing with the Actor Model
摘要：
基于邻近度的接触者追踪依赖于移动设备的交互来估计疾病的传播。ShareTrace就是这样一种方法，它通过考虑直接和间接接触形式来提高跟踪疾病传播的效率。在这项工作中，我们利用角色模型来提供一种高效且可扩展的ShareTrace公式，并在临时联系网络上进行异步、并发消息传递。我们还介绍了消息可达性，时间可达性的扩展，占网络拓扑结构和消息传递语义。我们对合成和真实世界接触网络的评估表明，正确的参数值优化了算法的准确性和效率。此外，我们还证明了消息可达性可以准确地估计用户对其联系人构成的风险。
英文摘要：
Proximity-based contact tracing relies on mobile-device interaction to estimate the spread of disease. ShareTrace is one such approach that improves the efficacy of tracking disease spread by considering direct and indirect forms of contact. In this work, we utilize the actor model to provide an efficient and scalable formulation of ShareTrace with asynchronous, concurrent message passing on a temporal contact network. We also introduce message reachability, an extension of temporal reachability that accounts for network topology and message-passing semantics. Our evaluation on both synthetic and real-world contact networks indicates that correct parameter values optimize for algorithmic accuracy and efficiency. In addition, we demonstrate that message reachability can accurately estimate the risk a user poses to their contacts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
