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

این پژوهش با هدف مقایسه حافظه آینده نگر و فراحافظه افراد بهنجار و مبتلا به اختلال وسواس فکری- عملی انجام شد. از جمعیّت کل که شامل دانشجویان دانشگاه بین المللی امام خمینی (ره) و دانشگاه آزاد اسلامی واحد کرج است، 600 نفر نمونه گیری شد که نهایتاً 100 نفر پس از پاسخ به پرسش نامه وسواس فکری- عملی مادزلی غربال گردید. برای سنجش شدّت علایم اختلال وسواس فکری- عملی از پرسش نامه وسواس فکری- عملی مادزلی (هاجس...

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

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

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

پژوهش حاضر با هدف بررسی وضعیت ابزار مسیریابی با استفاده از روش پیمایشی و از نوع توصیفی صورت گرفته است. جامعه آماری پژوهش 40 وب سایت کتابخانه های دانشگاه های علوم پزشکی ایران زیر نظر پوشش وزارت بهداشت، در طی دوره زمانی 2 ماهه مهر و آبان سال 1390 بود؛ که دارای صفحه مجزا کتابخانه مرکزی در وب سایت دانشگاه بودند، در این پژوهش ابزار گردآوری داده ها سیاهه وارسی، شامل 43 مولفه در 5 بخش، وضعیت ابزار مسی...

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

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

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

روش:.پژوهش حاضر در چارچوب طرح تجربی تک موردی با استفاده از خطوط پایه ی چندگانه به انجام رسید و در راستای آن 15 جلسه درمان با یک پیگیری یک ماههروی2فرد مبتلا به اختلال پراشتهایی روانی با 30<bmiدر شهر تبریز اجرا شد و برای ارزیابی تغییرات درمانی از مقیاس های edds، edi-2، bcq، biaq، bdi-ii، rses ، mps و scid-i استفاده شد. یافته ها: یافته های پژوهش نشان می دهد که درمان شناختی رفتاری مبتنی بر ذهن آگا...