1403/09/03
وحید رافع

وحید رافع

مرتبه علمی:
ارکید: https://orcid.org/0000-0002-2486-7384
تحصیلات: دکترای تخصصی
اسکاپوس: 14054926800
دانشکده:
نشانی: دانشگاه اراک، گروه مهندسی کامپیوتر
تلفن:

مشخصات پژوهش

عنوان
ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم پرندگان و جستجوی گرانشی
نوع پژوهش
مقاله چاپ‌شده
کلیدواژه‌ها
Model checking, deadlock, particle swarm optimization, PSO, gravitational search algorithm, graph transformation
سال 1394
مجله مهندسي برق دانشگاه تبريز
شناسه DOI
پژوهشگران مریم مرادی ، رزا یوسفیان ، وحید رافع

چکیده

ی لدم، یک راکهار و راکدوخ شوری ب بس انمهروظنم یتس ردیبای سی متسیاه مرنیرازفا نئمطم تس ا رد . نیا سی متس،اه منیناوت ری کس زورب اطخ تح اری رددنیآرف ذپ تس تیتفر و اذل تس ا مزلادنیآرف تس ردییبای، پ زا لبقیهدا زاسی س .دوش ماجنا لدم حطس رد وی سمتاهی دبتیل رتدربراکرپ زا ،فارگین سی متسیاه لدم زاسی مس ری راکهار وی ب بسانمهروظنم لدم یزاس س راو وی سی متسیاه پیچیهد .دنتسهما ااین سی متس رد اهدنیآرف س راوی لدم لکش م زاراجفنا یاض ف تلاحیم جنردنرب هدرتس گ تروص رد هک و هلئس م داعبا ندوباذل گرزب ض ف ندشای ح تلا س ،لدمی متس هجاوم هظفاح دوبمک اب یم دوشا زا فده اذل .ین پ ،شهوژپی داهنش راکهاری تهج لکش م نیا اب هلباقم رددنیآرف س راوی سی متسیاه دبتیل اهراکهار .تتتسا فارگی هئاراهدتتش، هباجی لوتید لکاتتضفی تتسر تهج رد ار نآ ،تلاحیند هبیک ب اطخ تلاحهنب لاثم روطتتتسباده ،یت یمپ راکهار .دننکی داهنشی انبم ربی روگلایمت حارط ناگدنرپی هدش ارب وی گولجیری هب رد نداتفا ماد هب لکشم زایهنیاه لحمی کشم هک لصا لی نیا روگلایمت روگلا اب ،تس ایمت تس جوجی ش نارگی اراد هکی بوخ تردقی وجتس ج ردی لحمی کرت ،تس ایب هدش .تس ا تیاهن رد هبرا روظنمزیبای اتنیج هئارا یاهراکهارهدش، نیا رازبا رد اهراکهارGroove- اهرازبا زای لدمزاسی دبتیل فارگ-پیهدازاسی هدشدنا. هژاویاه یدیلک :سراوی لدم، یسمتس دبتیل اضف راجفنا ،فارگی روگلا ،تلاحیمت روگلا ،ناگدنرپیمت وجتسجی شنارگی.