عملکرد سیستمهای هوافضا از قبیل هواپیماها، فضاپیماها و موشکها، وابستگی خیلی زیادی به قابلیتهای هدایت، ناوبری و سیستمهای کنترل دارد لذا جهت نایل شدن به عملکرد بهبود یافته چنین سیستمهایی، لازم است که سیستمهای کنترل خبره و ماهر، به کار گرفته شوند. به ویژه چنانکه پوشه عملکرد بسط داده شود، جهت فراهم کردن عملکرد بر روی گستره وسیع در مواجهه با نامعینی ها یا شرایط عملیاتی تغییرپذیر، طرحهای کنترلی بایستی...

در این پایان نامه، به طراحی کنترلگرمدلغزشی برای کنترل حرکت چرخشی کشتی که دارای مدل غیرخطی همراه با عدم قطعیت میباشد در حضور اغتشاشات خارجی پرداخته شده است. در ابتدا ویژگی های مدل مورد بحث را بررسی کرده و در ادامه کنترل مد لغزشی مطرح گردیده است و سپس بر اساس یک سطح لغزشی، کنترل کننده ای تطبیقی طراحی شده و پایداری سیستم حلقه بسته در حضور این کنترل کننده اثبات گردیده است.در ادامه روش تطبیقی مدلغزش...

فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده‌اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...

برای اثـبات قضیه معـروف تجزیه کهـن، حتی در جــبرهای باناخ، داشتـــــن همانی تـقـــریبی کراندار ازاهمیت ویژه ای برخوردار است. درتعمیم قضیه کهن به جبرهای توپولوژیکی، نه تنها وجود یک همانی تقریبی کراندار کماکـــان مورد نیاز است. بلکه برای اثـــــــبات قضیه، کرانداری قویــتری نیز اعمال شده است . دراین مقالـــه ضمن مطالعه یک مسئله باز معروف نسبتا قدیمی، در مورد همانی های تقریبی کرانداری یکنواخت، در ...

در چند دهه اخیر روش های بهینه سازی که بر پایه رویکرد هوش مصنوعی توسعه یافته اند، موفقیت های چشم گیری در حل موثر و کارایی مسائل بهینه سازی بدست آورده اند. روش هایی چون الگوریتم ژنتیک، جستجوی ممنوع، شبیه سازس تبریدی، شبکه عصبی و...قابلیت های خود را در حل مسایل بزرگ علمی به خوبی نشان داده اند. در این پایان نامه از یک مدل شبکه عصبی بازگشتی برای حل مساله تخصیص و کوتاهترین مسیر استفاده کرده ایم. ایده...

هدف این پایان نامه اثبات پایدری همولوژی برای گروههای خطی عام روی یک حلقه موضعی با میدان مانده نامتناهی است. قضیه پایداری همولوژی روی چنین حلقه ای ادعا می کند که برای عددهای صحیح q و n، همریختی طبیعی ( hq(inc): hq(gln(r),z)? hq(gln+1(r),z برای q ? n پوشا و برای q ? n ?1دو سویی است. در اینجا(inc:gln(r)? gln+1(r نگاشت شمول با ضابطه(a ? diag(a , 1 می باشد.برای اثبات این قضیه از ابزارهای مهمی...

در فصل دوم‏ رساله، سیستم های گابور تولید شده توسط تابع گاوسین را در نظر می گیریم و برخی از نتایج کلاسیک پالی و وینر در رابطه با سری فوریه ی ناهمساز از توابع نمایی مختلط را برای بسط گابور ثابت می کنیم. به ویژه‏، نسخه ای از قضیه ی پلانشرل-پولیا را برای توابع تام با نرخ رشد متناهی ثابت کرده و از آن برای بررسی همگرایی بسط گابور در l^2 (r^2)‎ ‎‎ کمک می گیریم. همچنین در این فصل قضیه ی تجزیه ی هادامار...

در این رساله، به مسئله کنترل سیستم‏های دارای عدم قطعیت از دیدگاه حساب مرتبه کسری پرداخته شده است. در ابتدا، مسئله تخمین حالت‏های سیستم برای دسته‏ای از سیستم‏های مرتبه کسری غیرخطی مورد توجه قرار گرفته است. بعبارت دیگر، با استفاده از مفاهیم و تعاریف حساب کسری رویتگر مرتبه کسری طراحی شده است. با استفاده از تعمیم قضیه پایداری لیاپانوف در حساب مرتبه کسری، تحلیل پایداری سیستم خطا انجام شده و نشان داد...

قضیه ای کلاسیک در نظریۀ گروه ها می گوید اگر G یک 2-گروه متناهی باشد که تنها یک عضو مرتبۀ 2 دارد، آن گاه  G دوری است یا با یک ٢-گروه کواترنیون تعمیم یافته یکریخت است. هدف این نوشته، ارائۀ برهانی جدید برای این قضیه است.