• مدل سازی صوری و درستی یابی احتمالی یک سیستم هشدار نفوذ در شبکه های حسگر بی سیم

    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1386/01/01
    • تاریخ انتشار در تی پی بین: 1386/01/01
    • تعداد بازدید: 764
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    روشهای صوری و فنون درستی یابی، از ابزارهای تحلیل سیستم ها هستند. این روشها می توانند در مدل سازی شبکه های حسگر بی سیم که از جهات زیادی با شبکه های سنتی متفاوتند نیز به کار روند. ما در این مقاله، به درستی یابی احتمالی یک سیستم نمونه در شبکه های حسگر بی سیم خواهیم پرداخت. هدف این سیستم، تشخیص رخدادهای مورد نظر در محدوده شبکه است. در این راستا، در ابتدا یک مدل پایه برای شبکه مطرح شده و سپس با حذف بعضی پیش فرض ها سعی خواهد شد تا رفتار مدل به یک سیستم واقعی نزدیکتر شود. برای تحلیل و بررسی سیستم از ابزار درستی یابی احتمالی prism استفاده شده و با استفاده از مدل پاداش موجود در این ابزار و استفاده از درستی یابی احتمالی، بعضی از خصوصیت های شبکه به طور نمونه درستی یابی شده است.

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

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