发布时间：2024-06-17 15:48:12 栏目：教育
随着物联网 (IoT) 变得越来越大、越来越复杂，开发应用程序变得越来越困难。
莱斯大学计算机科学助理教授康斯坦丁诺斯·马穆拉斯 (Konstantinos Mamouras) 表示：“解决这个问题的常用方法是将数据从传感设备移动到云端等中心位置进行处理。但这种集中式方法没有充分利用网络边缘的小型物联网设备，而且由于数据移动量大，可能会使网络不堪重负。”
马穆拉斯获得了为期五年、价值 547,555 美元的国家科学基金会职业奖，他的目标是实现物联网的去中心化、缓解网络拥堵并提高整体效率。他的提案名为“物联网应用开发的编程抽象和形式推理”。
美国国家科学基金会每年颁发约 500 个 CAREER 奖，以支持“有潜力成为研究和教育领域的学术榜样并引领其部门或组织使命进步的早期职业教师”。 Mamouras 是今年第四位获得 CAREER 奖的莱斯工程学院教师。
物联网是由设备、车辆、电器和其他物体组成的网络，这些物体内嵌了互联的传感器和软件，可以收集和共享数据。物联网在医疗保健、汽车、家庭自动化、制造业和农业领域有着广泛的应用。
“将更多的计算放在边缘或靠近生成数据的小型设备可以更有效地利用基础设施，但这种方法受到系统复杂性的限制，”Mamouras 说。“编程任务是一项艰巨的任务，需要嵌入式编程、网络协议和分布式计算方面的深厚专业知识。”
Mamouras 教授 COMP 418“物联网编程与数据分析”课程，他表示计划引入新颖的编程技术，让物联网应用更高效、更可靠。新的高级编程抽象和语言将允许物联网程序员表达复杂的多设备应用逻辑。
“我们计划创建形式化推理技术，以确定应用程序是否遵守正确性属性和资源消耗限制，”他说。“运行时系统将管理应用程序的可靠部署和高效执行。”
CAREER 奖还将使 Mamouras 能够开发针对本科生和研究生的教育材料以及针对非专业物联网爱好者的软件工具和学习资源。
马穆拉斯于 2015 年获得康奈尔大学计算机科学博士学位，随后在宾夕法尼亚大学从事博士后研究。他于 2018 年加入莱斯大学任教。⎯
免责声明：本文由用户上传，如有侵权请联系删除！
