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

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

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

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

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

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

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