گستردگی و ماهیت توزیع¬شده¬ی شبکه¬های کامپیوتری بستری مناسب برای نفوذ و آسیب وارد نمودن به پروتکل¬های درحال اجرا روی این شبکه¬ها پدیدآورده است. یکی از پروتکل¬های لایه¬ی ip که در معرض آسیب¬های ناشی از این بستر ناامن و حفاظت نشده قرار دارد، پروتکل mobile ipv6 (mipv6) است. mipv6 پروتکلی برای اینترنت ipv6 است که مشکلات ناشی از جابجائی و تغییرات ip گره¬ها در شبکه را حل می¬کند. مکانیزم بهینه¬سازی مسیر...

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

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

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

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

مقدمه: تدوین و اجرای طرح درس از جمله فعالیت‌های ضروری مدرس برای اجرای آموزش مؤثر و با کیفیت است. این مطالعه با هدف بررسی میزان اجرای طرح درس ­های واحدهای اختصاصی رشته ­های کارشناسی پرستاری و مامایی دانشگاه علوم پزشکی قزوین اجرا شد. روش ها:در این مطالعه توصیفی - مقطعی، طرح درس 16 عنوان اختصاصی ارائه ‌شده دوره کارشناسی پرستاری (10 درس) و مامایی (6 درس) در نیم­سال دوم 95-94 مورد مطالعه قرار گرفت. ...

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

از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...