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

اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...

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

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

در این پایان نامه یک مجموعه جدید از توابع متعامد که اصطلاحا توابع ترکیبی می باشند و شامل توابع متعامد shf و tf هستند ارائه کرده ایم که برای موارد زیر به کاربرده می شود : 1- تقریب توابع 2- ترکیب ماتریسهای عملگر انتگرال توابع متعامد shf و tf و بدست آوردن ماتریس عملگر انتگرال در دامنه توابع ترکیبی 3- انتگرال گیری از تابع وابسته به زمان با استفاده از ماتریس عملگر انتگرال در دامنه توابع ترکیبی ...

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

در مقاله حاضر با ترکیب روشهای تخمین توابع متوالی (SFSM) و روش تقابل دوگانه اجزاء مرزی (DRBEM) یک روش جدید برای حل مسائل معکوس هدایت حرارتی با خواص ترمو فیزیکی ثابت ارائه گردیده است. در روش حاضر تخمین شرط مرزی مجهول با استفاده از دو ماتریس تبدیل صورت می‌گیرد. این ماتریس ها با انجام عملیات ریاضی بر اساس روش تخمین توابع متوالی بر روی ماتریسهائی که در روش دوگانه اجزاء مرزی برای حل مستقیم به کار می‌...

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

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