تلفن: ۰۴۱۴۲۲۷۳۷۸۱
تلفن: ۰۹۲۱۶۴۲۶۳۸۴

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

عنوان فارسی: مدل سازی و تحلیل سیستم های رایانشی سیار: شبکه های پتری توسعه یافته
عنوان انگلیسی: Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism
تعداد صفحات مقاله انگلیسی : 12 تعداد صفحات ترجمه فارسی : 19 (2 صفحه رفرنس انگلیسی)
سال انتشار : 2015 فرمت مقاله انگلیسی : pdf و ورد تایپ شده با قابلیت ویرایش
فرمت ترجمه مقاله : pdf و ورد تایپ شده با قابلیت ویرایش فونت ترجمه مقاله : بی نازنین
سایز ترجمه مقاله : 14 نوع مقاله : ISI
پایگاه : اسکوپوس نوع ارائه مقاله : ژورنال
ایمپکت فاکتور(IF) مجله : 2.419 در سال 2020 شاخص H_index مجله : 29 در سال 2021
شاخص SJR مجله : 0.401 در سال 2020 شناسه ISSN مجله : 1841-9836
شاخص Q یا Quartile (چارک) : Q3 در سال 2020 کد محصول : 11495
محتوای فایل : zip حجم فایل : 2.61Mb
رشته و گرایش های مرتبط با این مقاله: مهندسی کامپیوتر، فناوری اطلاعات، فناوری اطلاعات و ارتباطات، شبکه های کامپیوتری، مخابرات سیار، رایانش ابری
مجله: مجله بین المللی ارتباطات و کنترل رایانه ها - International Journal Of Computers Communications & Control
دانشگاه: آزمایشگاه LINFI، گروه علوم کامپیوتر، دانشگاه Biskra Biskra ، الجزایر
کلمات کلیدی: شبکه های پتری، شبکه های پتری رنگی (CPN)، شبکه های پتری پویا (دینامیک) و سیستم رایانشی سیار
کلمات کلیدی انگلیسی: Petri Nets - Coloured Petri Nets - Dynamic Petri Nets - Mobile Computing System
وضعیت ترجمه عناوین تصاویر: ترجمه شده است ✓
وضعیت ترجمه منابع داخل متن: به صورت عدد درج شده است ✓
وضعیت فرمولها و محاسبات در فایل ترجمه: به صورت عکس، درج شده است ✓
ضمیمه: ندارد ☓
بیس: نیست ☓
مدل مفهومی: ندارد ☓
پرسشنامه: ندارد ☓
متغیر: ندارد ☓
رفرنس: دارای رفرنس در داخل متن و انتهای مقاله
رفرنس در ترجمه: در انتهای مقاله درج شده است
doi یا شناسه دیجیتال: https://doi.org/10.15837/ijccc.2015.2.118
ترجمه این مقاله با کیفیت عالی آماده خرید اینترنتی میباشد. بلافاصله پس از خرید، دکمه دانلود ظاهر خواهد شد. ترجمه به ایمیل شما نیز ارسال خواهد گردید.
فهرست مطالب

چکیده

1. مقدمه

2. شبکه های توسعه یافته قابل پیکربندی مجدد برچسب گذاری شده (ELRN)

2-1 تعریف رسمی

2-2 مفاهیم

2-3 یک نمونه مدل سازی

3. تجزیه و تحلیل شبکه ELRN

4. کارهای مرتبط

5. نتیجه گیری

نمونه متن انگلیسی

Abstract

In its basic version, Petri Nets are defined as fixed graphs, where the behaviour of the system is modelled as the marking of the graph which changes over time. This constraint makes the Petri Nets a poor tool to deal with reconfigurable systems as mobile computing systems, where the structure of the system can change as its behaviour, during time. Many extended Petri nets were proposed to deal with this weakness. The aim of this work is to present a new extension of Petri Nets, where the structure of the graph can be highly flexible. This flexibility gives a rich model with complex behaviours, not allowed in previous extensions. The second aim is to prove that even these behaviours are so complex; they can be translated into other low level models (as Coloured Petri Nets [21]) and so be analysed. This translation exploits Dynamic Petri Nets [11] as an intermediary representation between our model and Coloured Petri Nets.

1 Introduction

The development of computer science technologies and increasing user requirements are the major drivers of the birth of sophisticated solutions. Mobility with its soft (code mobility) and hard (device mobility) aspects is one of these solutions. When some disaster menaces a critical system during its execution, it seems a good idea to transfer this system and to save its state to another, more secure site, where it can continue its execution. By soft mobility, we mean a system where code can migrate from one site to another site. Many reasons can cause such migration and many methods and techniques can be used.

5 Conclusion

Mobile Systems are systems with a dynamic structure. Their structure changes as they are executed. This class of systems can be found in many domains of our life. Mobile robots used to explore hostile environment, mobile agents used in the internet or in distributed systems, mobile nodes in a mobile wireless networks ... All these systems can be considered as reconfigurable systems.

نمونه متن ترجمه

چکیده

شبکه های پتری در نسخه اصلی اشان به عنوان گراف های ثابت تعریف می شود به طوری که رفتار سیستم به عنوان علامت گذاری گرافی تعریف می شود که با گذشت زمان تغییر می کند. این محدودیت سبب می شود که شبکه های پتری به ابزار ضعیفی برای کار با سیستم های قابل پیکربندی همانند سیستم های رایانش سیار تبدیل شوند که در آن ساختار سیستم مطابق با رفتارش در طی زمان تغییر می کند. بسیاری از شبکه های پتری توسعه یافته برای تعامل با این ضعف پیشنهاد داده شده است. هدف این کار ارائه توسعه جدیدی از شبکه های پتری است که ساختار گراف به طور زیادی قابل انعطاف است. این انعطاف پذیری مدل کاملی همراه با رفتارهای پیچیده ارائه می کند که در توسعه های پیشین مجاز نبوده است. هدف دوم اثبات این است که حتی آن رفتارها نیز بسیار پیچیده هستند؛ آن ها به دیگر مدل های سطح پایین قابل تبدیل هستند (همانند شبکه های پتری رنگی [21]) و در نتیجه قابل تحلیل می باشند. این تبدیل شبکه های پتری پویا [11] را به عنوان یک نمایش واسط بین مدل پیشنهادی و شبکه های پتری رنگی به کار می گیرد.

1. مقدمه

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

5. نتیجه گیری

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

تصاویر فایل ورد ترجمه مقاله (جهت بزرگنمایی روی عکس کلیک نمایید)

11495-IranArze    11495-IranArze1    11495-IranArze2