О сходимости нового алгоритма характеризации k-значных пороговых функций
Функция k-значной логики f (x,..., xn), для которой существует линейная форма L (xi,..., xn) = aixi + a2x2 + ... + anxn, Xi e Zk, с вещественными коэффициентами и набор вещественных порогов bo < bi < ... < bk, такие, что для всех i e e {0,... ,k - 1} выполняется условие f (x1, . . . ,xn)...
| Опубликовано в: : | Прикладная дискретная математика № 39. С. 107-115 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000623186 Перейти в каталог НБ ТГУ |
| Итог: | Функция k-значной логики f (x,..., xn), для которой существует линейная форма L (xi,..., xn) = aixi + a2x2 + ... + anxn, Xi e Zk, с вещественными коэффициентами и набор вещественных порогов bo < bi < ... < bk, такие, что для всех i e e {0,... ,k - 1} выполняется условие f (x1, . . . ,xn) = i ^ bi @ L (x1, . . . ,xn) < bi+1, называется пороговой k-значной функцией. Под алгоритмом характеризации пороговой k-значной функции понимается процедура нахождения коэффициентов a1, a2, . . . , an линейной формы L (x1, ..., xn) и множества порогов b0,b1, ..., bk- 1. В работе доказывается сходимость алгоритма нахождения коэффициентов линейной формы и порогов (характеризации) k-значных пороговых функций по столбцу значений. Основная идея алгоритма заключается в раздельном последовательном вычислении коэффициентов линейной формы и порогов. В качестве первичной аппроксимации линейной формы используются коэффициенты роста либо коэффициенты возрастания и итеративно осуществляется корректировка линейной формы. После нахождения коэффициентов линейной формы вычисляются разделяющие пороги. |
|---|---|
| Библиография: | Библиогр.: 4 назв. |
| ISSN: | 2071-0410 |