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

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

در این مقاله ما برخی از نتایج جدید قابهارا در هیلبرت c* - مدولها مورد بررسی قرار می دهیم. ما پایه های ریس و قابها را در هیلبرت c* - مدولها و ویژگی های اساسی قابها را مورد بررسی قرار می دهیم.واین مفاهیم رابرای g –قابها درهیلبرت c*-مدولهامعرفی می کنیم. در پایان ما برخی از معادله ها و نامعادله هایg- قابها را در هیلبرت c* - مدول ثابت می کنیم. هدف این مقاله گسترش و تکمیل بیشتر قابهاو g-قابها در ف...

این پایان نامه چند روش تکراری برای حل یک معادله ی عملگری روی یک فضای هیلبرت جدایی پذیر h که مجهز به یک g-قاب می باشد، ارائه می کند.

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

چکیده ندارد.

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

قاب های تلفیقی و ‎-g‎قاب ها تعمیمی از قاب ها روی فضاهای هیلبرت می باشند، که اخیرا مورد توجه قرار گرفته اند. در این پایان نامه، برخی از نتایج و قضایای مطرح در نظریه قاب ها به قاب های تلفیقی و ‎-gقاب ها تعمیم داده شده است. همچنین ‎-g‎قاب های جدیدی با استفاده از ‎$-g$‎قاب های ساخته شده برای مولفه های فضا به دست آمده است. در ادامه، نتایجی در خصوص دوگان متعارف ‎-g‎قاب ها و پایداری -gقاب ها تحت آشفتگ...

در این پایان نامه دنباله های بسل(p,y)-عملگرو پایه های ریس (p,y)-عملگر برای یک فضای باناخ x،بعنوان تعمیم های معمولی برای یک فضای هیلبرت و g-قاب ها بیان و بحث میشود.برخی شراییط لازم و کافی برای یک دنبامه از عملگرها که یک دنباله بسل (p,y)-عملگرباشد داده میشود.همچنین مشخصه ای از قاب (p,y)-عملگرمستقل بدست اورده میشود.سرانجام نشان داده میشود که یک قاب (p,y)-عملگرمستقل برای x،یک پایه بسل (p,y)-عملگربر...

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