شهرزاد ترابی - کارشناس ارشد گروه نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایر
محمد عبداللهی ازگمی - استادیار گروه نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایران

زنجیره های مارکوف زمان پیوسته CTMCs) برای تحلیل کارایی سیستمهای کامپیوتری و ارتباطی مورد استفاده قرار میگیرند با محاسبه احتمالات حالت پایدرا CTMC بسیاری از معیارهای مفید کارایی به دست م یآید اما مدلهای CTMC برای سیستمهای واقعی بسیار بزرگ بوده و حل آنها زمان گیر بوده و از مشکل انفجار فضای حالت رنج می برند دراین مقاله یک راه حل موازی برای حالت پایدار مدلهای CTMC ارایه م یدهیم دراین راه حل مشکل انفجار فضای حالت را با استفاده از موازی سازی روشهای ضمنی تخفیف داده ایم زیرا این روش ها قادرند یک نمایش فشرده از CTMC ساختاریافته بزرگ ارایه دهند آنگاه با استفاده از ترکیب روشهای مستقیم و تکراری حل دستگاه معادلات خطی یک فن حل حالت پایدار موازی برای CTMC ارایه نموده ایم جزئیات راه حل پیشنهادی و الگوریتمهای مربوطه دراین مقاله ارایه شده است.

مدل های مارکوف،حل تحلیلی،حل مدل های کارایی،الگوریتم های موازی