Publisher of Iranian Journals and Conference Proceedings

Please waite ..
Publisher of Iranian Journals and Conference Proceedings
Login |Register |Help |عضویت کتابخانه ها
Paper
Title

ارائه یک راه حل بدون بن بست برای حل مساله غذا خوردن فیلسوف ها با استفاده از تبدیل گراف

Year: 1389
COI: NCSCIT01_054
Language: PersianView: 5,683
This Paper With 5 Page And PDF Format Ready To Download

Buy and Download

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این Paper را که دارای 5 صفحه است به صورت فایل PDF در اختیار داشته باشید.
آدرس ایمیل خود را در کادر زیر وارد نمایید:

Authors

مریم موسوی - دانشجوی کارشناسی ارشد- دانشگاه آزاد اسلامی واحد اراک

Abstract:

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

Keywords:

Paper COI Code

This Paper COI Code is NCSCIT01_054. Also You can use the following address to link to this article. This link is permanent and is used as an article registration confirmation in the Civilica reference:

https://civilica.com/doc/132759/

How to Cite to This Paper:

If you want to refer to this Paper in your research work, you can simply use the following phrase in the resources section:
موسوی، مریم،1389،ارائه یک راه حل بدون بن بست برای حل مساله غذا خوردن فیلسوف ها با استفاده از تبدیل گراف،1st National conference on Soft Computing and Information Technology (NCSCIT2011)،Mahshahr،https://civilica.com/doc/132759

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :

  • در علم کامپیوتر و مهندسی نرم افزار مطرح شده اند، ...
  • باقی است. در کار بعدی در نظر داریم راه حلی ...
  • T. Mens, "On the Use of Graph Trans formations for ...
  • S. K. Sendall, W, "Model transformation : the heart and ...
  • R. Heckel, "Graph Transformation in _ Nutshell, " Electronic Notes ...
  • F. v. Es, "Type Inference for Graph Transformation Systems, " ...
  • Theoretical Computer Science, vol. 211, pp. 75- 85 2008 ...
  • S. A. Varro G. "Benchmarking for Graph Tran sformation , ...
  • P. A. Darabos A., Varro D., "Towards Testing the Implementation ...
  • G. Taentzer, " AGG: A Tool Environment for Algebraic Graph ...
  • C. E. J. de Lara, G. Taentzer, K. Ehrig, "Parallel ...
  • Techniques in the Context of MDA, 2003. ...
  • Evironment, " in Handbook on Graph Grammers and Computing by ...
  • , ed, 1999, pp. 551-603. ...
  • _ _ _ ig.de/agg, "The Agg 1.4.0 Development Environment The ...
  • Transfo rmations with Industrial Relevance .vol. 3062/2004, ed: LNCS, 2004, ...
  • D. a. V. o. Gergely Varro, "Graph Transformation with Incremental ...

Research Info Management

Certificate | Report | من نویسنده این مقاله هستم

اطلاعات استنادی این Paper را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

Reviews

5.00
1 تعداد پژوهشگران نظر دهنده
5 1
4 0
3 0
2 0
1 0

Scientometrics

The specifications of the publisher center of this Paper are as follows:
Type of center: Azad University
Paper count: 7,486
In the scientometrics section of CIVILICA, you can see the scientific ranking of the Iranian academic and research centers based on the statistics of indexed articles.

مقالات پیشنهادی مرتبط

New Papers

New Researchs

Share this page

More information about COI

COI stands for "CIVILICA Object Identifier". COI is the unique code assigned to articles of Iranian conferences and journals when indexing on the CIVILICA citation database.

The COI is the national code of documents indexed in CIVILICA and is a unique and permanent code. it can always be cited and tracked and assumed as registration confirmation ID.

Support