Certifying Computational Results

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

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.***