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

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

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

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

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

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

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

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

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

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