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

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

هدف این پژوهش بررسی رابطه نگرانی با زیرمجموعه های وارسی و شستشوی اختلال وسواسی ـ اجباری و نقش آن در بازداری فعال شدن شاخص های پردازش هیجانی در بیماران وارسی‏ کننده بود. 60 آزمودنی مبتلا به اختلال وسواسی ـ اجباری (30 شستشو کننده و 30 وارسی‏ کننده) و 60 نفر به عنوان کنترل (30 بیمار مضطرب و 30 فرد بهنجار) برای این هدف انتخاب شدند. گروه ها از نظر متغیرهای جمعیت شناختی با گروه وارسی‏ کننده همتا شدند...

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

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