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

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

هدف پژوهش حاضر بررسی اثر بخشی درمان شناختی- رفتاری بر علائم اختلال وسواس فکری- عملی می باشد. این پژوهش در چهارچوب طرح تک آزمودنی از نوع طرح پایه ای ab ، با استفاده از پروتکل درمان شناختی رفتاری لیهی و هالند برروی 3 شرکت کننده مبتلا به وسواس با پیگیری یک ماهه انجام گرفت. درمان کاهش قابل توجهی در شدت افکار و رفتار وسواسی، افسردگی، اضطراب، درآمیختگی فکر- عمل و نگرش مسئولیت بیماران نشان داد. نتایج ...

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

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

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

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

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

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

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