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

انسان در ادراک گفتار روزمره با انواع تنوعات در سیگنال ورودی برخورد می کند و علیرغم آنها وظیفه درک به خوبی انجام می شود. به عنوان نمونه هائی از این تنوعات در بازشناسی گفتار می توان از نویزهای مختلف مانند نویزهای جمعی یا نویز کانال نام برد که به صورت ایستان و یا غیرایستان به سیگنال گفتار اضافه می شوند. مشاهده می شود که کارائی سیستمهای بازشناسی گفتار به عنوان مدلهائی از درک گفتار در انسان با تغییر...

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

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

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

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

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

در این مقاله روش جدیدی برای حذف نویز از سیگنال بازگشتی رادار ارائه شده است. با استفاده از روشهای مرسوم پردازش سیگنال مانند تبدیل فوریه و یا تبدیل فوریه کوتاه‌مدت، پارامترهای مختلفی از سیگنال استخراج می‌شود. در این مقاله ما توانسته ایم پارامترهای سیگنال را با استفاده از تبدیل چیرپلت که تحلیل را به حوزه زمان، فرکانس، چرخش، برش و اندازه، گسترش می دهد و فرض را بر غیرایستا بودن سیگنال بازگشتی می‌گذا...

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