صفحه اصلی > کارگاه‌های آموزشی
.: کارگاه‌های آموزشی


کارگاه مقدمه‌ای بر نرم‌افزار بهینه‌سازی گمز (GAMS)


مدرس: دکتر مرتضی جعفرزاده

زمان: چهارشنبه 22 آبان‌ماه 1398

در بسیاری از کارهاي تحقيقاتي و پروژه‌های کاربردی يكي از اساسي‌ترين مسائل پيدا كردن راه حل بهينه است و اين موضوع در رشته‌ها و پروژه‌هاي مختلف به خصوص براي اکثر دانشجويان مقطع تحصيلات تكميلي مورد نياز است. نرم‌افزار تحقیق در عملیات GAMS یک نرم افزار سطح بالا جهت کدنویسی مسایل بهینه‌سازی است که برای حل مدل‌های برنامه‌ریزی ریاضی (مسائل برنامه‌ریزی خطی، برنامه‌ریزی غیرخطی، برنامه‌ریزی عدد صحیح مختلط و ...) مورد استفاده قرار می‌گیرد. این نرم‌افزار از سرعت بسیار بالایی در حل مدل‌های بزرگ برخوردار است که از آن می‌توان به عنوان بهترین نرم‌افزار حل مسائل بهینه‌سازی در حل مسائل بسیار بزرگ و پیچیده نام برد. در اين دوره كه به صورت كارگاه در كنار سومين سمینار ملي کنترل و بهینه‌سازی برگزار مي‌شود، سعي می‌گردد به صورت كاربردي و عملی سرفصل‌هاي زير تدریس شده تا براي افراد مختلف از صنعت و دانشجويان مفید واقع گردد.

اهداف کارگاه

-       آشنایی شرکت‌کنندگان با نرم‌افزار بهینه‌سازی GAMS

-       روش استفاده از GAMS  در متلب

-       پیاده‌سازی یک مساله‌ی بهینه‌سازی با استفاده از GAMS

گروه هدف

-       دانشجویان دوره‌ی کارشناسی ارشد و دکتری رشته‌های ریاضی کاربردی (بهینه‌سازی، تحقیق در عملیات)

-       دانشجویان دوره‌ی کارشناسی، کارشناسی ارشد و دکتری رشته‌های مرتبط مانند مهندسی صنایع، مهندسی برق، مهندسی کامپیوتر، مدیریت و ...

عناوین مورد بحث

-       آشنایی با محیط نرم‌افزار

-       ساختار یک مدل GAMS

-       تعریف مجموعه‌ها، مجموعه‌های چند بعدی، مجموعه‌های پویا

-       داده‌های ورودی معلوم: اسکالرها، پارامترها و جدول‌ها

-       عملگرهای محاسباتی و توابع

-       انواع متغیرها

-       تعریف معادله‌ها، قیود، تابع هدف

-       دستورهای کنترلی و حلقه نویسی

-       تعریف مهمترین Option ها

-       انواع مدل‌ها و حل‌کننده‌ها

-       تشخیص وضعیت جواب مدل

-       ارتباط با سایر نرم‌افزارها

-       مثال‌های کاربردی


کارگاه یادگیری عمیق

مدرس: دکتر محمود امین‌طوسی

زمان: چهارشنبه 22 آبان‌ماه 1398

دانشجویان ریاضی و افرادی که تحقیق در عملیات را گذرانده‌اند با کاربردهای متعدد بهینه‌سازی آشنا شده‌اند، اما شاید آگاه نباشند که پشت صحنه بسیاری از نرم‌افزارهای جدید حوزه هوش مصنوعی یک مسئله بهینه‌سازی است. از این میان می‌توان به نرم‌افزارهای شناسایی و برنامه‌هایی همچون فیس‌اپ (FaceApp) که برای تغییر چهره افراد بکار می‌رود اشاره کرد. در ماه‌های اخیر برنامه فیس‌اپ که توسط آن می‌توان چهره فرد را جوان‌تر یا پیرتر کرد یا حالت وی را عوض کرد، مشهور شده بود. همچنین نرم‌افزارهای تولید تصاویر و فیلم‌های جعلی نیز اخیراً روند رو به رشدی داشته‌اند. همه اینها با «یادگیری عمیق» عملیاتی شده‌اند. روال یادگیری در این حوزه یک مسئله‌ی بهینه‌سازی است که فاصله بین خروجی مدل و مقدار واقعی را کمینه می‌کند.
در این کارگاه مبانی یادگیری عمیق، کاربردهای آن و پیاده‌سازی مثال‌هایی در این حوزه بیان خواهد شد.

اهداف کارگاه

-       آشنایی با یادگیری عمیق

-       کاربردهای یادگیری عمیق

-       پیاده‌سازی عملی

گروه هدف

-       دانشجویان آشنا با برنامه‌نویسی

-       دانشجویان دوره‌ی کارشناسی ارشد کامپیوتر و رشته‌های مرتبط

عناوین مورد بحث

-       یادگیری ماشین

-       شبکه‌های عصبی
- معرفی مدل پرسپترون چندلایه
 - انواع توابع هزینه
 - نقش بهینه‌سازی در یادگیری و آموزش شبکه‌های عصبی

-       یادگیری عمیق چیست؟
- کاربردهای یادگیری عمیق
 - شناسایی اشیا
 - انتقال سبک نقاشی
 - شبکه‌های مولد تخاصمی
 - شبکه‌های عصبی کانولوشنال و بینایی ماشین

-       مقایسه یادگیری ماشین و یادگیری عمیق

-       پیاده‌سازی عملی در پایتون
- چرا پایتون؟
 - معرفی پایتون و کتابخانه‌های علمی یادگیری ماشین در پایتون
 - پیاده‌سازی شبکه‌های عصبی با کتابخانه کراس در پایتون
 - پیاده‌سازی یک مثال نمونه از یادگیری عمیق با کتابخانه تنسورفلو

-       انتخاب یک سیستم مناسب برای یادگیری عمیق
- پردازش محلی
 - پردازش آنلاین


کارگاه لاتک (Latex)

مدرس:  دکتر سمانه صردی زید

زمان: پنج‌شنبه 23 آبان‌ماه 1398

لاتک یک سیستم حروفچینی بسیار قدرتمند است. در حقیقت چیزی شبیه به یک زبان نشانه‌گذاری که استانداردهایی را برای حروفچینی متون، به خصوص متون علمی، فراهم می‌کند. بارزترین ویژگی آن استقلال بخشیدن به محتوای یک متن از نحوه نمایش آن است. فوق العاده انعطاف‌پذیر و صد البته در نگاه اول کمی سخت و شاید در نخستین مراحل به کارگیری و یا یادگیری آن، ناامیدکننده باشد. از دید لاتک یک مقاله چینشی است از اجرایی متفاوت در کنار یکدیگر و تحت یک قالب مشخص که لاتک برای مدیریت تک تک آنها ابزارهایی را در اختیار نویسنده می‌گذارد. بارزترین ویژگی لاتک آن است که قالب‌ها را از محتوا جدا می‌کند. بنابراین به عنوان نویسنده تنها بایستی به محتوا و ساختار کلی آن توجه داشته باشید و نه نحوه چیدمان یا نمایش آنها. به بیان ساده‌تر به عنوان نویسنده یک مقاله و یا پایان‌نامه تنها لازم است که بدانید چه چیزهایی را می‌نویسید و ساختار کلی آنها (مثلا در چکیده چه بنویسید، مقاله چند بخش باشد، ترتیب بخش‌ها چگونه باشد، آیا زیر بخش و زیرزیر بخش داشته باشد یا نه و ..) چگونه است. در این کارگاه به یادگیری این سیستم حروف‌چینی خواهیم پرداخت.

اهداف کارگاه

-        آشنایی دانشجویان دوره‌های کارشناسی و کارشناسی ارشد با نرم افزار کاربردی لاتک

-       یاددهی برنامه‌های کاربردی این نرم‌افزار برای استفاده در تهیه مقالات و پایان‌نامه های دانشجویان

-       آشنایی دانشجویان رشته‌های علوم پایه و مهندسی با کاربردهای کارآمد لاتک

-       کابرد کد دستورهای گرافیکی برای راحت‌تر شدن استفاده از لاتکس

-       تسهیل در فرایند استفاده از برنامه‌های گرافیکی

گروه هدف

-       دانشجویان دوره‌های کارشناسی، کارشناسی ارشد و دکتری

-       دانشجویان رشته‌های علوم پایه و مهندسی

عناوین مورد بحث

-           آشنایی با ایجاد یک فایل ساده و تولید فایل PDF

-           آشنایی با فرمول‌نویسی مقدماتی

-           آشنایی با وارد کردن تصویر

-           آشنایی با منوهای حرفه‌ای لاتک در فرمول‌نویسی

-          آشنایی با ایجاد جدول

-           فرمول‌نویسی حرفه‌ای

- عملگرها و نکات مربوط به آن

- روابط، حروف یونانی، نامساوی‌ها

- توابع و دستورات اختصاصی مربوط به آن‌ها

- توان، اندیس

- نکاتی در خصوص اصول تایپ فرمول‌ها

-           فاصله‌گذاری حرفه‌ای و نکات مربوط به آن

-           کشش و تنظیم در فرمول‌های چندخطی

-          علایم کششی و نقش آنها در خوانایی متن

-          چگونه یک تابع یا عملگر را خودمان تعریف کنیم؟

-          ماتریس‌ها و توابع چند ضابطه‌ای

-          رسم شکل‌های مختلف با در اختیار قرار دادن کدهای مربوط به این اشکال

-          قابلیت ذخیره‌سازی کدهایی در فرمت Tex و اضافه کردن آن‌ها در ویرایش‌گر texmaker به سند و مشاهده خروجی بدون هیچ واسطه‌ای

-          اضافه کردن فرمت‌های تصویری مختلف به صورت خودکار و مشاهده خروجی در فرمت مورد نظر

-          اجرای عملی کد دستورها