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

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

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

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

تحول شگفت آور "موشن گرافیک" (motion graphic) در عصر اطلاعات تاثیر بسزایی در آثار طراحان گرافیک دارد که شامل فیلم، وب و فرم های "تعاملی" (interactive) و سرگرمی می باشد. طراحی در زمان و مکان یک سری چالش های خلاقانه و منحصر بفرد را ارائه می کند که با استفاده از زبان طراحی گرافیک سنتی به همراه زبان پویای سینما (dynamic visual language of cinema)، یک سیستم ارتباط ترکیبی را بوجود می آورد. اهداف این ت...

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

پیشگفتار: همانطور که در چکیده ذکر شد تصویری بودن و تعمیم هایی از آن همچون همواری، همواری قوی و همواری ضعیف سیستم ها روی تکواره ها توسط دانشمندان زیادی مورد بررسی قرار گرفته اند. تعمیم های دیگری از تصویری بودن از قبیل: به طور ضعیف تصویری و (b , b)- تصویری توسط کلیپ ، کناور و لان کمتر مورد مطالعه قرار گرفته اند. در این پایان نامه تعمیمی از تصویری بودن را که شبه- تصویری نامیده می شود را مورد برر...

در این پایان نامه تعمیمی از مفهوم به طور ضعیف تصویری تحت عنوان (s/i,s/j)-تصویری را معرفی و سپس انتقال خاصیت (s/i,s/j)-تصویری از سیستم ها به حاصل ضرب هم حاصل ضرب و درون بر سیستم ها وبر عکس را بررسی خواهیم کرد .با استفاده از خواص بالا به توصیف تکواره هایی می پردازیم که اجتماع مجزای یک گروه با یک نیم گروه صفر چپ یا اجتماع مجزای ایدآلهای راست ساده می باشند . در انتها تکواره های qf ضعیف را تعریف م...

در ابتدا یک مدل هندسی ساده از بازار مالی که آنرا مدل بازار تصویری یا مدل pmm مینامیم را تشریح کرده که نظریات و ایده های هندسه تصویری را در مورد بازار بکار میگیرد و در ادامه با معرفی مدل ahp نوعی رویکرد استاندارد برای تصمیم گیری در حالتی که آنرا حالت متعدی مینامیم بیان میکنیم و سپس این مدل را به حالت کلیتری که توانایی پوشش مسائل با ویژه گی نا متعدی را دارد تعمیم میدهیم و در پایان با توجه به ارتب...