ترجمه مقاله الگوریتمی ثابت شده به صورت رسمی برای محاسبه میانگین صحیح اعداد نقطه – سال 2018
مشخصات مقاله:
عنوان فارسی مقاله:
الگوریتمی ثابت شده به صورت رسمی برای محاسبه میانگین صحیح اعداد نقطه-شناور اعشاری
عنوان انگلیسی مقاله:
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers
مناسب برای رشته های دانشگاهی زیر:
مهندسی کامپیوتر
مناسب برای گرایش های دانشگاهی زیر:
معماری سیستم های کامپیوتری، مهندسی الگوریتم ها و محاسبات، رایانش ابری
وضعیت مقاله انگلیسی و ترجمه:
مقاله انگلیسی را میتوانید به صورت رایگان با فرمت PDF از باکس زیر دانلود نمایید. ترجمه این مقاله با فرمت WORD – DOC آماده خریداری و دانلود آنی میباشد.
فهرست مطالب:
چکیده
1. پیشگفتار
2. الگوریتم‌های میانگین مبنای 2
3. الگوریتم‌های ناموفق میانگین مبنای 10
4. الگوریتم برای میانگین اعداد نقطه شناور اعشاری
5. برهان رسمی
6. نتیجه‌گیری و چشم‌اندازها
قسمتی از مقاله انگلیسی و ترجمه آن:
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.
1. پیشگفتار
محاسبات نقطه-شناور (FP) در هر جایی از زندگی ما وجود دارند. این محاسبات در نرم‌افزارهای کنترل و برای محاسبه پیش‌بینی‌های آب و هوایی مورد استفاده قرار می‌گیرند و بلوک اساسی بسیاری از سیستم‌های هیبرید (ترکیبی) – سیستم‌های تعبیه شده که محاسبات پیوسته، مانند نتایج حسگرها، و محاسبات گسسته، مانند محاسبات ساعت-محدود ، را ترکیب می‌کنند – هستند. محاسبات کامپیوتری [1، 2]، عمدتا به عنوان نادرست شناخته می‌شوند (اگر اصلا شناخته شوند)، زیرا تنها تعداد محدودی رقم برای جزء اعشاری نگه داشته می‌شوند. علاوه‌براین، تنها تعداد محدودی رقم برای نما حفظ می‌شوند. این امر، انتظارات سرریز و پاریز را ایجاد می‌کند که اغلب نادیده گرفته می‌شوند. در اینجا بیشتر علاقمند به بررسی پاریز هستیم.
