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

مقدمه: امروزه، باتوجه به مقاوم​شدن باکتری ها به آنتی بیوتیک ها استفاده از روش های جایگزین همچون غیرفعالسازی نورگرمایی بسیار مورد توجه قرار گرفته است. ازسویی​دیگر به​دلیل شدت بالای نور، اثرات گرمایی به بافت های سالم مجاور نیز نموذ می​نماید و این موضوع به​عنوان یکی از محدودیت​های روش غیرفعالسازی نورگرمایی به​شمار می​آید. در این مقاله تأثیر پرتوهای هارمونیک دوم یک لیزر پیوسته nd:yag در شدت پایین40...

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

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

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

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

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

در این پایان نامه ابتدا مفهوم نگاشت های انقباض میر-کیلر(meir-keeler) را معرفی نموده و قضیه وجود و یکتایی نقطه ی بهترین تقریب را برای چنین نگاشت هایی اثبات می کنیم. سپس گسترشی از رده ی نگاشت های انقباض دوری را معرفی نموده و قضیه ی وجود و یکتایی نقاط بهترین تقریب برای چنین نگاشت هایی را اثبات می کنیم. سپس، نگاشت های انقباضی پروکسیمال از نوع اول و دوم را تعریف کرده و به بررسی وجود نقاط بهترین تق...

در این رساله دستگاه معادلات دیفرانسیل خطی مرتبه اول ‎egin{eqnarray*}‎ ‎frac{dy_{1}}{dt}=( i ho r_{2}(t)+frac{p(t)}{i ho r_{1}(t)})y_{2}‎ , ‎qquad frac{dy_{2}}{dt}=‎ ‎i hofrac{1}{r_{1}(t)}y_{1}‎ , ‎quad tin[a,b]‎ ‎end{eqnarray*}‎ را در نظر می گیریم که در آن توابع حقیقی ‎$r_{1}$‎ و ‎$r_{2}$‎ می توانند صفرهایی درون ‎$(a,b)$‎ داشته باشند. در ابتدا با تعویض متغیرهای مناسبی، دستگاه فوق را به یک ...

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