سایپرز، باشگاه دانش - ارائه دهنده مقالات ژورنالهای خارجی

اطلاعات و مشخصات مقاله

explorer iconلينك‌ها

[ بازگشت | جستجو | فهرست کلمات کلیدی | فهرست موضوعات | فهرست نویسندگان | فهرست ناشران | فهرست ژورنالها ]

info iconاطلاعات مقاله

[ 70 بار مشاهده چكيده]

عنوان مقاله:از روش سنتز بر روی خواص ساختاری و الکتروشیمیایی "آزاد-کبالت"، نوع لایه Li1 X (Mn0.4Ni0.4Fe0.2) 1-xO2 (0
ناشر: [ Elsevier BV ]
ژورنال
دوره (شماره): (0)
سال انتشار:October 2015
شماره صفحات: 184191184-191
نشانگر دیجیتالی شیء:[ 10.1016/j.ress.2015.04.017 ]
شما اینجا هستید:
  1. Scipers, the Knowledge ClubScipers »
  2. Elsevier BV »
  3. Reliability Engineering & System Safety »
  4. Towards a sound semantics for dynamic fault trees

دسترسی بین المللی

اگر شما در داخل کشور (ایران) هستید و این صفحه را مشاهده می کنید، نشان می دهد که IP شما به هر دلیلی در لیست IP های ایران ثبت نشده است. برای رفع این مشکل کافی است IP خود را که در پایین این پیام درج شده از طریق آدرس ایمیل support@scipers.com به ما اطلاع دهید. پس از دریافت درخواست، کارشناسان فنی موضوع را بررسی می نمایند و در صورتی که محل اتصال شما از کشور ایران بوده باشد، به لیست استفاده کنندگان مجاز افزوده می شوید.
IP: 34.224.102.60

اطلاعات استنادی

اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

 

به اشتراک گذاری

این صفحه را با استفاده از انواع شبکه های اجتماعی با دوستان خود به اشتراک بگذارید.

report iconنمايش خلاصه مقاله

Towards A Sound Semantics For Dynamic Fault Trees


مقاله: از روش سنتز بر روی خواص ساختاری و الکتروشیمیایی "آزاد-کبالت"، نوع لایه Li1 X (Mn0.4Ni0.4Fe0.2) 1-xO2 (0

نويسند‌گان:


خلاصه مقاله:


In this article, we study the semantics of dynamic fault trees and related formalisms. We suggest that there are actually three mechanisms at work in dynamic fault trees: first, changes of states due to occurrences of events, second bottom-up propagations of values as in static fault trees, and third top-down propagations of demands of activations of components. We propose a direct translation of dynamic fault trees into guarded transitions systems, the underlying mathematical model of the AltaRica 3.0 modeling language. This encoding provides a good basis for our study. We discuss also assessment algorithms at hand in light of this translation.


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


كلمات كليدي:

Guarded transitions systems, Dynamic fault trees, Guarded transitions systems
نگهبانی انتقال سیستم , درختان گسل پویا, نگهبانی انتقال سیستم


موضوعات:

Industrial and Manufacturing Engineering, Applied Mathematics, Safety, Risk, Reliability and Quality



[ ]

 

فهرست مراجع و منابع




 

برگشت به بالا
رونمایی از اولین و تنها ربات تلگرامی جستجوی مقالات ژورنالی
×