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

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

هدف در این رساله معرفی موجک های پذیرفتنی روی فضاهای همگن می باشد که برای این منظور نمایش انتگرال پذیر مربعی از فضای همگن ‎$g/h$‎ به فضای هیلبرت ‎$mathcal{h}$‎ را تعریف می کنیم و سپس موجک پذیرفتنی روی این نمایش از فضای همگن ‎$g/h$‎ نسبت به اندازه به طورنسبی پایا معرفی می گردد. تبدیلات موجک پیوسته برای نمایش انتگرال پذیر مربعی از فضای همگن تعریف می شود و نشان داده می شود برد آن به عنوان یک هسته ب...

اضافه کردن مهاربند به قاب، سختی قاب را افزایش و نیز تغییرمکان های جانبی در اثر نیروهای عرضی را کاهش داده، همچنین شکل پذیری را نسبت به قاب خمشی کاهش می دهد. در این پژوهش، نوعی مهاربند کابلی جدید پیشنهاد می شود. چندین قاب خمشی، قاب خمشی با بادبند کابلی x شکل و با بادبند پیشنهادی با هم مقایسه شدند و نتایج نشان دادند که رفتار قاب با مهاربند پیشنهادی، حالتی مابین قاب خمشی و قاب خمشی با بادبند کابلی ...

مدل های بیزی سلسله مراتبی در آمار کاربردی به طور گسترده استفاده می شوند. اما برخلاف کاربرد گسترده آن ها در برخی جنبه های نظری کمتر مورد توجه قرار گرفته اند. یکی از جنبه های نظری مدل های بیزی سلسله مراتبی تعیین ابرپیشین ها و تأثیر آن ها روی ویژگی های مطلوب برآوردگرهای بیزی سلسله مراتبی از جمله مینیماکس و پذیرفتنی بودن است. بعضاً به اشتباه تصور می شود که ابرپیشین ها تأثیری در این ویژگی های مطلوب ن...

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

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

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