Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are based on the bulk synchronous parallelism model. In this paper we present formal semantics of OSL: a programming model and its properties proved with the Coq assistant.

This study has investigated the optically stimulated luminescence (OSL) of household salt and chemically pure NaCl after exposure in different radiation environments. The response relative to thermoluminescent dosimetry using LiF has been investigated to determine if OSL in NaCl can be considered as an alternative to measurements of thermoluminescence in LiF. A selection of staff members at the...

ابتلای یکی از اعضای خانواده به بیماری مزمن، بر روابط، نقش‌ها، سلسله مراتب و به‌طور کلی سیستم تأثیر می‌گذارد را برای مدیریت سازگاری با شرایط جدید، چالش‌هایی مواجه می‌کند. هدف این مرور ادبیات پژوهشی، شناسایی مسائلی است که در مزمن اعضا، آن رو‌به‌روست. بدین منظور، بررسی نظام‌مند مقالات چاپ‌شده زبان فارسی یا انگلیسی مجلات داخلی خارجی سال 201۴ (دی ۱۳۹۲) تاکنون، پایگاه‌های SID، Magiran، Google Scholar...

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

یکی از عوامل محرک برای ایجاد جریان محوری درون روتور سانتریفیوژ به منظور افزایش عملکرد جداسازی، اسکوپ است. با توجه قرار گرفتن در معرض گاز ماخ بالا، دچار شوک شده و گرادیان‌های شدیدی اتفاق خواهد افتاد. این پژوهش اطراف حالت دوبعدی (r-θ) روش شبیه­سازی مستقیم مونت‌کارلو (DSMC) استفاده حل­گر dsmcFoam فواصل مختلف دیواره شبیه‌سازی نتایج نشان می‌دهد که فاصله کاهش زاویه برخورد اسکوپ، سبب بیشینه دما نیروی ...

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

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

در پژوهش حاضر به بررسی امکان تولید رادیونوکلید لوتسیوم-177، Lu177، رآکتور تحقیقاتی تهران، TRR، پرداخته شده است. Lu177 با داشتن ویژگی‏های واپاشی هسته‏ای مناسب و هم‏چنین رفتار شیمیایی مطلوب، یک ایده‏آل جهت تهیه رادیوداروهای درمانی برخی از حاوی حال کشور درمان انواع سرطان استفاده می‏شود بسیاری آن­ها تحت آزمایشات بالینی هستند. را می‏توان یا مستقیماً طریق واکنش Lu177Lu(n,γ)176 طور غیرمستقیم طی کرد. با...

امروزه مدیریت زنجیره تأمین باید راهکارهایی را اتخاذ کند تا بتواند پاسخگوی نیازهای متغیر مشتریان باشد. استفاده از هوشمندی کسب­وکار به­همراه تقویت یکپارچگی و قابلیت چابکی، موجب ایجاد مزیت رقابتی در می­شود درنتیجه می­تواند موقعیت بهتری کسب­‌وکار داشته هدف این پژوهش، بررسی چگونگی تأثیر کسب‌­وکار بر یکپارچگی، چابکی عملکرد است. درضمن اثر موردبررسی قرار می­‌گیرد. پژووهش ابتدا با مرور پیشینه موضوع، یک ...

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