10112

10112

زمانبندي و انتساب وظايف در شبكه¬هاي حسگر كنشگر بي¬سيم

دكترا

مهندسي كامپيوتر (نرم افزار)

تير 1391

تير 1391

راهنما: دكتر محسن شريفي

چكيده با توجه به محدوديت توان محاسباتي و ارتباطي شبكه هاي حسگر كنشگر بيسيم، خصوصا انرژي محدود گرههاي حسگر و كنشگر و نيز پراكندگي جغراف يايي رويداد ها و موقعيت كنشگر ها، انتخاب بهترين كنشگرها براي انتساب وظايف و اجراي آنها را طي موعدشان در كاربردهاي بيدرنگ اهميت چنداني دارد . در اين رساله، راهكاري براي توزيع وظايف بيدرنگ بين كنشگرهاي شبكههاي حسگر كنشگر بيسيم ارائه مينمائيم كه براي كاربردهاي بيدرنگ سخت، رعايت موعد اجراي وظايف را تضمين نمايد . بدين منظور مدل زمانبندپذيري بيدرنگ را معرفي ميكنيم كه معيارهاي مهم توازن باركاري، پايداري و قابليت پاسخگويي كنشگرها را در نظر ميگيرد. به منظور تحليل زمانبندپذيري وظايف ، مدل صوري دسترس - پذيري را با استفاده از جبر فرآيندي ارائه ميدهيم. در ادامهي رساله و با بهرهگيري از مدل زمانبندپذيري پيشنهادي، راهكار توزيع وظايف را در شبكههاي حسگر كنشگر بيسيم ارائه مي نمائيم . در اين راهكار ، پروتكل پيشنهادي انتساب وظايف بيدرنگ به كمك رهيافت مزايده، بهترين كنشگر هاي محيط را براي انتساب وظايف انتخاب مينمايد. پس از انتخاب كنشگرهاي مناسب و انتساب وظايف به آنها ، در نهايت پروتكل پيشنهادي زمانبندي وظايف به صورت آگاه از زمينه، وظايف گرههاي كنشگر را زمانبندي مينمايد . نتايج به دست آمده از شبيه سازي راهكار توزيع وظايف ، نمايانگر افزايش نسبت برخورد موعد اجراي وظايف، برقراري توازن باركاري كنشگرها و افزايش طول عمر گره هاي كنش گر شبكه نسبت به ساير تحقيقات مشابه است. در بحث درستييابي مدل زمانبندپذيري و پروتكل هاي پيشنهادي، ويژگي هاي ايمني، زنده بودن محدود و عدم وجود بنبست مدنظر بوده است كه به كمك روش بررسي مدل و آتوماتاي زماني برقراري اين ويژگيها را اثبات نمودهايم. از مهمترين كارهاي آتي، توزيع وظايفي است كه اجرايشان بههم وابسته بوده و مكان رويداد مرتبط با اين وظايف در شبكههاي حسگر كنشگر بيسيم متحرك مي - باشند. واژه هاي كليدي: شبكهي حسگر كنشگر بي سيم، زمانبندي وظايف، زمانبندپذيري، توزيع وظايف، انتساب وظايف، باركاري، بيدرنگ، موعد، مزايده، آتوماتاي زماني.