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

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

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

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

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

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

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

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

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

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