نتایج جستجو برای: منطق مرتبه اول
تعداد نتایج: 89438 فیلتر نتایج به سال:
در این پایان نامه به بررسی ساختارهای ژنریک و همجوشی تیوری های مرتبه اول پرداخته ایم. ساختارهای ژنریک اولین با توسط هورشوفسکی برای ساختن مثال نقضی برای حدس زیلبر در مودر سه گانگی هندسته تیوری های به طور قوی مینیمال ارایه گردید که در واقع رویکرید جدید به روندی بودکه پیشتر توسط فراسه و جانسون ارایه گردیده بود. این ساختار با توجه به ابزارهای مناسبی که در کنترل رفتار ساختار ژنریک دارد تیورهای خاص با...
در این تحقیق تحلیل غیر خطی خمش صفحات گرد توخالی کامپوزیتی چند لایه، با تقویت کننده حلقوی مورد بررسی قرار گرفته است. به این منظور از تئوری مجزا سازی صفحات تقویت شده برای تحلیل تغییر شکل های بزرگ تحت بارگذاری گسترده استفاده شده است. معادلات حاکم بر اساس تئوری تغییر شکل برشی مرتبه اول و معادلات تغییر شکل های بزرگ فون کارمن، استخراج شده اند. نتایج عددی با استفاده از روش رهایی پویا در ترکیب با تکنیک...
هدف از این تحقیق، ارائه روش نیمه تحلیلی جهت بررسی کمانش پوسته های مخروطی کامپوزیتی نسبتاً جدار ضخیم تحت بار محوری میباشد. بدین منظور جهت استخراج معادلات تعادل سیستم، از تئوری تغییر شکل برشی مرتبه اول پوسته ها استفاده شده است. معادلات تعادل با اعمال اصل مینیمم پتانسیل انرژی به تابع انرژی استخراج شده است که به صورت معادلات دیفرانسیل با مشتقات جزئی می باشند. در ادامه به کمک روش های گالرکین و تفاضل...
شناخت دقیق رفتار پلیمرهای تقویت شده در بارگذاری خستگی بمنظور طراحی سازه های قابل اعتماد حایز اهمیت است و با توجه به رفتار متفاوت این مواد نسبت به مواد سنتی، معرفی معیاری که نماینده ی واقعی عمر خستگی این مواد باشد، بسیار مهم است. در این تحقیق عمر خستگی برای ورق تقویت شده با الیاف شیشه و الیاف گرافیت که تحت بار خمشی قرار گرفته، برای دو حالت بارگذاری جانبی گسترده و متمرکز محاسبه و با یکدیگر مقایسه...
در این مقاله، کنترل پیش بین گشتاور و شار استاتور موتور سنکرون رلوکتانسی با وجود تلفات آهن به همراه مشاهده گر سرعت لغزشی مرتبه دوم فازی ارائه شده است. کنترل کننده پیش بین از داده های دامنه و موقعیت شار استاتور به منظور تعیین بردارهای ولتاژ استفاده می کند. به دلیل کاهش نویز اندازه گیری، افزایش قابلیت اعتماد و کاهش هزینه ها سنسور سرعت حذف شده است و سرعت موتور با استفاده از یک مشاهده گر لغزشی مرتبه...
سینتیک آزاد سازی فلزات سنگین (روی، سرب، نیکل، مس و کادمیوم) از دو نمونه رسوب رسی گرفته شده از عمق 0 تا 10 سانتی متری پائین دست رودخانه قره چای واقع در استان همدان که با نمک نیتراته این فلزات آلوده شده بودند، با روش ستون آبشویی مطالعه شد. سرعت آزادسازی فلزات سنگین از نمونه های آلوده در ابتداء سریع و با گذشت زمان از سرعت آزادسازی آن ها کاسته شد. سرب رفتار متفاوتی نسبت به سایر فلزات از خود نشان دا...
امروزه در مبحث محاسبات رآکتورهای هستهای مثل فرسایش و مدیریت سوخت، تحلیل گذرا بازسازی توان میلههای به دنبال روشهایی جهت استفاده کدهای هستند که علاوه بر دقت قابلقبول از هزینه زمان بهینهای برخوردار باشند. این پژوهش با گسستهسازی معادله پخش نوترون روش نودال بسط شار جریان متوسط مرتبه بالا نشان داده میشود روش بهینه قابلقبولی بهره میبرد. مستقیم الحاقی نوترون، برای هندسه مربعی دوبعدی دو گروه ...
در این پایان نامه، معادله دیفرانسیل فازی مرتبه اول y = f ( t , y ) که در آن f یک تابع دلخواه است، با استفاده از مفهوم مشتق تعمیم یافته ی قوی مورد بررسی قرار گرفته است. قضیه ی وجودی بیان می کند که تحت شرایط مناسب از جمله صادق بودن f در شرط لیپ شیتس، معادله ی دیفرانسیل فازی با شرایط اولیه، یعنی مسئله ی مقدار اولیه ی فازی دارای دو جواب است (یکی از آن ها جواب (...
رسته ای(کتگوری) از کلاف های برداری باناخ متکی را در نظر می گیریم و در مورد مفهوم نیمه افشانه ها بحث می کنیم. بر اساس مجموعه برش هایی از یک کلاف برداری باناخ متکی، یک براکت لی با خواصش به مفهوم جبرواره لی می شود. ثابت می کنیم جبرواره های لی تشکیل یک رسته(کتگوری) می دهد. یک ساختار دیراک روی یک خمینه باناخ m به صورت یک زیر کلاف از کلاف مماس بزرگ tm?t*m تعریف می شود که نسبت به متر طبیعی استاندارد ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید