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

ترجمه مقاله ارزیابی اعتبار سنجی شده توابع ریاضی خاص – نشریه الزویر

عنوان فارسی: ارزیابی اعتبار سنجی شده توابع ریاضی خاص
عنوان انگلیسی: Validated evaluation of special mathematical functions
تعداد صفحات مقاله انگلیسی : 19 تعداد صفحات ترجمه فارسی : 33
سال انتشار : 2014 نشریه : الزویر - Elsevier
فرمت مقاله انگلیسی : PDF فرمت ترجمه مقاله : ورد تایپ شده
کد محصول : 8953 رفرنس : دارد ✓
محتوای فایل : zip حجم فایل : 1.16Mb
رشته های مرتبط با این مقاله: مهندسی کامپیوتر
گرایش های مرتبط با این مقاله: برنامه نویسی کامپیوتر
مجله: علوم برنامه نویسی کامپیوتر - Science of Computer Programming
دانشگاه: گروه ریاضی و علوم کامپیوتری، بلژیک
کلمات کلیدی: نرم افزار اعتبارسنجی شده، توابع خاص
وضعیت ترجمه عناوین جداول: ترجمه شده است ✓
وضعیت ترجمه متون داخل جداول: ترجمه نشده است ☓
وضعیت ترجمه منابع داخل متن: به صورت عدد درج شده است ✓
وضعیت فرمولها و محاسبات در فایل ترجمه: به صورت عکس، درج شده است ✓
ترجمه این مقاله با کیفیت عالی آماده خرید اینترنتی میباشد. بلافاصله پس از خرید، دکمه دانلود ظاهر خواهد شد. ترجمه به ایمیل شما نیز ارسال خواهد گردید.
فهرست مطالب

چکیده

1.مقدمه

2 جمع آوری خطای گرد شده

3 کنترل خطای گرد شده

4 ارزیابی اعتبار سنجی شده تابع

5 توسعه سری تیلور

6 نمایش کسر مسلسل

7 مثال: توابع خطا و مکمل خطا

8 لمها و ظرایف کار

8-1 ریاضی چند دقتی

9 لمها و قضایا

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

Abstract

Because of the importance of special functions, several books and a large collection of papers have been devoted to their use and computation, the most well-known being the Abramowitz and Stegun handbook (Abramowitz and Stegun, 1964) [1] and its successor (Olver et al. 0000) [2]. However, until now no environment offers routines for the provable correct multiprecision and radix-independent evaluation of these special functions. We point out how we make good use of series and limit-periodic continued fraction representations in a package that is being developed at the University of Antwerp. Our scalable precision technique is mainly based on the use of sharpened a priori truncation and round-off error upper bounds for real arguments. The implementation is validated in the sense that it returns a sharp interval enclosure for the requested function evaluation, at the same cost as the evaluation.

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

چکیده

به دلیل اهمیت توابع ویژه، کتابهای متعدد و مجموعه بزرگی از مقالات به کاربرد و محاسبه آنها اختصاص داده شده است که معروفترین آنها کتاب راهنما آبرامویتز و استگون (آبرامویتز و استگون 1964) [1] و کتاب بعدی آن (الور و دیگران 0000) [2] می باشد. ولی تا کنون هیچ محیطی ارزیابی مستقل از مبنا و چند دقتی صحیح قابل اثبات این توابع خاص را ارائه نکرده است. ما اشاره می کنیم که چگونه از سریها و نمایشهای کسری پیوسته متناوب محدود در یک بسته که در دانشگاه انتورپ توسعه داده شده به خوبی استفاده کنیم. تکنیک دقت مقیاس‌پذیر ما عمدتا بر اساس استفاده از تیز کردن برش پیشین و حدود بالای با خطای گرد شده برای مباحث واقعی است. پیاده سازی از این نظر اعتبار سنجی شده است که یک محدوده بازه دقیق را برای ارزیابی تابع درخواستی با هزینه یکسان ارزیابی بر می گرداند.