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

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

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

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

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

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

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

به منظور درک خصوصیات مخزن بنگستان میدان منصوری، از روش­های تعیین رخساره الکتریکی و واحد­های جریان سیال استفاده گردید. کلیه لاگ­های مخزنی 82 چاه موجود این میدان در نرم­افزار ژئولاگ بارگذاری شد و با استفاده از شبکه عصبی در ابتدا 9 خوشه و سپس با کمک نمودار اشباع آب- فشار موئینه و مشاهت ویژگی­های خوشه­ها تعداد آنها به 4 خوشه تقلیل پیدا کرد. نتایج نشان داد که بهترین کیفیت مخزنی رخساره الکتریکی یک، و...

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

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