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

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

در این مطالعه یک مدل حجم محدود برمبنای معادلات غیرخطی آب کم‌عمق برای بررسی انتشار و بالاروی امواج شکننده و غیرشکننده‌ی بلند توسعه یافته است. مدل حاضر از یک الگوی صریح مرکزی به‌همراه الگوی یکنوای بالادست برای قوانین پایستار )M‌U‌S‌C‌L( استفاده می‌کند. عبارت چشمه که در برگیرنده‌ی اثرات توپوگرافی بستر است با روش گرادیان سطح )S‌G‌M( وارد محاسبات می‌شود. همچنین برای مکان‌یابی خط ساحل، که مرز متحرک م...

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

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

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

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

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

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

امروزه شهرهای ما بیش از هر چیز نیازمند فضاهای جمعی هستند. میدان ها از دیرباز در بافت شهر به عنوان یک فضای جمعی ایفای نقش می کرده اند. وجود میدان ایرانی در شهر ایرانی، ضرورتی انکار نشدنی است. ویژگی های میدان ایرانی را می توان در میدان های تاریخی ایران که در رأس آنها میدان نقش جهان قرار دارد، جستجو کرد. میدان نقش جهان به عنوان یک میدان حکومتی ایرانی و با دربرداشتن سه جزء اصلی شهر (اقتصاد، مذهب و ...