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

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

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

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

ارتباط منفی بین اقلام تعهدی و بازده آتی سهام با عنوان نابهنجاری اقلام تعهدی از سال 1996، توسط اسلون در ادبیات حسابداری مطرح شده است. وی قیمتگذاری نادرست اقلام تعهدی را علت ایجاد این نابهنجاری بیان کرد. علاوه براین، نتایج پژوهش ریساتک(2010)، بازده نامشهود دوره های قبلرا به عنوان عامل تاثیرگذار بر رابطه بین اقلام تعهدی و بازده آتی سهام معرفی کرد. بازده نامشهود منعکس کننده اطلاعاتی درباره آینده و ...

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

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

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