МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ТЕХНОЛОГИИ ВЫБОРА КОНТРОЛЬНЫХ ТОЧЕК В ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ

Разработана математическая модель выбора рационального числа контрольных точек при решении функциональных задач в вычислительных системах со структурной избыточностью. Рассмотрены функциональные уравнения для оценки времени выполнения задачи с контрольными точками в условиях возникновения отказов и сбоев. Доказаны теоремы и получены аналитические соотношения, позволяющие оценивать временные характеристики выполнения задач с контрольными точками с учетом возникающих отказов и сбоев. Показано, что рациональный выбор контрольных точек можно производить, используя полученные простые аналитические соотношения. При этом получаются результаты, близкие к оптимальным, полученным при использовании разработанной ранее методики выбора контрольных точек в резервированных системах на основе расчета множества фундаментальных чисел.