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

در این پایان¬نامه، ابتدا به بیان صورت کلی دستگاه معادلات دیفرانسیل معمولی پرداخته (ر.ک. [1و2] ) و شرایط وجود و یکتایی جواب برای آنها را بیان می¬کنیم. سپس انواع معادلات دیفرانسیل تأخیری معرفی شده ( ر.ک. [3] ) و برخی روش¬های عددی حل آنها از قبیل روش¬های تک گامی رونگه – کوتا و روش¬های چندگامی مورد بررسی قرار می¬گیرد. پس از آن معادلات دیفرانسیل جزیی غیرخطی تأخیری از نوع سهموی (ر.ک. [6] ) ارائه می¬گ...

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

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

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

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

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

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