![](/images/graphics-bg.png)
A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
المؤلفون المشاركون
Wang, Kemin
Wang, Yongbin
Jiang, Zhengtao
Fu, Wenlong
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-6، 6ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-01-12
دولة النشر
مصر
عدد الصفحات
6
التخصصات الرئيسية
الملخص EN
The model checking of Infinite-State Continuous Time Markov Chains will inevitably encounter the state explosion problem when constructing the CTMCs model; our method is to get a truncated model of the infinite one; to get a sufficient truncated model to meet the model checking of Continuous Stochastic Logic based system properties, we propose a multistep extending advanced truncation method towards model construction of CTMCs and implement it in the INFAMY model checker; the experiment results show that our method is effective.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Wang, Kemin& Wang, Yongbin& Jiang, Zhengtao& Fu, Wenlong. 2014. A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains. Mathematical Problems in Engineering،Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-497016
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Wang, Kemin…[et al.]. A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains. Mathematical Problems in Engineering No. 2014 (2014), pp.1-6.
https://search.emarefa.net/detail/BIM-497016
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Wang, Kemin& Wang, Yongbin& Jiang, Zhengtao& Fu, Wenlong. A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains. Mathematical Problems in Engineering. 2014. Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-497016
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-497016
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)