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

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

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

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

جریان نشتی از بدنه سد خاکی از جمله عوامل مهم در تخریب سازه مذکور می باشد که در اثر برخورد سطح آزاد نشت با شیب پایین دست و یا ایجاد آبشستگی داخلی تأثیر منفی خود را نمایان می سازد، لذا تعیین محل سطح آزاد نشت یا بالاترین خط نشت (خط فریاتیک) جریان در مرحله طراحی حائز اهمیت است. معادله حاکم بر نشت در شرایط پایدار و همروند، معادله لاپلاس می باشد. برای حل این معادله از روش های مختلفی از جمله روش های ت...

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

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