نتایج جستجو برای: مجموعه کانتور

تعداد نتایج: 27578  

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

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی 1389

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

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده ریاضی 1393

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

ژورنال: :روش های عددی در مهندسی (استقلال) 0
حسین نظام آبادی پور h. nezamabadi-pour احسان اله کبیر و رضا عزمی e. kabir and r. azmi

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه الزهراء - دانشکده علوم پایه 1392

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1386

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

برخی از براهین ابطال تسلسل در فلسفه¬ی اسلامی، مانند برهان تطبیق یا برهان آحاد و الوف، مبتنی بر مبانی و مقدّمات ریاضیّاتی‌اند. تحلیل و استخراج این مقدّمات پرده از ماهیّت ریاضیّاتی این برهان‌ها برمی‌دارد و نشان می‌دهد که در کنار روی‌کرد فلسفی به این براهین می‌باید از منظر ریاضیّات نیز به آن‌ها نگریست. با اتّخاذ این منظر، روشن می‌شود که شأن این براهین هم‌سنگ برخی پارادوکس‌هایی است که در ریاضیّات فراروی مف...

ژورنال: :مهندسی مکانیک مدرس 2011
فرهاد جاویدراد علیرضا پورموید

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید