نام پژوهشگر: محمد تقی حمیدی بهشتی
مهدی قاسم مقدم محمد تقی حمیدی بهشتی
در این رساله دکترا، مساله بهینه سازی محدب در سیستم های آشفته تکین خطی تغییرناپذیر با زمان با استفاده از بازخورد خروجی پویا، مورد بحث و بررسی قرار گرفته است. دراین راستا یک مدل خطی تغییرناپذیر با زمان برای سیستم آشفته تکین درنظر گرفته شده و سپس با استفاده از روش های موجود در طراحی کنترلگر چندمنظوره، سه هدف کنترلی مهم، شامل پایداری نامی، کارآیی و کارآیی به صورت مسئله بهینه سازی محدب بیان و دو روش برای حل این مسائل پیشنهاد شده است. در هر دو روش سیستم آشفته تکین موردنظر بدون تجزیه شدن به دو زیرسیستم تند و کند مورد مطالعه قرار گرفته شده است. به عبارت دیگر برای حل مسئله کنترل چندمنظوره، سیستم مرتبه کامل مبنای کار قرار گرفته است. شایان ذکر است بکارگیری تکنیک کاهش مرتبه سیستم برای تحلیل و طراحی کنترلگر سیستم آشفته تکین می تواند از پیچیدگی ابعاد بالای سیستم در محاسبات جلوگیری نماید، که این مسئله در سیستم های آشفته تکین بسیار با اهمیت و تاثیرگذار می باشد، این اهمیت علی الخصوص در روش های گذشته نظیر حل معادلات ریکاتی بسیار بیشتر بوده است. اگرچه رویکرد استفاده شده در این رساله بر مبنای سیستم مرتبه کامل است، اما یک روش جایگزین محدب را بر مبنای نامساوی های ماتریسی خطی فراهم کرده است. بطور کلی مسائل مرتبط با نامساوی های خطی ماتریسی که دارای ابعاد بالای منطقی می باشند، می توانند توسط بکارگیری جعبه ابزار نامساوی های خطی ماتریسی به شکل موثری حل شوند. در روش اول مسئله بهینه سازی محدب سیستم های آشفته تکین با یکسان در نظرگرفتن توابع لیاپانوف برای کارآیی های مختلف به نامساوی های ماتریسی خطی تبدیل شده و با حل تعدادی نامساوی ماتریسی خطی، کنترلگر بازخورد خروجی پویا بدست آمده است. در بخش دوم این روش، با توجه به اینکه نامعینی ها اغلب به ناپایداری و اختلال در عملکرد سیستم منجر می شوند، یک دستورالعمل نوین به منظور طراحی کنترل مقاوم سیستم های آشفته تکین زمان پیوسته خطی تغییرناپذیر با زمان و دارای عدم قطعیت از طریق کنترلگر بازخورد خروجی پویا ارائه شده است. پارامترهای کنترلگر بازخورد خروجی پویا از طریق حل مجموعه ای از نامساوی های ماتریسی خطی حاصل می شوند. ضمناً معیار کارآیی طراحی شده برای تمامی مقادیر آشفتگی تکین که ?* حد بالای پارامتر آشفتگی تکین است، تضمین شده است. در ادامه، نشان داده شده که کنترلگر طراحی شده به ازای مقادیر به اندازه کافی کوچک ? مستقل از پارامتر آشفتگی می باشند. در رویکرد دوم، روش جدیدی برای بیان و حل مسئله طراحی کنترلگر و برای سیستم های آشفته تکین خطی تغییرناپذیر با زمان با استفاده از بازخورد خروجی پویا مبتنی بر لم تصویرسازی ارائه شده است. در این روش، سه هدف مهم کنترلی شامل پایداری نامی، کارآیی و کارآیی به صورت مسائل نامساوی های ماتریسی خطی بیان شده اند. با توجه به استفاده از لم تصویرسازی، در این روش کنترلگر مستقل از پارامتر آشفتگی تکین بدست آمده است. مهمترین مزیت روش های پیشنهادی این است که هم برای سیستم های آشفته تکین به فرم استاندارد و هم برای سیستم های به فرم غیراستاندارد قابل استفاده می باشد. در حالیکه روش های مبتنی بر تجزیه سیستم به دو زیرسیستم تند و کند دارای این محدودیت می باشند که سیستم مورد بررسی باید به فرم استاندارد باشد. در پایان به منظور بررسی میزان بازدهی روش های پیشنهادی، به پیاده سازی آنها بر روی چند سیستم پرداخته شده است.
احمد فخاریان محمد تقی حمیدی بهشتی
دراین تحقیق رساله دکترا، طراحی کنترلگر چندمنظوره h2/h? با استفاده از فیدبک حالت برای سیستمهای آشفته تکین خطی تغییر ناپذیر با زمان موردنظر می باشد. دراین راستا یک مدل خطی تغییرناپذیر با زمان برای سیستم آشفته تکین درنظر گرفته می شود. در این تحقیق دو خط مشی متفاوت برای حل مساله طراحی کنترلگر چندمنظوره h2/h? با استفاده از فیدبک حالت مورد توجه قرار گرفته است. خط مشی اول بر این اساس است که سیستم آشفته تکین مورد بررسی بدون تجزیه شدن به دو زیر سیستم کند و تند مورد مطالعه قرار می گیرد. بعبارت دیگر برای حل مساله کنترل چندمنظوره، سیستم مرتبه کامل مبنای کار می باشد. با این کار مساله طراحی کنترلگر چندمنظوره h2/h? به حل تعدادی نامساوی ماتریسی تبدیل می گردد که البته به فرم نامساویهای ماتریسی خطی نمی باشد. سپس با تعریف یک لم جدید و استفاده از نتایج آن، این نامساویها به فرم نامساویهای ماتریسی خطی (linear matrix inequalities) تبدیل می گردد. نهایتا با ارائه یک الگوریتم جدید این نامساویها حل شده و با حل آنها کنترلگر مورد نظر بدست می آید. نتایج شبیه سازی مزایای استفاده از این روش را نشان می دهد. مهمترین مزیت روش پیشنهادی در رویکرد اول این است که روش پیشنهادی هم برای سیستمهای آشفته تکین به فرم استاندارد و هم برای سیستمهای به فرم غیر استاندارد قابل استفاده می باشد. در حالیکه روشهای مبتنی بر تجزیه سیستم به دو زیر سیستم تند و کند دارای این محدودیت می باشد که سیستم مورد بررسی حتما باید به فرم استاندارد باشد. در رویکرد دوم، ابتدا سیستم مورد بررسی به دو زیر سیستم کند و تند تجزیه می گردد. سپس با استفاده از روشهای موجود در طراحی کنترلگر چندمنظوره h2/h?و با انتخاب مناسب اهداف کنترلی ، به طراحی کنترلگر مناسب نرم ترکیبی h2/h? با استفاده از فیدبک حالت برای هرکدام از این زیر سیستمها می پردازیم. سپس با استفاده از ساختار کنترلی مبتنی بر کلید زنی و استفاده از یک سرپرست کلیدزنی فازی، سیگنال کنترل اصلی از ترکیب دو سیگنال کنترل مربوط به زیر سیستم کند و زیر سیستم تند بدست می آید. مبنای کلیدزنی بر این اساس است که در حالت گذرا با توجه به ماهیت زیر سیستم تند، از کنترلگر مربوط به زیرسیستم تند استفاده می گردد و در حالت ماندگار از کنترلگر مربوط به زیرسیستم کند استفاده می گردد. همچنین در حالت گذر از حالت گذرا به حالت ماندگار نیز سیگنال کنترل ترکیب وزندار سیگنالهای کنترل مربوط به زیر سیستمهای کند و تند می باشد و سرپرست کلید زنی این وزن را در هر لحظه بصورت روی خط تعیین و اعمال می نماید. در پایان شرایط لازم و کافی برای اثبات پایداری سیستم حلقه بسته با استفاده از کنترلگر طراحی شده مبتنی بر کلید زنی نیز بدست خواهد آمد و روش پیشنهادی برروی چند سیستم شبیه سازی شده و نتایج بدست آمده مورد تحلیل و بررسی قرار خواهد گرفت. نتایج شبیه سازی بهبود قابل ملاحظه در عملکرد سیستم حلقه بسته را نشان می دهد.
مهدی علینقی زاده اردستانی محمد تقی حمیدی بهشتی
پدیده تراکم یکی از مشکلات مهم پیش روی طراحان شبکه های کامپیوتری است و در سالهای گذشته باعث کاهش کارائی شبکه ها شده است. این کاهش کارائی به خصوص در دوره فعلی که بایستی کیفیت سرویس برای برخی مشتریان تضمین شود نمود بیشتری دارد. تاکنون روش های مختلفی به منظور پیشگیری و کنترل این پدیده پیشنهاد شده اند که بیشتر روش هایی شهودی هستند. در کنار این روش ها، از اواخر دهه 1990 میلادی، ایده به کارگیری مفاهیم نظریه کنترل در حل مسائل کنترل ازدحام مطرح شده که هدف آن استفاده از ابزارهای مهندسی کنترل در تحلیل و طراحی کنترلگرهای تراکم مناسب برای شبکه ها به عنوان سیستم های حلقه بسته است. با نگرش سیستمی و استفاده از نظریه کنترل می توان ساختار حلقه بسته فرایند انتقال داد ه ها در شبکه های کامپیوتری را بدین صورت در نظر گرفت که در آن کنترلگر به منظور پیاده سازی در مسیریاب های شبکه طراحی شده و بقیه شبکه از دید مسیریاب، به عنوان سیستم هدف کنترل تعریف شود. این پایان نامه پس از طرح مسئله کنترل ازدحام در شبکه های با سرویس متمایز، به طراحی کنترلگر مقاوم برای ترافیک شبکه با سرویس متمایز با در نظر گرفتن تاخیر زمانی می پردازد. در این پایان نامه با طراحی کنترلگر مقاوم برای کنترل ازدحام در شبکه های با سرویس متمایز، از مزایای کنترلگر مقاوم مانند حساسیت کم به تغییرات پارامترهای شبکه و همچنین تضعیف اغتشاش اعمالی به شبکه استفاده شده است که این دو مساله به خصوص با توجه به اینکه پارامترهای شبکه پیوسته در حال تغییر بوده و در عمل بسیاری از جریان های داده از منطق کنترل تراکم یکسانی پیروی نمیکنند و در عمل مانند اغتشاش عمل می کنند، بسیار مهم است. برای سرویس های با کیفیت بالا یک کنترلگر و برای سرویس های معمولی نیز دو کنترلگر پیشنهاد شده است که کارائی آنها طی سناریوهای متعددی ارزیابی شده است. جهت طراحی برخی کنترلگرها از نامساوی های ماتریسی خطی استفاده شده است تا حل مسائل پیچیده امکان پذیر باشد. با توجه به نیاز شبکه های نسل آینده به استفاده از فیدبک غیر صریح در سرویس های معمولی و پیشنهاد بیشتر تحقیقات مشابه گذشته به این امر، دو نوع کنترلگر، کنترلگر مقاوم زمان گسسته (rdtc) و کنترلگر مقاوم مبتنی بر تاخیر (rdbc) با فیدبک غیر صریح جهت سرویس های معمولی طراحی شده است. همچنین در این پایان نامه با در نظر گرفتن تاخیر انتقال در شبکه، کنترلگر برای دینامیک شبکه با وجود تاخیر طراحی شد. شبیه سازی های متعدد در شبیه ساز شبکه ns2 نشان داد که کنترلگرهای طراحی شده برای فیدبک غیر صریح از نظر مقاومت در برابر تغییرات تاخیر شبکه، تعقیب طول صف مرجع، استفاده حداکثر از پهنای باند، کاهش تاخیر انتها به انتها و بهره شبکه از کنترلگرهای کنونی و متداول بهتر عمل می کنند.
آرش گلابی محمد تقی حمیدی بهشتی
در این پایان نامه در ابتدا یک کنترلگر مقاوم مبتنی بر رویتگر برای یک سیستم خطی دارای عدم-قطعیت طراحی و شرط کافی برای طراحی بهره کنترلگر و پارامترهای رویتگر به صورت نامساوی-ماتریسی خطی بیان شده است. ابتدا روش های طراحی بر اساس پسخور خروجی در سیستم های خطی، که یک دسته از آن کنترلگر براساس رویتگر می باشد را مورد بحث و بررسی قرار می دهیم. در تحقیقات انجام شده به طراحی کنترلگر براساس رویتگر برای سیستم های همراه با عدم قطعیت توجه می کنیم. مشکلات و کاستی هایی که در این زمینه وجود دارد را عنوان می کنیم و برای رفع این مشکلات رویتگر پویا را معرفی می کنیم. همچنین در قسمتی دیگر از این پایان نامه مباحثی که در طراحی کنترلگر مبتنی بر رویتگر در سیستم های فازی تاکاگی-سوگنو وجود دارد مطرح می کنیم و نتایج موجود در این زمینه را مورد بررسی قرار می دهیم و مشکلات و محدودیت هایی که در بدست آوردن بهره کنترلگر و پارامترهای رویتگر وجود دارد را بیان می کنیم. سپس از ساختار رویتگر پویا برای حل این مشکلات و رفع محافظه کاری ها بهره می گیریم. بیان نتایج به صورت نامساوی ماتریسی خطی قطعی به هنگام در نظر گرفتن همزمان عدم قطعیت در ماتریس سیستم، خروجی و ورودی و عدم استفاده از شرط تساوی از جمله مزایای استفاده از رویتگر پویا در طراحی کنترلگر مبتنی بر رویتگر در سیستم های خطی و سیستم های فازی تاکاگی-سوگنو می باشد.
محسن مومنه محمد تقی حمیدی بهشتی
ایده اصلی شبکه های نسل بعد مبتنی بر تفکر لایه ای و جدا سازی بخشهای سرویس و انتقال است که تغییر سیستمهای مخابراتی از حالت " کاملا" یکپارچه" به حالت " بخشهای کوچک بر پایه زیرساخت یکپارچه" را معرفی نموده و قابلیتهای لازم برای توسعه شبکه و آسانی تطبیق آن برای ارائه سرویس های جدید را فراهم می آورد . مدل های مهاجرت به شبکه های نسل بعد شبکه های ثابت , سیار و دیتا تاکنون ارائه و اجرا شده اند لیکن این مدل ها بیشتر در مورد شبکه های عمومی نظیر pstn و gsm می باشد شبکه حرفه ای سلولار تترا ترانک شبکه سلولاردیجیتالی است که توانمندیهای همچون تماسهای گروهی وتماس مد مستقیم بهره برداران آنرا بیشتر سازمانهای امدادی و پلیسی تشکیل میدهند. در این پایان نامه از روش تحقیق بر مبنای مطالعه موردی(case study) شبکه تترا پلیس بهره گیری شده است و با توجه به معماری ساختاری شبکه تترا و با استفاده از مفاهیم شبکه نسل بعد و نگرش یکپارچگی در زیرساخت و ماژولاریتی در سیستم به معرفی مدل مهاجرت و توسعه ای شبکه تترا مبتنی بر سرویس گرایی می پردازد که علاوه بر انعطاف پذیری در توسعه و ارائه سرویس باعث کاهش هزینه های ناشی از بروز شدن شبکه در بلند مدت می شود و می تواند جهت سازمان پلیس و سایر سازمانهای مشابه مدلی جهت پیاده سازی شبکه ماژولار تترا پیشنهاد نماید
فاطمه جمشیدی محمد تقی حمیدی بهشتی
در کاربرد های عملی، اغلب برآوردن همزمان اهداف کنترلی متضاد مورد نظر است که به مسایل کنترل چندمنظوره می انجامد. گرچه برآوردن همه اهداف مطلوب می باشد، اما طراحی یک تک کنترلگر چندمنظوره محدود کننده است و کنترلگر طراحی شده اغلب محافظه کارانه یا از مرتبه بالا می باشد. در این رساله، به منظور کاهش محافظه کاری در طراحی کنترلگر و بهبود عملکرد، روش هایی برای کنترل چندمنظوره h2/h? مبتنی بر کلیدزنی و باسرپرستی ارائه گردیده است. کنترلگر های h2 و h? برای یک فرایند به طور جداگانه با استفاده از نامساوی های ماتریسی خطی طراحی گردیده و کلیدزنی میان آنها به گونه ای صورت می پذیرد که ضمن پایدارسازی سیستم حلقه بسته کلیدزنی، عملکرد مطلوب نیز تضمین گردد. کلیدزنی به دو صورت دلخواه و مقید است. پایداری مجانبی سیستم حلقه بسته تحت کلیدزنی دلخواه به دو روش مبتنی بر تحقق کنترلگر ها و مبتنی بر پایداری مقاوم سیستم دارای عدم قطعیت چندوجهی محدب معادل تضمین شده است. به منظور تضمین پایداری سیستم حلقه بسته تحت کلیدزنی مقید نیز منطق کلیدزنی ترکیبی جدید زمان توقف و توابع لیاپانوف چندگانه طراحی گردیده است. کلیدزنی میان کنترلگر ها توسط یک سیستم بالادستی منطقی تحت عنوان سرپرست مدیریت می شود. در اولین طرح پیشنهادی، حوزه عملکرد کنترلگرها تفکیک شده و با استفاده از سرپرست منطق فازی کلیدزنی به نرمی صورت می گیرد. جمع وزندار خروجی کنترلگر ها به فرایند اعمال می شود و وزن خروجی هر یک از کنترلگر ها توسط سرپرست منطق فازی به گونه ای تعیین می شود که عملکرد مطلوب تضمین گردد. در طرح دوم، سرپرست ورودی خارجی را تشخیص داده و کنترلگر مربوطه را فعال می کند. در ادامه طراحی کنترلگر چندمنظوره برای سیستم های آشفته تکین به صورت طراحی کنترلگر برای زیرسیستم های سریع و کند ارائه گردیده است. شبیه سازی ها نشان می هند که عملکرد کنترلگر کلیدزنی ارائه شده، نسبت به روش های استاندارد پیشین به طور قابل ملاحظه ای بهبود یافته است. نقاط ضعف و قوت هر یک از طرح های پیشنهادی نیز بیان شده است
ناصر بابایی محمد تقی حمیدی بهشتی
روشهای انجام کسب و کار در سالهای اخیر دستخوش تغییربوده است. استفاده از اینترنت،فناوری بیسیم، شبکه ها و ابزار سیار موقعیتهای جدیدی را برای کسب و کارهای مختلف ایجاد نموده است تا محصولات و خدمات متنوعی را ارائه نمایند. این روش کسب و کار از طریق شبکه های سیار با استفاده از تلفن ها و سایر ابزار همراه ، به تجارت سیار شناخته می شود. همچنین این روش را می توان زیر مجموعه ای از تجارت الکترونیک دانست. یکی از دلایل رایج تر شدن خدمات بیسیم راحتی آن می باشد. تلفن ها و ابزارهای شخصی سیار در دسترس بودن، دفعات بکار گیری و سرعت ارتباطات را بالا می بر ند. نظریه های بسیاری برای توضیح پذیرش فناوری توسط کاربران ارائه شده است اما تحقیقات بسیار کمی در مورد پذیرش و قصد بکارگیری بلیط موبایل انجام گرفته است. هدف این پژوهش مطالعه پذیرش بلیط موبایل در متروی تهران می باشد که یکی از کاربردهای تجارت سیار است. این پژوهش به سه سئوال مهم در مورد عوامل موثر درقصد بکار گیری، مهمترین عامل تاثیر گذار در پذیرش خدمت و راهکارهای عملی جهت راه اندازی سرویس پاسخ خواهد داد. مدل مفهومی این پژوهش بر پایه مطالعه ای است که توسط مالات و همکاران صورت گرفته است و اساسا بر پاپه دو مدل در ادبیات موضوع به نامهای مدل پذیرش فناوری (tam)که توسط دیویس ارائه شده است و نظریه انتشار نوآوری که توسط راجرز ارائه شده است، استوار می باشد. رویکرد پژوهش کمی است و جهت طرح تحقیق ابتدا پژوهش کتابخانه ای صورت گرفته است تا بهترین مدل ها انتخاب شوند. در کنار این موضوع، مصاحبه هایی با 6 متخصص انجام شده است تا مدل مفهومی مورد تایید قرار گیرد. این قسمت تحقیق با جستجوگری همراه بوده است. سپس پرسشنامه ای طراحی شده و بین 600 نفر از کاربران متروی تهران توزیع گردیده است که تعداد 138 پرسشنامه حذف شده و 462 پرسشنامه مورد تایید قرار گرفته است، بنابراین میزان پاسخ دهی معادل 77% بوده است. اطلاعات جمع آوری شده از پرسشنامه ها ی توزیع شده با استفاده از روش مدل یابی ساختاری (sem) مورد تحلیل قرار گرفت. نتایج این تحلیل نشان می دهد که اولا، همه عوامل برای تحلیل با تست کایزرمایر آلکین (kmo) و همچنین تست بارتلت معتبر و صحیح می باشند. دوما، روابط علی معلولی بین آنها جهت پاسخ به سئوالات تحقیق مورد تست قرار گرفته اند. نتایج نشان می دهد که "تجربه قبلی" مهمترین عامل موثر در پذیرش بوده و سیار بودن، راحتی در بکارگیری، ریسک، درک کارآیی، اعتماد و فضای بکارگیری خدمت در سطح پایین تری جهت بکارگیری این خدمت اهمیت دارند. همچنین، این نتایج نشان دهنده تاثیر بسیار ضعیف "سازگاری" ، "هزینه"، "تاثیر اجتماع و نگرش" بر روی پذیرش این خدمت از سوی مشتری می باشند. براساس نتایج تحلیل، بایستی قبل از راه اندازی کامل خدمت به مشتریان این خدمت را بصورت آزمایش ارائه کرد. همچنین، شبکه های سیار اپراتورهای تلفن همراه می بایست جهت اطمینان دادن خرید در هر زمان و هر مکان، تقویت شوند که می توان بعنوان عامل سیار بودن از آن نام برد. صفحه کاربری در هنگام استفاده از سرویس می بایست طراحی ساده و آسانی داشته باشد تا کاربر در مقابل خرید بلیط فیزیکی زحمت کمتری جهت تهیه بلیط داشته باشد. به همین علت، کاربری آسان عامل مهم دیگری در پذیرش بلیط الکترونیکی می باشد. همچنین، زیر بنای شبکه های سیار، میان افزار و زیر بنای شبکه سیار کاربر همه بایستی کاربری سیستم را پوشش دهند تا رضایت مشتریان را در بر داشته باشند و باعث استفاده و بکارگیری مداوم سیستم شوند. از دیدگاه نظری، دامنه وسیعی از ادبیات موضوع، بکارگیری و قصد بکارگیری کاربردهای تجارت سیار، در این پژوهش ارائه شده است که جهت پژوهش می توان از آن استفاده کرد.از منظر کسب و کار این پژوهش راهکارهایی را برای راه اندازی سیستم بلیط موبایل ارائه می دهد که می توانند مورد استفاده قرار گیرند.
محمدمصطفی عاشقان محمد تقی حمیدی بهشتی
سیستم های آشوبناک سیستم های پایداری هستند که ویژگی های رفتاری منحصر به فردی دارند. حساسیت بسیار زیاد به پارامترها و همچنین به شرایط اولیه و رفتار شبه تصادفی در عین سادگی ساختار، نمونه هایی از این ویژگیها هستند. همزمانسازی سیستم های آشوبناک موضوعی است که در سال 1992 برای اولین بار مطرح شد. همزمانسازی عبارت است از اعمال روشی که در نتیجه آن دو یا چند سیستم آشوبناک رفتار مشابهی از خود ارائه دهند. با توجه به کاربردهای فراوان در زمینه های مختلف از جمله مبحث رمزنگاری و برقراری ارتباط ایمن، و همچنین با توجه به جذابیت ریاضی این موضوع، همزمانسازی آشوب در طی دو دهه گذشته توجه بسیاری از محققان را به خود جلب کرده است. درگیری با انواع گوناگون نامعینی، مانند اغتشاش پارامتری و نویز خارجی از مشکلات همیشه پابرجا در مباحث کنترلی است. هدف ما در این گزارش ارائه ی راهکارهایی برای غلبه بر نامعینی های موجود در مسائل همزمانسازی بوده است. قدم اول به همزمانسازی بین دو سیستم آشوبناک با اغتشاش پارامتری یکسان، نویز خارجی و نوسان سیگنال کنترلی می پردازد. سپس اغتشاش پارامتری در دو سیستم به صورت متفاوت فرض می شود. در قدم بعد، علاوه بر فرض اغتشاش پارامتری، مقادیر نامی پارامترها نیز ناشناس فرض می شود. بخش بعدی پژوهش به سیستم های مرتبه کسری می پردازد. در این سیستم ها مرتبه مشتق درمعادلات توصیف سیستم عددی بین صفر و دو است و حالت کلی تری از سیستم های معمولی به حساب می آیند. در این بخش ابتدا روشی برای همزمانسازی بین دو سیستم آشوبناک مرتبه کسری با نویز جمع شونده ی خارجی و نوسان بهره ی کنترل کننده ارائه شده است. قدم بعدی در این بخش به همزمانسازی دو سیستم آشوبناک با فرض اغتشاش در پارامترهای سیستم ها و بهره ی کنترل کننده اختصاص دارد. در طی مطالعات مشخص شد یکی از دشواری های طراحی کنترل مقاوم برای سیستم های مرتبه کسری، عدم وجود روشی تحلیلی و پارامتریک برای بررسی پایداری سیستم های مرتبه کسری خطی است. حاصل تلاش برای پر کردن این خلأ در قالب الگوریتمی برای تحلیل پایداری این سیستم ها ارائه شده است. در نهایت همزمانسازی مقاوم بین دو شبکه از سیستم های مرتبه کسری انجام شده است. در تمامی بخش ها علاوه بر اثبات ریاضی، شبیه سازی هایی برای نشان دادن کارآیی روش های مطرح شده ارائه شده است.
حسین شکوهی نژاد وحید جوهری مجد
در این تحقیق پس از طرح مسئله کنترل ازدحام در شبکه?های کامپیوتری، موضوع کنترل ازدحام شبکه?های tcp/ip با سرویس?های تفکیک شده مورد بررسی قرار گرفته شده است. برای سرویس ممتاز استراتژی کنترل به کنترل پهنای باند (ظرفیت لینک) ختم می?شود ولی در سرویس های معمولی و بهترین تلاش علاوه بر کنترل پهنای باند، ازدحام ورودی به هرگره نیز کنترل می شود. برای غلبه بر نایقینی?های مدل و همچنین تخمین ازدحام وارد شده به هر گره، تکنیک کنترل پهنای باند در هر مسیریاب مبتنی بر مد لغزشی تطبیقی انتخاب می گردد. برخلاف روش?های موجود که هیچ راهکاری برای طراحی پارامترهای کنترل کننده ی پهنای باند ارائه نشده است، در روش پیشنهادی این پارامترها توسط نامساوی های ماتریسی خطی (lmi) طوری طراحی می شوند که دینامیک خطای کل شبکه پایدار باشد. در نهایت برای کنترل ازدحام وارد شده به هر گره در سرویس های معمولی و بهترین تلاش، یک الگوریتم جدید مبتنی بر نشانه دار کردن بسته ها و برگرفته شده از الگوریتم red ارائه می شود.
محمد عظیمی محمد تقی حمیدی بهشتی
در این پایان نامه، طراحی ردیاب فازی تاکاگی- سوگنو (t-s) با کارآیی مقاوم ، برای دسته ای از سامانههای غیر خطی دارای عدم قطعیت که بازخورد آنها از طریق شبکه بسته می شود (ncss)، مورد بررسی قرار می گیرد. در اینجا از مدل فازی t-s برای بازنمایی سامانه ی غیر خطی استفاده شده است. در خط انتقال شبکه، هردو عامل تأخیر و اتلاف داده در نظر گرفته شده و تحلیل پایداری بوسیله ی قضیه پایداری لیاپانوف-کراسوفسکی انجام شده است. نکتهی مهم طراحی تبدیل مسأله به نامساوی های ماتریسی خطی می باشد. این روش، حل مسأله را ساده تر و یک روش بهینه در ردیابی سامانه های ncss می باشد.
الهام توسلی پور محمد تقی حمیدی بهشتی
با توجه به اهمیت تشخیص و تصحیح سریع شرایط غیرعادی عیب در فرآیندهای صنعتی، در این پژوهش روشی جدید به منظور نظارت فرآیند پیشنهاد شده است. در این روش همزمان هم دینامیک فرآیند و هم تأثیر داده های برون هشته در نظر گرفته شده است. همچنین دو طراحی مختلف به منظور آشکارسازی عیب صورت گرفته است. در طراحی اول دینامیک فرآیند از طریق ماتریس افزوده و در طراحی دوم به وسیله روش آنالیز متغیر استاندارد اعمال شده است. سپس از الگوریتم آنالیز متغیر مستقل به منظور کاهش بعد داده ها استفاده شده است. همچنین حذف داده های برون هشته و محاسبه حد کنترلی بر اساس الگوریتم فاکتور برون هشته محلی صورت گرفته است، که هیچ توزیع خاصی را برای متغیرهای فرآیند در نظر نمی گیرد. از این رو با داده های موجود در صنعت تطابق دارد. بر خلاف روش های موجود که در آن همواره تضادی بین کاهش نرخ اخطار اشتباه و نرخ عدم تشخیص عیب وجود دارد، در این پژوهش، با الگوریتم های پیشنهادی این دو نرخ خطا همزمان کاهش یافتند. همچنین به منظور افزایش اعتبار روش پیشنهادی در راستای آشکارسازی عیب، این الگوریتم ها بر روی فرآیند te و فرآیند ساده چند متغیره شبیه سازی شده است و مقایسه ای با نتایج حاصل از پژوهش های دیگر صورت گرفته است. نتایج حاکی از آن است که الگوریتم های پیشنهادی بهترین عملکرد را نسبت به سایر روش ها دارند.
فرهاد پیرولی محمد تقی حمیدی بهشتی
تاریخچه علم روباتیک بیشتر به تعامل با انسان نزدیک است. در اصل روبات ها را فقط برای استفاده در محیط های صنعتی به جای انسان در کارهای خسته کننده، تکراری و جاهایی که نیاز به دقت دارند در نظر می گیرند، اما سناریوی فعلی در حال گذر به سمت افزایش تعامل با بشر است. این بدان معنا است که تعامل با انسان از صرف تبادل اطلاعات (در کاربرد از دور) در حال گسترش است و روبات ها به تعامل نزدیک، شامل بعد فیزیکی و ادراکی، خدمت می دهند. 1-1- پیشگفتار در زمینه تعامل روبات ها با انسان مفهوم روبات های پوشیدنی (wr) پدید آمده است. روبات های پوشیدنی روبات های شخص گرا هستند. آن ها را می توان به عنوان ابزاری هوشمند که توسط انسان پوشیده می شوند تعریف نمود، به طوری که مکمل تابعی از اندام (دست و پا) یا جایگزین کامل آن می-باشند. روبات های پوشیدنی ممکن است در کنار اندام انسان عمل کنند، مثل روبات های توان بخش یا در اصطلاحی دیگر روبات اسکلت خارجی ، و یا ممکن است جایگزین مناسبی برای اندام از دست رفته باشند. روبات های توان بخش شاخه ی خاص از علم روباتیک هستند که متمرکز بر ماشین هایی می باشند که برای کمک به مردم در جهت بهبود آسیب های فیزیکی شدید و یا کمک به آن ها در فعالیت های روزمره زندگی طراحی شده اند. این حوزه ی کاری بیشتر در یک زمینه مشترک شناخته شده به نام مهندسی توان بخشی نشئت می گیرد. مهندسی توان بخشی دقیقاً متناسب با درمان فیزیکی بدن است و در سه حوزه مهم کانون توجه قرار می گیرد. این سه حوزه مهم از درمان فیزیکی عبارت است از: درمان قلبی-ریوی ، عصب شناختی ، و ماهیچه-اسکلت بدن می باشد. درمان قلبی-ریوی به معالجه ی مشکلات تنفسی از قبیل تنگی نفس اختصاص میابد و به توان بخشی افرادی که متحمل آسیب های قلبی هستند می پردازد. زمینه عصب شناختی بیشتر در جهت کمک به بازتوانی کنترل ماهیچه است. درمان ماهیچه-اسکلت کمک به قدرت و بازگرداندن کارایی در گروه های ماهیچه و اسکلت بندی بدن در جهت بهبود هماهنگی آن ها می باشد. از این رو روبات های توان بخش کاربردهایی در هر سه حوزه مذکور از درمان فیزیکی دارند؛ البته سهم عمده از کار و توسعه آن بر روی ماهیچه-اسکلت بدن تمرکز یافته است. یک روبات اسکلت خارجی به راه رفتن افراد فلج و یا تقویت نیروی شخص برای راه رفتن کمک می کند [ ]. این روبات یک سامانه هوشمند است که الزامات راه رفتن مثل بالا رفتن از شیب های صعودی و نزولی، نشستن و برخاستن را تحقق می بخشد. روبات یک وسیله پوشیدنی همانند شلوار است که برای انجام وظایف روزانه کاربر به کار گرفته خواهد شد. این روبات قابلیت حرکت دادن کاربر، حمایت از پاهای شخص و کمک به راه رفتن او را دارد. طراحی یک روبات اسکلت خارجی شامل مدل سازی ریاضی سامانه، انتخاب مواد مناسب برای طراحی مشخصات و فرآیندهای ساخت روبات، قدرت تجزیه و تحلیل راه رفتن و پیدا کردن مناسب-ترین ترکیب راه رفتن با بررسی درجه آزادی (dof) در هر یک از مفاصل پاها می باشد. علاوه بر طراحی مکانیکی روبات، یک مدار الکترونیکی برای فرمان های کنترلی به هر مفصل متحرک طراحی می شود.
بابک رضازاده ابرندابادی محمد تقی حمیدی بهشتی
در سال های اخیر در زمین? تدوین استانداردهای مناسب برای شبکه های حسگر بی سیم صنعتی تلاش های بسیاری صورت گرفته که مهم ترین این تلاش ها استاندارد wirelesshart است. این پروتکل جدید برنامه tdma را با روش پرش کانال فرکانسی ترکیب کرده و از یک ساز و کار تخصیص حافظه متمرکز استفاده می کند. در این پایان نامه ابتدا به معرفی شبکه های حسگر بی سیم و بیان محدودیت ها و چالش هایی که این شبکه ها با آن ها رو به رو هستند می پردازیم، سپس پروتکل wirelesshart و لایه های مختلف آن را بررسی می کنیم. در ادامه توضیح مختصری در ارتباط با نرم افزار castalia که یک شبیه ساز مختص شبکه های حسگر بی سیم است، ارائه خواهیم داد. با توجه به این که هدف اصلی شبکه های حسگر بی سیم جمع آوری و ارسال اطلاعات به گره چاهک است، به دلیل عدم دسترسی فیزیکی به گره ها پس از قرار دادن آن ها در محیط، گره های شبکه پس از مصرف انرژی موجود عملاً بدون استفاده شده و از کار می افتند. در نتیجه یکی از مسائل مهم در این شبکه ها تحویل بسته های داده در کوتاه ترین زمان با کمترین میزان مصرف انرژی است. در این پایان نامه روشی پیشنهاد نموده ایم که مدیر شبکه هنگام مسیریابی با در نظر گرفتن تأخیر پیوندها و انرژی باقیمانده گره ها سعی بر انتخاب مسیرهایی دارد که انرژی باقیمانده بیشتری دارند. به عبارت دیگر به دنبال آن هستیم که با تعریف یک تابع هزینه بر حسب توان و تأخیر، بین آن ها با توجه به کاربرد و نیازهای شبکه مصالحه ای برقرار کنیم تا شبکه با وجود کارایی مطلوب دارای طول عمر مناسبی نیز باشد. در این روش ابتدا گراف شبکه با توجه به درجه اهمیت توان مصرفی و تأخیر ساخته می شود، سپس شبکه آغاز به کار می کند و در حین کار جداول مسیریابی گره ها به روز می شوند. نتایج شبیه سازی نشان دهنده این است که در کاربردهایی که طول عمر شبکه برای ما اهمیت دارد، تأخیر رسیدن بسته ها به گره چاهک افزایش می یابد و بلعکس. در نهایت با استفاده از مقادیر مختلف تأخیر و طول عمر به دست آمده از شبیه سازی، یک بازه بهینه برای ضریب اهمیت انرژی به دست آورده ایم.
امیر افتخاری محمد تقی حمیدی بهشتی
استفاده از فناوری و رایانه برای کمک به تصمیم گیری در زمینه های تخصصی از مقولاتی است که امروزه در تصمیم گیری های مدیران صنایع هوانوردی و مهندسین نگهداری و تعمیرات بسیار مورد توجه قرار گرفته است. کلیه پرواز ها در سطح کشور توسط سیستم های نظارتی مانند رادار ساماندهی و مدیریت می شوند. جهت نیل به سطوح بالای امنیت و ایمنی پرواز سیستم های نظارتی به صورت شبانه روزی درحال سرویس دهی هستند. از آنجا که در بحث نگهداری و تعمیرات اعمال و تصمیمات انسانی نقش بسزایی دارد و در این میان شرایط محیطی و روحی می تواند بر این تصمیمات تاثیر گذار باشد، بنابراین افزایش خطا و در نتیجه آن افزایش هزینه های ناشی از تعمیرات، تعویض قطعات و نگهداری امری اجتناب ناپذیر است. لذا استفاده از تکنیک هایی که بتواند این خطاها را کاهش داده یا از بین ببرد ضروری است. بکار گیری سیستم های هوشمند در کوتاه تر شدن زمان رفع عیوب رادار و شبکه اطلاعات راداری بسیار موثراست. پایگاه داده سیستم هوشمند با مطالعه مستندات شرکت های سازنده بنا نهاده و پس از بررسی گزارش کارهای مهندسین صنعت توسعه داده شد. همچنین در طی چندین مرحله مصاحبه و تحقیقات میدانی غنی گردید؛ از پایگاه داده مذکور جهت آموزش، آزمایش و اعتبارسنجی شبکه عصبی استفاده گردید. در معماری شبکه عصبی از روش پس انتشار خطا استفاده شده است. همجنین جهت مقایسه مقادیر پارامترها و ساختار شبکه نیز تغییر داده شد که نتایج آن ها در جداول و نمودار با هم مقایسه شده است. در پایان سیستم هوشمند طراحی شده پس از دریافت وضعیت حال حاضر سامانه نظارتی و اشکال رخ داده در سیستم، سریع ترین راه حل یا نزدیک ترین پاسخ به آن را بیان می کند. پاسخ های سیستم جهت اعتبارسنجی در مرکز کنترل پرواز تهران مورد استفاده قرار گرفت با واقعیت خرابی ها مقایسه گردید و 92% با هم تطابق داشت و پاسخگوی نیاز سیستم بود.
رومینا مدنی امین رمضانی
بحث رقابت¬پذیری یکی از مهمترین دغدغه¬های تجارت و فعالیت در بازار جهانی امروز است. از مشخصه¬های دنیای امروز، تغییرات سریع و مداوم در محیط اقتصادی جهان است که حاصل آن، شکل-گیری رقابت شدید در عرصه جهانی است. امروزه مدیریت زنجیره تأمین به ابزاری استراتژیک برای شرکت ها تبدیل شده تا بتوانند کیفیت را مدیریت کرده، مشتریان را راضی نگاه دارند و با توان رقابتی بالا در عرصه جهانی باقی بمانند. کنترل پیش بین مبتنی بر مدل به عنوان ابزارکنترلی قوی در زنجیره های تأمین شناخته می شود اما یک ضعف کنترل پیش بین این است که مدل استفاده شده در آن می بایست کاملا دقیق باشد و این در حالی است که زنجیره تأمین در بخش های مختلف خود دارای نامعینی است و در نظر نگرفتن این نامعینی ها اجتناب ناپذیر است. ضعف دیگر کنترلگرهای پیش بین دشوار بودن و زمان بر بودن تنظیم آن ها برای زمآن هایی است که تأخیر وارده به سیستم طولانی مدت باشد و یا اغتشاش وارد شده به کنترلگر که در اینجا همان تقاضای مشتری است دارای نوسانات شدید و ناگهانی باشد. در این پژوهش سعی شده است که زنجیره تأمین به گونه ایی مدل و کنترل شود که در برابر هر نوع نامعینی پارامتری و هر نوع تأخیر و اغتشاشی مقاوم باشد. جهت دستیابی به این امر، به دلیل ابعاد وسیع زنجیره تأمین، زنجیره تأمین به صورت توزیع شده مدل شده است و ضمن اضافه کردن نامعینی ها به مدل ، برای کنترل زیربخش هایی که دارای نامعینی هستند از کنترلگرهای پیش بین مقاوم بر مبنای نامساوی های ماتریسی خطی و بهینه سازی محدب استفاده شده است و بدین ترتیب ضعف کنترلگر پیش بین در کنترل نامعینی های پارامتری زنجیره تأمین جبران شده است. برای سایر زیربخش ها نیز مدل به گونه ایی تغییر داده شده است که تغییرات ورودی و خروجی ها نیز در توابع هزینه جریمه شوند و همچنین از توابعlaguerre در ساختار کنترلگر پیش بین استفاده شده است تا رفتار سیستم در برابر افزایش تأخیر و نوسانات اغتشاش هموارتر شود و تنظیم کنترلگر راحت تر و سریع تر شود. برای بهبود بیشتر عملکرد نیز به موازات کنترلگرهای اعمال شده بر هر بخش نیز یک کنترلگر کمکی تعبیه شده است که به کمک آن نقاط کاری مطلوب ورودی ها برای رساندن خروجی ها به مقادیر مطلوب مشخص شده است. کار دیگری که در این پژوهش انجام شده است این است که بخش cross docking در زنجیره های تأمین مدل شده است و توسط کنترل پیش بین تحت کنترل درآورده شده است.
پویا بدری سجاد ازگلی
اکثریت قریب به اتفاق روش های طراحی کنترلگر برای سامانه های تعلیق نیمه فعال به طراحی کنترلگر هایی با مرتبه ی بالا منجر می شوند. از معایب کنترلگر های مرتبه بالا می توان به هزینه های پیاده سازی بالا، تعمیر و نگه داری سخت، خطای زیاد، قابلیت اطمینان کم و شکنندگی بالا اشاره کرد. علاوه بر موارد فوق، به کارگیری کنترلگر های مرتبه بالا مستلزم وجود پردازنده های بسیار سریع با قدرت محاسباتی بالا می باشد و از طرفی روش های کاهش مرتبه فرآیند و یا کنترلگر همواره حفظ عملکرد حلقه بسته را تضمین نمی کنند. لذا مطلوب است تا کنترلگر مرتبه ی پایینی طراحی شود که در عین پیاده سازی راحت، عملکرد سامانه ی حلقه بسته را نیز حفظ کند. بنابراین با استفاده از روش طراحی کنترلگر مرتبه ثابت، می توان از مزایای یک کنترلگر مرتبه پایین با عملکرد مطلوب و هزینه ی کمتر بهره برد. در این میان طراحی کنترلگر برای سامانه هایی که عدم قطعیت دارند دشوارتر است. لذا مسئله چالش برانگیز طراحی کنترلگری با مرتبه ثابت و کوچک می باشد. این مسئله یک مسئله ی غیر محدب است که به چندجمله ای کامل نامعین معروف است. در این پژوهش چندین روش برای طراحی کنترلگر مرتبه ثابت برای سامانه های تعلیق نیمه فعال ارائه شده است. نتایج شبیه سازی ها بر روی یک مدل یک چهارم خودرو، از بهبود پاسخ مشخصه های عملکردی سامانه حکایت دارد.
رحیم دلاور بابک توسلی
همانطور که می دانیم وجود تأخیر در همه پدیده های طبیعی انکارناپذیر است. و نادیده گرفتن آن موجب نتایجی نامطلوب بر روی سیستم می شود. امروزه تحقیقات بسیاری بر روی سیستم های دارای تأخیر انجام می¬شود، اما در بیشتر این تحقیقات تأخیر را بصورت ثابت در نظر می¬گیرند. ولی در موارد بسیار اندکی تأخیر را متغیر با زمان در نظر می¬گیرند. در این پایان نامه، قضیه¬ای برای تحلیل پایداری سیستم¬های غیر خطی با تأخیر متغیر با زمان، کراندار و نامعین ارائه می¬شود. تأخیر در کاربرد¬های بسیاری استفاده می گردد، که از مهمترین آنها می توان به وجود تأخیر در سیستم های کنترل شبکه شده اشار کرد. امروزه بدلیل پیشرفت کاربردی شبکه های ارتباطی بی سیم، و مزیت های بسیار آن سیستم¬های کنترل شبکه شده توجه بسیاری را به خود جلب کرده است. استفاده از این سیستم¬ در صنعت، باعث توجه مهندسین کنترل در این زمینه شده است. وجود پدید¬های شبکه از قبیل، تأخیر در ارسال داده، از دست رفتن داده و نمونه برداری دارای لرزشی و از دست رفتن ترتیب ارسال داده¬ها، باعث ایجاد عملکرد ضعیف سیستم و حتی ناپایداری سیستم می¬شود. در این پایان نامه،¬ این پدیده¬های شبکه با تأخیر مدل می شود، و با استفاده از تابع لیاپانوف-کراسوفسکی شرایطی برای پایداری سیستم تحت نامساوی¬های ماتریسی خطی بدست آمده است. برای ارزیابی، قضیه بیان شده در این پایان¬نامه به سیستم بازوی روبات دو درجه آزادی که از طریق شبکه¬های ارتباطی بی¬سیم کنترل می¬شود، اعمال شده است. نتایج بدست آمده بر روی این سیستم و مقایسه آن با مقالات پیشین، بهبود افزایش کران بالای تأخیر برای تضمین پایداری سیستم را نشان می دهد.
شاهرخ پاینده وحید جوهری مجد
در این پژوهش، طراحی مسیر بر پایه ی پایداری ایستا و پویا صورت می گیرد. معمولاً ساختار ربات های چهارپا به گونه ای است که به دلیل پایین بودن نسبت جرم پاها به بدنه از تأثیرات پویای آن ها می توان صرف نظر کرد. در طراحی ایستا رباتی با نسبت جرم پا به بدنه قابل ملاحظه در نظر گرفته شده است و با اضافه کردن حرکت های متناوب طولی و عرضی به طراحی اولیه پایداری آن بهبود داده شده، و به روی یک نمونه ربات پیاده سازی شده است. ربات های چهارپا سامانه های مکانیکی پیچیده ای هستند و معمولاً مدل سازی آن ها با فرضیاتی همراه است مانند در نظر نگرفتن جرم پاها یا مدل سازی دوبعدی آن ها، در اینجا به دلیل نوع حرکت بدنه یک مدل سه بعدی با جرم پاها در نظر گرفته شده و درستی آن نشان داده شده است. در طراحی مسیر بر پایه پایداری پویا با تعریف نمونه دیگری از نوع گام برداری با ایده گرفتن از روش حرکت پایدار ربات های دوپا، طراحی مسیر پایدار پویا صورت گرفته است.
شیرین ناظم زاده محمد تقی حمیدی بهشتی
سیستم خطی شده پیل سوختی غشاء تبادل پروتون و سیستم خطی شده بازساز گازی هیدروژنی از محل ورودی با یکدیگر مرتبط شدهاند و یک سیستم واحد مرتبه 18 را شکل میدهند. دلایل پر هزینه بودن طراحی کنترلر بهینه مرتبه کامل برای سیستم مرتبه 18 و وسعت گستره فرکانسی مدهای سیستم به میزان 6 دهه، ایده یافتن مدل آشفته تکین را با دسته بندی مدها در دو گروه کند و سریع، در پی داشت تا بر مبنای آن طراحی کنترلر صورت گیرد. سپس سیستم آشفته تکین به دو زیر سیستم سریع و کند کاملاً مجزا از هم تفکیک گردید و دو طراحی کنترلر ساده تر و نزدیک به بهینه صورت گرفت؛ یکی طراحی کنترلر بهینه بر اساس سیستم کاهش مرتبه یافته و دیگر، طراحی کنترلر به صورت ترکیبی از دو کنترلر مرتبه پایینتر که هریک بر اساس یکی از دو زیر سیستم سریع و کند بدست آید؛ از روش خاص طراحی کنترل بهینه آشفته تکین. طراحی کنترل بهینه برای سیستم مرتبه کامل و نیز طراحیهای کنترلر نزدیک به بهینه مذکور صورت گرفت و پاسخ خروجیها تحت شرایط اولیه یکسان بدست آمد و با یکدیگر مقایسه گردید. پاسخها موید آنست که طراحی هر یک از دو کنترلر ساده تر، تقریبی از کنترلر بهینه مرتبه کامل است.
گلناز حبیبی محمد تقی حمیدی بهشتی
چکیده ندارد.
جوانه ضیاتبری محمد تقی حمیدی بهشتی
چکیده ندارد.
مهدی اشرفی محمد تقی حمیدی بهشتی
چکیده ندارد.