سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این سیستم ها با روش پیشنهادی این افراد و با استفاده از ابزارهای موجود مشکل خاصی دارد. این مشکل را با ارائه ی مثالی در نرم...

آیة﴿لاَ إِکْرَاهَ فِی الدِّینِ﴾به عنوان یک اصل راهبردی در سرلوحة تعامل نظام مترقّی اسلامبا پیروان دیگر ادیانمطرح و پژوهش پیرامون آن، دررفع بسیاری از ابهام های اجرای احکام اسلام راهگشاست. این پژوهش کنکاشی در گسترة کلامی،تفسیری آیة مزبور است که نخست به مفهوم شناسی واژه های آیه و موارد کاربرد آن در قرآنو آنگاه به تحلیل اقوال مفسّران در مفهوم شناسی آیه پرداخته است و بدین نتیجه می رسدکه «دین»، باور، خضوع و عقد...

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

هدف پژوهش حاضر بررسی مقایسه ای نظریه ذهن در افراد مبتلا به اختلال وسواسی- اجباری و افراد بهنجار بود.پژوهش حاضر یک مطالعه توصیفی- مقایسه ای بود که در آن 45 بیمار مبتلا به اختلال وسواسی- اجباری (15 نفر زیرگروه شستشو، 15 نفر زیرگروه وارسی، 15 نفر زیرگروه وسواس فکری) و 45 نفر افراد بهنجار با روش نمونه گیری در دسترس شرکت داشتند. برای جمع آوری داده ها از مقیاس پریشانی روان شناختی کسلر (k-10)، پرسشنام...

وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...

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

اختلال های خوردن، از اختلال های شایع در روانپزشکی، هستند که بر روی یک پیوستار قرار دارند و در ابتدای آن خوردن های سالم ، در اواسط آن خوردن های آشفته و در انتهای آن بی اشتهایی و پراشتهایی است. اهداف پژوهش: الف) بررسی رابطه خوردن های آشفته ورفتارهای وارسی بدن ب) بررسی تفاوت مردان و زنان در رفتارهای وارسی بدن و خوردن های آشفته.از آن جا که عوامل موثر براختلال های خوردن، نقش مهمی در اجرای برنامه های...

هدف کلی از تحقیق حاضر، مقایسة منابع قدرت مورد استفادة استادان از دید آنان و دانشجویان در دانشکدة علوم تربیتی و روان‌شناسی دانشگاه شیراز بود. روش روش مورد استفاده پیمایشی (Survay ) بوده است.روش تحقیق پرسشنامه‌ای ترکیبی مشتمل بر پرسشنامة نفوذ و بخش تکمیلی محقق‌ساخته بوده که روایی و پایایی آن محاسبه شده است. این پرسشنامه به وسیلة 29 نفر از استادان و 305 نفر از دانشجویان مقطع کارشناسی و کارشناسی ار...

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

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