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

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

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

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

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

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

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

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

در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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