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

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

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

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

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

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

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

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

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