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

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

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


عنوان مقاله:از روش سنتز بر روی خواص ساختاری و الکتروشیمیایی "آزاد-کبالت"، نوع لایه 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: 3.80.128.196

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

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

 

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

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

خلاصه مقاله، نویسندگان و کلمات کلیدی

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



[ ]

فهرست مقالات مرتبط و مشابه

  1. Shinova, E., Mandzhukova, Ts., Grigorova, E., Hristov, M., Stoyanova, R., Nihtianova, D., Zhecheva, E. (2011) 'On the incorporation of extra Li in lithium cobaltate Li1+xCo1−xO2', Solid State Ionics, Elsevier BV, pp:43-49
  2. Iqbal, Muhammad, Kobayashi, Genki, Hirayama, Masaaki, Kanno, Ryoji (2013) 'Synthesis, structure and electrochemical properties of layered La2Li2x(CO3)1−xO2+2x', Journal of Solid State Chemistry, Elsevier BV, pp:14-19
  3. Karthikeyan, Kaliyappan, Amaresh, Samuthirapandian, Son, Ju-Nam, Kim, Shin-Ho, Kim, Min-Chul, Kim, Kwang-Jin, Lee, Sol-Nip, Lee, Yun-Sung (2013) 'Adipic Acid Assisted Sol-Gel Synthesis of Li1+x(Mn0.4Ni0.4Fe0.2)1-xO2(0 > x > 0.3) as Cathode Materials for Lithium Ion Batteries', Bulletin of the Korean Chemical Society, Korean Chemical Society, pp:89-94
  4. Gędziorowski, Bartłomiej, Kondracki, Łukasz, Świerczek, Konrad, Molenda, Janina (2014) 'Structural and transport properties of Li1+xV1−xO2 anode materials for Li-ion batteries', Solid State Ionics, Elsevier BV, pp:124-127
  5. Tran, N., Croguennec, L., Weill, F., Jordy, C., Biensan, P., Delmas, C. (2004) 'Structure and Electrochemical Performances of the Li1+x(Ni0.425Mn0.425Co0.15)1−xO2 Materials', MRS Proc., Cambridge University Press (CUP), pp:0-0
  6. KUMAGAI, Naoaki, KIM, Jung-Min, KADOMA, Yoshihiro (2010) 'Impact of Excess Li on the Structural and Electrochemical Properties of Li1+x(NizCo1-2zMnz)1-xO2 Materials for Lithium-Ion Batteries', Electrochemistry, The Electrochemical Society of Japan, pp:23-29
  7. , (2005) 'Structure and electrochemical properties of Li1+yNi0.5AlxMn0.5âˆ'xO2 synthesized by a new sol–gel method', Materials Chemistry and Physics, Elsevier BV, pp:6-9
  8. Suzuki, Naoki, Richards, William D., Wang, Yan, Miara, Lincoln J., Kim, Jae Chul, Jung, In-Sun, Tsujimura, Tomoyuki, Ceder, Gerbrand (2018) 'Synthesis and electrochemical properties of I¯4 type Li1+2xZn1-xPS4 solid electrolyte', Chemistry of Materials, American Chemical Society (ACS), pp:-
  9. Thongtem, Titipun, Thongtem, Somchai (2005) 'Synthesis of Li1−xNi1+xO2 using malonic acid as a chelating agent', Ceramics International, Elsevier BV, pp:241-247
  10. Thongtem, Titipun, Thongtem, Somchai (2005) 'Synthesis of Li1−xNi1+xO2 using malonic acid as a chelating agent', Ceramics International, Elsevier BV, pp:241-247

 

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




 

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