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

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

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

 حفاظت و احیای اماکن فرهنگی ـ تاریخی مهارتی میان رشته¬ای است که نیازمند دانسته¬های متنوعی از دیگر تخصصهای مهندسی و هنر و علوم اجتماعی است. به همین دلیل، آموزش این رشته دارای ابعاد گوناگون و پیچیدگیهای خاصی است. میراث غنی تاریخی و فرهنگی سرزمین ایران، چه از نظر تعداد و چه از نظر تنوع و کیفیت، اهمیت تدوین و رعایت استانداردهای حرفه‌ای و نظام ترویجی و آموزشی متناسب با آن را دوچندان می¬کند. از آنجای...

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

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

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

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

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