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

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

در این پایان نامه ابتدا مقدمه ای از منطق و نحوه جبری کردن منطق مخصوصا منطق موجهات را بیان می کنیم و به ریشه عملگر موجه در منطق موجهات می پردازیم. سپس به تعریف مشبکه باقیمانده صحیح جابجایی کراندار و ‎$‎ -‎r ell $‎ تکواره می پردازیم و عملگر موجه را روی آنها تعریف می کنیم و بعد به بررسی قضیه ها و ویژگی های دیگر عملگر موجه می پردازیم و در بخش بعدی مطالب روی ‎$‎ -‎mv $‎ جبرها را بررسی کرده و در ...

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

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

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

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

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

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

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