نام پژوهشگر: سید علی اکبر صفوی
احد سلطانی سروستانی سید علی اکبر صفوی
در این رساله به بررسی استراتژی مدیریت انرژی برای تعیین میزان مشارکت هر یک از منابع حرکتی به منظور کاهش در مصرف سوخت خودرو و کاهش در تولید گازهای خروجی در خودرو هیبرید موازی خواهیم پرداخت. در ابتدا استراتژی کنترل سری، استراتژی کنترل حمایت کننده موازی و استراتژی کنترل خودرو پریوس بعنوان استراتژی های کنترل رایج در خودروهای هیبرید مورد بررسی و پیاده سازی قرار گرفته اند. سپس کنترل هوشمند بعنوان مهمترین بخش در این رساله مورد ارزیابی و معرفی قرار گرفته است. منطق فازی جهت پیاده سازی استراتژی کنترل استفاده شده است. برای مقایسه کیفیت کنترلرهای پیشنهاد شده، از سیکلهای حرکتی استاندارد، از قبیل nedc، uddsو hwfetاستفاده شده است تا میزان بهبود عملکرد کنترلر در شرایط یکسان مورد بررسی قرار گیرد. کنترلر های پیشنهاد شده در منطق فازی از نوع ممدانی می باشد. تعداد کنترلر های فازی پیشنهاد شده در این رساله 3 عدد می باشد که هر کنترلر بر اساس اعمال محدودیت هایی ایجاد شده است. نتایج شبیه سازیها در شرایط کاملاً یکسان و بر روی خودروی با شرایط مشابه شبیه سازی شده است و نتایج با کنترلر حمایت کننده موازی مقایسه شده است. نتایج شبیه سازی بهبود عملکرد خودرو را بطور قابل توجه نشان میدهد.
نوید نوروزی سید علی اکبر صفوی
روش های عددی بسیاری برای حل مسائلی چون معادلات غیر خطی، بهینه سازی توابع، حل معادلات دیفرانسیل و ... وجود دارد. با این وجود، چارچوب مشخصی برای طراحی و آنالیز آنها وجود ندارد. موفقیت این روش ها وابسته به مواردی چون تعیین مناسب نقطه شروع، راستای حرکت و ... است. در سال های اخیر از تئوری های کنترل سیستم های دینامیکی راهکارهایی برای حل مشکلات مذکور ارائه گردیده است. در این پایان نامه، روش های نوینی برای حل معادلات غیرخطی و مسائل بهینه سازی با استفاده از تئوری های کنترل سیستم های دینامیکی پیشنهاد شده است. این روش ها برای کاربردهای مختلفی ارائه شده اند. یک دسته از این روش های پیشنهادی برای حل معادلات غیرخطی نامعین طراحی شده اند. از این روش ها برای حل مشکل تکین بودن ماتریس ژاکوبین نیز استفاده می شود. بر اساس قضیه پایداری زمان- محدود، یک روش زمان- محدود برای حل معادلات غیرخطی ارائه شده است. این روش در حقیقت توسعه روش نیوتن پیوسته است. آموزش شبکه های عصبی پیش خور یکی از مهمترین مسائل بهینه سازی است. از این رو روش های بدست آمده را به عنوان روش های یادگیری شبکه های عصبی بکار گرفته و نتایج آن با روش های موجود در متون شبکه های عصبی مقایسه شده است.
علیرضا دهقانی سید علی اکبر صفوی
چکیده کاربرد داده های ماهواره ای modis برای پایش و مدل سازی ریزگردها و برخی از نمایه های آلودگی هوا در گستره شهر شیراز به کوشش علیرضا دهقانی یکی از جستارهای ریشه ای بوم زیستی بررسی چگونگی آب و هواست. روشن است که چگونگی آب و هوای زمین در پیوند با کنش گرانی چون دگرگونی گازهای جوی، پوشش ابرها، تابش خورشیدی وریزگردها(aerosol) می باشد. ازاین روی برای داشتن مدلی که به خوبی نشان گر چگونگی آب وهوا باشد و توانایی پیش بینی آن را نیز داشته باشد، نیاز است به کمک امکاناتی بتوان رفتارهای این گونه کنش گران کارا را پایش کرد. پیش بینی تراکم ریزگرد ها، گامی کارا در ایجاد تصمیمات لازم برای روبرو شدن با آلودگی هوا می باشد. برای این کار می توانیم مدل های ریاضی و روش های آماری را بکار ببریم. مدل های ریاضی و آماری همانند رگرسیون، شبکه های عصبی و مدل های احتمالاتی برای مدل سازی آلودگی هوا بکار برده می شوند. برای پایش آلودگی هوا و ریزگردها، بکارگیری سنجنده های ماهواره ای در سنجش با ایستگاه های زمینی، از برتری های فراوانی برخوردار است. از این رو، چندی است که کاربرد این سنجنده ها برای سنجش آلودگی هوا و بویژه ریزگردها در دستور کار کارشناسان و برنامه ریزان شهری جای گرفته است. در کنار پوشش گسترده، داده های ماهواره ای تا اندازه زیادی از هزینه کمتری برای گرد آوری داده ها نسبت به روش های قدیمی، برخوردار هستند. ایستگاه های بررسی آلودگی زمین روزانه میزان آلاینده ها را در بخش های گوناگون شهر گرد آوری می کنند، اما این ایستگاه ها پخش مساوی در سرتاسر شهر ندارند و بنابراین برای بدست آوردن الگوهای پیچیده آلودگی در شهر کافی نیستند. با مقایسه این داده ها با داده های فضایی می توانیم به نتایج بهتری دست پیدا کنیم. در این پژوهش به بررسی همبستگی میان داده های ماهواره ای و زمینی و سپس ساخت مدلی بر اساس شبکه های عصبی پرداخته شده است. همان گونه که می دانیم، داده های ماهواره ای modis در 36 باند فرکانسی گونا گون در دسترس هستند. در این پژوهش به همبستگی های خوبی میان داده های زمینی آلاینده ها و باندهای فرکانسی نگاره های ماهواره ای دست یافته شده است. در بررسی انجام شده، باند در خور برای هر آلاینده بدست آورده شده و برای بررسی همبستگی، نرم افزار matlab بکار برده شده است. سپس به ساخت مدلی از آلاینده های گوناگون به کمک شبکه های عصبی و با استفاده از داده های زمینی و داده های ماهواره ای نمونه پرداخته گردیده است، که در آن داده های ماهواره ای باند درخور برای هر آلاینده برای ورودی و داده های زمینی برای خروجی بکار برده شده اند و نتایج خوبی به دست آمده است، که در ادامه آورده شده است.
سید حمیدرضا عباسی سید علی اکبر صفوی
در سالهای اخیر، یکپارچه سازی و ترکیب سیستم های فازی، تئور ی ویولت با شبکه های عصبی به یک روش محبوب در زمینه مهندسی کنترل سیستم های دینامیک غیرخطی تبدیل شده و در این راستا تحقیقات بسیار زیادی جهت شناسایی و کنترل اینگونه سیستم ها با استفاده از مدلسازی سیستم های مبتنی بر منطق فازی نوع 1 انجام شده است . از آنجا که اصولاً ساختارهای فازی نوع 1 قادر به بررسی دقیق موارد عدم قطعیت در قوانین فازی نمیباشد، در این پژوهش، توسعه ساختار شبکه های فازی نوع 2- ویولت شکل یافته بر اساس ساختار شبکه های عصبی در جهت کنترل سیستم های دینامیک غیرخطی با استناد به برخی از مزیت های ویژه توابع ویولت از قبیل قابلیت های سازگاری با فرایندهای دینامیکی و فشرده سازی مدنظر قرار گرفته است و بعلاوه از قابلیت های سودمند یادگیری شبکه های عصبی به صورت خاص بهره گرفته شده است. در اینجا شبکه پیشنهادی بر اساس مجموعه ای طراحی و در آن از توابع ویولت در قسمت نتیجه قوانین بهره گرفته شده tsk از قواعد فازی است. این ترفند ابزار مناسبی را درجهت انطباق سیگنال خروجی سیستم کنترل طراحی شده با سیگنال مرجع اعمال شده فراهم آورده و از سوی دیگر خاصیت مواجه شدن با عدم قطعیتهادر سیستم های فازی نوع 2 با کمک استفاده از توابع ویولت به جوابهای بهینه منجر شده است. نتایج بدست آمده از شبیه سازی های انجام شده حاکی از آنست که نوع روش یادگیری شبکه و مقادیر اولیه پارامترهای سیستم شناسایی و کنترل ب صورت چشمگیری بر روی پایداری سیستم مورد نظر و همچنین در دستیابی به پاسخ های مطلوب و با دقت بالا ی سیستم کنترلی بسیار تاثیرگذار می باشند. ولذا در اینجا، برای آموزش شبکه و تنظیم پارامترهای ناشناخته آن از استراتژی گرادیان نزولی تطبیقی استفاده گردید تا بهترین جوابهای ممکن در هر لحظه قابل دستیابی باشند. بعلاوه، دقت و عملکرد شبکه شناساگر و کنترلی ارائه شده در این تحقیق با سایر شبکه های طراحی شده، ضمن مدنظر قرار دادن تعداد پارامترهای مربوط به هر ساختار مقایسه گردیده است. نتایج بدست آمده نشان می دهد که این روش بطور قابل توجهی در افزایش سطح دقت سیستم شناساگر و کنترلی و بالا بردن آن با بکارگیری تعداد مناسبی از پارامترها موثر می باشد. در نهایت، کارآیی س اختار پیشنهادی با استفاده از نتایج شبیه سازی ارائه می گردد.
مصطفی زمانی محی آبادی سید علی اکبر صفوی
کشور ایران از پتانسیل بالای تابش خورشیدی برخوردار است جهت استفاده از این انرژی، اولین نیروگاه خورشیدی کلکتور سهموی ایران، در شهر شیراز بنا نهاده شده است. از اهداف کنترلی نیروگاه های خورشیدی کلکتور سهموی، ثابت نگه داشتن دمای خروجی مزرعه کلکتورها در دمای طراحی است، که کنترل کننده ها با تولید سیگنال کنترلی مناسب (دبی روغن مزرعه) به این هدف نائل می شوند. تغییرات شرایط محیطی از قبیل پوشش ابر، سرعت باد، دمای محیط و مشکلات ردیابی می توانند بر هدف کنترلی ما تاثیر گذار باشند. جهت بررسی پارامترهای مختلف، نیازمند مدل دقیقی از نیروگاه می باشیم. در این تحقیق نیروگاه خورشیدی شیراز بصورت زمانمند در محیط matlab مدل سازی و سپس مدل مربوطه با اطلاعات واقعی نیروگاه مقایسه گردیده و در نهایت باعث شد اطمینان نسبی از مدل حاصل شود. مدل مربوطه جهت طراحی و توسعه یک سیمولاتور در نرم افزار labview که یک نرم افزار قدرتمند از لحاظ کنترل و مانیتورینگ است، پیاده-سازی گردید. جهت ثابت نگه داشتن دمای روغن خروجی از مزرعه، نیازمند کنترل کننده مناسب هستیم، در ابتدا این هدف توسط کنترل کننده pid حاصل گردید و ضرایب pid برای تمامی ماه ها بدست آمده، سپس توسط الگوریتم ژنتیک بهینه ترین ضرایب کنترل کننده بدست آمدند. رفتار این کنترل کننده در مقابل اغتشاشات بررسی گردید که پاسخ مناسب بود. سپس یک کنترل کننده جهت ثابت نگه داشتن دمای روغن ورودی به مزرعه نیز بررسی گردید که با توجه به نتایج بدست آمده، این کنترل کننده برای نیروگاه خورشیدی شیراز مناسب نمی باشد. تاثیر پارامترهایی نظیر خارج کردن کلکتورها و نیز تغییر دمای اولیه روغن و اجزاء نیز بررسی گردیدند. کنترل کننده فازی بعنوان کنترل کننده پیشرفته بر روی مدل نیروگاه طراحی شد که نتایج بهتری نسبت به کنترل کننده های کلاسیک بهمراه داشت. در نهایت کلیه کنترل کننده های طراحی شده بر روی مدل نیروگاه برای یک روز با هم مقایسه گردیدند، نتایج نشان داد که کنترل کننده فازی کارایی بهتری دارد.
ملیحه گلی عزیزاله جمشیدی
امروزه شبکه های فیلدباس نقش مهمی را در فرآیند خودکارسازی صنایع ایفا می کنند و بخش بسیار مهمی از سیستم کنترل خودکار را تشکیل می دهند. با توجه به حجم بالای اطلاعاتی که توسط این شبکه ها مبادله می شود، بروز خطا می تواند باعث از دست رفتن تمام اطلاعات و روند کنترلی در یک لحظه گردد و پیامدهای جبران ناپذیری در پی داشته باشد. بنابراین تشخیص زودهنگام خطا در این شبکه ها بسیار حائز اهمیت است. در این پایان نامه، به دلیل مهم و متداول بودن خطاهای لایه فیزیکی شبکه فیلدباس، به تشخیص برخط خطاهای این لایه پرداخته و با ارائه یک مدل الکتریکی برای لایه فیزیکی سعی در جمع آوری پایگاه داده کاملی از ساختارها و خطاهای مختلف می شود. سپس با انتخاب مناسبترین روش استخراج ویژگی، شاخص های تاثیر گذار سیگنال لایه فیزیکی محاسبه می گردد. در نهایت، با استفاده از یک جدول مراجعه و شبکه عصبی، ویژگی های بدست آمده طبقه بندی و وضعیت سلامت و نوع خطای شبکه، تشخیص داده می شود. در مقایسه با روش ها و ابزارهای متداول عیب یابی فیلدباس، روش پیشنهادی با تشخیص نوع خطا و محدوده وقوع آن در شبکه، گام مهمی در بهبود کارایی و پیشرفت سیستم های تشخیص خطا در شبکه فیلدباس برداشته است.
زهرا نوروزی ظفرآبادی علیرضا خیاطیان
سیستم سوئیچینگ یکی از مدل های پرکاربرد سیستم های هایبرید است که به وسیله ی ترکیبی از معادلات حالت دیفرانسیلی یا دیفرنس معمولی و یک منطق سوئیچینگ گسسته تبیین می شود. برای بررسی پایداری این سیستم ها، روش های متعددی پیشنهاد شده است که از میان آن ها می توان به روش تابع لیاپانف مشترک، روش توابع لیاپانف چندگانه و نیز مفهوم زمان توقف متوسط اشاره کرد. وجود پارامترهای نامعلوم، استفاده از روش کنترل تطبیقی برای این سیستم ها را ضروری می کند. در این پایان نامه، روش های تطبیقی برای پایدارسازی و کنترل سیستم های سوئیچینگ خطی و غیرخطی با پارامترهای نامعلوم به کار گرفته شده است. در اولین قسمت این پایان نامه، برای سیستم های سوئیچینگ خطی با پارامترهای ثابت نامعلوم وقتی که فقط خروجی سیستم در دسترس است، با طراحی یک مشاهده گر و استفاده از روش گام به عقب تطبیقی، کنترل غیرخطی تطبیقی این سیستم ها انجام گرفته است. پایداری سیستم حلقه بسته با روش توابع لیاپانف چندگانه و زمان توقف متوسط نشان داده شده است. در دومین بخش پایان نامه، پایدارسازی سیستم های سوئیچینگ غیرخطی به فرم فیدبک خروجی پارامتریک مورد بررسی قرار گرفته است. در این ساختار نیز تنها خروجی سیستم قابل اندازه گیری است. در طراحی کنترلر ابتدا یک مشاهده گر طراحی شده و سپس با روش کنترل گام به عقب تطبیقی و با فرض برقراری شرط چیرگی همزمان، یک تابع لیاپانف مشترک حاصل شده است. سومین مورد مطالعه در این پایان نامه، مسئله ی تعقیب سیستم های سوئیچینگ غیرخطی به فرم فیدبک اکید است که از روش گام به عقب تطبیقی و قضیه ی تابع لیاپانف مشترک در طراحی کنترلر استفاده شده است. در چهارمین بخش پایان نامه، پایدارسازی سیستم های سوئیچینگ غیرخطی به فرم فیدبک اکید و با ضرایب نامعلوم کنترل مجازی در نظر گرفته شده است و با فرض برقراری شرط چیرگی همزمان و بهره گیری از روش گام به عقب تطبیقی، یک تابع لیاپانف مشترک حاصل شده است. در آخرین بخش این پایان نامه، برای سیستم های سوئیچینگ غیرخطی به فرم پایین مثلثی طراحی کنترلر با دستیابی به یک تابع لیاپانف مشترک به صورت گام به عقب تطبیقی صورت گرفته است و کران بالایی برای توابع پایدارساز میانی و کنترلر اصلی که در گام آخر به دست می آید، حاصل شده است. در پایان هر فصل مثال هایی برای نشان دادن کارایی روش پیشنهاد شده ارائه شده است.
پگاه خوارزمی سید علی اکبر صفوی
بحث ترافیک به دلیل ارتباط تنگاتنگ با مقوله های آلودگی هوا، مصرف سوخت، ایمنی و سلامتی انسانها از مباحث مورد توجه دنیای امروز به شمار می رود. اهمیت زیرساخت های ترافیکی و از جمله بزرگراه ها در هر کشور، با توجه به تأثیر به سزای این زیرساخت ها بر منابع مالی و انسانی بر هیچ کس پوشیده نیست. به همین دلیل با توجه به پیچیدگی سیستم ترافیک، در سالهای اخیر مدلسازی و کنترل جریان های ترافیکی در بزرگراهها مورد توجه ویژه محافل کنترل بوده است. رفتار پیچیده و غیرخطی سیستم ترافیک، لزوم استفاده از ابزارهای توانمند مدلسازی را تشدید می نماید. در این راستا روش های مدلسازی متنوعی پیشنهاد شده است. از آنجا که هدف از مدلسازی سیستم ترافیک، به کار گیری مدل در اهداف کنترلی است و نیز از آنجا که سیستم های کنترل ترافیک هوشمند همگی وابسته به مدل هستند، دقت و سازگاری مدل با سیستم واقعی نخستین شرط کارایی کنترلر خواهد بود. فلذا اگر مدل ترافیک به هر دلیلی دستخوش تغییرات گردد نیاز به روز رسانی مدل اولین و حیاتی ترین گام در تضمین موفقیت کنترلر و جلوگیری از وقوع تراکم است. در این پایان نامه ابتدا با به کار گیری روش های هوشمند مدل سازی بر مبنای شبکه های ویولت ( ویونت) و استفاده از ابزار کاهش ابعاد داده اعم از آنالیز مولفه های اصلی، مدل جامعی از سیستم ترافیک ارائه می گردد. همچنین در ادامه، با استفاده از روش جدید آنالیز واریانس که آنووا نامیده می شود، شبکه بهینه ای برای مدلسازی بزرگراه ارایه می گردد که نسبت به روش پیشین کاهش چشمگیری در میزان محاسبات و ابعاد شبکه ایجاد می نماید. سپس با به کارگیری الگوریتم های به روز رسانی، مدل به دست آمده، بر مبنای داده های برخط ترافیکی به روز رسانی می گردد. ناکارآمدی مدل برون خطی و عملکرد مناسب مدل به روز رسانی شده در شرایط پیش بینی نشده ترافیکی، مورد مقایسه قرار می گیرند. در ادامه، با توجه به اهمیت بحث کنترل، عملکرد مدل پیشنهادی به روز شده در ترکیب با کنترلر alinea و نیز کنترلر پیش بین مورد بررسی قرار می گیرد. نتایج شبیه سازی، کارآمدی مدل به روز شده در کنترل جریان ترافیک با استفاده از محدودکننده فلو در بزرگراه مورد مطالعه را نشان می دهند.
صابر پوراسمعیلی سید علی اکبر صفوی
حملات اخیر به سیستم های اسکادا، موجب دو چندان شدن نیاز به ارزیابی های امنیتی و کنترلی این سیستم ها شده است، تا بدین طریق راهکار های مناسب جهت امن کردن سیستم های اسکادا با حفظ کارکرد های کنترلی آن ها ارائه شود. اجرای ارزیابی های کنترلی و امنیتی بر روی یک سیستم اسکادای صنعتی و در حال کار، می تواند موجب بروز خسارت شود. در نتیجه به عنوان زیر ساختی برای ارزیابی های کنترلی و امنیتی، نیاز به پیاده سازی یک بستر آزمون برای اسکادا وجود دارد. در این پایان نامه، طراحی و اجرای اولین بستر آزمون اسکادا در ایران که بر اساس نیاز های روز کشور می باشد، ارائه می شود. بوسیله این بستر آزمون پیشنهادی، ابعاد مختلف یک سیستم اسکادا از نقطه نظر فرایند، تجهیزات کنترلی و شبکه مدلسازی و شبیه سازی شده است. در بستر آزمون پیشنهادی از شبیه ساز های labview و opnet جهت مدلسازی و شبیه سازی فرایند و شبکه اسکادا استفاده می شود. همچنین امولاتور های ibh softplc، winplc-engine و plcsim جهت شبیه سازی عملکرد plc ها بکار گرفته می شوند. علاوه بر این برای بالا بردن دقت نتایج ارزیابی ها، ارتباط تجهیزات واقعی (مانند plc های شرکت زیمنس) با اجزاء شبیه سازی شده برقرار شده و یک بستر آزمون یکپارچه را تشکیل می دهد. این بستر آزمون اسکادا علاوه بر دارا بودن قابلیت اجرای ارزیابی های کنترلی و امنیتی اسکادا های تولیدکنندگان مختلف، امکان اجرا و تحلیل حملات سایبری و بررسی های آسیب پذیری را نیز فراهم می کند. با ارزیابی های صورت گرفته، تحقق اهداف و قابلیت های این بستر آزمون نیز بخوبی نشان داده می شود.
سارا مشتری زهره نما اشکان سامی
سیستم های کنترل نظارتی و اکتساب داده (اسکادا) سیستم های الکترونیکی هستند که جهت کنترل و مانیتور کردن تجهیزات در صنایع و زیرساخت های بزرگ مورد استفاده قرار می گیرند. استفاده از سیستم های کامپیوتری و اتصالات شبکه در سیستم های اسکادا جهت کنترل بخش های مختلف سیستم از راه دور، این سیستم ها را در برابر تهدیدات سایبری آسیب پذیر نموده است. با توجه به نقش حیاتی سیستم های اسکادا در زیرساخت های بحرانی مانند صنایع نفت و گاز، برق، آب رسانی، نیروگاه ها و غیره امنیت آن ها از اهمیت ویژه ای برخوردار است. طبق گزارش وزارت امنیت داخلی ایالات متحده آمریکا نقاط ضعف امنیتی سیستم های اسکادا در سه دسته کلی قرار می گیرند: 1) نقاط ضعف امنیتی مربوط به نرم افزار ، 2) نقاط ضعف امنیتی مربوط به نصب، پیکربندی و نگهداری سیستم، 3) نقاط ضعف امنیتی مربوط به طراحی و پیکربندی شبکه. در این پایان نامه با مورد توجه قرار دادن نقاط ضعف امنیتی نرم افزار، یک روش اتوماتیک جهت شناسایی قسمت هایی از کد نرم افزار که شامل نقاط ضعف امنیتی هستند ارائه شده است. این روش به تیم های توسعه دهنده نرم افزار کمک خواهد کرد تا با صرف زمان و منابع محدود خود روی قسمت های آسیب پذیر کد، امنیت نرم افزارها به ویژه نرم افزارهای پرکاربرد در صنایع را بهبود بخشند. روش ارائه شده با استفاده از معیارهای اندازه گیری ویژگی های نرم افزار و روش های داده کاوی مکان های آسیب پذیر کد را شناسایی می کند. بر این اساس معیارهای اندازه گیری پیچیدگی ساختاری نرم افزار مانند تعداد خط کد به عنوان خصیصه جهت شناسایی فایل های آسیب پذیر نرم افزار مورد استفاده قرار گرفته اند. مدل ارائه شده با به کارگیری مجموعه داده یک پروژه حدود 94% از فایل های آسیب پذیر را در نسخه های بعدی همان پروژه شناسایی کرد. با توجه به این که بسیاری از شرکت ها اطلاعات مربوط به نقاط ضعف امنیتی نرم افزار هایشان را جهت ساخت مدل ندارند، مدل بین پروژه ای که از مجموعه داده پروژه های دیگر جهت شناسایی نقاط ضعف امنیتی در پروژه مورد نظر استفاده می کند ارائه شده است. مدل بین پروژه ای حدود 70,18% از فایل های آسیب پذیر را بین پروژه های مختلف با نرخ مثبت کاذب قابل قبول شناسایی کرد. در این پایان نامه علاوه بر معیارهای اندازه گیری پیچیدگی معمول، معیارهای اندازه گیری پیچیدگی جدیدی ارائه شده است. اضافه کردن این معیارها کارایی مدل های پیش بینی کننده بین پروژه ای را در شناسایی فایل های آسیب پذیر تا حدود 77,16% بهبود بخشید و نرخ مثبت کاذب را هم تا حدودی بهبود داد.
علی قدمیاری پاکنوش کریم آقایی
در این پایان نامه و در راستای تحقیقات قبلی، روش های نوینی برای حل معادلات غیرخطی و مسائل بهینه سازی با استفاده از تئوری های کنترل سیستم های دینامیکی پیشنهاد شده است، به گونه ایکه یک مدل دینامیکی جهت حل معادلات غیر خطی ارائه می گردد که با استفاده از تکنیک سیستم های دو مقیاس زمانی و با ایجاد یک دینامیک سریع برای قانون کنترل به جواب مطلوب همگرا می شود. ویژگی اساسی روش پیشنهادی این است که نیاز به معکوس گیری از ماتریس ژاکوبین و یا محاسبه ماتریس هشین، مرتفع گردیده و مساله یافتن ریشه در مواردی که با ماتریس تکین و یا بد حال مواجه ایم، کارایی لازم را دارا می باشد. این روش در حقیقت توسعه روش نیوتن پیوسته زمان می باشد. همچنین یک روش نیوتن زمان محدود و بر اساس روش دو مقیاس زمانی ارائه گردیده که زمان نشست را به مقدار قابل توجهی کاهش داده است. استفاده از روش دو مقیاس زمانی در روش های عددی موجب بهبود نرخ همگرایی شده است. روش های مقاوم و مقاوم – وفقی جهت حل معادلات نامعین و بر اساس روش دو مقیاس زمانی نیز ارائه گردیده است که استفاده از این روش ها موجب بهبود قابل ملاحضه نرخ همگرایی می گردد . در ادامه بحث نیز، از روش کنترل مد لغزشی و کنترل گام به عقب جهت بهبود سیستم دینامیکی پیشنهادی استفاده شده است که نتایج شبیه سازی ها حاکی از کارا بودن روش های فوق است. استفاده از روش کنترل مد لغزشی- دو مقیاس زمانی موجب بالا رفتن مقاومت در قبال تغییر شرط اولیه مساله گردیده است. روش های پیشنهادی در این پایان نامه توسط تئوری پایداری لیاپانف اثبات گردیده و نتایج حاصل از شبیه سازی, کارایی روشهای یاد شده را نشان می دهد.
مهرناز براهیمیان سید ریوف خیامی
امروزه معماری سازمانی به یک ابزار کلیدی در انجام مأموریت های سازمان تبدیل شده است. اما در حال حاضر سازمان ها به ویژه سازمان هایی که بیشتر در معرض تغییرات هستند برای اجرای فرآیند معماری سازمانی و به خصوص برنامه ریزی و فرآیند تدوین معماری سازمانی، دچار مشکلاتی از قبیل کندی و فرسایشی بودن این فرآیندها هستند. به همین دلیل یا به درستی اجرا نمی شود و یا به شکست منجر می شود. برای این مشکل راه حل های مختلفی ارائه شده است. معماری سازمانی سبک یکی از راه حل های ارائه شده است. در این تحقیق سعی شده با استفاده از معماری سازمانی سبک، متدلوژی eap و چارچوب feaf فرآیندهای پروژه تدوین معماری سازمانی را به حداقل ممکن برسانیم تا نتایج سریع تری حاصل شود. لذا ابتدا متدولوژی eap و چارچوب feaf به طور کامل شرح داده شده و بعد از آن چارچوب peaf را که یکی از دستاوردهای این تحقیق است معرفی کردیم سپس با استفاده از دید همه جانبه و کل نگرمعماری سبک و تاکید آن بر ساده کردن و ساده نگه داشتن معماری سازمانی، روشی را برای سبک سازی معماری سازمانی ارائه کردیم که در این روش به فرآیندها و کارهایی که اهمیت بیشتری دارند و دارای وابستگی بیشتری نسبت به هم هستند، توجه ویژه دارد و آنها را در اولویت قرار می دهد. نتیجه مهمی که از این تحقیق حاصل شد سطح بندی و اولویت بندی فرآیندهای تدوین معماری سازمانی است. لذا با پیشنهاد این تحقیق (حذف جزئیات غیرضروری و سطح بندی فرآیندها و بعد از آن کم کردن عمق فرایندها) توانستیم حجم مستندات و تعداد فرآیندها را تا آنجا که خدشه ای به معماری سازمانی وارد نشود کم کرده و پروژه تدوین معماری سازمانی را ساده تر کنیم.
طیبه عرفان منش مریم دهقانی
نگرانی های زیست محیطی به دلیل تولید گازهای آلوده توسط منابع تولیدکننده برق و نیاز رو به افزایش انرژی برق در دنیا، توجه زیادی را به تولید پراکنده برق معطوف کرده است. پیل سوختی از جمله منابع تولید پراکنده برق می باشد که به دلیل بازدهی بالا، تولید انرژی پاک و نشر بسیار کم گازهای آلوده در سال های اخیر بسیار مورد توجه قرار گرفته است. به منظور اتصال پیل سوختی به شبکه برق، مبدل های الکترونیک قدرت مورد نیاز هستند. معمولا یک مبدل dc/dc برای بالا بردن سطح ولتاژ خروجی پیل سوختی و یک مبدل dc/ac برای تبدیل به ولتاژ سه فاز استفاده می شوند. با طراحی کنترل کننده های مناسب برای این مبدل ها، سیستم می تواند ولتاژ خروجی دلخواه و یا توان های اکتیو و راکتیو مورد نیاز در شبکه ac را فراهم کند. کنترل کننده های طراحی شده باید به گونه ای باشند که در برابر نوسانات مقاوم بوده و با وجود عدم قطعیت های موجود در مدل در بازه کاری وسیعی بتوانند جوابگو باشند. همچنین توانایی حذف اغتشاش های وارد شده به سیستم را داشته باشند. بدین منظور در این پایان نامه به طراحی کنترل کننده های مقاوم برای مبدل های سیستم حاوی پیل سوختی با استفاده از روش های نامساوی ماتریسی خطی (lmi)، روش fuzzy-lmi و روش مد لغزشی تطبیقی پرداخته شده است. در روش اول، پارامتر های بار و امپدانس خط به عنوان پارامتر های دارای عدم قطعیت در نظر گرفته شده و مدل چند ضلعی محدب برای مبدل ها ارائه می شود. سپس برای رسیدن به معیار های مطلوب در پاسخ خروجی مانند پایداری، مشخصات پاسخ گذرا و حذف اغتشاش، از تکنیک lmi در طراحی کنترل کننده ها استفاده می گردد. در روش دوم، مدل فازی t-s برای مبدل ها بیان شده و قوانین فازی برای آنها ارائه می گردد. در این روش فرض می شود که همه متغیر های حالت سیستم در دسترس نیستند. بنابراین با استفاده از تکنیک fuzzy-lmi علاوه بر طراحی کنترل کننده، تخمینگر حالت نیز برای مدل فازی سیستم طراحی می شود. در روش سوم، برای رسیدن به خروجی های مطلوب ولتاژ و توان، سطوح لغزشی مناسبی تعریف شده و از کنترل کننده مد لغزشی تطبیقی استفاده می گردد. در این روش، با در نظر گرفتن پارامتر های نامعلوم بار و امپدانس خط از تکنیک تطبیقی برای تخمین آنلاین پارامتر ها استفاده می شود. با استفاده از قضیه لیاپانف علاوه بر اثبات پایداری، قانون بروز رسانی پارامتر ها نیز محاسبه می شود. به منظور شبیه سازی، دو نوع از انواع پیل های سوختی، pemfc و sofc، در نظر گرفته شده است. نتایج شبیه سازی ها بیانگر این موضوع است که کنترل کننده های اعمال شده به میزان بسیار مطلوبی پاسخ سیستم را بهبود بخشیده اند.
بهزاد آقایی سید علی اکبر صفوی
هدف اصلی در این تحقیق هدایت موشک جهت اصابت به هدف متحرک، به وسیله ی کنترل زوایای اویلر می باشد. برای رسیدن به این هدف ابتدا باید دینامیک موشک توسط کنترلر به پایداری برسد، سپس به کمک حلقه های هدایت، موشک را در راستای صحیح برخورد به هدف قرار داد. برای طراحی کنترلر در این پایان نامه از روش های مختلفی از جمله روش خطی سازی فیدبک و روش گام به عقب استفاده و نتایج با هم مقایسه شده اند. همچنین پایداری کنترلر گام به عقب با در نظر گرفتن عدم قطعیت و تاخیر در آن مورد بررسی قرار گرفته است. حال که توانستیم به کمک کنترلر مناسب زوایای اویلر را به پایداری برسانیم در مرحله بعد به کمک روش های هدایت از جمله روش خط دید سعی شد موشک را در راستای برخورد به هدف قرار داد. در واقع وظیفه اصلی سیستم هدایت تولید فرمان کنترلی نقطه ی تنظیم برای کنترلر در هر لحظه و وظیفه ی کنترلر رساندن زوایای اویلر به مقدار نقطه ی تنظیم جهت اصابت به هدف می باشد. در نهایت ما در این پایان نامه، بعد از طراحی سیستم کنترلر و سیستم هدایت به ساخت شبیه ساز در محیط gui متلب پرداختیم که در این شبیه ساز با تنظیم شرایط اولیه پروازی برای موشک و هدف موشک به تعقیب هدف پرداخته و در نهایت به آن اصابت می نماید.
احسان مولا فریدون شعبانی نیا
این پایان نامه بر پایه دو بخش کنترل فعال نویز پسخور و پیشخور تقسیم بندی شده است. در بخش سیستم کنترل فعال نویز پسخور ابتدا یکی از جدیدترین روش های ارائه شده موسوم به simpafb و روش مرسوم fxlms بررسی شده و نتایج شبیه سازی مورد مقایسه قرارگرفته است. سپس به دلیل ماهیت غیرخطی سیستم کنترل فعال نویز یک روش پیشنهادی هوشمند، با بهره گیری از شبکه ویونت، به عنوان یک سیستم پیش بینی کننده نویز صوتی مطرح شده است که کاهش نویز مطلوبی در باند فرکانسی آموزش دیده را دارد. در بخش سیستم کنترل فعال نویز پیشخور به عنوان روش پیشنهادی از روشی به نام lma-fxlms استفاده شده که در این روش الگوریتم بهینه سازی لونبرگ-مارکارد به کار گرفته شده است . نتایج شبیه سازی با روش مرسوم fxlms مورد مقایسه قرارگرفته است. سپس به دلیل ماهیت غیرخطی سیستم کنترل فعال نویز پیشخور از روش غیر تطبیقی فازی در حذف نویز باند باریک دو آوایی در یک کانال استفاده شده است.مدل در نظر گرفته در این پایان نامه الهام گرفته از مدل واقعی یک کانال با طول 4.25 متر و فاصله بلندگو ثانویه تا انتهای کانال 0.85 متر می باشد. درنهایت با در نظر گرفتن رفتار متغیر با زمان مسیر ثانویه، روش های برخط شناسایی مسیر ثانویه بررسی شده و روشی موسوم به روش اختر بر روی مدل کانال موردنظر پیاده سازی شده است.
رسول غنی ابراهیم فرجاه
منبع ذخیره انرژی مرسوم در خودرو های هیبرید الکتریکی، باتری است. استفاده از باتری در خودروهای برقی به منظور ذخیره سازی انرژی با محدودیت هایی همچون جذب سریع و کامل انرژی ترمزی و کاهش طول عمر به علت دفعات زیاد شارژ و دشارژ، همراه است. استفاده از یک منبع توان مثل فراخازن، موازی با باتری می تواند پیک توان باتری را کاهش دهد و باعث بهبود عمر باتری شود . فراخازن بخاطر شارژ و دشارژ سریعی که دارد بخوبی می تواند انرژی ترمزی را جذب کند و بازده کلی سیستم ذخیره انرژی را بهبود بخشد. در این پایان نامه، هدف ارائه ی یک سیستم ذخیره انرژی شامل باتری و فراخازن برای یک نوع خودرو هیبرید موازی می باشد. یک کنترلر توزیع توان، به منظور جذب حداکثری انرژی ترمزی و بهبود عمر باتری، توسعه داده شده است. منطق فازی جهت پیاده سازی استراتژی کنترل توان بکار رفته است. قواعد فازی بر پایه ی ویژگی های ذاتی منابع در دو مد جداگانه برای شارژ و دشارژ طراحی شده است. کنترلر پیشنهادی بر اساس موقعیت جاده و حالت شارژ باتری و فراخازن، میزان مشارکت منابع در تامین توان مورد نیاز را تعیین می کند. این کنترلر در مد شارژ، توان ترمزی را توسط فراخازن جذب می کند و در مد دشارژ، از باتری در تامین پیک توان حمایت می کند. شبیه سازی روی دو سیکل استاندارد udds (درون شهری) و hwfet (بزرگراهی) به کمک نرم افزار advisor انجام شده و نتایج شبیه سازی در شرایط یکسان با سیستم ذخیره انرژی مرسوم (باتری تنها) مقایسه شده است. برای نشان دادن عملکرد سیستم ذخیره انرژی (ess) پیشنهادی، جریان، توان و طول عمر باتری، بازده کلی ess، میزان مصرف سوخت و آلایندگی مورد تجزیه و تحلیل قرار گرفته است. نتایج شبیه سازی نشان داده است که سیستم ذخیره انرژی پیشنهادی توانسته با جذب حداکثری انرژی ترمزی باعث بهبود قابل توجه عمر باتری و بازده کلی ess گردد.
فاطمه مرجانی سید علی اکبر صفوی
امکان دسترسی سریع و آسان به پزشکان متخصص برای بیمارانی که از لحاظ جغرافیایی از مراکز درمانی فاصله زیادی دارند، وجود ندارد. در دو دهه گذشته پیشرفت های فناوری اطلاعات در پزشکی، امکان مراقبت و درمان از راه دور را برای درمان این بیماران فراهم آورده است.