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

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

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

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

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

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

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

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

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

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