|
eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра программного обеспечения интеллектуальных систем >
Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/19181
|
| Название: | Условия контроля автоматов «почти» обходами |
| Авторы: | Козловский, В.А
Копытова, Ольга Михайловна
Kozlovskiy, V.A.
Kopitova, O.M. |
| Ключевые слова: | 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/19181 |
| Располагается в коллекциях: | Матеріали конференцій кафедри обчислювальної математики і програмування
Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
