BetWay必威官方网站 (ANU) 澳大利亚信号局 (ASD) 合作伙伴 最近迎来了一批新的荣誉BetWay必威官方网站，他们将从事有潜力解决国家安全挑战的研究.
17 ANU-ASD 合作实验室荣誉资助 2023 年获奖者于 4 月 4 日由BetWay必威官方网站副校长 Brian Schmidt AC 教授和 ASD 第一助理主任 Stephen McGlynn 庆祝.
该奖项适用于从事与 ASD 研究兴趣相关的BetWay必威官方网站荣誉研究项目的澳大利亚本科生, 从语言学和密码学到数学和网络安全.
合作实验室资助金还为BetWay必威官方网站开发项目提供以职业为中心的支持. 将为该群体提供培训和指导, 包括职业发展机会和参加社交活动的机会，这将有助于建立重要的联系以支持他们的早期职业. 到今年年底, BetWay必威官方网站们准备展示和展示他们的研究成果.
2023 年队列将重点关注广泛的跨学科研究主题, 与八名正在BetWay必威官方网站工程学院监督的专业领域攻读荣誉学位的学生, 计算与控制论 (CECC).
我们最近有机会在 ANU-ASD 联合实验室主办的欢迎活动中与该小组见面并了解 CECC 荣誉项目.
我们很高兴看到这些项目的发展, 并了解我们BetWay必威官方网站在这一年中的合作实验室荣誉经历.
安格斯·阿特金森
改进计算机内的垃圾收集
“我正在研究垃圾收集,”安格斯说. “这是编程语言用来跟踪程序正在使用或未使用内存的一种技术, 并在不使用时自动释放它，以便其他程序使用.”
Angus 希望加快当前内存密集型任务的速度.
“垃圾收集的问题在于它非常占用内存. 它涉及遍历程序的整个内存空间来搜索哪些东西指向其他东西并找出正在使用的东西.
“我正在研究如何通过使用软件缓存预取来加速垃圾收集. 目的是告诉计算机在缓存中存储哪些内容. 这样我们需要的东西就在快速内存中, 加快速度.”
尼古拉斯·戴尔
arm64 CPU 中的微架构漏洞带来的风险
“我正在研究硬件级别 CPU 中存在的漏洞,”尼古拉斯说. “通常很难修补的东西，因为它们是芯片中的问题. 基本上, 识别设计缺陷.
“我现在关注的焦点是arm 64 CPU. 例如, 苹果硅的. 这是 CPU 开发中的一个新兴领域, 采用新架构，具有许多其他 CPU 所不具备的特性.
尼古拉斯在他的荣誉项目中提出了几个需要探索的研究问题, 包括审查：“有哪些漏洞? 它们会被利用吗? 这些风险的影响是什么?”
科马克·基克特
移动 CEGAR-Tableaux 来解决新问题, 更复杂的逻辑
Cormac 的研究正在寻求进一步开发一种类似场景的方法，该方法已被证明可以成功地在标准基准上解决模型逻辑问题.
“CEGAR-Tableaux 是一种新型算法，可以非常快速地求解模态逻辑 K, 我几年前创建的. K是最简单的模态逻辑，竞争也最激烈. 所以, CEGAR-Tableaux 是 K 上最快的求解器这一事实使得将其扩展到更难的逻辑的前景充满希望.
“希望我可以扩展它来快速解决非经典逻辑,”科马克说.
“这可以用于计算机验证, 因为你可以将计算机代码制定为公式，看看是否会遇到大错误. 这对于正确性非常有用.”
“如果它可以与其他更难的逻辑一起使用那就太好了, 解决其他更复杂的问题.”
斯特凡·叛逆者
工程遥控器, 长寿命早期丛林火灾探测系统
“作为BetWay必威官方网站丛林火灾计划的一部分, 我的项目是开发一个无线传感器网络，该网络将部署在丛林中以检测丛林大火的早期点燃,”斯特凡说.
Stefan 的研究将集中于澳大利亚偏远地区的长寿命和可持续的工程系统.
“这些丛林火灾传感器需要部署在无法获得电力的偏远地区,”斯特凡说.
“首先, 我将针对传感器限制进行电路板设计. 然后我将完成这些主板的功耗分析. 根据信息, 我的目标是制作一个太阳能电源，以确保它们能够在丛林中生存很长时间.”
乔纳斯·施未林
智能追踪器技术的持续研究
“今年, 我将对特定的智能跟踪品牌进行逆向工程，并确定其使用是否安全,”乔纳斯说.
“这将是BetWay必威官方网站另一个项目的延续，该项目对智能标签和 AirTags 进行了逆向工程. 我们将致力于逆向工程，并最终建立一个检测模型，最大限度地减少安全问题.”
乔纳斯的工作将有助于更好地了解这项日益流行的技术的影响.
“许多人开始更多地使用它们, 有很多不同的公司参与其中. 我们想弄清楚所有这些跟踪器是否可以安全使用，并确定蓝牙技术是否得到正确使用.”
阿什莉·唐
探索修复可重复性危机的方法
“我的荣誉项目正在研究可重复性危机,”阿什利说. “基本上, 科学计算中的代码和结果无法充分重现.”
“我正在看看 Q 有多么不同&论坛 – 例如 Stack Overflow, 数据科学和 AI Exchange – 可以帮助促进和发现我们对可重复性理解的差距.”
Ashley 的项目将检查该技术以及用户的态度和行为, 提出改进建议.
“我正在使用主题建模等自然语言处理分析来揭示此类挑战, 关于如何改进它的讨论和机会.”
“我将通过与开发者的在线调查来了解他们对可重复性以及这些论坛中的代码的看法.”