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

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

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

چکیده ندارد.

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

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

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

این پایان نامه به تجزیه و تحلیل و اجرای امپرومپتوی اُپوس 90 شماره 2 اثر فرانس شوبرت و نوکتورن شماره 4 اثر فرانسیس پولانک می پردازد. فرانس شوبرت به عنوان یکی از مهم ترین آهنگ سازان موسیقی کلاسیک که آثارش علاوه بر در بر داشتن تجربیات بزرگانی چون هایدن، موتسارت و بتهوون، حاوی نوآوری هایی در راستای همین تجربیات در فُرم و هارمونی ست که تأثیر شگرفی بر موسیقی پس از خود گذاشته است. آهنگسازان اواخر قرن 1...

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

مهمترین ویژگی های مورد بررسی در مطالعات تاک نگاری (ampelography) و شناسایی گونه ها و ارقام مو، صفات موروفولوژیکی هستند. در سال ???? سازمان بین المللی ذخایر توارثی گیاهی (ibpgr) تصمیم گرفت یک توصیفگر کامل و جامع را تدوین و برای مطالعات تاک نگاری مورد استفاده قرار دهد. در ibpgr، در حدود ??? صفت کمی و کیفی از جمله صفات برگ بالغ ثبت شده است. هم اکنون تشخیص رقم های مختلف مو توسط اشخاص متخصص و بر اسا...