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

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

چکیده ندارد.

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

به دلیل کمبود اطلاعات در اکثر حوزه­های آبخیز، بسیاری از محققین برای مطالعه­های هیدرولوژیکی و سیل­گیری به استفاده از تجزیه و تحلیل­های مکانی در سیستم اطلاعات جغرافیایی روی آوردند. پژوهش حاضر به منظور مقایسۀ کارایی سه مدل ماشین بردار پشتیبان (SVM)، خطی تعمیم یافته (GLM) و جمعی تعمیم یافته (GAM) در تهیۀ نقشۀ سیل­گیری استان گیلان برنامه­ریزی شده است. بدین منظور لایه­های اطلاعاتی درجۀ شیب، جهت شیب، ...

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

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

در این رساله سه ساختار تعمیم یافته که عبارتند از گروه تعمیم یافته، عمل تعمیم یافته و گروه توپولوژیک تعمیم یافته، معرفی شده اند. روشهایی برای ساختن گروهای تعمیم یافته ارائه کرده ایم و در ادامه، چند خاصیت در رسته گروهای تعمیم یافته ثابت کرده ایم و در آخر نشان داده ایم که اگر n یک زیر گروه تعمیم یافته نرمال از یک گروه توپولوژیک تعمیم یافته همساز باشد آنگاه g/n نیز یک گروه توپولوژیک تعمیم یافته است .

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

دراین پروژه فرض شده که r حلقه ای یکدار و جابجائی باشد و m یک -r مدول در نظر گرفته شده است . مفهوم مدول کسرهای تعمیم یافته مدول m نسبت به یک زیر مجموعه مثلثی از r توسط پروفسور شارپ و دکتر ذاکری در سال 1982 معرفی شده است . در سال 1986 e.s.golod از دانشگاه مسکو با تعریف زیر مجموعه مستطیلی و زیر مجموعه موضعی کننده از r، مفاهیم بالا را تعمیم داد. به بیان دقیقتر، وی با استفاده از مفهوم زیر مجموعه مست...