منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

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

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

هدف از اجرای این پژوهش، طراحی و اعتبار‌یابی فرم‌های ارزشیابی عملکرد استادان و فرم‌های ارزشیابی گروه‌های آموزشی بود. روش پژوهش، توصیفی از نوع پیمایشی و جامعه آماری شامل همه اعضای هیئت علمی به تعداد 312 نفر و دانشجویان دانشگاه آزاد اسلامی واحد سنندج به تعداد 10500 نفر بود. بر اساس فرمول کوکران، تعداد نمونه لازم 386 نفر بود که به‌منظور بالا بردن دقت و کاهش خطای نمونه‌گیری این تعداد 400 نفر (334 دا...

هدف از پژوهش حاضر بررسی سه زمان مختلف شروع اوسینک پس از تلقیح بدون در نظر گرفتن وضعیت آبستنی برای تلقیح دوباره روی شاخص­های هم‏زمانی، از دست رفتن آبستنی و باروری بود. تعداد 450 راس گاو هلشتاین (با میانگین تولید شیر بیشتر از30 کیلوگرم در روز) با شکم­های زایش دو تا چهار انتخاب شدند و به صورت تصادفی در بین سه گروه قرار گرفتند. گروه­های آزمایشی بر اساس زمان شروع پروتکل عبارت بودند از: 1) شروع پروتک...

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

مقدمه: این تحقیق با هدف بررسی نقش میانجی سابقه کار بر رابطه بین تعهد سازمانی و نمرات ارزشیابی عملکرد پرستاران بیمارستان طالقانی شهر مشهد انجام شد. بر اساس نتایج تحقیقات مشابه تاثیر تعهد سازمانی بر عملکرد در سازمان قابل توجه است و در صورت کارآمد بودن نظام ارزشیابی عملکرد می‌توان انتظار می‌رود که ارتباط قابل توجهی بین تعهد سازمانی و نمرات ارزشیابی آنها باشد. روش: بر اساس آمار ارائه شده در سال 13...

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

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