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

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

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

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

فاکتور رشد شبه انسولین انسانی (igf-1) به علت دامنه وسیع اثرات بیولوژیکی و فعالیت های آن روی بافت های متنوع به-عنوان یک عامل درمانی بسیار مناسب در بسیاری از ناهنجاری ها شناخته شده. بنابراین تولید تجاری آن در سطح وسیع از اهمیت فوق العاده ای برخوردار است. پلاستیدهای تراریخت با مزایای منحصر به فردی از قبیل بیان پروتئین در سطوح بالا و کاهش خطرات زیست محیطی بیراکتورهای مناسبی برای تولید پروتئین های ا...

چکیده زمینه و هد ف: افزایش روزافزون مقاومت دارویی وبه تبع آن، گ سترش عفونتهای ناشی ازآن در بیمارستانها و جامعه، توجه مجامع علمی را به خود معطوف نموده اس ت. در این مطالعه فراوانی ناقلین استافیلوکوکوس اورئوس مقاوم به متی سیلین و وانکومایسین در کارکنان درمانی وخدماتی بیمارستان شهدای عشایر خرم آباد مورد بررسی قرار گرفته است. روش بررس ی: در این مطالعه مقطعی 300 نمونه را از بینی کارکنان با سواپ استری...

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

مقدمه: روش های زیستی انتقال ژن یا استفاده از ناقل­های ویروسی، کاربرد گسترده ای در اهداف درمانی دارد. استفاده از ناقل های لنتی ویروسی با داشتن مزایایی چون توانایی آلوده­سازی سلول­های تقسیم شونده و غیر تقسیم شونده، توان حمل قطعه ی ژنی بزرگ و بیان پایدار ژن خارجی، ابزاری مناسب برای انتقال ژن در کاربردهای تحقیقاتی و درمانی به شمار می آیند. هدف از این پژوهش تولید یک ناقل لنتی ویروسی بر مبنای hiv-1(h...

از حدود 40 سال پیش شاخه­ای از ویروس­ شناسی با هدف استفاده از ویروس­های گیاهی پایه­ گذاری شد و از ویروس­های گیاهی متعددی به عنوان ناقل­های بیانی استفاده شده است. استفاده از ویروس­های گیاهی برای بیان پروتئین نوترکیب، باعث افزایش سرعت تولید پروتئین، کاهش هزینه و هم­چنین افزایش راندمان تولید برای مصارف صنعتی و پزشکی و در برخی موارد برای افزایش کارائی واکسن­ها شده است. به این منظور لیگاندهای غیر پپ...

بیان موقت مبتنی بر تزریق اگروباکتریوم در برگ گیاه روش نسبتاً سریع و قابل اعتمادی برای آنالیز توالی‌های تنظیمی است. به منظور بهره‌گیری از مزایای این تکنیک یک ناقل بیانی مناسب برای انجام آزمون بیان موقت عناصر تنظیمی مبتنی بر تزریق اگروباکتریوم مورد نیاز است. در این مطالعه بمنظور ساخت یک ناقل بیانی گیاهی، جایگاه‌های آنزیمی مناسب از وکتور pBGi به عنوان قطعه در نظر گرفته شد و وکتور pCAMBIA3301 حامل ژ...