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

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

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

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

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

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

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

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

شتاب حداکثر بالا و پالس سرعت یک مؤلفه ای با پریود بلند، از مشخصات اصلی حرکت زمین در زلزله های نزدیک گسل میباشد. در این مقاله کاربرد ایده کنترل فعال برای کاهش اثرات ناشی از زلزله های نزدیک گسل در پلهای مبنای غیر خطی بررسی شده است. در این راستا از شبکه های عصبی مصنوعی و منطق فازی و تلفیق شبکه عصبی مصنوعی و منطق فازی برای طراحی الگوریتم کنترل فعال استفاده شده است. مهمترین مزیت کنترلگر فازی، استحکا...