Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/7463
Назва: | Условия контроля автоматов «почти» обходами |
Автори: | Козловский, В.А. Копытова, О.М. |
Ключові слова: | Checking Experiments Automaton Initial Idetifier Bypass Arc Minimal Length of Control Experiment |
Дата публікації: | 2008 |
Видавництво: | Томск: Изд-во НТЛ |
Бібліографічний опис: | Козловский В.А., Копытова О.М. Условия контроля автоматов «почти» обходами // Новые информационные технологии в исследовании сложных структур: Тезисы докладов Седьмой Российской конференции с международным участием. – Томск: Изд-во НТЛ, 2008. – с.51. |
Короткий огляд (реферат): | Рассматриваются контрольные эксперименты с автоматами относительно таких классов "неисправностей", для которых всякий обход по дугам автомата-эталона либо является контрольным экспериментом этого автомата, либо может быть достроен до него приписыванием к обходу произвольного вход-выходного слова длины, не превосходящей некоторой константы m, определяемой классом и эталоном. Такие контрольные эксперименты называются "почти" обходами порядка m |
Опис: | We consider the control experiments with automata respectively to such classes of "faults", for which every bypass of all the arcs of the automaton-etalon is either a control experiment of this etalon, or can be completed by ascribing to bypass any input-output words of length not exceeding some constant m, determined by the class and the etalon. Such control experiments are called "almost" bypass of order m. |
URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/7463 |
Розташовується у зібраннях: | Матеріали конференцій кафедри обчислювальної математики і програмування |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
конф3.pdf | 108,78 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.