权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Certifying Computational Results

验证计算结果

基本信息

批准号：
9804076
负责人：
Gerald Masson
金额：
$ 16.7万
依托单位：
Johns Hopkins University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1998
资助国家：
美国
起止时间：
1998-07-15 至 2001-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9804076&HistoricalAwards=false
关键词：
Certifying Computational Results

项目摘要

9804076 Result checking of computations is investigated using a certification-trail technique. Certification trails offer an effective and efficient alternative to result checking approaches employing replication or N-version programming. Certification- trail techniques are designed to support a secondary computation of a result by using the same input together with a special output, the certification trail, utilized by the primary computation. By making use of the certification trail, the cost of the check can be substantially less than that of the primary computation. This research extends the certification trail technique to new application domains, including important computationally intensive problems for which best known solutions generally require extensive computing time and commonly used systems programming operations. The research also develops a distributed applet-based certifiable processing technique which distributes computational problems to clients across a network and then certifies the correctness of the accumulated solution efficiently using certification trails. Finally, by using properties of computations and solutions, certification-trail techniques are developed to support result checking with predetermined degrees of correctness rather than total precision. An important goal to assure a significant impact of this research is to establish a WWW library of certification-trail techniques and solutions for general use by researchers and software developers.***

9804076使用验证跟踪技术对计算结果进行检查。认证路径为采用复制或N版本编程的结果检查方法提供了一种有效且高效的替代方案。认证跟踪技术被设计为通过使用相同的输入以及由主计算利用的特殊输出（认证跟踪）来支持结果的辅助计算。通过使用认证跟踪，检查的成本可以大大低于主要计算的成本。这项研究将认证跟踪技术扩展到新的应用领域，包括重要的计算密集型问题，其中最知名的解决方案通常需要大量的计算时间和常用的系统编程操作。该研究还开发了一种基于分布式小程序的可认证处理技术，该技术将计算问题通过网络分发给客户端，然后使用认证跟踪有效地认证累积解决方案的正确性。最后，通过使用计算和解决方案的属性，验证跟踪技术的开发，以支持结果检查与预定程度的正确性，而不是总精度。确保这项研究产生重大影响的一个重要目标是建立一个万维网库，其中包含研究人员和软件开发人员普遍使用的认证跟踪技术和解决方案。