مدلسازی و درستییابی سیستمهای سایبر فیزیکی برای محیطهای هوشمند [پايان نامه فارسي]
حمیدرضا محرمی
| شناسگر رکورد: | ۱۶۳۴۹ |
| رشته تحصیلی: | نرم افزار |
| عنوان: | مدلسازی و درستییابی سیستمهای سایبر فیزیکی برای محیطهای هوشمند |
| نويسنده: | حمیدرضا محرمی |
| استاد راهنما : | دکتر علی موقر رحیم آبادی |
| استاد مشاور: | دکتر بابک مجیدی |
| مقطع تحصیلی : | کارشناسی ارشد |
| دانشگاه : | خاتم |
| تاریخ دفاع : | ۱۴۰۰ |
| چکیده: | دستگاههای هوشمند کنار هم قرار گرفتهاند تا زندگی را برای انسان ساده تر کنند و بطور کلی راحتی و آرامش را به ارمغان بیاورند. دستگاههای هوشمند جایگزین کارهای خطرناک، فعالیتهای جسمی و کارهای تکراری هستند و با تلفیق آنها کنار یکدیگر، محیطهای هوشمند پدید میآید. این دستگاهها را میتوان سیستمهای سایبر فیزیکی نامید. کنار هم قرار گرفتن سیستمهای سایبر فیزیکی مستقل، احتمال بروز ناسازگاری و مناقشه در رفتارشان را پدید میآورد لذا نیازمند سامانه مدیریت رویدادها، رخدادها و همچنین کنشها و واکنشها میباشند. برای مدیریت رفتارها لازم است ابتدا کنشها و واکنشهای اجزای فیزیکی و نرمافزاری بطور دقیق مدلسازی شود سپس حالتهای ممکن طبق مدل، شبیهسازی و عکسالعمل سامانه مدیریت هوشمند، بازبینی و درستییابی شود. نتایج وارسی و درستییابی صحت عملکرد و کارایی سامانه مدیریت هوشمند را بیان مینمایند. حساسیت نتایج در محیطهای هوشمند مختلف متفاوت میباشد ولی این نتایج ملاکی برای انتخاب سامانههای همسان است. در این پژوهش، محیط هوشمند مورد نظر، یک خانه هوشمند در نظر گرفته شده است و مدلسازی آن با هدف پیادهسازی اتوماسیون خانه هوشمند انجام شده است، لذا اجزای بکار گرفته فیزیکی قابل دسترس بوده و روابط اجزا و سیگنالهای ارسالی و دریافتی آنها بصورت واقعی مدلسازی شدهاند، همچنین معماری اتوماسیون خانه هوشمند توسط محقق طراحی شده است. |
| واژگان کلیدی: | مهندسی کامپیوتر |
| مهندسی نرم افزار | |
| مدلسازی | |
| درستییابی | |
| سیستمهای سایبر فیزیکی | |
| محیطهای هوشمند |
جهت ثبت نظر با حساب کاربری تان وارد شوید