نظریه ی مایهیل- نرود شاخه ای از نظریه ی جبری زبان ها و اتوماتاست که در آن زبان های معمولی و اتوماتای قطعی توسط همنهشتی های راست و همنهشتی های روی یک تک وار آزاد بررسی می شوند. در این پایان نامه نظریه ی مایهیل-نرود نمونه را برای زبان های فازی با درجه ی عضویت در یک مجموعه ی دلخواه با دو مولفه ی مجزای 0 و 1 بررسی می کنیم. همچنین ارتباط بین توسیع پذیری زبان های فازی نسبت به همنهشتی های راست و همنهش...

این پایان نامه بر اساس مراجع ‎[‎4‎]‎ و ‎[‎5‎]‎ تنظیم شده است. در این پایان نامه پس از معرفی مقدماتی مشبکه های برداری و ایده آل ها‏، که مباحث آنها در [‎11‎] و [‎14‎] آغاز شده است‏، به اثبات قضیه ای می پردازیم که بر اساس آن قضیه‏، یک طبقه بندی از یک ایده آل ترتیبی در فضاهای ریس ارائه می شود. در ادامه با ‎استفاده‎ از مرجع ‎[1]‎ به‎ گسترش و توسعه اطلاعات خود در رابطه با ایده آل ها و باند ...

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

تبادل امن کلید در پروتکل های مبتنی بر روش های رمزنگاری متقارن یکی از پارامترهای مهم تامین محرمانگی انتقال اطلاعات در ارتباطات شبکه ای است. این فرآیند به طور عمومی با استفاده از سامانه های رمزنگاری کلید نامتقارن صورت می گیرد که مبتنی بر سختی حل مسائل ریاضی مانند مسأله ی لگاریتم گسسته و مسأله ی تجزیه ی اعداد صحیح هستند. پس از ارائه ی الگوریتم «شور» در سال 1996 امکان حل این مسائل سخت در زمان قابل ...

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

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

هدف از این پایان نامه معرفی ‏‎mv‎‏- جبرهای تعمیم یافته و کاتگوری ‏‎mv‎‏-جبرهای جابجایی است. ابتدا در فصل اول برخی مفاهیم مقدماتی از جمله جبر بول ، مشبکه و ‏‎dri‎‏-نیم گروه ها را تعریف و قضایایی که درادامه این پایان نامه مورد استناد قرار می گیرند را می آوریم. سپس تعریف و برخی قضایای مقدماتی ‏‎mv‎‏-جبرهای جابجایی را بیان می کنیم. در بخش اول از فصل دوم به بیان تعریف ‏‎mv‎‏- جبرهای تعمیم یافته ، خو...

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

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

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