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

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

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

در این پروژه به بررسی پتانسیل برهمکنشی کل و اهمیّت معادله حالت هسته ای در واکنشهای همجوشی پرداخته ایم. بدین منظور مطالعاتمان را برروی سه دسته از واکنشهای همجوشی معطوف کرده ایم: واکنشهای همجوشی با هسته های نیمه سنگین- نیمه سنگین متقارن (ni64 + ni64 و ni58 + ni58) 2- واکنشهای همجوشی با هسته های سبک - نیمه سنگین نامتقارن (zr92 + c12، zr92 + o16، zr92 + si28 و zr92 + cl35) 3- واکنشهای همجوشی با هسته...

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

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

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

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

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