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

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

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

تکنیک تحلیل کیفی تطبیقی» که مبتنی بر «جبر بولی» یا بسط بولی منطق مقایسه اسمی استرارت میل است،روششناسی ضمنی و تلویحی تحقیقات تطبیقی – تاریخی است. بااستفاده از این تکنیک تحلیل گران می توانند به وارسی ترکیب های متفاوت از تبیین کننده ها، به مثابه علل یک نتیجه (معلول) واحد بپردازند. تکنیک جبر بولی در تحلیل تطبیقی-تاریخی نیز ابزاری سودمند برای تحلیل مجموعه داده هایی با n متوسط است. در مقاله حاضر ابتد...

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

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

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

هدف از پژوهش حاضر، بررسی و تحلیل وبلاگهای کتابداری در ایران است. پژوهش حاضر، پیمایشی- توصیفی و از نوع کاربردی است. در این پژوهش با استفاده از سیاهه وارسی محقق ساخته، تعداد 46 وبلاگ کتابداری و اطلاع‌رسانی در فاصلة زمانی 1386 تا 1388 تحلیل محتوا گردید. در تهیة سیاهه وارسی، عناصر سیاهة وارسی «هرینگ و همکاران» در خارج از ایران و «اسکروچی» در داخل ایران، مبن...

چکیده ندارد.