چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

در این پژوهش، به بررسی رفتار جریان هوا و نشست ذرات در راهگاه تنفسی طی الگوهای مختلف تنفسی پرداخته شده است. از ویژگی های مهم این مطالعه، به کار گیری هندسه مدل واقعی میباشد که با استفاده از بازسازی تصاویر سی تی اسکن بدست آمده است. بازسازی این تصاویر، به کمک نرم افزار پردازش تصویر 3d-doctor انجام گرفت. دو مدل هندسه مورد بررسی واقع شدند. هندسه اول از ابتدای نای تا نسل دوم راهگاه و هندسه دوم از دهان...

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

نیتریک اکساید از l-arginine و توسط ایزوآنزیم های مختلف nitric oxide synthase و در بافت های مختلف تولید میشود.مطالعات مختلفی مبنی بر نقش نیتریک اکساید در سیستم عصبی و در التهاب و سپسیس انجام شده است.در این مطالعه به بررسی نقش سیستم نیتررژیک در تغییرات آستانه تشنجات کلونیک ناشی از تزریق وریدی پنتیلن تترازول در موش های سوری نر که با متد clp به سیس مبتلا شده اند پرداخته شده است.از مدل cecal ligatio...

چکیده جرم قابل مشاهده در کهکشان ها و خوشه های کهکشانی قادر به تولید گرانش مورد نیاز برای توصیف دینامیک آنها نیست. برای حل این مشکل، از طرفی سناریوی ماده ی تاریک سرد ‎‎ ‎(cdm)‎ و در طرف دیگر نظریه های گرانشی جایگزین پیشنهاد شده اند. گرانش جایگزینِ میلگروم (mond) ‏، موفات (mog‎) ‏، ثبوتی (nlnl) ‏، و سناریوی cdm ‏، همگی منحنی دورانِ کهکشان های مارپیچی را به خوبی باز تولید می کنند. اگر چه مقادیر ک...

در این نوشتار مسئله ی تعیین ظرفیت بهینه ی مخزن سد با کنترل اعتمادپذیری تأمین نیازهای آبی با استفاده از یک مدل برنامه ریزی ریاضی بررسی شده است. اعمال کنترل بر اعتمادپذیری، نیازمند استفاده از متغیرهای دومقداره و توسعه ی یک مدل برنامه ریزی خطی مختلط با اعداد صحیح )m i l p( است؛ لذا مدل ترکیبی الگوریتم ژنتیک ـ برنامه ریزی خطی )g a-l p( برای حل مدل های m i l p توسعه یافته است که در آن متغیرهای دومقد...