باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیا‎ء واکنشی مستقل از هم، اج...

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

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

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

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

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

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

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

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

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