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

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

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

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

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

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

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

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

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

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