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

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

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

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

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

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

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

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

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