تجزیه و تحلیل جریان داده: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
Ntjavid (بحث | مشارکت‌ها)
ابرابزار
Z Ehyaei (بحث | مشارکت‌ها)
برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه
خط ۳۴:
 
== همگرایی ==
همان‌طور که پیش تر گفته شد٬درشد،‌‌ در روش استفاده از الگوریتم‌های تکراری، تکرار الگوریتم تا زمانی ادامه پیدا می‌کند که به نقطه ثابتی برسد؛ پس برای اینکه در عمل بتوانیم از این روش استفاده کنیم، سیستم باید همگرا باشد. همگرایی سیستم با اعمال یک سری شرط روی [[دامنه (آمار)|دامنه]] مقادیر حالت‌ها، تابع انتقال و عملگر پیوند تضمین خواهد شد. این شروط عبارتند از:
* دامنه مقادیر باید [[مجموعه جزئاً مرتب]] و کراندار باشد.
* ترکیب تابع انتقال و پیوند باید یک [[تابع یکنوا]] نسبت به ترتیب مقادیر در دامتهدامنه باشد.
با وجود این دو شرط نتیجه یک تابع یکنوای کراندار است و یک تابع یکنوای کراندار حتماً همگرا است.