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

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

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

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

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

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

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

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

هدف از این مطالعه تبین شاخص های روان سنجی نسخه ی فارسی پرسشنامه ی تنظیم شناختی هیجان بود. گروه نمونه‏ی مورد مطالعه شامل 409 دانش آموز دبیرستانی مرکب از 204 دختر و 205 پسر با میانگین و انحراف معیار سنی 5/14 و 5/4 بود. ابزار مورد استفاده در این مطالعه نیز شامل نسخه ی فارسی پرسشنامه ی تنظیم شناختی هیجان(cerq) و مقیاس افسردگی، اضطراب و فشار روانی (dass) بود. نتایج تحلیل عامل به شیوه ی مولفه های اصل...

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