Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study
المؤلفون المشاركون
Yan, Shiyu
Yang, Xiaohua
Cheng, Guodong
Liu, Hua
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2019، العدد 2019 (31 ديسمبر/كانون الأول 2019)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2019-01-30
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
For the verification test of some scientific calculation programs, different comparison methods are commonly applied to ensure the correctness of the computations.
However, it is difficult to verify whether the testing output is correct, because the oracles which include the expected output are not always available or too hard to get.
For this reason, the authors focus on using the Richardson Extrapolation to estimate the convergences of the numerical solution on different levels of mesh refinement.
These numerical convergence properties can be applied to verification test, without the need for giving the oracles.
In the present study, the authors take the program test of the multigroup neutron diffusion equations as a study case and propose the Richardson Extrapolation-based verification method.
Three verification criterions are obtained based on our approach.
In addition, a test experiment is conducted demonstrating the validity of our theoretical results.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Yan, Shiyu& Yang, Xiaohua& Cheng, Guodong& Liu, Hua. 2019. Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study. Mathematical Problems in Engineering،Vol. 2019, no. 2019, pp.1-9.
https://search.emarefa.net/detail/BIM-1196201
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Yan, Shiyu…[et al.]. Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study. Mathematical Problems in Engineering No. 2019 (2019), pp.1-9.
https://search.emarefa.net/detail/BIM-1196201
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Yan, Shiyu& Yang, Xiaohua& Cheng, Guodong& Liu, Hua. Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study. Mathematical Problems in Engineering. 2019. Vol. 2019, no. 2019, pp.1-9.
https://search.emarefa.net/detail/BIM-1196201
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1196201
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر