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

چکیده ندارد.

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

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

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

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

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

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

یکنوایی نقش مهمی در ریاضیات وکاربردهایش بازی می کند. آنالیز یکنوا را می توان آنالیز محدب مطلق بر پایه کلاس های خاصی از توابع مقدماتی در نظر گرفت. اولین همکاری در زمینه تحدب مطلق در مقاله[ 12 ] انجام گرفت. عبارت آنالیز یکنوا درمقاله[ 20 ] مورد استفاده قرار گرفت اما در از تمام بردارهای با مختصات نامنفی مطالعه شد. بقیه نتایج آنالیز rn آن تنها نتایج روی مخروط + درمقاله [ 11 ]یافت میشوند. پس از...

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