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

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

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

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

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

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

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

در این پژوهش براساس داده های ژئوشیمیایی و پتروفیزیکی، عمق دقیق سنگ های منشاء احتمالی سازندهای پابده و کژدمی در میادین نفتی آغاجاری و پازنان تفکیک شده و گسترش این سازندها (ضخامت) و تغییرات ماده آلی در دیگر چاه ها نیز مورد بررسی قرار گرفته است. سازند پابده را از نظر میزان toc می توان به 3 بخش فوقانی و زیرین (a و c) با toc کمتر از 1% و میانی با toc بالاتر از 1% (بخش b)، تقسیم نمود که بخش های a و c...

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