Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть...
| Опубликовано в: : | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 66. С. 120-127 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139576 Перейти в каталог НБ ТГУ |
| Итог: | Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть сведена к аналогичной задаче для ЛА. Для четких ЛА ранее автором представляемой статьи был разработан метод ее решения. Здесь этот метод обобщен и распространен на нечеткие μ-определенные и синхронизируемые автоматы. Метод ориентирован на обнаружение неисправностей, изменяющих значения четких элементов его характеристических матриц в линеаризованном представлении АКП. Предполагается, что неисправности не выводят заданный АКП и все четкие автоматы, полученные из заданного после выполнения замещений нечетких элементов всеми возможными четкими комбинациями и внесения в четкие автоматы неисправностей, из класса μ-определенных (синхронизируемых). |
|---|---|
| Библиография: | Библиогр.: 16 назв. |
| ISSN: | 1998-8605 |