در این رساله نظریه مدل فضاهای احتمالاتی و متغییرهای تصادفی را در قالب منطق انتگرال ?l مورد مطالعه قرار می دهیم. مفهوم هایی از قبیل ناوابستگی احتمالاتی، تابع های توزیع متغیرهای تصادفی و فرآیندهای تصادفی را بررسی می کنیم. نشان می دهیم که بسیاری از مفهوم های احتمالاتی از جمله داشتن تابع توزیع (u)f، ناوابستگی احتمالاتی، ویژگی مارتینگل و فرآیند وینر در این منطق بنداشت پذیر هستند. همچنین اثباتی از قض...

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

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

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

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

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

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

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

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

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