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

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

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

چکیده


1. پیشگفتار


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


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


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


5. برهان رسمی


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

فهرست انگلیسی مطالب

Abstract


1. Introduction


2. Radix-2 Average Algorithms


3. Unsuccessful Radix-10 Average Algorithms


4. Algorithm for the Average of Decimal FP Numbers


5. Formal Proof


6. Conclusion and Perspectives

نمونه ترجمه فارسی مقاله

چکیده


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


1. پیشگفتار


محاسبات نقطه-شناور  (FP) در هر جایی از زندگی ما وجود دارند. این محاسبات در نرم‌افزارهای کنترل و برای محاسبه پیش‌بینی‌های آب و هوایی مورد استفاده قرار می‌گیرند و بلوک اساسی بسیاری از سیستم‌های هیبرید (ترکیبی) – سیستم‌های تعبیه شده که محاسبات پیوسته، مانند نتایج حسگرها، و محاسبات گسسته، مانند محاسبات ساعت-محدود ، را ترکیب می‌کنند – هستند. محاسبات کامپیوتری [1، 2]، عمدتا به عنوان نادرست شناخته می‌شوند (اگر اصلا شناخته شوند)، زیرا تنها تعداد محدودی رقم برای جزء اعشاری نگه داشته می‌شوند. علاوه‌براین، تنها تعداد محدودی رقم برای نما حفظ می‌شوند. این امر، انتظارات سرریز و پاریز را ایجاد می‌کند که اغلب نادیده گرفته می‌شوند. در اینجا بیشتر علاقمند به بررسی پاریز هستیم.

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

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.


1. Introduction


Floating-point (FP) computations are everywhere in our lives. They are used in control software, used to compute weather forecasts, and are a basic block of many hybrid systems: embedded systems mixing continuous, such as sensors results, and discrete, such as clock-constrained computations. Computer arithmetic [1], [2], is mostly known (if known at all) to be inaccurate, as only a finite number of digits is kept for the mantissa. On top of that, only a finite number of digits is kept for the exponent. This creates the underflow and overflow exceptions, that are often dismissed. We are here mostly interested in handling underflow.

محتوای این محصول:
- اصل مقاله انگلیسی با فرمت pdf
- ترجمه فارسی مقاله با فرمت ورد (word) با قابلیت ویرایش، بدون آرم سایت ای ترجمه
- ترجمه فارسی مقاله با فرمت pdf، بدون آرم سایت ای ترجمه
قیمت محصول: ۲۹,۶۰۰ تومان
خرید محصول
  • اشتراک گذاری در

دیدگاه خود را بنویسید:

تاکنون دیدگاهی برای این نوشته ارسال نشده است

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