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

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

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

در این پایان نامه ابتدا به بررسی گرامر آزاد از متن، اتوماتای پشته ای و ارتباط بین این دو می پردازیم. سپس مفهوم گرامر آزاد از متن را به گرامر آزاد از متن فازی و مفهوم اتوماتای پشته ای را به اتوماتای پشته ای فازی گسترش می دهیم. همچنین روش هایی مناسب برای به دست آوردن زبان آن ها ارائه می دهیم. پس از آن به بررسی ارتباط بین گرامر آزاد از متن فازی و اتوماتای پشته ای فازی می پردازیم. به ویژه نشان می د...

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

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

در این پژوهش با به‌کارگیری مدل اتوماتای سلولی (CA) توسعه یافته بر مبنای سیستم اطلاعات مکانی (GIS) و ارائه مدلی قدرتمند و ساده سعی بر مدل‌سازی و پیش‌بینی رشد شهر مشهد شده است. با وجود قابلیت‌های فراوان اتوماتای سلولی در مدل‌سازی رشد شهری، این روش دارای محدودیت¬هایی نظیر عدم توانایی در مدل‌سازی عدم قطعیت موجود در سیستم‌های شهری و انجام کالیبراسیون به‌صورت تجربی (روش آزمون‌وخطا) است. در روش پیشنها...

کاهش نویز از تصاویر نویزی نقش مهمی در پردازش تصویر دارد. این مسئله در تقسیم¬بندی تصویر، تشخیص شی، تشخیص لبه و فشرده¬سازی را تحت تاثیر قرار داده است. به طورکلی، فیلتر میانه و یا فیلترهای غیرخطی برای کاهش نویز استفاده شده است اما این روش¬ها بافت طبیعی و اطلاعات مهم در تصویر مانند لبه¬ها را از بین می¬برد. در این تحقیق، برای از بین بردن نویز¬ از تصاویر نویزی، از روش ترکیبی مبتنی بر اتوماتای سلولی (...

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