جاسود.
التحميل الان

جاسود. الترتيب والملخص

جاسود. العلامات

تطوير البيئة التطويرية بيئة الأنظمة القائمة على القيد التطبيقات المستندة إلى القيد جاسود

جاسود. وصف

بيئة المحمولة، ويمكن الوصول إليها، وفعالة لتطوير النظم والتطبيقات المستندة إلى القيد. Gecode هي بيئة يمكن الوصول إليها، المحمولة، وفعالة لتطوير النظم القائمة على القيد وapplications.Gecode مفتوح جذريا للبرمجة، وهذا يعني أنه يمكن ربطه بسهولة مع الأنظمة الأخرى. وهو يدعم برمجة الدعاة الجدد (كما تنفيذ القيود)، المتفرعة الاستراتيجيات، وبحث مجالات متغير engines.New يمكن برمجتها على نفس المستوى من الكفاءة كمتغيرات نطاق ومجموعة صحيح المحدودة التي تأتي مسبقا مع Gecode. وهنا بعض الملامح الرئيسية "Gecode": نواة: نواة Gecode ويوفر واجهة برمجة شاملة لبناء مجالات متغير جديدة (بما في ذلك الدعاة كما تطبيقات القيود وbranchings) ومحركات البحث. فمن ضئيلة (حوالي 1000 سطر من الكود) ويتطلب أي تعديل أو القرصنة لإضافة مجالات جديدة متغير أو محركات البحث. بحث: ويستند البحث في Gecode على recomputation ونسخ. وتشمل التقنيات المتقدمة التكيفية (بسرعة تصل مزيد من البحث) وrecomputation دفعة (يقلل بشكل كبير انتشار خلال recomputation). حاليا، ويدعم Gecode البحث عن بعض الحلول، وتحسين (ومتجهة الى فرع)، ومحدودية البحث التناقض (مزيد من التفاصيل). وبالتوازي مع البحث القائم على موضوع هو حاليا قيد التطوير. القيود نطاق محدود: Gecode يأتي مع قيود نطاق محدود تنفيذها على أعلى نواة العامة. ويقدم القيود القياسية مثل علم الحساب، منطقية، المعادلات الخطية، والقيود العالمية مثل: متميزة (alldifferent، سواء حدود ونطاق ثابت)، أصل العالمي (كلا حدود ونطاق ثابت)، العنصر، cumulatives، العادية، sortedness، ويكس . انها بسيطة لإضافة قيود وbranchings الجديدة (لاسيما فيما شفرة المصدر كاملة مع القيود المذكورة أعلاه كما هي الأمثلة المتاحة). مجموعة قيود محدودة: كما يوفر Gecode المتغيرات مجموعة صحيحا محدودة. هي علاقات مجموعة القياسية والعمليات المتاحة والقيود، بالإضافة إلى بعض القيود المتخصصة مثل التحدب، والمنطق العالمي على الطابع المميز للمجموعات، والقيود الاختيار، مجموعات مرجح، والقيود التي تربط نطاق محدود والمتغيرات مجموعة محدودة. أما بالنسبة للقيود نطاق محدود، المكتبة يمكن تمديدها بسهولة مع القيود وbranchings جديدة. دعم النمذجة الأساسي: على الرغم من Gecode وقد صمم ليكون سهل واجهة لوليس لتكون سهلة مع نموذج، لأنه يأتي مع بعض الدعم النمذجة الأساسي. هذا الدعم يعبر عن الخطية وقيود منطقية في طريقة قياسية كتعبير بناء من أرقام والمشغلين. ما الجديد في هذا الإصدار: ويضيف هذا الإصدار تسلسل القيد (ساهم ديفيد Rijsman، Quintiq) ولديه كما هو الحال دائما بعض الإضافات الصغيرة والتصحيحات. نواة اصلاحات الشوائب + أضيفت في عداد المفقودين عامل التعيين لموزعي الفضائية لهياكل البيانات STL. (قاصر، وذلك بفضل غوستافو غوتيريز) محركات البحث اصلاحات الشوائب + الذاكرة ذكرت يمكن أن يكون في بعض الأحيان منخفض جدا (الإصلاح السابق لل3.2.0 لم إصلاحه لفرع والبحث المربوطة). (تحت السن القانوني) الأعداد الصحيحة نطاق محدود إضافات + أضيفت تسلسل القيد. (الكبرى، التي ساهمت ديفيد Rijsman) اصلاحات الشوائب + القيد أصل العالمي (العد) يقبل الآن صفائف لم يتم فرزها من القيم. ومن نشرها سابقا بشكل غير صحيح إذا لم يتم فرز مجموعة. (قاصر، وذلك بفضل البرتو دلغادو) + علة ثابتة في داعية ICL_VAL لأصل العالمي. (تحت السن القانوني) + الاشتراك لآراء ثابتة لم تحترم العلم لمعالجة تجنب. (تحت السن القانوني) مجموعات صحيح محدود اصلاحات الشوائب + الاشتراك لآراء ثابتة لم تكريم العلم لمعالجة تجنب (لم يحدث في الواقع). (تحت السن القانوني) سيناريو سائق فلكس إضافات + تقرير إذا تم إيقاف محرك البحث. (تحت السن القانوني) نطاق وقيمة المكررات تغييرات أخرى + اختبار إعادة تسمية لفرعية أو disjointness من المكررات مجموعة ل"مقارنة". (تحت السن القانوني) مخطوطات مثال إضافات + أضيفت سيارة التسلسل سبيل المثال (1 مشكلة في CSPLib). يستخدم جديد تسلسل القيد. (تحت السن القانوني) Gecode / FlatZinc اصلاحات الشوائب + شروح دعم البحث مع الثوابت في صفائف متغيرة. (قاصر، وذلك بفضل H؟ اساسه Kjellerstrand) + وكان set_in وset_in_reif القيود عربات التي تجرها الدواب عند استخدامها مع متغيرات منطقية (والتي عادة ما تكون غير الناتجة عن mzn2fzn ذلك أن المسألة ربما لا يحدث في الواقع). (تحت السن القانوني) + لم يكن قويد Global_Cardinality متوافقا تماما مع دلالات مينيزنك. من شأنه أن يقيد القيم التي لم تذكرها في مجموعة للحصول على حوادث صفرية، بينما في مينزينك غير مقترن. (تحت السن القانوني) + قيود العنصر في المناصب التي تم تجديدها أنتجت خطأ في ترجمة MZN2FZN. (الرائد، شكرا لك؟ كان kjellerstrand)

جاسود. برامج ذات صلة