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

دوگان موضعی فضای باناخ‎‎ ‎x‎‎‎‎‏‏، زیر فضایی بسته ‏از ‎ ‎x‎^{*}‎ ‎‎‎‏ است که در شرایط اصل انعکاس موضعی نسبت داده شده به ‎‎x‎ ‎ ‏به عنوان زیر فضایی از ‎ ‎x‎^{**}‎ ‎ ‎‎‏ صدق می کند. در این پایان نامه به معرفی فضاهای دوگان موضعی می پردازیم. جزئیات خاصیت های اصلی از این مفهوم را توضیح می دهیم. در این جا خاصیت های تکنیکی که ویژگی های فضاهای دوگان موضعی فضای باناخ را معرفی می کند را بیان می کنیم و...

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

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

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

دو دهه اخیر، ابررساناهایی کشف شده اند که تقارن های پارامتر نظم آنها با ابررساناهای موج-s ، که مطابق نظریه bcs جفت شدگی در آنها به واسطه برهمکنش الکترون-فونون صورت می گیرد ، متفاوت است. در اغلب این ابررساناها شواهدی وجود دارد که جفت شدگی به واسطه همبستگی های قوی الکترونی صورت می گیرد که با سازوکار ابررسانایی در ابررساناهای متعارف مانند pb و nb و غیره تفاوت دارد. سازوکارهای جفت شدگی غیر فونونی ...

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

در این پروژه عملکرد نیروگاههای توربین بخار گرمکن میانی، بازیاب و گرمکن میانی-بازیاب با روشهای تحلیل انرژی به همراه نمودارهای راندمان و تحلیل اگزرژی به همراه نمودارهای برگشت ناپذیری مورد بررسی قرار می گیرد. راندمان سیکل رانکین با استفاده از گرمکن میانی، حدود 4/5 درصد افزایش نشان می دهد. این مقدار با کاربرد دو گرمکن میانی به 7/5 درصد نسبت به سیکل ساده و 3 درصد نسبت به حالت یک گرمکن میانی خواهد رس...

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