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

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

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

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

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

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

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

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

چکیده ندارد.

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