نتایج جستجو برای: قضیۀ یکتایی کانتور

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

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

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

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

ژورنال: باغ نظر 2019

بیان مسئله: در نوشتار با ترفند پاورقی و ارائة منابع می‌توان حضور دیگری را در روایت بازتاباند، اما تاریخ معماری آثار مستندسازی شده و نشده‌ای را در برمی‌گیرد که حضور دیگری در آنها پیدا و پنهان است. بحث بر سر جعلی1 یا اقتباسی2بودن اثر از اموری است که در دهه‌های آخر قرن بیستم در هنر معاصر مطرح شده‌اند. از سویی کشمکش بر سر آفرینش متأثر از خودآیینی3 یا دگرآیینی4 اثر، در مقابل برساختگی (جعلی) آن، دغدغ...

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

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

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

بنی عامریان, رضا, سروش, میثم, فرهادی نیا, محمود,

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

ژورنال: هستی و شناخت 2019

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

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

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

ژورنال: :فصل نامه علمی پژوهشی مهندسی پزشکی زیستی 2008
هادی جعفریانی حمید ابریشمی مقدم محمدشهرام معین

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

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

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