آموزش مدل‌سازی پیشرفته برای بهینه‌سازی گسسته - آخرین آپدیت

عیب‌یابی و بهبود مدل‌ها Debugging and Improving Models

• خوش‌آمدگویی به دوره مدل‌سازی پیشرفته برای بهینه‌سازی گسسته Welcome to Advanced Modeling for Discrete Optimization

• 2.1.1 عیب‌یابی مدل 2.1.1 Model Debugging

• 2.1.2 ردیابی مدل‌ها 2.1.2 Tracing Models

• 2.1.3 معناشناسی رابطه‌ای 2.1.3 Relational Semantics

• 2.1.4 تعداد زیادِ راه‌حل‌ها 2.1.4 Too Many Solutions

• 2.1.5 راه‌حل‌های مفقود شده 2.1.5 Missing Solutions

• 2.1.6 بهبود پایه مدل 2.1.6 Basic Model Improvement

• 2.1.7 خلاصه ماژول ۱ 2.1.7 Module 1 Summary

• حل کارگاه ۵ Workshop 5 Solution

• ارسال تکالیف در محیط IDE Assignment Submission - IDE

• ارسال تکالیف در محیط CLI Assignment Submission - CLI

• مرجع ۱: ویژگی‌های پایه Reference 1: Basic Features

• مرجع ۲: عبارت‌های بولی Reference 2: Booleans Expressions

• مرجع ۳: مجموعه‌ها، آرایه‌ها و درک کلی (Comprehensions) Reference 3: Sets, Arrays and Comprehensions

• مرجع ۴: انواع شمارشی Reference 4: Enumerated Types

• مرجع ۵: رشته‌ها و خروجی Reference 5: Strings and Output

• مرجع ۶: انواع اختیاری (Option Types) Reference 6: Option Types

• مرجع ۷: گزاره‌ها Reference 7: Predicates

• مرجع ۸: تخت‌سازی (Flattening) Reference 8: Flattening

• مرجع ۹: تبدیل داده‌ها Reference 9: Transforming Data

• مرجع ۱۰: توابع تعریف شده توسط کاربر Reference 10: User Defined Functions

• مرجع ۱۱: رابط خط فرمان Reference 11: Command Line Interface

گزاره‌ها Predicates

• 2.2.1 گزاره‌ها 2.2.1 Predicates

• 2.2.2 ساختار let 2.2.2 The let-in Construct

• 2.2.3 استفاده از گزاره‌ها 2.2.3 Using Predicates

• 2.2.4 زمینه‌ها (Contexts) 2.2.4 Contexts

• 2.2.5 خلاصه ماژول ۲ 2.2.5 Module 2 Summary

• حل کارگاه ۶ Workshop 6 Solution

زمان‌بندی Scheduling

• 2.3.1 زمان‌بندی پایه 2.3.1 Basic Scheduling

• 2.3.2 زمان‌بندی انفصالی 2.3.2 Disjunctive Scheduling

• 2.3.3 زمان‌بندی تجمعی 2.3.3 Cumulative Scheduling

• 2.3.4 زمان‌بندی وابسته به توالی ۱ 2.3.4 Sequence Dependent Scheduling 1

• 2.3.5 زمان‌بندی وابسته به توالی ۲ 2.3.5 Sequence Dependent Scheduling 2

• 2.3.6 خلاصه ماژول ۳ 2.3.6 Module 3 Summary

• حل کارگاه ۷ Workshop 7 Solution

بسته‌بندی Packing

• 2.4.1 بسته‌بندی مربعی 2.4.1 Square Packing

• 2.4.2 بسته‌بندی مستطیلی بدون چرخش 2.4.2 Rectilinear Packing without Rotation

• 2.4.3 بسته‌بندی مستطیلی با چرخش 2.4.3 Rectilinear Packing with Rotation

تقارن و تسلط Symmetry and Dominance

• 2.5.1 تقارن‌ها و LexLeader 2.5.1 Symmetries and LexLeader

• 2.5.2 تقارن‌های مدل ماتریسی 2.5.2 Matrix Model Symmetries

• 2.5.3 تقارن‌های مقداری 2.5.3 Value Symmetries

• 2.5.4 تسلط (Dominance) 2.5.4 Dominance

• 2.5.5 خلاصه ماژول ۴ و ۵ 2.5.5 Module 4 & 5 Summary

• حل کارگاه ۸ Workshop 8 Solution