Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 66. С. 120-127 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139576 Перейти в каталог НБ ТГУ |
| LEADER | 03523nab a2200349 c 4500 | ||
|---|---|---|---|
| 001 | koha001139576 | ||
| 005 | 20240520164824.0 | ||
| 007 | cr | | ||
| 008 | 240517|2024 ru s c rus d | ||
| 024 | 7 | |a 10.17223/19988605/66/12 |2 doi | |
| 035 | |a koha001139576 | ||
| 040 | |a RU-ToGU |b rus |c RU-ToGU | ||
| 100 | 1 | |a Сперанский, Дмитрий Васильевич |d 1939- |9 101043 | |
| 245 | 1 | 0 | |a Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью |c Д. В. Сперанский |
| 246 | 1 | 1 | |a Synthesis of detection tests for fuzzy automata with finite memory |
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 504 | |a Библиогр.: 16 назв. | ||
| 520 | 3 | |a Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть сведена к аналогичной задаче для ЛА. Для четких ЛА ранее автором представляемой статьи был разработан метод ее решения. Здесь этот метод обобщен и распространен на нечеткие μ-определенные и синхронизируемые автоматы. Метод ориентирован на обнаружение неисправностей, изменяющих значения четких элементов его характеристических матриц в линеаризованном представлении АКП. Предполагается, что неисправности не выводят заданный АКП и все четкие автоматы, полученные из заданного после выполнения замещений нечетких элементов всеми возможными четкими комбинациями и внесения в четкие автоматы неисправностей, из класса μ-определенных (синхронизируемых). | |
| 653 | |a автоматы нечеткие | ||
| 653 | |a автоматы с конечной памятью | ||
| 653 | |a синтез тестов | ||
| 653 | |a обнаружение неисправностей | ||
| 653 | |a сведение задачи к аналогу с четкими линейными автоматами | ||
| 655 | 4 | |a статьи в журналах |9 961979 | |
| 773 | 0 | |t Вестник Томского государственного университета. Управление, вычислительная техника и информатика |d 2024 |g № 66. С. 120-127 |x 1998-8605 |w 0210-40860 | |
| 852 | 4 | |a RU-ToGU | |
| 856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139576 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1139576 | ||
| 908 | |a статья | ||
| 999 | |c 1139576 |d 1139576 | ||
| 039 | |b 100 | ||