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

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

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

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

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