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

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

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

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

در برخی قضایا و در برخی زبان ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه ای از مراتب «وجود» می دانند و از این رو از آن به «وجود رابط» تعبیر می کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم ترین آن ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

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

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