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

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

هدف کلی این تحقیق بررسی میزان دقت و سرعت در مهارتهای بسکتبال بازیکنان منتخب از تیم های دانش آموزان دختر شرکت کننده در اولین المپیاد ورزشی و تهیه یک نورم کاربردی از این دو متغیر است .

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

در این پژوهش پیش بینی پوشش ابری توسط مدل میان مقیاس جوی wrf مورد بررسی قرار گرفته است. ابتدا جهت تعیین امکان پیش بینی پوشش ابری توسط مدل خروجی این مدل توسط تصاویر رادار و ماهواره مورد ارزیابی قرار گرفت. با توجه به نتایج قابل قبول به دست آمده، مدل برای یک دوره ی 5 روزه اجرا و با داده های مشاهداتی راست آزمایی گردید. جهت راست آزمایی مدل wrf از کمیت های راست آزمایی مانند کمیت اریبی، آهنگ برخورد و ن...

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

مقدمه: جهت سنجش تأثیر فشارگروهی بر فرضیه آزمایی از جامعه دانشجویان دوره کارشناسی دانشگاه آزاد اسلامی 103 نفر (51 نفر گروه کنترل و 52 نفر گروه آزمایش) به ­روش تصادفی انتخاب شدند. روش: با تکلیف انتخاب واسون تصریح شده لطفی و زارع­، و سنجه فشار گروهی ذهنی مورد سنجش و آزمایش قرار گرفتند. داده­ های به دست آمده با آزمون­ های آماری نیکویی برازش مجذور خی و مستقل بودن متغیرهای طبقه ای مورد تجزیه و تحلیل ...

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