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

در این پایان نامه مفاهیم بنیادی به کا ررفته درفصل اول از دو کتاب پایه در نظریه نقطه ثابت برای نگاشت های لیپ شیتز بوده که به عنوان مراجع ]7[و] 8[ در انتها درج گردیده وبه همراه مراجع ]3[و] 4[و] 9 [ منابع اصلی این پایان نامه را تشکیل می دهند. دراین پژوهش معمولا یک فضای باناخ و یک زیر مجموعه ناتهی وبسته ومحدب فضای باناخ می باشدو یک نگاشت لیپ شیتنز بوده و مجموعه نقاط ثابت نگاشت می باشد ونمادها و...

وجود و منحصر به فردی جواب یک معادله استیفن تک فازی برای معادله گرمای غیرکلاسیک برای فضای نیمه متناهی با شرط مرزی انتقال درحالت ثابت ‎$x=0$‎ که محدود به زمان است را ثابت می کنیم. در اینجا منبع گرما به دما در رویه ثابت ‎$x=0$‎ بستگی دارد که اثر خنک کننده یا گرم کننده را فراهم می کند که به شرایط منبع بستگی دارد. ما روش نمایش انتگرال فریدمن ‎–‎ربیستاین و نظریه انقباض باناخ را به کار می گیریم تا یک ...

فرض کنید x فضای باناخ و t نگاشتی روی x باشد. برای نگاشت t، بعضی شرایط خاص را معرفی می کنیم. ابتدا به معرفی شرط (c)می پردازیم که از نگاشتهای توسیع نیافتنی ضعیف تر و از شبه توسیع نیافتنی قوی تر است.نگاشت t همراه با شرط (c) را یک نگاشت از نوع (c) می نامیم. سپس روی نگاشت t، شرط (l) را معرفی می کنیم و رابطه نگاشت نوع (l) را با بعضی دیگر از نگاشت های توسیع نیافتنی بیان می کنیم. آنگاه وجود نقطه ثابت ر...

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

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

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

آزمایش تحکیم به منظور تعیین پارامترهای تحکیمی خاک، روش های مختلفی دارد. در این تحقیق از 3 روش تحکیم استاندارد، تحکیم با نرخ کرنش ثابت (crs) و تحکیم با گرادیان هیدرولیکی ثابت (cg)، جهت مدل سازی عددی استفاده شده است. نرم‎افزار مورد استفاده جهت مدل سازی عددی این آزمایش ها، flac3d پایه ریزی شده بر اساس روش عددی تفاضلات محدود می باشد. جهت مقایسه ی نتایج حاصل از flac3d با نتایج آزمایشگاهی از 2 نمونه ...

در این پایان نامه، ما نخست مفاهیم mt-تابع،$tau$-تابع و$0^tau$-متر را معرفی نموده، سپس با به کارگیری این مفاهیم، قضایای نقطه ثابت جدیدی برای نگاشت های انقباضی مجموعه-مقدار غیرخطی اثبات می کنیم. سپس رده ی نگاشت های مستعد مجموعه-مقدار را معرفی نموده و قضایای نقطه ثابت جدیدی که گسترش هایی از قضیه نقطه ثابت کنان و قضیه نقطه ثابت جاترجی برای نگاشت های انقباضی مجموعه-مقدار غیرخطی در فضاهای متری کامل ه...

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