تلفن: ۰۴۱۴۲۲۷۳۷۸۱
تلفن: ۰۹۲۱۶۴۲۶۳۸۴

ترجمه مقاله الگوریتمی ثابت شده به صورت رسمی برای محاسبه میانگین صحیح اعداد نقطه-شناور اعشاری – نشریه IEEE

عنوان فارسی: الگوریتمی ثابت شده به صورت رسمی برای محاسبه میانگین صحیح اعداد نقطه-شناور اعشاری
عنوان انگلیسی: A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers
تعداد صفحات مقاله انگلیسی : 7 تعداد صفحات ترجمه فارسی : 18 (1 صفحه رفرنس انگلیسی)
سال انتشار : 2018 نشریه : آی تریپل ای - IEEE
فرمت مقاله انگلیسی : pdf فرمت ترجمه مقاله : pdf و ورد تایپ شده با قابلیت ویرایش
فونت ترجمه مقاله : بی نازنین سایز ترجمه مقاله : 14
نوع مقاله : ISI نوع ارائه مقاله : کنفرانس
شناسه ISSN مجله : 2576-2265 کد محصول : 10360
محتوای فایل : rar حجم فایل : 2.40Mb
رشته و گرایش های مرتبط با این مقاله: مهندسی کامپیوتر، معماری سیستم های کامپیوتری، مهندسی الگوریتم ها و محاسبات، رایانش ابری
کنفرانس: بیست و پنجمین سمپوزیوم IEEE در مورد حساب رایانه - IEEE 25th Symposium on Computer Arithmetic
دانشگاه: دانشگاه Paris-Saclay
وضعیت ترجمه عناوین تصاویر: ترجمه شده است ✓
وضعیت ترجمه منابع داخل متن: به صورت عدد درج شده است ✓
وضعیت فرمولها و محاسبات در فایل ترجمه: به صورت عکس، درج شده است
بیس: نیست ☓
مدل مفهومی: ندارد ☓
پرسشنامه: ندارد ☓
متغیر: ندارد ☓
رفرنس: دارای رفرنس در داخل متن و انتهای مقاله
رفرنس در ترجمه: در داخل متن و انتهای مقاله درج شده است
doi یا شناسه دیجیتال: https://doi.org/10.1109/ARITH.2018.8464761
ترجمه این مقاله با کیفیت عالی آماده خرید اینترنتی میباشد. بلافاصله پس از خرید، دکمه دانلود ظاهر خواهد شد. ترجمه به ایمیل شما نیز ارسال خواهد گردید.
فهرست مطالب

چکیده

1. پیشگفتار

2. الگوریتم‌های میانگین مبنای 2

3. الگوریتم‌های ناموفق میانگین مبنای 10

4. الگوریتم برای میانگین اعداد نقطه شناور اعشاری

5. برهان رسمی

6. نتیجه‌گیری و چشم‌اندازها

نمونه متن انگلیسی

Abstract

Some modern processors include decimal floating-point units, with a conforming implementation of the IEEE-754 2008 standard. Unfortunately, many algorithms from the computer arithmetic literature are not correct anymore when computations are done in radix 10. This is in particular the case for the computation of the average of two floating-point numbers. Several radix-2 algorithms are available, including one that provides the correct rounding, but none hold in radix 10. This paper presents a new radix-10 algorithm that computes the correctly-rounded average. To guarantee a higher level of confidence, we also provide a Coq formal proof of our theorems, that takes gradual underflow into account. Note that our formal proof was generalized to ensure this algorithm is correct when computations are done with any even radix.

نمونه متن ترجمه

چکیده

برخی از پردازنده‌های مدرن شامل واحدهای نقطه-شناور اعشاری، با تایید پیاده‌سازی استاندارد IEEE-754 2008 هستند. متاسفانه بسیاری از الگوریتم‌های ارائه شده در تحقیقات محاسبات کامپیوتری هنگام انجام محاسبات بر مبنای 10، دیگر درست نیستند. این امر به ویژه در مورد محاسبه میانگین دو عدد نقطه شناور اتفاق می‌افتد. چند الگوریتم مبنای 2، از جمله الگوریتمی که گرد کردن صحیح را فراهم می‌سازد، قابل دسترس هستند، اما در مبنای 10 درست نیستند. برای تضمین سطح اطمینان بالاتر، همچنین برهان رسمی Coq از قضایای خود را فراهم می‌کنیم که پاریز تدریجی را ملاحظه می‌کند. توجه کنید که برهان رسمی ما برای حصول اطمینان از درست بودن این الگوریتم هنگام انجام محاسبات در هر مبنای زوجی تعمیم داده می‌شوند.