MPFI. mpfi انها مكتبة حسابية ثابتة متعددة الدقة بناء على MPFR.
التحميل الان

MPFI. الترتيب والملخص

MPFI. العلامات

فترة الاحكام مكتبة حسابية علم الحساب مكتبة MPFR الفاصل الدقيق

MPFI. وصف

MPFI انها مكتبة حسابية دقيقة متعددة الدقة بناء على MPFR. MPFI انها مكتبة حسابية دقيقة متعددة الدقة بناء على MPFR. يتكون المبدأ الأساسي للحساب الفاصل الزمني في إرفاق كل رقم من خلال الفاصل الزمني الذي يحتوي عليه وتمثيله بواسطة أرقام الآلات: على سبيل المثال، يمكن تخزينها كأوينات نهاية منخفضة وعليا وهذه الحدود هي أرقام الجهاز، أو كمركز ورادعة نصف قطرها هي أرقام الجهاز. على سبيل المثال، على آلة Radix-10 مع 3 أرقام من Mantissa، سيتم تمثيل $ PI $ من خلال الفاصل الزمني . يتم تمديد العمليات الحسابية للأمعاء الفاصلة في هذه الطريقة التي تنتمي النتيجة الدقيقة للعملية إلى الفاصل الزمني المحسوب. يتم استبدال المعالجات من Arithmetic Heatheathwhen بين الفواصل الزمنية في تعبير، مثل واحد متعدد الحدود، والنتيجة المحسوبة هي فاصل زمني أرفق كل قيمة ممكنة لهذا التعبير عن أي قيمة عددية في فترات الإدخال: وهذا ما يسمى نتيجة مضمونة وهي الميزة الرئيسية للحساب الفاصل الزمني. ومع ذلك، يمكن أن تكون هذه النتيجة كبيرة جدا وتعتمد على النموذج المختار للتعبير المقيم. مشاكل وحلول اثنين من الأصول الرئيسية لهذه المبالغة في تقدير النتائج في يد واحدة توضيح المتغيرات، المعروفة أيضا باسم مشكلة التبعية: عند الحوسبة X * X، ما يتم حسابه هو {x * y / x في x، ذ في X} والارتباط (الهوية) بين x و y فقدت؛ ومن ناحية أخرى تأثير التفاف: في 2 (أو أكثر) أبعاد، يجب أن تكون النتيجة صندوقا مستطيلا مع جوانب متوازية للمحور، وارقي مائل وربما مجموعة رقيقة جدا. بفضل النتيجة التالية، من الممكن التحايل على هذه الصعوبة: لقد ثبت أنه بالنسبة لفئة كبيرة من الوظائف تسمى التعبيرات الحسابية بواسطة Neumaier (انظر المراجع)، فإن عرض الضميمة الوظيفة يتناسب مع عرض الفاصل الزمني للإدخال إذا تم استخدام الحساب المثالي (بالضبط). تم تمديد هذا النظرية لتأخذ في الاعتبار أخطاء التقريب. يمكن وصف هذه الفئة من الوظائف تقريبا بأنها الوظائف المحددة دون إشراك نقاط نهاية حججها وبدون اختبارات. وهكذا يتكون الحل الأول في تقسيم فترات الإدخال إلى فرعية صغيرة قبل تقييم الوظيفة على كل سند فرعي وأخذ اتحاد هذه النتائج الجزئية، مما يمهد المجموعة الناتجة. إن استخدام Taylor Order 1 أو 2 هو أيضا الكلاسيكية من أجل التغلب على تضخم الفواصل الزمنية الناتجة: أنها توفر حدود أكثر وضوحا من التقييمات الأخرى عند فاصل الإدخال ضيق وأكبر على ذلك. الجمع بين العديد من الدقة والفترة الفاصلية arithmeticthese طريقتين لشحذ الفواصل الزمنية المحسوبة تتطلب القدرة على تقسيم فاصل إدخال في فرعية صغيرة وربما رقيقة جدا. تحفز هذه الحاجة استخدام حسابي دقيق للتعريفي مثل الحساب الأساسي لمكتبة الفاصل الزمني لدينا. الشرط الثاني للحساب الفاصل هو وظيفة التقريب الخارجي: يتم توفيره بواسطة MPFR، مكتبة الحساب الحسابية المتعددة المتعددة من MPFI. للحصول على مزيد من الدوافع والتفسيرات بشأن الحاجة إلى مكتبة حسابية بدقة تعسفية، انظر أيضا ورقة مقدمة في مؤتمر الحوسبة التحقق من صحة 2002. يهدف مكتوب MPFimpfi إلى أن تكون مكتبة محمولة مكتوبة في C الحساب الفاصل الدقيق التعسفي مع الفواصل الزمنية الممثلة MPFR الأرقام العائمة الموثوقة. يعتمد على مكتبة GNU MP وعلى مكتبة MPFR. الغرض من الحساب الفاصل الزمني الدقيق التعسفي هو من ناحية للحصول على نتائج مضمونة، وبفضل حساب الفاصل الزمني، ومن ناحية أخرى للحصول على نتائج دقيقة، بفضل الحساب الدقيق المتعدد. تم بناء مكتبة MPFI على MPFR من أجل الاستفادة من القرصبة الصحيحة التي توفرها MPFR. مزيد من المزايا لاستخدام MPFR هي قابلية قدرتها والامتثال لمعايير IEEE 754 للحساب العائم. يتم إصدار هذا الإصدار من MPFR / MPFI تحت ترخيص عام مكتبة جنو العامة. متطلبات: gnump 4.0 أو أعلى MPFR 2.0.1 أو أعلى gnump 4.0 أو أعلى MPFR 2.0.1 أو أعلى

MPFI. برامج ذات صلة