شبیه سازی فرآیند های گسسته پیشامد به کمک یک جبر دوتایی جدید

Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 714

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

TEDECE01_044

تاریخ نمایه سازی: 30 آبان 1394

Abstract:

در این مقاله روشی جدید جهت شبیه سازی فرآیند های گسسته پیشامد زمانی به کمک گراف های فاصله ی زمانی ارایه می شود. - به کمک این روش می توان همه ی زمان های محتمل برای رخداد پیشامد ها در هر سیستم گسسته پیشامد زمانی را تا افق زمانی دلخواه مشخص کرد. برای این کار در ابتدا سیستم مورد بحث به صورت یک گراف فاصله ی زمانی مدل می شود و سپس با کمک جبر دوتایی اجتماع حاصل – جمع Union-Plus Algebra ، که در مقاله معرفی می شود؛ عمل شبیه سازی و پیش بینی زمان های رخداد پیشامد ها انجام می شود. در نهایت با ارایه ی یک مثال، روش پیشنهادی تشریح می گردد.

Authors

صبحی بنی اردلانی

دانشگاه صنعتی کرمانشاه

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • ا صبحی بنی اردلانی "طراحی و تحلیل سیستم آشکارساز و ...
  • Wonham, W., Supervisory control of DES, University of Toronto, Canada, ...
  • Alur, R., and Dill, D.L, "A theory of timed automata, ...
  • Baniardalani, S. and Askari, J., "Fault diagnosis of timed discrete ...
  • Cassandras, C.G. and Lafortune, S., Introduction to discrete event systems, ...
  • Baccelli, F., Gohen, G., Olsder, G.J., and Quadrat, J.P., Synchronization ...
  • Supavatanakul, P. and Schullerus, G., A hierarchical ...
  • Schullerus, G., Supavatanakul, P., Krebs, V. and Lunze, J. , ...
  • _ _ _ "Verification of hybrid autormata diagnosability by abstraction, ...
  • Baniardalani, S.; Askari, J. and Afzalian, Ali A, "Event ...
  • _ _ _ A. _ Diagnosability of hybrid automata with ...
  • Lunze, J., "Diagnosis of quantized systems based on a timed ...
  • نمایش کامل مراجع