EAGER: Improving Robustness of Numerical Software
EAGER:提高数值软件的鲁棒性
基本信息
- 批准号:1349666
- 负责人:
- 金额:$ 10万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2013
- 资助国家:美国
- 起止时间:2013-10-01 至 2016-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Numerical software is increasingly playing a critical role in society, and thus numerical errors in software can have disastrous consequences. However, it is very difficult to test numerical software, and numerical errors are hard to detect because they may not necessarily result in system crashes. There is a strong need for effective and practical techniques or tools to detect and prevent such errors and improve robustness of numerical software.This project explores novel and practical techniques for testing and analyzing numerical software to detect numerical errors in order to improve its robustness. In particular, this project carries out a set of preliminary research tasks to demonstrate the feasibility of the techniques, including developing an initial public repository of numeric constraints and exploring techniques to guide, optimize, and use parallel path exploration in symbolic execution. The research in this project enhances the infrastructure for teaching and research by providing open source tools and data sets for use by students and practitioners, and for enhancement by other researchers.
数值软件在社会中发挥着越来越重要的作用,因此软件中的数值错误可能会带来灾难性的后果。然而,测试数值软件非常困难,而且数值错误也很难被发现,因为它们不一定会导致系统崩溃。迫切需要有效且实用的技术或工具来检测和防止此类错误并提高数值软件的鲁棒性。该项目探索用于测试和分析数值软件的新颖且实用的技术,以检测数值错误以提高其鲁棒性。特别是,该项目开展了一系列初步研究任务,以证明这些技术的可行性,包括开发数字约束的初始公共存储库,以及探索在符号执行中指导、优化和使用并行路径探索的技术。该项目的研究通过提供开源工具和数据集供学生和从业者使用以及其他研究人员的增强来增强教学和研究的基础设施。
项目成果
期刊论文数量(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 }}
Tao Xie其他文献
Mechanism of Ni-catalyzed selective C-O cleavage of lignin model compound benzyl phenyl ether under mild conditions
温和条件下镍催化木质素模型化合物苄基苯基醚选择性C-O裂解机理
- DOI:
10.1016/j.joei.2017.11.004 - 发表时间:
2019 - 期刊:
- 影响因子:5.7
- 作者:
Chen Zhu;Jing-Pei Cao;Xiao-Yan Zhao;Tao Xie;Jie Ren;Xian-Yong Wei - 通讯作者:
Xian-Yong Wei
Myc rearrangement and concurrent high protein expression of C-Myc/Bcl2 carry an adverse prognosis in diffuse large B-cell lymphoma.
Myc 重排和 C-Myc/Bcl2 并发高蛋白表达在弥漫性大 B 细胞淋巴瘤中带来不良预后。
- DOI:
10.1016/j.anndiagpath.2023.152165 - 发表时间:
2023 - 期刊:
- 影响因子:2
- 作者:
Xingyu Wang;Juan He;Hong;Yuhan Shuai;Lixin Wang;Yuanxin Li;Ying Huang;Kuai Yu;Min Zhao;Tao Xie;Dan Li - 通讯作者:
Dan Li
Performance investigation of piezoaeroelastic energy harvester with trailing-edge flap
后缘襟翼压电气动弹性能量采集器的性能研究
- DOI:
10.1016/j.sna.2021.113345 - 发表时间:
2021-12 - 期刊:
- 影响因子:0
- 作者:
Haigang Tian;Xiaobiao Shan;Jubin Zhang;Guangdong Sui;Tao Xie - 通讯作者:
Tao Xie
On the security of PPPoE network
浅谈PPPoE网络的安全性
- DOI:
10.1002/sec.512 - 发表时间:
2012-10 - 期刊:
- 影响因子:0
- 作者:
Fanbao Liu;Tao Xie;Yumeng Feng;Dengguo Feng - 通讯作者:
Dengguo Feng
A new sensor inspired by the lateral-line system of fish using the self-powered d33 mode piezoelectric diaphragm for hydrodynamic sensing
受鱼类侧线系统启发的新型传感器,使用自供电 d33 模式压电隔膜进行流体动力传感
- DOI:
10.1016/j.ymssp.2019.106476 - 发表时间:
2020-07 - 期刊:
- 影响因子:8.4
- 作者:
Xingxu Zhang;Xiaobiao Shan;Tao Xie;Jianmin Miao - 通讯作者:
Jianmin Miao
Tao Xie的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Tao Xie', 18)}}的其他基金
CSR: Small: Decoupling File System from Volatile Main Memory: A First Step towards a Single-Level Persistent Store
CSR:小:将文件系统与易失性主内存解耦:迈向单级持久存储的第一步
- 批准号:
1813485 - 财政年份:2018
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
TWC: Medium: Collaborative: Improving Mobile-Application Security via Text Analytics
TWC:媒介:协作:通过文本分析提高移动应用程序安全性
- 批准号:
1513939 - 财政年份:2015
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
CAREER: Cooperative Developer Testing with Test Intentions
职业:具有测试意图的合作开发人员测试
- 批准号:
1434596 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
CSR: Small: A Device-Array Based Flash Storage System for Emerging Data-Intensive and Mission-Critical Mobile Applications: from Architecture Redesign to New File System
CSR:小型:基于设备阵列的闪存存储系统,适用于新兴数据密集型和任务关键型移动应用:从架构重新设计到新文件系统
- 批准号:
1320738 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
TWC:小型:协作:基于相似性的程序分析以消除漏洞
- 批准号:
1318419 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
TWC:小型:协作:基于相似性的程序分析以消除漏洞
- 批准号:
1434582 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
协作研究:II-EN:软件测试研究的基础设施支持
- 批准号:
1439481 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
SHF: Small: Collaborative Research: Constraint-Based Generation of Database States for Testing Database Applications
SHF:小型:协作研究:基于约束的数据库状态生成,用于测试数据库应用程序
- 批准号:
1434590 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
协作研究:II-EN:软件测试研究的基础设施支持
- 批准号:
0958235 - 财政年份:2010
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
CAREER: Architectural Support for Integrating NAND Flash Solid State Disks into Enterprise-Class Storage Systems
职业:将 NAND 闪存固态硬盘集成到企业级存储系统的架构支持
- 批准号:
0845105 - 财政年份:2009
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
相似国自然基金
Improving modelling of compact binary evolution.
- 批准号:10903001
- 批准年份:2009
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
相似海外基金
CICI: TCR: Improving the Robustness of Cyberinfrastructure via Scalable Vulnerability Discovery and Mitigation on "Big Binaries"
CICI:TCR:通过“大型二进制文件”的可扩展漏洞发现和缓解来提高网络基础设施的稳健性
- 批准号:
2232915 - 财政年份:2023
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Improving the Robustness, Efficiency, and Transparency of Continuous Integration and Delivery Pipelines
提高持续集成和交付管道的稳健性、效率和透明度
- 批准号:
RGPIN-2022-02962 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Discovery Grants Program - Individual
Improving the robustness of chained equation imputation by incorporating compatibility blocks
通过合并兼容性块来提高链式方程插补的鲁棒性
- 批准号:
559849-2021 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
From mine to client: improving the performance, robustness and resilience of mineral supply chain logistics systems
从矿山到客户:提高矿产供应链物流系统的性能、稳健性和弹性
- 批准号:
577201-2022 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Alliance Grants
Improving the robustness of neuroimaging through exploitation of variability in processing pipelines
通过利用处理流程的可变性来提高神经影像的鲁棒性
- 批准号:
10516830 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Improving Robustness against Disturbances in Next Generation Power Supply Systems with Delayed Feedback Control
通过延迟反馈控制提高下一代电源系统抗干扰的鲁棒性
- 批准号:
21K21324 - 财政年份:2021
- 资助金额:
$ 10万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Improving the robustness of chained equation imputation by incorporating compatibility blocks
通过合并兼容性块来提高链式方程插补的鲁棒性
- 批准号:
559849-2021 - 财政年份:2021
- 资助金额:
$ 10万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Control technology for improving robustness in underwater wireless power transfer
提高水下无线电力传输鲁棒性的控制技术
- 批准号:
20K04432 - 财政年份:2020
- 资助金额:
$ 10万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of methods to improve the robustness of inductively coupled plasma mass spectrometry while also improving detection limits
开发方法以提高电感耦合等离子体质谱的鲁棒性,同时提高检测限
- 批准号:
503887-2016 - 财政年份:2020
- 资助金额:
$ 10万 - 项目类别:
Collaborative Research and Development Grants
RAPID: Improving Capabilities to Measure the Robustness of Critical Communications Infrastructure: A Case Study of COVID-19 Quarantine-Induced Internet Performance
RAPID:提高衡量关键通信基础设施稳健性的能力:COVID-19 隔离引起的互联网性能案例研究
- 批准号:
2028506 - 财政年份:2020
- 资助金额:
$ 10万 - 项目类别:
Standard Grant