نتایج جستجو برای: منطق مرتبه اول

تعداد نتایج: 89438  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی امیرکبیر(پلی تکنیک تهران) - دانشکده ریاضی و کامپیوتر 1387

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

ژورنال: :مهندسی مکانیک مدرس 2013
محمد اسماعیل گلمکانی مسعود محرابیان

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

ژورنال: :مهندسی مکانیک مدرس 2015
محسن حسینی مصطفی طالبی توتی

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

ژورنال: :مکانیک سازه ها و شاره ها 0
عیسی احمدی استادیار، گروه مهندسی مکانیک، دانشگاه زنجان، ایران محمد خانمحمدی کارشناسی ارشد، گروه مهندسی مکانیک، دانشگاه زنجان، ایران

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

ژورنال: :روش های هوشمند در صنعت برق 0
سارا صابریان بروجنی

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

ژورنال: :علوم محیطی 0
حامد ارفع نیا دانشگاه ارومیه فرخ اسدزاده دانشگاه ارومیه

سینتیک آزاد سازی فلزات سنگین (روی، سرب، نیکل، مس و کادمیوم) از دو نمونه رسوب رسی گرفته شده از عمق 0 تا 10 سانتی متری پائین دست رودخانه قره چای واقع در استان همدان که با نمک نیتراته این فلزات آلوده شده بودند، با روش ستون آبشویی مطالعه شد. سرعت آزادسازی فلزات سنگین از نمونه های آلوده در ابتداء سریع و با گذشت زمان از سرعت آزادسازی آن ها کاسته شد. سرب رفتار متفاوتی نسبت به سایر فلزات از خود نشان دا...

Journal: : 2024

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1393

در این پایان نامه‏، معادله دیفرانسیل فازی مرتبه اول ‎‎y =‎ f‎ (‎ t‎ ,‎ y‎ ‎)‎‎‎ ‏که در آن ‎‎‎‎‎f‎‎‎‎ ‏یک تابع دلخواه است‏، با استفاده از مفهوم مشتق تعمیم یافته ی قوی مورد بررسی قرار گرفته است. قضیه ی وجودی بیان می کند که تحت شرایط مناسب از جمله صادق بودن ‎‎‎‎f‎‎‏‎‎ ‏در شرط لیپ شیتس‏، معادله ی دیفرانسیل فازی با شرایط اولیه‏، یعنی مسئله ی مقدار اولیه ی فازی دارای دو جواب است (یکی از آن ها جواب (...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر 1393

رسته ای(کتگوری) از کلاف های برداری باناخ متکی را در نظر می گیریم و در مورد مفهوم نیمه افشانه ها بحث می کنیم. بر اساس مجموعه برش هایی از یک کلاف برداری باناخ متکی، یک براکت لی با خواصش به مفهوم جبرواره لی می شود. ثابت می کنیم جبرواره های لی تشکیل یک رسته(کتگوری) می دهد. یک ساختار دیراک روی یک خمینه باناخ m به صورت یک زیر کلاف از کلاف مماس بزرگ tm?t*m تعریف می شود که نسبت به متر طبیعی استاندارد ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید