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

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

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

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

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

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

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

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

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