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

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

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

جواب کرمچاله ای وابسته به زمان معادلات برانس - دیکی در یک پس زمینه تابشی ناهمسانگرد ارایه شده است. میدان نرده ای برانس - دیکی فقط به زمان وابسته است. این وابستگی زمانی به شکل توانی است. نشان داده شده است که هندسه کرمچاله ای برای ω ≥ -3/2 و در نتیجه برای مقدارهای مثبت دلخواه ω امکان پذیر است. حد نسبیت عام جواب به ازای 0= ω به دست می آید نه به ازای  ω →∞ گرچه میدان نرده ای می تواند شرط انرژی را ب...

در این پایان نامه یک گردایه از معادلات دیفرانسیل عادی مرتبه دوم به شکل زیر: y^=f(x,y(x),(yo?)(x),y^ (x)) را که در آن توابع f و ? پیوسته اند را در نطر می گیریم. این معادله را با در نطر گرفتن هیچکدام، یکی یا هر دو شرایط مرزی رابین وابسته به اینکه بازه مورد نظر متناهی، نیم متناهی یا نامتناهی است کامل میکنیم. تنها محدودیتی که روی تابع ? قرار می دهیم آن است که i را به توی خودش بنگارد. شرایط کافی ب...

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

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

در این رساله، وجود و چندگانگی جواب های مثبت دسته ای از معادلات و دستگاه معادلات دیفرانسیل با مشتقات جزئی غیرخطی با شرط های مرزی همگن دیریکله را بر اساس روش جواب های پایینی-بالایی در دو مفهوم کلاسیک و ضعیف مورد بحث قرار می دهیم. فرض کنید $omega$ دامنه ای کراندار در $mathbb{r}^n$ با مرز هموار $partial omega$ است. ابتدا، وجود جواب های مثبت مسائل نیمه مثبت گون نامتناهی [ -delta u=-a ...