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

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

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

تشکیل کمپلکس بین یک باز شیف سنتزی جدید و برخی یون های فلزات واسطه در حلال های اتانول، استونیتریل، دی متیل فرم آمید و دی متیل سولفوکسید با روش های اسپکتروفوتومتری و با استفاده از آنالیز فاکتور کاهش مرتبه(rafa)، مورد بررسی قرار گرفت. نسبت استوکیومتری برای کمپلکس های باز شیف با هر چهار فلز و در حلال های مختلف، 1:1 بدست آمد. آنالیز فاکتور تکاملی(efa) و روش تصویرسازی اورتوگونال(opa)، برای تفکیک پیک...

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

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

در سال¬های اخیر، طراحی بهینه بر اساس قابلیت اطمینان (rbdo) به یک موضوع مهم و مورد توجه پژوهشگران سازه تبدیل شده است. هدفِ این نوع طراحی، تعیینِ طرحی است که علاوه بر اقتصادی بودن در حضور عدم قطعیت¬های احتمالی ایمن نیز باشد. اغلب روش¬های rbdo موجود، بر اساس مفاهیم موجود در روش¬های مرتبه اول قابلیت اطمینان (form) بنا شده¬اند. دلیل این امر، ساده بودن تخمین ایمنیِ سازه در این روش در مقایسه با سایر روش¬...

در این پایان نامه، مفاهیم مسأله ی اینوکس نقطه ی زینی کان-تاکر، با قیدهای نابرابری و دوگان ضعیف موند-ویر را تعریف می کنیم و ثابت می کنیم که یک مسأله، اینوکس نقطه ی زینی کان-تاکر است اگر و فقط اگر هر نقطه، با ضریب لاگرانژ نسبی که در شرایط بهینگی کان-تاکر صدق کنند با هم، یک نقطه ی زینی از تابع لاگرانژ است. به علاوه شرایط لازم و کافی که تضمین می کند دوگانگی قوی بین مسأله با قیدهای نابرابری و دوگان ...

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

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