ارایه سبکی مبتنی بر سیستم های تبدیل گراف برای مدل سازی ،پیکربندی وتبادل پیام در سیستم های چند عامله متحرک
- سال انتشار: 1394
- محل انتشار: کنفرانس ملی فن آوری، انرژی و داده با رویکرد مهندسی برق و کامپیوتر
- کد COI اختصاصی: TEDECE01_575
- زبان مقاله: فارسی
- تعداد مشاهده: 670
نویسندگان
شرکت کیمیا پیشه
چکیده
سیستم های عامل متحرک دارای ساختاری پویا هستند ومعماری عامل گرا به دلیل پویایی یکی از معماری های مناسب برای پشتتیبایی از این سیستم ها است . اگرچه زبان های مدل سازی مانندUML به صورت گسترده در طراحی بسیاری از سیستم هااستفاده شده اید,اما پیاده سازی این سیستم ها به طور کلی هنوز با زبان های بریامه یویسی سنتی ایجام می شود,که بی اطلاع از مدل هستند. این امرمنجر به یاسازگاری هایی بین مشخصه و پیاده سازی سیستم ها می شود.در این مقاله با استفاده از معماری عامل گرا برای مدل سازی و انتزاع، یک سبک پویای معماری برای سیستم های عامل متحرک ارائه کردیم، سپس مدل ارائه شده را روی سیستم تشخیص پزشکی همیار که یکی از ایواع سیستم های عامل متحر ک می باشد اعمال شد. پیاده سازی مدل ارائه شده با ابزار GROOVE و صحت ستجی آن توسط قوانین CTL انجام شده است.کلیدواژه ها
سبک معماری پویا، سیستم های عامل متحرک،معماری عامل گرا،سیستم تبدیل گراف،نرم افزار قابل اطمینانمقالات مرتبط جدید
- سیستم تشخیص نفوذ در محیط رایانش ابری با استفاده از یادگیری ویژ گی
- کاهش هزینه تعمیراتی ماشین های سنگین از طریق بهبود الگوریتم درخت تصمیم با الگوریتم های انتخاب ویژگی Information Gain ،Correlation و SVM
- پردازش کوانتومی تصاویر پزشکی و تشخیص لبه آن با استفاده از الگوریتم QHED
- بررسی و مقایسه روشهای تشخیص اکانت های جعلی در شبکه های اجتماعی
- مکان یابی و مقدار بهینه منابع تولید پراکنده به منظورکاهش تلفات و بهبود انحراف ولتاژ شبکه نامتعادل توزیع
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.