مدل سازی صوری و درستی یابی احتمالی یک سیستم هشدار نفوذ در شبکه های حسگر بی سیم
Publish Year: 1386
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 2,105
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT03_018
تاریخ نمایه سازی: 22 فروردین 1387
Abstract:
روشهای صوری و فنون درستی یابی، از ابزارهای تحلیل سیستم ها هستند. این روشها می توانند در مدل سازی شبکه های حسگر بی سیم که از جهات زیادی با شبکه های سنتی متفاوتند نیز به کار روند. ما در این مقاله، به درستی یابی احتمالی یک سیستم نمونه در شبکه های حسگر بی سیم خواهیم پرداخت. هدف این سیستم، تشخیص رخدادهای مورد نظر در محدوده شبکه است. در این راستا، در ابتدا یک مدل پایه برای شبکه مطرح شده وسپس با حذف بعضی پیش فرض ها سعی خواهد شد تا رفتار مدل به یک سیستم واقعی نزدیکتر شود. برای تحلیل و بررسی سیستم از ابزار درستی یابی احتمالی PRISM استفاده شده و با استفاده از مدل پاداش موجود در این ابزار و استفاده از درستی یابی احتمالی، بعضی از خصوصیت های شبکه به طور نمونه درستی یاب شده است.
Keywords:
Authors
علی خلیلی
دانشگاه علم و صنعت ایران، دانشکده کامپیوتر
محمد عبداللهی ازگمی
دانشگاه علم و صنعت ایران، دانشکده کامپیوتر
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :