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

رفتارهای جنسی پاسخی است به یک انگیزه زیستی که برای تعالی نسل ضروری می باشد و از سوی دیگر بر رضایت از زندگی زناشوئی نیز تاثیرگذار است. کژکاری جنسی (sexual dysfunction) در حدود 30 تا 50% موارد هر دو جنس را درگیر می کند و می تواند عواقب ناگواری روی زندگی زوجین برجای بگذارد. واژینیسموس یکی از کژکاری های جنسی شایع زنان است و همراهی آن با اضطراب و ترس و واکنش های اجتنابی دیده شده است. هدف از این پژوه...

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

دربار? تفسیر آیهالکرسی کتب و رسائل فراوانی نوشته شده که یکی ازآنها رساله ی تفسیر آیهالکرسی تألیف سلیمان الجرجی است. پژوهش حاضر ضمن ترجمه این رساله به زبان فارسی به تحقیق درباره ی نکات مهم مطرح شده در این رساله پرداخته است که ازآن جمله می توان به مباحثی همچون توحید، اسماء و صفات الهی، شفاعت در قیامت، عرش وکرسی، دین، رشد و غیّ، عروه الوثقی، ظلمات و نور اشاره کرد. لذا نویسنده با استفاده از این نکات...

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

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

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

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

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

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