از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

چکیده ندارد.

علامه اقبال لاهوری (۱۳۱۷ ـ ۱۲۵۶) تحت تأثیر اوضاع نابهنجاری که گریبانگیر جهان اسلام شده بود و نیز با آگاهی و درک عمیقی که از مبانی فکری دنیای شرق و غرب داشت خود را متعهد به سرنوشت انسان مسلمان می دانست. مهم ترین سؤالاتی که این مقاله بر آن است تا بدانها پاسخ دهد، عبارتند از: علامه اقبال چه عواملی را موجب توسعه نیافتگی مسلمانان می داند؟ راهکارهای وی برای برون رفت مسلمانان از این توسعه نیافتگی چیست...

یک روش عددی برای حل مسأله اختلال تکین انتشار-هم بردار و خود الحاق را در این پایان نامه مورد بررسی قرار داده ایم. جواب بدست آمده برای مسأله انتشار- هم بردار نشان می دهد که لایه مرزی در سمت راست دامنه وجود دارد و جواب مسأله خود الحاق نشان می دهد دو لایه مرزی در نقاط انتهایی دامنه موجود است. این الگوریتم با استفاده از روش b-اسپلاین هم محلی و شبکه بندی قطعه به قطعه یکنواخت شیشکین مسأله انتشار-هم ...

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

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

0

به منظور بررسی ویژگی های مکانیکی و حرارتی مؤثر در کیفیت و کمیت روغن زیتون و به دست آوردن روغن خالص، سرعت دورانی غلتک های خرد- له کن در دو سطح 6 و 12 دور در ثانیه و دمای واحد همزن در سه سطح 30، 45 و 60 درجه سلسیوس در نظر گرفته شدند. در این راستا داده های آزمون بوسیله آزمایش فاکتوریل در قالب طرح بلوک های کامل تصادفی مورد مقایسه و ارزیابی قرار گرفتند. مقایسه میانگین ها براساس آزمون چند دامنه دانکن...

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

چکیده ندارد.