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

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 709

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:

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

TEDECE01_044

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

چکیده مقاله:

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

نویسندگان

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

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • ا صبحی بنی اردلانی "طراحی و تحلیل سیستم آشکارساز و ...
  • 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 ...
  • نمایش کامل مراجع