سامانه مدیریت امور پژوهشی دانشگاه اراک | رضا رافع

نام و نام خانوادگی	رضا رافع
شغل	عضو هیئت‌علمی دانشگاه اراک
تحصیلات	دکترای تخصصی / کامپیوتر (نرم افزار )
وبسایت	مشاهده
پست الکترونیک	r-rafeh [at] araku [dot] ac [dot] ir

	عنوان	کارفرما
1	مدلسازی چند لایه ای مسائل بهینه سازی و ترکیباتی
2	طراحی و پیاده سازی یک اثبات کننده خودکار قضایا با قابلیت استفاده از استقرا
3	طراحی و پیاده سازی سیستم تخته سیاه
4	پیاده سازی یک نرم افزار حل کننده مبتنی بر جستجوی محلی
5	پیاده سازی یک خطی ساز اتوماتیک برای مدلهای غیرخطی در زبان مدلسازی زینک
6	پیاده سازی نرم افزار طرح جامع اوقات فراغت
7	ارائه یک روش مبتنی بر مسیر جایگزین برای کنترل ازدحام در شبکه های حسگر بی سیم