مختبر

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
الموسوعة الحرة

INTLAB (مختبر الفترات) هي مكتبة حسابية للفترات [ 1 ] [ 2 ] [ 3 ] [ 4 ] تستخدم MATLAB و GNU Octave ، وهي متوفرة لأنظمة Windows و Linux و macOS . طُوِّرت بواسطة إس إم رومب من جامعة هامبورغ للتكنولوجيا . استُخدمت INTLAB لتطوير مكتبات أخرى تعتمد على MATLAB مثل VERSOFT [ 5 ] وINTSOLVER [ 6 ] ، كما استُخدمت لحل بعض مسائل تحدي المئة دولار والمئة رقم [ 7 ] .

سجل الإصدارات

  • 30/12/1998 الإصدار 1
  • 03/06/1999 الإصدار 2
  • 16/11/1999 الإصدار 3
    • 03/07/2002 الإصدار 3.1
  • 12/08/2002 الإصدار 4
    • 27/12/2002 الإصدار 4.1
    • 22/01/2003 الإصدار 4.1.1
    • 18/11/2003 الإصدار 4.1.2
  • 04/04/2004 الإصدار 5
    • 06/04/2005 الإصدار 5.1
    • 20/12/2005 الإصدار 5.2
    • 26/05/2006 الإصدار 5.3
    • 31/05/2007 الإصدار 5.4
    • 11/05/2008 الإصدار 5.5
  • 05/08/2009 الإصدار 6
  • 12/12/2012 الإصدار 7
    • 24/06/2013 الإصدار 7.1
  • 05/10/2014 الإصدار 8
  • 22/01/2015 الإصدار 9
    • 12/07/2016 الإصدار 9.1
  • 29/05/2017 الإصدار 10
    • 24/07/2017 الإصدار 10.1
    • 15/12/2017 الإصدار 10.2
  • 01/07/2019 الإصدار 11
  • 03/06/2020 الإصدار 12

الوظائف

يمكن لبرنامج INTLAB مساعدة المستخدمين في حل المسائل الرياضية/العددية التالية باستخدام حساب الفترات.

الأعمال المذكورة من قبل مختبر INTLAB

يعتمد برنامج INTLAB على الدراسات السابقة للمؤلف الرئيسي، بما في ذلك أعماله مع المؤلفين المشاركين.

  • SM Rump: Fast and Parallel Interval Arithmetic, BIT Numerical Mathematics 39(3), 539–560, 1999.
  • إس. أويشي، إس إم رامب: التحقق السريع من حلول المعادلات المصفوفية، Numerische Mathematik 90، 755–773، 2002.
  • تي. أوجيتا، إس إم رامب، وإس. أويشي. الجمع الدقيق والضرب النقطي، مجلة SIAM للحوسبة العلمية (SISC)، 26(6):1955–1988، 2005.
  • SM Rump, T. Ogita, and S. Oishi. Fast High Precision Summation. Nonlinear Theory and Its Applications (NOLTA), IEICE, 1(1), 2010.
  • SM Rump: Ultimately Fast Accurate Summation, SIAM Journal on Scientific Computing (SISC), 31(5):3466–3502, 2009.
  • SM Rump, T. Ogita, and S. Oishi: Accurate float-point Summation I: Faithful Rounding. SIAM Journal on Scientific Computing (SISC), 31(1): 189–224, 2008.
  • SM Rump, T. Ogita, and S. Oishi: Accurate float-pt geation II: Sign, k -fold Faithful and Rounding to Nearest. SIAM Journal on Scientific Computing (SISC), 31(2):1269–1302, 2008.
  • SM Rump: Ultimately Fast Accurate Summation, SIAM Journal on Scientific Computing (SISC), 31(5):3466–3502, 2009.
  • إس إم رامب. الحل الدقيق للأنظمة الخطية الكثيفة، الجزء الثاني: الخوارزميات باستخدام التقريب الموجه. مجلة الرياضيات الحسابية والتطبيقية (JCAM)، 242: 185-212، 2013.
  • إس إم رامب. حدود مُثبتة لمسائل المربعات الصغرى والأنظمة الخطية غير المحددة. مجلة SIAM لتحليل المصفوفات وتطبيقاتها (SIMAX)، 33(1):130–148، 2012.
  • SM Rump: حدود الخطأ المحسّنة التي تم التحقق منها على مستوى المكونات لمشاكل المربعات الصغرى والأنظمة الخطية غير المحددة، الخوارزميات العددية، 66:309-322، 2013.
  • R. Krawzcyk, A. Neumaier: Interval slopes for rational functions and associated centered forms, SIAM Journal on Numerical Analysis 22, 604–616 (1985)
  • SM Rump: توسيع وتقدير نطاق الدوال غير الخطية، الرياضيات الحسابية 65(216)، ص  1503-1512، 1996.

انظر أيضاً

مراجع

  1. 1 2 3 4 5 6 7 8 9 إس. إم. رامب: INTLAB – مختبر الفترات. في تيبور سينديس (محرر)، التطورات في الحوسبة الموثوقة، الصفحات 77-104. دار نشر كلوير الأكاديمية، دوردريخت، 1999.
  2. 1 2 مور، ر. إي، كيرفوت، ر. ب، وكلاود، م. ج (2009). مقدمة في تحليل الفترات. جمعية الرياضيات الصناعية والتطبيقية .
  3. 1 2 3 4 5 6 7 رومب، إس إم (2010). أساليب التحقق: نتائج دقيقة باستخدام الحساب ذي الفاصلة العائمة. أكتا نوميريكا ، 19، 287-449.
  4. 1 2 3 4 هارجريفز، جي آي (2002). تحليل الفترات في MATLAB . الخوارزميات العددية، (2009.1).
  5. ↑ رون، ج. (2009). VERSOFT: برنامج التحقق في MATLAB /INTLAB.
  6. ↑ مونتانير، تي إم (2009). إنت سولفر: مجموعة أدوات قائمة على الفترات للتحسين العالمي. الإصدار 1.0.
  7. ↑ بورنمان، ف.، لوري، د.، وواغون، س. (2004). تحدي SIAM ذو المئة رقم: دراسة في الحوسبة العددية عالية الدقة. جمعية الرياضيات الصناعية والتطبيقية .
  8. ↑ SM Rump: Verffication of positive definiteness, BIT Numerical Mathematics , 46 (2006), 433–452.
  9. ↑ SM Rump, M. Kashiwagi: التنفيذ والتحسينات للحساب الأفيني، النظرية غير الخطية وتطبيقاتها (NOLTA)، IEICE، 2015.
  10. ↑ لونر، آر جيه (1987). تضمين حلول مسائل القيم الابتدائية والحدودية العادية. الحساب الحاسوبي، 225-286.
  11. ↑ إل بي رال: التفاضل التلقائي: التقنيات والتطبيقات، سلسلة محاضرات في علوم الحاسوب 120، سبرينغر، 1981.
  12. ↑ إس إم رامب. حدود دقيقة مُثبتة لدالة غاما الحقيقية على كامل نطاق الفاصلة العائمة. نظرية اللاخطية وتطبيقاتها (NOLTA)، IEICE، المجلد E5-N، العدد 3، يوليو 2014.