نام پژوهشگر: الهام حیدرزاده

بررسی عملکرد لنفوسیتهای tcd8+ و سطح سایتوکاینهای il-2 , il-12 در یک وهله ورزش متوسط قبل از تزریق واکسن ویروس هرپس سیمپلکس تیپ یک
پایان نامه دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تفت - دانشکده علوم انسانی و تربیت بدنی 1392
  الهام حیدرزاده   مهدی مهدوی

بررسی عملکرد لنفوسیتهای tcd8+ و سطح سایتوکاینهای il-2 , il-12 در یک وهله ورزش متوسط قبل از تزریق واکسن ویروس هرپس سیمپلکس تیپ یک پرداخته شده است.جامعه آماری 24موش نژاد بالبسی 6 تا 8 هفته که از مرکز پژوهش وتکثیر حیوانات آزمایشگاهی انستیتو پاستور تهیه و به مرکز پژوهش منتقل شد. و بصورت تصادفی دسته بندی شدند.موشها در سه گروه مختلف قرار گرفته و تزریق واکسن در گروههای تجربی کشت طحال جهت الایزای سایتوکاین های il-12,il-2وgr-bانجام شد. تمامی آزمایشات بصورت سه تایی انجام شد. یافته ها نشان می دهد) نتایج سایتوکاین (il-2تزریق واکسن با یک وهله ورزش باعث افزایش سطح اینتر لوکین 2 می گردد.) نتایج سایتو کاین (il-12همچنین تزریق واکسن در گروههای تجربی یا بدون ورزش اختلاف معناداری را با گروه کنترل منفی نشان نمی دهد. نتایج نشان می دهد که تزریق واکسن در گروههای تجربی نسبت به گروه کنترل منفی باعث افزایش معنادار سطح گرآنزیمb در کروهی که واکسن تنها دریافت نمود.نسبت به گروه کنترل منفی گردید.همچنین یک وهله ورزش نسبت به واکسن گروه تنها اگر چه مقادیر گر آنزیم bرا افزایش داد اما از نظر آماری معنادار نبوده است. این یافته ها نشان میدهد ورزش می تواند بر پاسخ ایمنی ضد واکسن ها اثر بگذارد

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

هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می کند که اگرσι=φ، بنابراین اثبات های متناهی از σ می توانند تقریب های دلخواهی از درستی φ را بدست دهد. به علاوه مسئله ای متفاوت که در نظریه مدل به طور سنتی مطرح می شود یعنی تصمیم پذیری را بررسی می کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش پذیر بازگشتی) تصمیم پذیر است.