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

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

هدف این پژوهش بررسی اطمینان به حافظه در افراد دچار حالت های وسواسی- اجباری در مقایسه با افراد بهنجار می­باشد. روش این پژوهش از نوع طرح نیمه­آزمایشی بود که در آن نمونه­ای شامل 100 نفر از دانشجویان دانشگاه آزاد اسلامی تبریز مورد بررسی قرار گرفتند. پس از اجرای تست مادزلی افراد در پنج گروه 20 نفره شامل چهار گروه حالت­های وسواسی (شستشو، وارسی، کندی و تردید) و  یک گروه بهنجار تقسیم شدند. تکلیف رایانه...

هدف از پژوهش حاضر بررسی مقایسه حافظه (فوری و تأخیری)، اعتماد به حافظه و شناخت و نگرش مسئولیت پذیری در بیماران مبتلا به اختلال وسواس- اجباری (از نوع وارسی)، بیماران مبتلا به اضطراب منتشر و گروه بهنجار بود. برای این منظور 25 نفر بیمار مبتلا به وسواس وارسی، 23 نفر بیمار مبتلا به اختلال اضطراب منتشر و 26 نفر گروه بهنجار انتخاب شد. روش از نوع علّی- مقایسه ای بود و داده های پژوهش اصلی پس از جمع آور...

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

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

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

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

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

امروزه استفاده از پردازنده های همه منظوره تجاری در کاربردهای بحرانی-ایمن بسیار مورد توجه قرار گرفته است. از جایی که رخداد خرابی در سیستم های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست محیطی می شود؛ جهت جلوگیری از رخداد خرابی در این گونه سیستم‎ها، لازم است که اشکال های موجود هر چه سریع تر کشف و سپس بازیابی شوند. احتمال رخداد اشکال های گذرا و ادواری 10 تا 30 برابر بیشتر از احتمال رخداد اشکال های...