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

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

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

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

یکی از انواع برجهای تقطیر سینی دار، برج تقطیر با سینی های مخروطی چرخان (scc) میباشد.در این تحقیق دو سایز مختلف از این نوع برج از جهت پارامتر های افت فشار و ظرفیت، مورد بررسی قرار گرفته است.مهمترین نتایج بدست آمده از این تحقیق، عبارتند از: تولید هندسه و شبکه بندی مدل ها بوسیله نرم افزار ansys worckbench-11 و تعریف پارامترها، شرایط مرزی، حل معادلات و بررسی نتایج نرم افزار بوسیله cfx-11 انجام شد....

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

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

فرض می کنیم a یک جبر روی میدان f (r یا) و a1 هر زیر جبری از a باشد، نگاشت جمعی (خطی) d: a1--->a را مشتق گیری جمعی (خطی) نامیده می شود اگر d(ab)ad(b) + d(a)b, a,b a1 و d را inner گوئیم در صورتیکه وجود داشته باشد c a1 ای بطوریکه: d(a)ac - ca, a a1 فرض می کنیم x یک فضای برداری نرم دار، و b(x) جبر عملگرهای خطی کراندار روی x باشد، مجموعه عملگرهای خطی کرانداری که دارای رتبه متناهی می باشد را با f(x) ...

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

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