دو اصل مهمی که تشکیل دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم ارزی؛ راه حل های مطرح شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته بندی هستند: نخست ، راه حل هایی که بر رد یا اصلاح معیار نیکو مبتنی اند؛ دوم، راه حل هایی که بر رد یا اصلاح شرط هم ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته ایم. ...

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

فرض کنید (x, x0) یک فضای همبند ساه باشد و w: y--->x یک تابع پیوسته باشد. در این صورت نگاشتهای x و w وجود دارند به طوری که: x: c*(x)--->cu*(x) w: (cw*(y);c*(x))--->cu*(f) جایی که f همان فیبرهموتوپی نگاشت w, x می باشد. نگاشتهای بر روی همولوژی ایجاد یکریختی می کنند. ضمنا نماد (-) در سمت چپ بیانگر ساختمان cobar می باشد که بوسیله آدامز اختراع شده است .

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

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

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

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

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

در این رساله‏‎‎‏، ابتدا، روش هم ارزی الی کارتان آمده و سپس یکی از مسائل هم ارزی حل شده است.

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