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

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

چکیده: تصرفات شرکاء در اموال مشاعی به دو دسته تقسیم می شود: 1- تصرفات حقوقی 2- تصرفات مادی مطابق ماده 30 قانون مدنی، هر مالکی نسبت به مایملک خود حق هرگونه تصرف و انتفاع دارد، مگر در مواردی که قانون استثناء کرده باشد. تصرفات حقوقی شرکاء به دو دسته ، تصرفات حقوقی نسبت به سهم خود وتصرفات حقوقی شریک نسبت به سهم شرکاء تقسیم می شود. حق مالکیت در مال مشاع اوصاف حق مالکیت را در بردارد. لذا، دارن...

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

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

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

با توجه به اینکه عملکرد کل زنجیره تأمین ارتباط تنگاتنگی با ساختار و نحوه ارتباط اجزای زنجیره و سیاست های مدیریتی آن دارد، از این رو طراحی و مدیریت زنجیره تأمین در محیط های تجاری- رقابتی نوین یکی از حیاتی ترین مسائلی است که مدیران منابع و خدمات با آن روبرو هستند. تمرکز جداگانه بر روی اجزای زنجیره تأمین منجر به ناکارایی و تحویل کالا یا خدمت با هزینه بالا در سیستم می شود. بنابراین اخیراً طراحی یکپا...

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

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

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