Chrome Extension
WeChat Mini Program
Use on ChatGLM

一种基于执行路径状态比对的科学计算程序等效性判定方法

中国海洋大学学报(自然科学版)(2021)

Cited 0|Views3
Abstract
科学计算程序的计算等效性判定是科学计算领域的重要问题.科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性.针对该问题,提出基于程序路径的状态匹配验证方法——SCEP,通过对程序不同版本在相同的输入空间的路径状态进行约束求解和精确比对,判定其计算的等效性.将SCEP方法与已有的判定方法在多个库函数组成的spcLib测试程序集上进行了对比实验,结果表明SCEP能判定更多的函数转换类型,不仅可用于"Fortran-to-Fortran"源码等效性检查,还能对"Fortran-to-C/C++"源码转换进行等价性判定.该方法有助于为科学计算程序的优化改进过程和向C/C++迁移过程提供完备的计算等效性保证.
More
求助PDF
上传PDF
Bibtex
AI Read Science
AI Summary
AI Summary is the key point extracted automatically understanding the full text of the paper, including the background, methods, results, conclusions, icons and other key content, so that you can get the outline of the paper at a glance.
Example
Background
Key content
Introduction
Methods
Results
Related work
Fund
Key content
  • Pretraining has recently greatly promoted the development of natural language processing (NLP)
  • We show that M6 outperforms the baselines in multimodal downstream tasks, and the large M6 with 10 parameters can reach a better performance
  • We propose a method called M6 that is able to process information of multiple modalities and perform both single-modal and cross-modal understanding and generation
  • The model is scaled to large model with 10 billion parameters with sophisticated deployment, and the 10 -parameter M6-large is the largest pretrained model in Chinese
  • Experimental results show that our proposed M6 outperforms the baseline in a number of downstream tasks concerning both single modality and multiple modalities We will continue the pretraining of extremely large models by increasing data to explore the limit of its performance
Upload PDF to Generate Summary
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn
Chat Paper

要点】:论文提出了一种基于程序路径状态匹配的科学计算程序等效性检查方法SCEP,能够有效判定不同语言间科学计算函数的计算等效性。

方法】:通过对比程序不同版本在相同输入空间的执行路径状态,利用约束求解和精确比对进行等效性验证。

实验】:在spcLib测试程序集上进行了实验,证明了SCEP方法在判定函数转换等效性方面的有效性,包括Fortran到Fortran以及Fortran到C/C++的源码转换。