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

در این بررسی سینتیک آزاد شدن منگنز در شش نمونه مرکب خاک سطحی با استفاده از dtpa تحت شرایط 35% رطوبت اشباع و در دامنه زمانی 25/0 تا 960 ساعت مطالعه گردید. در تمام نمونه ها سرعت آزاد شدن منگنز در ابتدا زیاد بوده ( 25تا 55 درصد کل منگنز قابل استخراج در ده ساعت اول آزاد شد)، سپس سرعت آزادشدن منگنز کاهش یافته و در تمام خاکها پس از 720 ساعت به حدود صفر رسید. شش مدل ریاضی (الوویچ ساده شده، تابع توانی،...

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

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

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

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

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

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

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