در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

داستان علمی - تخیلی در ریاضی

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

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

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

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

روش انتگرال کانتور چندمدی یکی از روشهای تحلیل و طراحی مدارهای موجبری صفحهh- است. این روش تأثیر مدهای مرتبه بالاتر غیرانتشاری را که به دلیل وجود ناپیوستگی در ساختار موجبری ایجاد شده و در نزدیکی ناپیوستگی انرژی قابل ملاحظه ای دارند، در نظر می گیرد. این ویژگی موجب بالا رفتن دقت روش در تحلیل و یا طراحی مدارهای موجبری با ساختار پیچیده می شود. در این مقاله قصد داریم از توانمندی این روش در شناسایی خو...

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

در این پایان نامه شبیه سازی جریان آرام و انتقال حرارت بر روی سیلندرهای چرخان بوسیله روش شبکه بولتزمن (lbm) بررسی شده است. برای مدل کردن جریان و انتقال حرارت بر روی مرزهای منحنی از مدل جدیدی که دارای دقت مرتبه دوم می باشد استفاده شده است. تاثیر فاصله ی طولی بین سیلندرها و نسبت سرعت دورانی آنها در این پژوهش مورد مطالعه قرار گرفته است. شبیه سازی برای عدد پرانتل 71/0 و عدد رینولدز 100 انجام شده است...

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