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

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

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

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

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

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

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

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