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

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

دراین مقاله، مساله مکان‌یابی واحدهای اندازه‌گیری فازور با هدف مشاهده‌پذیری کامل شبکه انتقال با استفاده از یک رویکرد دو هدفه جدید مورد ارزیابی قرار می‌گیرد. برای این منظور، مجموعه نایقینی‌های تحمیل ‌شده به سیستم انتقال، واحدهای فازوری و اندازه‌گیرهای غیر سنکرون به صورت احتمالاتی مدل‌سازی شده و درقالب یک تابع هدف فنی برای مسأله مکان‌یابی واحدهای فازوری پیشنهاد شده است. مدل‌سازی احتمالاتی پیشنهادی...

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

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

مسألة مدل‌سازی در علوم مهندسی، نیازمند ابزار تحلیلی مناسبی است که بتواند ضمن غلبه بر عدم قطعیت‌ها، پیش‌بینی قابل اعتمادی از رفتار حاکم بر مسائل را ارائه دهد. در این مقاله روش شبیه‌سازی مونت کارلو به عنوان یکی از مؤثرترین روش‌های عددی برای شبیه‌سازی مسائل پیچیدة مهندسی عمران معرفی شده است. این روش قادر است با تکیه بر تولید اعداد تصادفی و تحلیل‌های احتمالاتی، کار آزمایشگاه را در محیط کامپیوتر شب...

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

در این پایان نامه طراحی بهینه ای چند هدفی کنترلرهای مقاوم برای سیستم هایی با پارامترهای نامعین احتمالاتی مد نظر می باشد. برای بهینه سازی چند هدفی الگوریتم muga پیشنهاد شده است و از آن برای بهینه سازی چند هدفی چندین مورد مطالعاتی شامل سیستم دو جرم-فنر و سیستم مرتبه اول با تاخیر زمانی استفاده شده است. توابع هدف انتخابی از دیدگاه طراحی بر اساس قابلیت اطمینان (احتمال شکست توابع هدف) همانند احتمال ش...

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

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