محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
جزئیات رویداد
اینستاگرام تی پی بین
همایش ، رویداد ، ژورنال
حوزه های تحت پوشش رویداد

  • بررسی تصمیم پذیری رابطه شبیه سازی دوتایی پیش ترتیبی برای سیستم های بلادرنگ همروند

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 865
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    در این مقاله به بررسی تصمیم پذیری رابطه شبیه سازی دوتایی پیش ترتیبی بین سیستم های بلادرنگ همروند پرداخته می شود. رابطه شبیه سازی دوتایی پیش ترتیبی یک رابطه هم ارزی است که برای مقایسه سرعت عملکرد بین دو سیستم بلادرنگ مبتنی بر مدل خودکارهای زمان دار کاربرد دارد. تصمیم پذیری رابطه شبیه سازی دوتایی پیش ترتیبی قبلا برای سیستم ها و مولفه های بلادرنگ ترتیبی، با استفاده از گراف ارزش دهی منطقه نتیجه شده است. از آنجا که اغلب سیستم های بلادرنگ موجود در طبیعت ماهیت همروندی دارند، در این مقاله به فرض همروندی سیستم های بلادرنگ با استفاده از تکنیک دست تکانی، تصمیم پذیری رابطه شبیه سازی دوتایی پیش ترتیبی با استقرای ریاضی نشان داده می شود. نتایج نشان می دهد که رابطه شبیه سازی دوتایی پیش ترتیبی تحت ترکیب موازی با هر خودکار زمان دار دیگر بسته نیست. این رابطه با شرط وجود رابطه شبیه سازی دوتایی قوی بین گراف های ارزش دهی منطقه؛ حاصل از ترکیب موازی دو فرایند زمانی و همچنین برقراری تابع تعویض ترتیبی بین گره های مشابه دو گراف منطقه برقرار است.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها