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

هدف از انجام پژوهش حاضر بررسی رابطه بین تاب آوری و خودکارآمدی عمومی و عوامل جمعیت شناختی در دانشجویان ورزشکار و غیر ورزشکار بود، نمونه ای شامل 403 نفر از دانشجویان دختر(198) و پسر(205) ـ ورزشکار نخبه و غیر ورزشکارـ دانشگاه های وابسته به وزارت علوم، بر اساس جدول کرج سی و مورگان به عنوان نمونه انتخاب گردیدند. به منظور گردآوری اطلاعات مورد نیاز از مقیاس تاب آوری (کانر و دیویدسون، 2003 و پرسشنامه خ...

امروزه استفاده از پردازنده های همه منظوره تجاری در کاربردهای بحرانی-ایمن بسیار مورد توجه قرار گرفته است. از جایی که رخداد خرابی در سیستم های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست محیطی می شود؛ جهت جلوگیری از رخداد خرابی در این گونه سیستم‎ها، لازم است که اشکال های موجود هر چه سریع تر کشف و سپس بازیابی شوند. احتمال رخداد اشکال های گذرا و ادواری 10 تا 30 برابر بیشتر از احتمال رخداد اشکال های...

هدف این پژوهش بررسی خصوصیات کارآفرینانه دانشجویان پردیس کشاورزی دانشگاه تهران بود که در چهارچوب پژوهش های توصیفی ـ پیمایشی به انجام رسید. جامعه آماری این پژوهش دانشجویان پردیس کشاورزی دانشگاه تهران بودند که 123 نفر از آنان با روش نمونه گیری تصادفی طبقه ای با انتساب متناسب انتخاب شدند. ابزار پژوهش پرسشنامه بود که پایایی آن با استفاده از ضریب آلفای کرونباخ برآورد شد که مقدار آن 80/0 بود. روایی پر...

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

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

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

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

در این نوشته با توجه به مزیت های سیستم های الهام گرفته شده از طبیعت و با مشاهده والهام گیری از نحوه کنترل رفتار در موجودات طبیعی یک معماری کنترلی جدید به نام evolvable decentralize control معرفی گردیده است. معماری edc از دو بخش عمده تشکیل شده است. در یک بخش لایه های تک رفتار ها وجود دارند که بیانگر قابلیت ها و ظرفیت های ذاتی موجود میباشند و بخش دیگر شامل لایه تلفیق کننده میباشد که با توجه به نح...