ارائه یک راه حل بدون بن بست برای حل مساله غذا خوردن فیلسوف ها با استفاده از تبدیل گراف
محل انتشار: اولین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات
سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 6,420
فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSCIT01_054
تاریخ نمایه سازی: 19 بهمن 1390
چکیده مقاله:
تبدیل مدل یک روش ساده و قوی را برای مسائل متنوعی که در علم کامپیوتر و مهندسی نرم افزار مطرح شده اند، ارائه می کند. امروزه استفاده از متدهای تبدیل مدل بر اساس تبدیل گراف در حوزه مختلف کامپیوتری بسیار مورد توجه می باشد. یکی از مسائل کلاسیک مساله غذا خوردن فیلسوف ها می باشد که یکی از مشکلات مطرح آن وجود بن بست می باشد. در این مقاله به بررسی یک راه حل برای رفع مشکل بن بست در مساله فیلسوف ها با استفاده از تبدیل گراف می پردازیم. در تبدیل گراف مجموعه ای از مدل های مبدا به مدل های هدف نگاشت می شوند. قواعد تبدیل گراف شامل یک گراف سمت چپ ، یک گراف سمت راست و یک نگاشت پوشا بین گره ها (یال ها) بر روی هر دو طرف و مجموعه ای از شرایط کاربردی منفی است. ابزار پیشنهادی در این مقاله برای بررسی مساله غذاخوردن فیلسوف ها ابزار AGG می باشد. این ابزار یک محیط توسعه برای سیستم های تبدیل گراف دارای صفت برای پشتیبانی کردن یک رویکرد جبری تبدیل گراف است. این ابزار شامل ویراستارهای گراف قابل انعطاف، یک مترجم و مجموعه ای از ابزارهای اعتبار سنجی است.
کلیدواژه ها:
نویسندگان
مریم موسوی
دانشجوی کارشناسی ارشد- دانشگاه آزاد اسلامی واحد اراک
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :