ارائه یک راه حل بدون بن بست برای حل مساله غذا خوردن فیلسوف ها با استفاده از تبدیل گراف
Publish Year: 1389
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 6,422
This Paper With 5 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSCIT01_054
تاریخ نمایه سازی: 19 بهمن 1390
Abstract:
تبدیل مدل یک روش ساده و قوی را برای مسائل متنوعی که در علم کامپیوتر و مهندسی نرم افزار مطرح شده اند، ارائه می کند. امروزه استفاده از متدهای تبدیل مدل بر اساس تبدیل گراف در حوزه مختلف کامپیوتری بسیار مورد توجه می باشد. یکی از مسائل کلاسیک مساله غذا خوردن فیلسوف ها می باشد که یکی از مشکلات مطرح آن وجود بن بست می باشد. در این مقاله به بررسی یک راه حل برای رفع مشکل بن بست در مساله فیلسوف ها با استفاده از تبدیل گراف می پردازیم. در تبدیل گراف مجموعه ای از مدل های مبدا به مدل های هدف نگاشت می شوند. قواعد تبدیل گراف شامل یک گراف سمت چپ ، یک گراف سمت راست و یک نگاشت پوشا بین گره ها (یال ها) بر روی هر دو طرف و مجموعه ای از شرایط کاربردی منفی است. ابزار پیشنهادی در این مقاله برای بررسی مساله غذاخوردن فیلسوف ها ابزار AGG می باشد. این ابزار یک محیط توسعه برای سیستم های تبدیل گراف دارای صفت برای پشتیبانی کردن یک رویکرد جبری تبدیل گراف است. این ابزار شامل ویراستارهای گراف قابل انعطاف، یک مترجم و مجموعه ای از ابزارهای اعتبار سنجی است.
Keywords:
Authors
مریم موسوی
دانشجوی کارشناسی ارشد- دانشگاه آزاد اسلامی واحد اراک
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :