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