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

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

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

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

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

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

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

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

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