دانلود مقاله ترجمه شده یک الگوریتم ثابت شده برای محاسبه میانگین اعداد شناور اعشاری (IEEE 2018) (ترجمه ویژه – طلایی ⭐️⭐️⭐️)
این مقاله انگلیسی ISI در نشریه IEEE در 7 صفحه در سال 2018 منتشر شده و ترجمه آن 18 صفحه میباشد. کیفیت ترجمه این مقاله ویژه – طلایی ⭐️⭐️⭐️ بوده و به صورت کامل ترجمه شده است.
دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی | |
عنوان فارسی مقاله: |
یک الگوریتم ثابت شده به صورت رسمی برای محاسبه میانگین صحیح اعداد شناور اعشاری |
عنوان انگلیسی مقاله: |
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers |
|
مشخصات مقاله انگلیسی | |
فرمت مقاله انگلیسی | |
سال انتشار | 2018 |
تعداد صفحات مقاله انگلیسی | 7 صفحه با فرمت pdf |
نوع مقاله | ISI |
نوع ارائه مقاله | کنفرانس |
رشته های مرتبط با این مقاله | مهندسی کامپیوتر |
گرایش های مرتبط با این مقاله | معماری سیستم های کامپیوتری، مهندسی الگوریتم ها و محاسبات، رایانش ابری |
چاپ شده در کنفرانس | بیست و پنجمین سمپوزیوم IEEE در مورد حساب رایانه – IEEE 25th Symposium on Computer Arithmetic |
ارائه شده از دانشگاه | دانشگاه Paris-Saclay |
نویسندگان | Sylvie Boldo، Florian Faissole، and Vincent Tourneur |
شناسه شاپا یا ISSN | ISSN 2576-2265 |
شناسه دیجیتال – doi | https://doi.org/10.1109/ARITH.2018.8464761 |
بیس | نیست ☓ |
مدل مفهومی | ندارد ☓ |
پرسشنامه | ندارد ☓ |
متغیر | ندارد ☓ |
رفرنس | دارای رفرنس در داخل متن و انتهای مقاله ✓ |
کد محصول | 10360 |
لینک مقاله در سایت مرجع | لینک این مقاله در سایت IEEE |
نشریه آی تریپل ای |
مشخصات و وضعیت ترجمه فارسی این مقاله | |
فرمت ترجمه مقاله | pdf و ورد تایپ شده با قابلیت ویرایش |
وضعیت ترجمه | انجام شده و آماده دانلود |
کیفیت ترجمه | ویژه – طلایی ⭐️⭐️⭐️ |
تعداد صفحات ترجمه تایپ شده با فرمت ورد با قابلیت ویرایش | 18 صفحه (1 صفحه رفرنس انگلیسی) با فونت 14 B Nazanin |
ترجمه عناوین تصاویر | ترجمه شده است ✓ |
درج تصاویر در فایل ترجمه | درج شده است ✓ |
درج فرمولها و محاسبات در فایل ترجمه | به صورت عکس درج شده است ✓ |
منابع داخل متن | به صورت عدد درج شده است ✓ |
منابع انتهای متن | به صورت انگلیسی درج شده است ✓ |
فهرست مطالب |
چکیده |
بخشی از ترجمه |
چکیده برخی از پردازندههای مدرن شامل واحدهای نقطه-شناور اعشاری، با تایید پیادهسازی استاندارد IEEE-754 2008 هستند. متاسفانه بسیاری از الگوریتمهای ارائه شده در تحقیقات محاسبات کامپیوتری هنگام انجام محاسبات بر مبنای 10، دیگر درست نیستند. این امر به ویژه در مورد محاسبه میانگین دو عدد نقطه شناور اتفاق میافتد. چند الگوریتم مبنای 2، از جمله الگوریتمی که گرد کردن صحیح را فراهم میسازد، قابل دسترس هستند، اما در مبنای 10 درست نیستند. برای تضمین سطح اطمینان بالاتر، همچنین برهان رسمی Coq از قضایای خود را فراهم میکنیم که پاریز تدریجی را ملاحظه میکند. توجه کنید که برهان رسمی ما برای حصول اطمینان از درست بودن این الگوریتم هنگام انجام محاسبات در هر مبنای زوجی تعمیم داده میشوند.
6. نتیجهگیری و چشماندازها الگوریتمهای به درستی گرد شده برای محاسبه میانگین دو عدد نقطه شناور در محاسبات مبنای 2 وجود دارند. متاسفانه، این الگوریتمها در محاسبات مبنای 10 درست نیستند. در این مقاله نشان دادهایم که احتمالات مختلف ساده، ناموفق هستند و میانگین به درستی گرد شدهای را نمیدهند. بنابراین، الگوریتمی را برای میانگین گرفتن از دو عدد نقطه شناور اعشاری با گردسازی درست ارائه داده و اثبات کردیم. الگوریتم ما ممکن است در مقایسه با فرمولهای خط مستقیم، به دلیل 6 فلاپ الگوریتم TwoSum، پر هزینه به نظر برسد. با این حال، نسبتا کوتاه است، و شناخت و اصلاح آن برای هر دقت ساده است. اگرچه برهان درستی آن نسبتا تکنیکی است، اما خوانا است. علاوهبراین، اگر پاریز تدریجی را ملاحظه کنیم، الگوریتم، به درستی گرد شده باقی میماند. یکی از نکات جالب این است که ساختار برهان یکسان باقی میماند و اصلاحات کوچک هستند. |
بخشی از مقاله انگلیسی |
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.
6- Conclusion and Perspectives Correctly rounded algorithms to compute the average of two FP numbers exist in radix-2 arithmetic. Unfortunately, they are not correct in radix-10 arithmetic. In this paper, we have shown that various naive possibilities are unsuccessful and do not return a correctly-rounded average. Then, we have provided and proved an algorithm averaging two decimal FP numbers with correct rounding. Our algorithm may seem costly compared to straight-line formulas, due to the 6 flops of the TwoSum algorithm. However, it is quite short, easy to understand and correct for any precision p ≥ 2. Even if its correctness proof is rather technical, it is quite readable. Furthermore, the algorithm remains correctly-rounded if we take gradual underflow into account. A surprising point is that the structure of the proof stays the same and that the modifications were minor |
تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد |
دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی | |
عنوان فارسی مقاله: |
یک الگوریتم ثابت شده به صورت رسمی برای محاسبه میانگین صحیح اعداد شناور اعشاری |
عنوان انگلیسی مقاله: |
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers |
|