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

این مقاله که به نوعی در پاسخ به کتاب های «شرق شناسی»و «فرهنگ و استعمار» ادوارد سعید است‘ نگرشهای دیالکتیکی نسبت به «شرق» در تعدادی ازمتون ادبیات انگلیسی را مورد مطالعه قرار می دهد. با انجام یک تحلیل «کانترا پانتال» متن علائمی از یک شرق کلیشه ای و یکنواخت در چارچوب گفتمان غالب ظاهر می شود. به نظر می رسد گفتمان های مشابه ‘تعدادزیادی از اساتید ومنتقدین معاصر در زمینة ادبیات انگلیسی را نیز تحت تأثی...

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

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

چکیده ندارد.

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

در این مقاله دو نمودار ccct که استحاله ها را در حین سردشدن پیوسته، همراه تغییرشکل آستنیت نشان می دهد بررسی و با نمودار cct (بدون همراهی تغییرشکل) مقایسه شد. همچنین علت افزایش دمای md و bd از نظر ترمودینامیکی و متالورژیکی بررسی شد. بررسیهای ترمودینامکی نشان داد که تنش باعث افزایش نیروی محرکه مکانیکی و کاهش انرژی آزاد کل استحاله می شود و سبب می شود که امکان شروع استحاله در دماهای بالاتر فراهم شود...

  In this paper we try to formulate the Berezin quantization on projective Hilbert space P(H) and use its geometric structure to construct a correspondence between a given classical theory and a given quantum theory. It wil be shown that the star product in berezin quantization is equivalent to the Posson bracket on coherent states manifold M, embodded in P(H), and the Berezin method is used to...

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