新西兰奥克兰大学全奖博士招生

新西兰奥克兰大学电气，软件和计算机工程系 Partha Roop教授招收CSC博士

感兴趣的同学直接给他发email：p.roop@auckland.ac.nz

他的University Profile：https://profiles.auckland.ac.nz/p-roop/

项目1

人类心脏的新型数字双胞胎（芯片上的个性化心脏）

（与英国保险协会Mark Trew博士联合）

我们与奥克兰生物工程研究所（ABI）联合设计了一种用于验证起搏器的芯片上心脏。该HoC使用心脏传导系统的正式模型以及使用硬件/软件代码设计将这些模型转换为嵌入式系统的工具进行设计。这些模型基于心脏传导系统的通用模型。这些模型是参数化的，具有个性化的潜力。在这个项目中，我们将使用智能手表等配备ECG/PPG传感器的可穿戴设备的数据对这些型号进行个性化设置。通过整理这些设备的数据，我们将开发个性化这些模型的方法。为了使HoC成为数字双胞胎，该模型将持续与可穿戴设备交互，并将生成的心电图与可穿戴的心电图进行比较。参数化将首先是静态的，随后是动态的和连续的，直到两个信号在某个小误差阈值内。从设计个性化起搏器和其他ICD设备的角度来看，这种数字双胞胎将具有巨大的价值，专门针对特定的人类，可以更有效地治疗疾病。这项工作将与一些起搏器公司和Mathworks联合开展（合作协议正在讨论中）。

项目2

新型自动驾驶汽车设计范式：将机器学习与形式化方法相结合

（与Avinash Malik博士和Prakash Ranjitkar博士共同）

简介自动驾驶汽车需要高保证的安全性和时间保证。他们在决策中严重依赖机器学习算法。这些算法虽然非常聪明和高效，但缺乏形式语义，尤其是当几个算法组成一个整体系统时。此外，系统的时序可能是不确定的，这对于安全关键系统来说是适得其反的。在这个项目中，我们试图将机器学习与形式化方法相结合，以解决这些缺点。我们希望使用机器学习来确定一组合适的策略/属性，这将有助于系统的形式化分析。将同时考虑静态和运行时验证技术

转自：“科研doge”微信公众号

如有侵权，请联系本站删除！