SHF: Small: Software and Hardware Support for Robust Deep Learning
SHF:小型:强大深度学习的软件和硬件支持
基本信息
- 批准号:2301334
- 负责人:
- 金额:$ 20万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-03-01 至 2026-02-28
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Deep neural networks have made unprecedented strides in recent years, making them a ubiquitous component of any modern computing system. Deep neural networks and their hardware will be commonplace in future in various systems ranging from simple tasks to safety and security-critical systems. Therefore, it is imperative to have specialized support to improve the robustness of deep neural network models so that users and developers can trust the predictions provided by those models. Towards that end, this project presents novel algorithms for robust deep neural networks.The project aims at ensuring robust operations of deep neural networks. The project, called GuardiaNN, has two components - dynamic monitoring schemes and testing schemes. The goal of dynamic monitoring is to determine whether a deep neural network model can misbehave during inference at a production setting. Two novel monitoring algorithms are considered in this project - neuron pattern and model-based monitoring. Neuron pattern-based schemes work by first extracting simple neuron activation patterns and then, later at runtime, checking whether those patterns are satisfied or not. Model-based schemes work by first determining a minimal set of data points to monitor and then, using an advanced model to detect if those data points show any anomalous pattern or not. The goal of testing schemes is to determine how the model might behave in corner case scenarios. Testing allows users to explore the behavior of the model without understanding the internal details of the model. Together the monitoring and testing approaches will provide trust in deep neural network operations.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
近年来,深度神经网络取得了前所未有的进步,使其成为任何现代计算系统中无处不在的组件。深度神经网络及其硬件将在未来的各种系统中司空见惯,从简单的任务到安全和安全关键系统。因此,有必要提供专门的支持来提高深度神经网络模型的鲁棒性,以便用户和开发人员可以信任这些模型提供的预测。为此,该项目提出了鲁棒深度神经网络的新算法。该项目旨在确保深度神经网络的鲁棒操作。该项目名为GuardiaNN,有两个组成部分-动态监测计划和测试计划。动态监控的目标是确定深度神经网络模型在生产环境下的推理过程中是否会出现错误行为。 两个新的监测算法被认为是在这个项目中-神经元模式和基于模型的监测。基于神经元模式的方案首先提取简单的神经元激活模式,然后在运行时检查这些模式是否满足。基于模型的方案首先确定要监视的最小数据点集,然后使用高级模型来检测这些数据点是否显示任何异常模式。测试方案的目标是确定模型在极端情况下的行为。测试允许用户探索模型的行为,而无需了解模型的内部细节。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Abdullah Muzahid其他文献
Abdullah Muzahid的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Abdullah Muzahid', 18)}}的其他基金
SPX: Collaborative Research: NG4S: A Next-generation Geo-distributed Scalable Stateful Stream Processing System
SPX:合作研究:NG4S:下一代地理分布式可扩展状态流处理系统
- 批准号:
1919181 - 财政年份:2019
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CAREER: A Dynamic Program Monitoring Framework Using Neural Network Hardware
职业:使用神经网络硬件的动态程序监控框架
- 批准号:
1931078 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
CAREER: A Dynamic Program Monitoring Framework Using Neural Network Hardware
职业:使用神经网络硬件的动态程序监控框架
- 批准号:
1652655 - 财政年份:2017
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
SHF: Small: Novel Techniques for Handling Memory Model Bugs
SHF:小:处理内存模型错误的新技术
- 批准号:
1319983 - 财政年份:2013
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
- 批准号:
2400014 - 财政年份:2024
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation Systems
SHF:小型:基于深度学习的推荐系统的隐私保护软硬件协同设计
- 批准号:
2334628 - 财政年份:2024
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR:SHF:小型:并发软件的基于场景的形式化证明
- 批准号:
2315363 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Improving Efficiency of Vision Transformers via Software-Hardware Co-Design and Acceleration
SHF:小型:通过软硬件协同设计和加速提高视觉变压器的效率
- 批准号:
2233893 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification
协作研究:SHF:小型:RUI:Keystone:模块化并发软件验证
- 批准号:
2243636 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification
协作研究:SHF:小型:RUI:Keystone:模块化并发软件验证
- 批准号:
2243637 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and Testing
协作研究:SHF:小型:迈向可变性感知软件分析和测试
- 批准号:
2211589 - 财政年份:2022
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Toward Fully Automated Formal Software Verification
SHF:小型:迈向全自动形式软件验证
- 批准号:
2210243 - 财政年份:2022
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Distributed Fragmented Software Design Meetings
协作研究:SHF:小型:分布式碎片化软件设计会议
- 批准号:
2210812 - 财政年份:2022
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: INCA: Incremental Analysis of Software Specification for Evolving Systems
SHF:小型:INCA:不断发展的系统软件规范的增量分析
- 批准号:
2204536 - 财政年份:2022
- 资助金额:
$ 20万 - 项目类别:
Standard Grant