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

سابقه و هدف: جنگل­ های زاگرس به ­عنوان یکی از بوم ­سازگان­ جنگلی مهم ایران پوشش­ گیاهی (درختان، درختچه ­ها گونه­ علفی) متنوعی برخوردار می­ باشد. شناسایی آگاهی دقیق نقش ­شناختی آنها در این ­سازگان تواند حفاظت منابع طبیعی توسعه پایدار کمک شایانی نماید. به‌منظور مطالعه تنوع گونه‌ای گیاهان چوبی ذخیره کربن خاک رابطه با عوامل فیزیوگرافیک (جهت، شیب ارتفاع سطح دریا)، رویشگاه کیکم (var. cinerascens Acer...

Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety branches computer science. Among various reasons its widespread use there are strong foundational properties: LTL equivalent to counter-free omega-automata, star-free omega-regular expressions, and (by Kamp's theorem) First-Order Theory Orders (FO-TLO). Safety co-safety languages, where fin...

در این تحقیق به مقایسه تحلیلی و عددی آبشار جریان برگشتی مدل R با آبشارهای Q QI سیستم‌­های چندجزیی پایدار پرداخته می‌­شود. راستا برای اولین بار کدهای جهت طراحی منظور کد نرم‌افزار متلب نوشته شده‌­اند. نتایج نشان می‌­دهد که دو جزء 1k 2k از خوراک Nc جزء، تعداد معدودی قابل تعریف است همگی حالات خاصی می­‌باشد. هم‌­چنین یافته‌­ها مجموع مقدار برش جزیی همیشه برابر یک است. طریق داده می‌­شود صورتی میانگین ...