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

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

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

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

زمینه: خطر حریق و انفجار به ترتیب اولین و دومین خطر اصلی در صنایع شیمیایی محسوب می شوند. هدف: مطالعه به منظور ارزیابی کمی و رتبه بندی نسبی خطر حریق و انفجار در یک صنعت پتروشیمی انجام شد. مواد و روش ها: این مطالعه مقطعی در سال 1385 در کارخانه پتروشیمی بندر امام خمینی (ره) انجام شد. واحدهای فرآیندی مورد نظر بر اساس شاخص های تأثیرگذار بر خطر حریق و انفجار انتخاب و با استفاده از روش شاخص حریق و ا...

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

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

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