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

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

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

ارتباط بین تصویرهای انقباضی و امید شرطی برای اولین بار توسط داگلاس روی جبر باناخ l1(x, s, u) به ازای یک اندازه ی احتمال u مورد بررسی قرار گرفت. با گسترس مفهوم امید شرطی به جبرها همواره ارتباط بین تصویر های انقباضی و امید شرطی در جبرهای نرمدار مورد توجه بوده است. در این پایان نامه ابتدا به بررسی این ارتباط در جبرهای باناخ برآمده از آنالیز هارمونیک می پردازیم و در ادامه جبر باناخ lp(v) و جبرهای ...

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

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

یکی از معایب آنالیز بار افزون آن است که اثرات کاهندگی را در رفتار غیرخطی سازه به صورت تقریبی منظور می کند. برای بررسی این موضوع از ۶ قاب بتنی با دیوار برشی استفاده شده است، که مطابق با استاندارد ۲۸۰۰ و مبحث ششم مقررات ملی، بارگذاری و تحلیل و طراحی شده اند. انجام تحلیل های استاتیکی و دینامیکی غیرخطی نیز با نرم افزار o p e n s e e s انجام شده است. مدل سازی رفتار کاهنده ی اعضای سازه یی با مدل های ...

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

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