Год выпуска: 2011 Автор: Максим Громов Издательство: LAP Lambert Academic Publishing Страниц: 104 ISBN: 9783846504994
Описание
В данной работе рассматривается вопрос синтеза условных различающих экспериментов для трёх автоматных моделей с недетерминированным поведением: входо-выходных полуавтоматов с молчанием, конечных автоматов и временных автоматов. Такие эксперименты могут использоваться для синтеза условных проверяющих и диагностических тестов для дискретных систем, допускающих автоматное описание поведения. Эксперименты предлагается описывать полуавтоматом, автоматом или временным автоматом, в зависимости от того, какая модель использована для описания системы. Предлагаются алгоритмы построения различающих экспериментов и доказываются критерии существования условных различающих экспериментов для двух заданных полуавтоматов, двух автоматов и двух временных автоматов. Кроме того, на примере конечных автоматов показывается, как условные различающие эксперименты могут быть использованы для построения проверяющих и диагностических тестов в простых случаях модели неисправности.
Добрый день, Юля! Я сегодня защитила диплом на отлично :-) Хотела сказать Вам ОГРОМНОЕ спасибо за помощь! Вы мне помогали с написанием курсовых работ на протяжении всего срока моего обучения. Без Вашего участия мне было бы в сто раз труднее, ведь я работаю и времени на написание курсовых и диплома всегда катастрофически не хватало. Так что в том, что я закончила этот университет есть большая доля и вашего участия. Ещё раз огромное Вам за это спасибо! Будьте счастливы и удачи Вам! При случае, буду рекомендовать Вас своим знакомым, кому понадобятся подобные услуги ;-)