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

تکنیک¬های مدلسازی اغلب منجر به سیستم¬های دینامیکی با مرتبه¬ی بسیار بالا می¬شوند. بنابراین مطلوب است که سیستمی با مرتبه¬ی پایین و پیچیدگی کمتر که رفتار ورودی – خروجی آن، رفتار سیستم اصلی را تقریب می¬زند پیدا کنیم. در این پایان¬نامه سیستم¬های دینامیکی خطی و تغییرناپذیر با زمان چند ورودی – چند خروجی را در نظر می¬گیریم. اساس این پایان¬نامه کاهش مرتبه مبتنی بر روش¬های تصویرسازی است. در این روش¬ها مد...

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

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

فضاهای فشرده و لیندلوف از فضاهای اساسی در مطاله ی توپولوژی هستند که تا به حال به طور مجزا مطالعه شده اند. در این پایان نامه با تعریف $lambda$-فشردگی هر دو فضا را با یک خاصیت مشترک در نظر می گیریم که وقتی $lambda$ برابر با $aleph_{circ}$ است؛ فضای فشرده و وقتی که $lambda$ برابر با $aleph_1$ است؛ فضای لیندلوف نافشرده به دست می آید.فضای $lambda$-فشرده را تعریف کرده و نشان داده ایم که...

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