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

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

یک کد متعامد نوری ‏‎l,(v,k, a, c)‎‏ خانواده ای از دنباله های صفر و یک به طول ‏‎v‎‏ و وزن ‏‎k‎‏ است که دارای خواص همبستیگ زیر الف) ‏‎ v-1 .1=0. x1x1+i a‎‏ برای تمام مقادیر ‏‎x=(x0, x1,...,xv-1)‎‏ عضو ‏‎l‎‏ و کلیه اعداد صحیح غیر صفر ‏‎0<i<v‎‏ ب) ‏‎v-1 t=0 x1y1‎‏ برای تمام مقادیر x=(x0, x1,...,xv-1) و ‏‎y=(y0, y1,...,yv-1)‎‏ عضو ‏‎(x y)l‎‏ و کلیه مقادیر صحیح باشند، به طوری که زیرنویس ها در هنگ‏‎‎‏...

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

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

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

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

چکیده در این تحقیق به بررسی مدل­سازی ریاضی فرآیند و سینتیک خشک شدن و انرژی مصرفی در خشک­کن­ جریان هوای گرم با چرخه هوای بازگشتی (0، 50%، 75%) پرداخته شده است. برای این منظور از یک خشک­کن جریان هوای گرم با قابلیت باز­گردش هوای خروجی استفاده شد. برای برازش مدل­های استاندارد خشک­شدن لایه نازک با داده­های آزمایشی، از محیط برازش منحنی­هاینرم­افزار matlab 2007 استفاده گردید. از ضریب تعیین ( r2)، مربع...

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

در این پژوهش پس از پوشش دهی پارچه های پلی استر و کربن با لایه ای از نیکل-فسفر به روش الکترولس، ویژگی آن ها مورد بررسی قرار گرفت. مقاومت سطحی، ریخت شناسی، ضخامت پوشش، ترکیب شیمیایی پوشش و پایداری در برابر عوامل محیطی (شستشو و تابش فرابنفش) پارچه ها ارزیابی شد. با انجام پوشش دهی مقاومت سطحی پارچه پلی استر به cm2/ω 20 و مقاومت سطحی پارچه کربن به cm2/ω 9/1 کاهش یافت. ریخت شناسی و ضخامت پوشش الیاف ب...