یکی از مسائل اصلی در وارسی سیستم های کامپیوتری، ساخت فضای حالت به صورت یک ساختار مبتنی بر حالت ها مانند ساختار کریپکی است. ابزارهای ارائه شده در بررسی مدل دارای مشکلات انفجار تعداد حالات در فضای حالت سیستم های بزرگ هستند. برای حل این مشکل، تاکنون روش های زیادی ارائه شده است، با این وجود، در سیستم های بزرگ ساخت کل فضای حالت ممکن نیست. برای رهایی از این مشکل، روش های نمادین مانند نمودار های تصمیم...

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

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

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

ین مطالعه به منظور تعیین اینکه آیا هیچ تفاوت معنی داری بین فعالیت های تعاملی و روش صوتی زبانه در بهبود توانایی زبان زبان آموزان وجود دارد انجام شد. در این پژوهش 400 نفر از دانش آموزان نوجوانموسسه زبان انگلیسی بود. بر اساس نام خانوادگی خود را ، 160 نفر از 400 نفر به صورت تصادفی انتخاب شدند. دو آزمون زبان (ielts) ، به عنوان پیش آزمون و پس آزمون برای هر دانش آموز با مدت زمان 11 تا 14 دقیقه اجرا شد...

داده­کاوی مجموعه اقلام پرسود در پایگاه داده تراکنشی، منجر به شناسایی مجموعه اقلام با بالاترین سودمندی می­شود. گرچه در سال های اخیر الگوریتم­های بسیاری برای این نمونه کار پیشنهاد شده است، اما این الگوریتم­ها، اکثراً، کارائی خود را صرف تولید مجموعه اقلام کاندید برای تولید مجموعه اقلام پرسود می­نمایند. چنانچه پایگاه داده دارای تعداد تراکنش­های بسیار زیاد و یا دارای مجموعه اقلام پرسود خیلی طولانی با...

عملیات خاک‌ورزی با هدف بهبود شرایط جوانه‌زنی، تسهیل توسعه ریشه و نهایتاً بهبود رشد گیاه و افزایش عملکرد انجام می­شود. این تحقیق برای بررسی تاثیر روش‌های مختلف خاک‌ورزی بر عملکرد گلرنگ در شرایط دیم آذربایجان‌شرقی به مدت 3 سال زراعی اجرا گردید. این تحقیق با 4 تیمار و 4 تکرار بر اساس طرح پایه بلوک‌های کامل تصادفی در موسسه تحقیقات کشاورزی دیم مراغه در خاک با بافت لوم رسی با چهار تیمار:  :T1شخم با گا...

یکی از مهمترین مشکلات تولیدکنندگان هلو (prunus persica) کنترل اندازه و رشد رویشی این درختان است . در حالیکه پایه های پاکوتاه کننده مناسب برای هلو موجود نیست استفاده از روشهای دیگر کنترل کننده رشد که علاوه بر کاهش رشد رویشی کیفیت میوه و میزان عملکرد درختان را افزایش دهد از اصول پراهمیت مدیریت باغات هلو می باشد. با توجه به این هدف ، در باغات کشت و صنعت -مغان درختان بالغ (چهارساله) هلو از ارقام جی...