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

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

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

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

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

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

امروزه با رشد روزافزون اهمیت امنیت اطلاعات و محرمانه بودن داده‎ها، توجه به این موضوع به یکی از مباحث مورد علاقه پژوهشگران تبدیل شده است. همچنین توجه به سیستم‎های رمزنگاری که به عنوان ابزار شناخته شده برای تامین امنیت اطلاعات استفاده می شوند، رو به افزایش است. جعبه های جایگزینی(s-box) تنها بخش غیرخطی را در سیستم‎های رمزگذار بلوکی تشکیل می دهند، در حقیقت این بخش به عنوان هسته اصلی در الگوریتم‎های...

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

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

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