دانلود مقاله تأیید سیستم های حسی هوشمند در رایانش ابری چارچوب ها
موضوع انگلیسی:Verifying Smart Sensory Systems on Cloud Computing
Frameworks
زبان: انگلیسی
فرمت فایل: pdf
تعداد صفحه:7
سال انتشار:2015
چکیده
به تازگی ، برنامه های کاربردی هوشمند پیاده سازی شده بر روی سیستم عامل های ابری به طور گسترده ای برای ارائه خدمات با کیفیت زندگی در این کشور سازگار شده است
حوزه های مختلف مانند: کشاورزی ، پزشکی و سیستم های حمل و نقل. چنین برنامه هایی از بی سیم پیشرفته بهره می برند
شبکه های حسگر (WSN) به عنوان زیرساختی برای پیاده سازی سیستم های هوشمند با توجه به ترک اجباری بین
برنامه های سرویس و برنامه های کنترل کننده شبکه در معماری رایانش ابری ، نیاز به جداسازی وجود دارد
پیاده سازی در میان آنها به منظور افزایش مقیاس پذیری ، پیمانه ای بودن و صحت سنجی چنین سیستم هایی. این جدایی است
جنبه اصلی کیفیت فناوری شبکه تعریف شده با نرم افزار (SDN). این مقاله یک الگوی طراحی ارائه می دهد که از آن استفاده می کند
مشکل SDN قابلیت تأیید توسط تولید خودکار یک حالت اتوماتیک حالت محدود (FSA) تضمین شده است که
نشان دهنده تغییرات رفتاری سیستم است. آزمایشات بر روی یک سیستم زمان واقعی با استفاده از محاسبات انجام شده است
منطق درختی (CTL) نتایج نشان داد که روش پیشنهادی عوارض جانبی نگهداری را به عنوان مقیاس پذیری به حداقل رسانده است
سیستم افزایش یافت و علاوه بر این ، توانست مشکلات همزمان را در زمان طراحی تشخیص داده و از توان مصرفی استفاده کند
از اجزای شبکه
