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

ترجمه مقاله ارزیابی اعتبار سنجی شده توابع ریاضی خاص - نشریه الزویر
قیمت خرید این محصول
۴۱,۰۰۰ تومان
دانلود رایگان نمونه دانلود مقاله انگلیسی
عنوان فارسی
ارزیابی اعتبار سنجی شده توابع ریاضی خاص
عنوان انگلیسی
Validated evaluation of special mathematical functions
صفحات مقاله فارسی
33
صفحات مقاله انگلیسی
19
سال انتشار
2014
نشریه
الزویر - Elsevier
فرمت مقاله انگلیسی
PDF
فرمت ترجمه مقاله
ورد تایپ شده
رفرنس
دارد ✓
کد محصول
8953
وضعیت ترجمه منابع داخل متن
به صورت عدد درج شده است ✓
وضعیت فرمولها و محاسبات در فایل ترجمه
به صورت عکس، درج شده است ✓
رشته های مرتبط با این مقاله
مهندسی کامپیوتر
گرایش های مرتبط با این مقاله
برنامه نویسی کامپیوتر
مجله
علوم برنامه نویسی کامپیوتر - 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] می باشد. ولی تا کنون هیچ محیطی ارزیابی مستقل از مبنا و چند دقتی صحیح قابل اثبات این توابع خاص را ارائه نکرده است. ما اشاره می کنیم که چگونه از سریها و نمایشهای کسری پیوسته متناوب محدود در یک بسته که در دانشگاه انتورپ توسعه داده شده به خوبی استفاده کنیم. تکنیک دقت مقیاس‌پذیر ما عمدتا بر اساس استفاده از تیز کردن برش پیشین و حدود بالای با خطای گرد شده برای مباحث واقعی است. پیاده سازی از این نظر اعتبار سنجی شده است که یک محدوده بازه دقیق را برای ارزیابی تابع درخواستی با هزینه یکسان ارزیابی بر می گرداند.

بدون دیدگاه