Идентификация в когнитивных картах в режиме импульсных процессов при полной информации
Исследована задача идентификации весовых коэффициентов матриц смежности когнитивных карт. Разработан ряд методов, позволяющих оценить их значения в детерминированной или стохастической среде, при наличии или отсутствии дополнительной информации, а также при различных параметрах алгоритмов идентифика...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Назва видання: | Проблемы управления и информатики |
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/180596 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Идентификация в когнитивных картах в режиме импульсных процессов при полной информации / В.Ф. Губарев, В.Д. Романенко, Ю.Л. Милявский // Проблемы управления и информатики. — 2018. — № 4. — С. 29-43. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-180596 |
|---|---|
| record_format |
dspace |
| spelling |
nasplib_isofts_kiev_ua-123456789-1805962025-02-10T00:04:17Z Идентификация в когнитивных картах в режиме импульсных процессов при полной информации Ідентифікація в когнітивних картах у режимі імпульсних процесів при повній інформації Identification in cognitive maps in the impulse processes mode with full information Губарев, В.Ф. Романенко, В.Д. Милявский, Ю.Л. Методы идентификации и адаптивного управления Исследована задача идентификации весовых коэффициентов матриц смежности когнитивных карт. Разработан ряд методов, позволяющих оценить их значения в детерминированной или стохастической среде, при наличии или отсутствии дополнительной информации, а также при различных параметрах алгоритмов идентификации. Проведено практическое исследование на примере когнитивной карты банка, которое продемонстрировало пределы применимости и точность каждого из методов. Досліджено задачу ідентифікації вагових коефіцієнтів матриць суміжності когнітивних карт. Розроблено ряд методів, що дозволяють оцінити їх значення в детермінованому або стохастичному середовищі, за наявності або відсутності додаткової інформації, а також при різних параметрах алгоритмів ідентифікації. Проведено практичне дослідження на прикладі когнітивної карти банку, що продемонструвало межі застосовності та точність кожного з методів. The problem of identification of the weights of cognitive maps’ adjacency matrices is investigated. A number of methods have been developed that allow estimating their values in deterministic or stochastic environment, with or without additional information, and also with different parameters of identification algorithms. A practical study was carried out based on the cognitive map of a bank, which demonstrated limits of applicability and accuracy of each method. 2018 Article Идентификация в когнитивных картах в режиме импульсных процессов при полной информации / В.Ф. Губарев, В.Д. Романенко, Ю.Л. Милявский // Проблемы управления и информатики. — 2018. — № 4. — С. 29-43. — Бібліогр.: 10 назв. — рос. 0572-2691 https://nasplib.isofts.kiev.ua/handle/123456789/180596 62.50 ru Проблемы управления и информатики application/pdf Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Методы идентификации и адаптивного управления Методы идентификации и адаптивного управления |
| spellingShingle |
Методы идентификации и адаптивного управления Методы идентификации и адаптивного управления Губарев, В.Ф. Романенко, В.Д. Милявский, Ю.Л. Идентификация в когнитивных картах в режиме импульсных процессов при полной информации Проблемы управления и информатики |
| description |
Исследована задача идентификации весовых коэффициентов матриц смежности когнитивных карт. Разработан ряд методов, позволяющих оценить их значения в детерминированной или стохастической среде, при наличии или отсутствии дополнительной информации, а также при различных параметрах алгоритмов идентификации. Проведено практическое исследование на примере когнитивной карты банка, которое продемонстрировало пределы применимости и точность каждого из методов. |
| format |
Article |
| author |
Губарев, В.Ф. Романенко, В.Д. Милявский, Ю.Л. |
| author_facet |
Губарев, В.Ф. Романенко, В.Д. Милявский, Ю.Л. |
| author_sort |
Губарев, В.Ф. |
| title |
Идентификация в когнитивных картах в режиме импульсных процессов при полной информации |
| title_short |
Идентификация в когнитивных картах в режиме импульсных процессов при полной информации |
| title_full |
Идентификация в когнитивных картах в режиме импульсных процессов при полной информации |
| title_fullStr |
Идентификация в когнитивных картах в режиме импульсных процессов при полной информации |
| title_full_unstemmed |
Идентификация в когнитивных картах в режиме импульсных процессов при полной информации |
| title_sort |
идентификация в когнитивных картах в режиме импульсных процессов при полной информации |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2018 |
| topic_facet |
Методы идентификации и адаптивного управления |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/180596 |
| citation_txt |
Идентификация в когнитивных картах в режиме импульсных процессов при полной информации / В.Ф. Губарев, В.Д. Романенко, Ю.Л. Милявский // Проблемы управления и информатики. — 2018. — № 4. — С. 29-43. — Бібліогр.: 10 назв. — рос. |
| series |
Проблемы управления и информатики |
| work_keys_str_mv |
AT gubarevvf identifikaciâvkognitivnyhkartahvrežimeimpulʹsnyhprocessovpripolnoiinformacii AT romanenkovd identifikaciâvkognitivnyhkartahvrežimeimpulʹsnyhprocessovpripolnoiinformacii AT milâvskiiûl identifikaciâvkognitivnyhkartahvrežimeimpulʹsnyhprocessovpripolnoiinformacii AT gubarevvf ídentifíkacíâvkognítivnihkartahurežimíímpulʹsnihprocesívpripovníiínformacíí AT romanenkovd ídentifíkacíâvkognítivnihkartahurežimíímpulʹsnihprocesívpripovníiínformacíí AT milâvskiiûl ídentifíkacíâvkognítivnihkartahurežimíímpulʹsnihprocesívpripovníiínformacíí AT gubarevvf identificationincognitivemapsintheimpulseprocessesmodewithfullinformation AT romanenkovd identificationincognitivemapsintheimpulseprocessesmodewithfullinformation AT milâvskiiûl identificationincognitivemapsintheimpulseprocessesmodewithfullinformation |
| first_indexed |
2025-12-01T23:55:31Z |
| last_indexed |
2025-12-01T23:55:31Z |
| _version_ |
1850352162246230016 |
| fulltext |
© В.Ф. ГУБАРЕВ, В.Д. РОМАНЕНКО, Ю.Л. МИЛЯВСКИЙ, 2018
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 29
МЕТОДЫ ИДЕНТИФИКАЦИИ
И АДАПТИВНОГО УПРАВЛЕНИЯ
УДК 62.50
В.Ф. Губарев, В.Д. Романенко, Ю.Л. Милявский
ИДЕНТИФИКАЦИЯ В КОГНИТИВНЫХ
КАРТАХ В РЕЖИМЕ ИМПУЛЬСНЫХ
ПРОЦЕССОВ ПРИ ПОЛНОЙ ИНФОРМАЦИИ
Введение
В качестве средства моделирования сложных систем разной природы исполь-
зуются когнитивные карты (КК). В данной работе рассматриваются КК, представ-
ляющие собой взвешенные ориентированные графы, вершины которых отражают
координаты сложных систем, а ребра с весовыми коэффициентами описывают
влияние одной вершины на другую. В процессе функционирования сложной си-
стемы под влиянием различных возмущений координаты вершин КК изменяются
во времени. Процесс распространения возмущений по вершинам КК трактуется
как импульсный процесс [1], для которого сформулировано правило изменения
значений координат вершин КК в виде разностного уравнения первого порядка в
приращениях переменных:
)).()(()1(
1
kqkyaky jjij
n
j
i
(1)
Здесь )(ky i — значение координаты i -й вершины в момент времени 0kTt ,
)1()()( kykyky iii — величина импульса в i -й вершине, ;...,,1 ni )(kq j —
формируемое известное тестирующее воздействие на j -ю вершину для проведе-
ния идентификации.
Для всей КК импульсный процесс можно описать в векторно-матричной
форме
)),()(()1( kQkYAkY (2)
где A — весовая матрица смежности КК, )(kY — вектор приращений коорди-
нат iy вершин КК, )(kQ — вектор приращений тестирующих воздействий по
заданной программе.
В работе [2] исследована взаимосвязь моделей динамики системы в про-
странстве состояний и в форме КК (2). Показано, что модель импульсного про-
цесса КК (2) может быть эквивалентно представлена в форме модели в простран-
стве состояний.
30 ISSN 0572-2691
Структура КК и величина коэффициентов ija весовой матрицы смежности A
согласно [2, 3] определяются экспертами на основе анализа причинно -
следственных связей при функционировании сложной системы. Однако адекват-
ность модели (2) для реальной сложной системы на основе экспертных оценок
всегда подвергается сомнению. К тому же в процессе эксплуатации сложной
системы коэффициенты ija весовой матрицы смежности могут изменяться в ши-
роких пределах в зависимости от изменения влияния одной вершины КК на дру-
гую, от возникновения нестандартных и конфликтных ситуаций, кризисных явле-
ний, человеческого фактора, от изменения общественных и политических отношений
и др. В работах [4, 5] для оценивания установленных экспертами коэффициен-
тов ija матрицы A использовался рекуррентный метод наименьших квадратов
(РМНК), который дает несмещенные оценки при условии, что возмущения в (1)
являются дискретным «белым шумом». Это условие при импульсном процессе
КК не всегда выдерживается. При изменении структуры КК, которое выражается
в появлении новых весовых коэффициентов ija , ранее не установленных экспер-
тами, РМНК вообще эти коэффициенты не оценит, так как они будут отсутство-
вать в алгоритме РМНК.
1. Постановка задачи
В данной работе рассматривается вариант, когда измеряются все координаты
вершин КК niyi ...,,2,1, . Тогда исходная весовая матрица смежности A в ис-
ходном состоянии при идентификации полностью заполнена априори неизвест-
ными коэффициентами:
.
...
............
...
...
21
22221
11211
nnnn
n
n
aaa
aaa
aaa
A (3)
Задача идентификации заключается в нахождении коэффициентов ija матри-
цы (3) в течение импульсного процесса КК, когда все координаты вершин КК
находятся в переходном режиме или под воздействием внешних импульсов.
2. Параметрическая идентификация матрицы
смежности при отсутствии помех
Для моментов времени 1...,,1,0 Kk уравнение импульсного процесса (2)
можно представить в виде последовательности систем уравнений
)).1()1(()(
...
)),1()1(()2(
)),0()0(()1(
KQKYAKY
QYAY
QYAY
(4)
На основе (4) в детерминированном случае можно решить задачу определе-
ния матрицы A по данным измерений выходных переменных и входных воздей-
ствиях. Рассмотрим ее решение для случая, когда отсутствуют шумы, а воздей-
ствия )}({ kQ известны, т.е. последовательности векторов )}({ kY заданы точ-
но. Тогда достаточно взять любые n уравнений, например первые из их
последовательности (4). Из них легко можно построить n независимых систем ли-
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 31
нейных алгебраических уравнений для определения элементов матрицы A , стоящих
в первой, второй и т.д., наконец, в n -й строке. Если взять первые n уравнений, то
получим
));1()1((...
...))1()1(())1()1(()(
...
)),1()1((...))1()1(())1()1(()2(
)),0()0((...))0()0(())0()0(()1(
1
221211111
1221211111
1221211111
nqnya
nqnyanqnyany
qyaqyaqyay
qyaqyaqyay
nnn
nnn
nnn
(5)
));1()1((...
...))1()1(())1()1(()(
...
)),1()1((...))1()1(())1()1(()2(
)),0()0((...))0()0(())0()0(()1(
2
222211212
2222211212
2222211212
nqnya
nqnyanqnyany
qyaqyaqyay
qyaqyaqyay
nnn
nnn
nnn
(6)
)).1()1((...
...))1()1(())1()1(()(
...
)),1()1((...))1()1(())1()1(()2(
)),0()0((...))0()0(())0()0(()1(
222111
222111
222111
nqnya
nqnyanqnyany
qyaqyaqyay
qyaqyaqyay
nnnn
nnn
nnnnnnn
nnnnnnn
(7)
Записанные системы уравнений (5)–(7) можно привести к унифицированной
форме:
,...,,2,1,)( niaQYY ii (8)
где
))()...2()1((T nyyyY iiii (9)
— вектор, представляющий динамику i -й вершины КК от 1 до n -го периода дис-
кретизации, а )...( 21
T
iniii aaaa — вектор, содержащий элементы i -й строки мат-
рицы A . Матрица Y составляется из дискретных измерений координат вершин
КК от нулевого до )1( n -го периодов дискретизации следующим образом:
.
)1(...)1()1(
.........
)1(...)1()1(
)0(...)0()0(
21
21
21
nynyny
yyy
yyy
Y
n
n
n
(10)
Формирование матрицы известных тестирующих воздействий Q осуществ-
ляется по программе согласно
.
)1(...)1()1(
.........
)1(...)1()1(
)0(...)0()0(
21
21
21
nqnqnq
qqq
qqq
Q
n
n
n
(11)
Таким образом, согласно (8) с учетом (10), (11) весовые коэффициенты мат-
рицы смежности A определяются на основе
32 ISSN 0572-2691
....,,2,1,)( 1 niYQYa ii (12)
Разрешимость (12) обеспечивается, когда 0)(det QY . Решение, анало-
гичное (12), также будем иметь при любом другом способе построения квадрат-
ных систем (8) из уравнений (4). Однако их следует выбирать так, чтобы на соот-
ветствующем интервале времени элементы матрицы A оставались неизменными.
При формировании последовательностей тестирующих воздействий ,iq
,...,,1 ni необходимо учитывать, что не все вершины КК можно варьировать
по программе, установленной лицом, принимающим решение. В этих случаях те-
стирующие воздействия могут быть равны нулю.
3. Идентификация при наличии шумов в данных
В этом случае вместо точных значений матрицы Y и вектора iY имеется
информация о приближенных значениях матрицы Y
~
и вектора ,
~
iY поэтому
при решении (12) получим приближенную оценку iâ . При проведении идентифи-
кации очень важно знать, насколько приближенная оценка отличается от точных
значений. Необходимо отметить, что она существенно зависит от числа обуслов-
ленности суммарной матрицы QY . Если эта матрица будет плохо обуслов-
ленной или близкой к вырожденной, то даже малые возмущения или неточности
измерений координат вершин могут привести к тому, что задача станет некор-
ректно поставленной. Плохая обусловленность зависит от двух факторов: началь-
ного состояния )0(Y , а именно уровня сигнала каждой из мод системы, и пара-
метров системы, генерирующей данные. Нетрудно убедиться, что число обуслов-
ленности даже при одинаковом возбуждении всех мод КК быстро растет с
увеличением размерности КК. Поэтому для больших n следует обязательно оце-
нивать отклонение получаемого приближенного решения от точного.
3.1. Решение комбинаторным методом. Рассмотрим процедуру покомпо-
нентной оценки интервалов принадлежности точных значений ia заданным огра-
ничениям на величину погрешности измерения координат вершин КК. Для этого
нам потребуются общепринятые понятия матричной нормы, матричного неравен-
ства и абсолютной величины матрицы (включая как частный — векторный слу-
чай). Для матрицы A размерности nm имеем:
|,|max
11
ij
m
inj
aA
,....,,1,....,,1, njmiabAB ijij (13)
.....,,1,....,,1,|||| njmiabAB ijij
Зададим погрешность измерения в виде
iii YY
~
и ,|| i (14)
где iY — точное приращение вектора координат (9), i — вектор погрешностей
измерения i -й координаты в дискретные моменты времени на интервале наблю-
дения, а — достаточно малая величина.
Рассмотрим систему линейных квадратных уравнений
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 33
,ˆ
~~
1 ii aYY (15)
где .
~~
1 QYY В системе (15) матрица Y
~
и вектор iY
~
заданы с погреш-
ностью, а
iii aYY )(
~
1 (16)
соответствует точному уравнению, в котором — аддитивная матрица с элемен-
тами, являющимися погрешностями измерений координат вершин КК, взятыми со
знаком минус. Тогда для получения покомпонентной оценки интервалов принад-
лежности точных значений можно применить следующую теорему [6].
Теорема. Пусть задана приближенная невырожденная система (15) и точная
система (16) такие, что в обозначениях (13)
ii YY
~
,
~
1 . (17)
Если при этом число обусловленности )
~
( 1Y удовлетворяет условию
,1)
~
( 1 rY (18)
то 1Y также невырождена и
iii aYY
r
aa ˆ|
~
||
~
|
1
2ˆ
1
1
1 . (19)
Величина
1
111
~~
)
~
( YYY в (18) — число обусловленности матри-
цы 1
~
Y по норме «», а
|
~
||
~
| 1
1
1 YY в (19) еще называют числом обуслов-
ленности по Шкеелю.
В этой теореме конкретные реализации и i неизвестны, и, следовательно,
определить и r из (17), (18) не представляется возможным. Однако если ори-
ентироваться на самую неблагоприятную, хотя и маловероятную реализацию, то
на основе (17) можно получить гарантированный интервал принадлежности точ-
ного значения при любых реализациях, удовлетворяющих (14). При такой реали-
зации имеем
,,1 ei (20)
где 1 — матрица, у которой все элементы равны единице, а e — вектор со все-
ми единичными компонентами. Из (20) следует, что
.,
in (21)
Полученный результат (17)–(21) позволяет применить комбинаторный метод
решения задачи идентификации по приближенным данным. Он реализуем, когда
выполняется условие (18) теоремы. Поэтому сначала необходимо проверить его
выполнимость. Для этого находим наименьшее значение , при котором выпол-
няются нестрогие неравенства
n
Y
~
, .
~
iY (22)
34 ISSN 0572-2691
После этого проверяется выполнимость строго неравенства (18). Следует
ожидать, что при плохой обусловленности матрицы Y
~
величина r при
наименьшем не будет меньше единицы. Это фактически может означать боль-
шой разброс получаемых решений на основе квадратных уравнений, формируемых
из (4), т.е. метод решения на основе гарантированного результата не может быть
реализован. В том случае, когда (18) выполняется для множества квадратных си-
стем, формируемых из (4), комбинаторный метод будет эффективным.
Описание его дано в [7]. Достоинство метода состоит в удачном сочетании
свойств статистик с гарантированным интервальным оцениванием. Это позволяет
по множественным оценкам при определенных свойствах статистик существенно
уменьшать гарантированные интервалы принадлежности точных значений ком-
понент вектора ia . Алгоритм решения комбинаторным методом состоит в следу-
ющем. Из переопределенной системы (4) сформируем множество квадратных, от-
брасывая произвольным образом лишние уравнения. Всего таких комбинаций бу-
дет n
KC . Оставляем только те системы, для которых выполняется (18), т.е.
невырожденные и подходящим образом обусловленные. Пусть таких систем
осталось .S Решаем оставшиеся квадратные системы и находим приближенные
оценки ijâ параметров ija . Каждая s -я квадратная система, ,...,,1 Ss согласно
(19) характеризуется гарантированной покомпонентной погрешностью
.ˆ|
~
||
~
|
1
2
1
1
1
iis aYY
r
Неравенство (19) в таком случае позволяет записать поэлементную оценку
для ija в виде is
s
ij
s
ij aa |ˆ| или
.ˆˆ
is
s
ijijis
s
ij aaa (23)
При разных s и фиксированных ji, (23) дает систему гарантированных оце-
нок, отсюда следует, что точное значение должно принадлежать усеченному
наименьшему интервалу
).ˆ(min)ˆ(max is
s
ij
s
ijis
s
ij
s
aaa (24)
Из (24) вытекает, что с увеличением S и при разбросе реализаций s
ijâ точ-
ность оценивания должна улучшаться. В качестве интегрированной по S оценки
ija целесообразно взять середину интервала )],ˆ(min);ˆ([max is
s
ij
s
is
s
ij
s
aa а поло-
вина его ширины будет характеризовать точность оценивания.
3.2. Решение с использованием метода наименьших квадратов МНК.
Было сказано, что комбинаторный метод не применим, когда условие (18) не выпол-
няется, поскольку оценка (19) не будет справедливой. В таком случае предлагается
использовать обычный или взвешенный МНК. Последовательность уравнений (4)
позволяет построить переопределенную систему уравнений (15) с тем же искомым
вектором iâ , в которой :))(~...)2(~)1(~(
~
TKyyyY iiii
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 35
,
)1(~...)1(~)1(~
.........
)1(~...)1(~)1(~
)0(~...)0(~)0(~
~
21
21
21
KyKyKy
yyy
yyy
Y
n
n
n
.
)1(...)1()1(
.........
)1(...)1()1(
)0(...)0()0(
21
21
21
KqKqKq
qqq
qqq
Q
n
n
n
Здесь предполагается, что входные импульсы )(kqi известны точно. Однако все
результаты, которые будут получены далее, остаются справедливыми и в том
случае, если вместо Q имеем приближенную матрицу Q
~
.
Если использовать МНК для решения переопределенной системы линейных
алгебраических уравнений с приближенной правой частью iY
~
и матрицами Y
~
и Q , то оценка вектора iâ определяется соотношением
.
~
)
~
())
~
()
~
((ˆ T1T
ii YQYQYQYa (25)
При использовании взвешенного МНК, в котором весовые коэффициенты за-
даются элементами матрицы D (диагональной, размерности K ), формула (25)
примет вид
.
~
)
~
())
~
()
~
((ˆ T1T
ii YDQYQYDQYa (26)
Оба метода (25), (26) наиболее эффективны, когда матрица Q сформирова-
на из постоянно возбуждающих входных импульсных воздействий [8]. Примени-
тельно к рассматриваемой задаче они определяются следующим образом. Пусть
имеем последовательность входных импульсов Q , представленную в виде
)).1()...1()...1()...1()0()...0(( 111
T KqKqqqqqQ nnn
Последовательность Q считаем постоянно возбуждающей порядка K , если
.)(rank nKQQ T (27)
Когда сигнал Q является стационарным белым шумом с нулевым средним,
последовательность ),( jQ удовлетворяющая (27), имеет статистическое свойство
,
...00
............
0...0
0...0
))1(...)1()((
)1(
...
)1(
)(
2
TTT
n
n
n
u
I
I
I
kjQjQjQ
kjQ
jQ
jQ
E
36 ISSN 0572-2691
где ,))()...(()( T
1 jqjqjQ n E — математическое ожидание стационарной
случайной последовательности, а 2
u — дисперсия.
3.3. Регуляризированное решение. При определенных условиях задача
идентификации может стать существенно некорректно поставленной. Такое слу-
чается при больших n и плохой обусловленности информационной матрицы
QY
~
. Это приводит к тому, что решение становится чувствительным к по-
грешностям в исходных данных. В таких случаях целесообразно использовать
дополнительную информацию об искомом решении и на ее основе вводить в
алгоритм решения процедуру регуляризации, позволяющую находить устой-
чивые решения по отношению к вариациям погрешности. Очень эффективной
может оказаться дополнительная информация о значениях матрицы смежности,
т.е. о связях между вершинами КК. Отсутствие определенных связей означает ра-
венство нулю соответствующих коэффициентов ija матрицы A . Это приводит к
уменьшению размерности вектора ia и размерности информационных матриц в
(25). Если этого недостаточно для получения устойчивого решения и при отсут-
ствии другой дополнительной информации, можно воспользоваться методом ре-
гуляризации Тихонова [9] применительно к решению плохо обусловленных си-
стем линейных алгебраических уравнений с неточно заданными правой частью и
основной информационной матрицей.
Введем в рассмотрение стабилизатор
,)(
2
2ii aa (28)
в котором норма евклидова. В соответствии с [9] запишем сглаживающий функ-
ционал со стабилизатором (28)
.
~
)
~
()
~
,
~
,(
2
2
2
2
iiiii aYaQYQYYaM
(29)
Составим убывающую последовательность }{ j , например убывающую
геометрически, и решим последовательность задач при этих j . Регуляризиро-
ванное решение будет при наименьшем значении j , которое можно получить,
исходя из принципа невязки. Согласно этому принципу минимальное значение j
определяется из неравенства
).(
~
)
~
(
221
2
eYaQY ii (30)
При этом для 1 j выражение (30) не выполняется. Элемент iâ , обеспечи-
вающий минимум (29) при , определяемом из (30), и будет регуляризированным
решением задачи параметрической идентификации, т.е. решением, устойчивым к
погрешностям в данных.
Результат можно улучшить, если параметр регуляризации определять как
квазиоптимальный. Тогда, стартуя с j , определяемого из (29), продолжаем его
уменьшать до тех пор, пока реализуется точная нижняя грань функционала
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 37
,
)(
inf
2
d
ad i где )(ia — минимизирующий элемент при заданном . Поэто-
му )(ia будет линейным функционалом от .
4. Экспериментальные исследования
Проведена серия экспериментальных вычислительных исследований на ос-
нове КК деятельности коммерческого банка [10], представленной на рис. 1.
Рис. 1
Ее матрицу смежности запишем
.
008,02,01,000
07,0003,05,00
7,0009,095,085,00
05,008,0001
000075,002
0003,02,013,002,0
001,00015,00
A
Вершины КК имеют следующий смысл: 1 — региональная сеть, 2 — капитал,
3 — кредиты, 4 — депозиты, 5 — ликвидные активы, 6 — мера риска стабильно-
сти, 7 — мера риска ликвидности. Поскольку собственные числа матрицы A по
модулю меньше единицы, система асимптотически устойчивая.
Моделирование импульсного процесса производилось на основе уравнения (2),
где тестирующие воздействия Q — последовательность нормально распреде-
ленных независимых векторов с параметрами (0, 1), т.е. «белый шум» (если не
указано иное). Был выбран интервал моделирования 40K .
Сначала был рассмотрен детерминированный случай, когда все вершины КК
измеряются точно. В этом случае оказалось достаточно взять первые 7n изме-
рений выходного вектора и использовать формулу (12) для получения практиче-
ски идеально точных оценок элементов матрицы A (с точностью, сопоставимой с
5 1
4
2
3
7
6
0,1
0,03
0,8
5
– 0,7
0,8
0,9
0,15
– 0,2
1
– 0,2
2
– 0,95
0,75
0,13
– 0,2
0,1
– 0,5
0,3
– 0,5
0,7
0,8
38 ISSN 0572-2691
точностью компьютерных вычислений). Тестирующее воздействие достаточно
подавать только в начальный момент времени и даже не на все вершины, качество
оценивания почти не изменяется.
Ситуация существенно усложняется, когда координаты измеряются с по-
грешностями. Для моделирования в этом случае применен следующий подход.
Находится maxY — максимум модуля среди всех значений Y , причем не по
отдельности для каждой из семи координат, а в целом, так как в алгоритмах будет
использоваться общее ограничение для всех шумов. Задается некоторая точность ,
которую в целях эксперимента мы изменяли от 0 до 0,1 с шагом 0,01. Для каждого
значения определяется maxY и вводится случайный вектор , все коор-
динаты которого независимы и лежат в интервале ],[ . В данном случае каж-
дая из координат — либо равномерно распределенная в этом интервале величина,
либо нормально распределенная величина с нулевым средним и среднеквадрати-
ческим отклонением 3/ , что обеспечивает 99 % значений в том же интервале.
(Заметим, что во втором случае все получаемые оценки оказываются точнее в си-
лу того, что большинство случайных значений сконцентрировано ближе к нулю.)
После этого был вычислен вектор зашумленных измерений по формуле (14).
Исследованы пределы применимости комбинаторного метода в данной зада-
че. Они определены в первую очередь неравенствами (22), (18). В данном случае
они выполняются при 01,0 , т.е. при незначительных шумах, а комбинаторный
метод дает очень хорошие результаты, сравнимые с результатами в детерминиро-
ванном случае. Специфика данной КК такова, что при больших возмущениях
применить этот метод оказывается невозможным.
Следующий исследованный в работе метод основывается на применении
МНК (25). При 40K и тестирующих сигналах Q , подаваемых на все верши-
ны КК в каждый момент времени, получены лучшие результаты. На рис. 2 пока-
заны графики зависимости оцененных значений всех весов ребер КК от точности
(пунктирные линии — истинные значения) при 40 измерениях.
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 39
Рис. 2
Следует отметить некоторые важные результаты, выявленные в процессе мо-
делирования. Во-первых, качество оценивания существенно зависит от количе-
ства используемых измерений K . На рис. 3 показаны графики оценивания эле-
ментов матрицы A при десяти измерениях. Получается более грубая оценка, что
вполне объяснимо. Важно при этом, чтобы число данных было больше размерно-
сти системы, а оценка будет тем лучше, чем больше K .
40 ISSN 0572-2691
Рис. 3
Исследования показали существенную зависимость точности оценивания от
длины интервала подачи информативного входного воздействия. На рис. 4 иллю-
стрируется точность оценивания параметров КК для наихудшего случая, когда
возбуждающий сигнал подавался в начальный момент времени. Тогда информа-
тивными были данные только на интервале переходного процесса (асимптотически
устойчивой системы), так как K в этом случае определялось его длиной. На
рис. 4 использовалось 40 измерений.
Рис. 4
Принимая во внимание, что на практике по целому ряду причин не на все
вершины можно подавать тестирующие воздействия, были промоделированы си-
туации, когда возбуждалось небольшое число вершин. Рассмотрим случай, когда
тестирующие сигналы подавались только на три из семи вершин КК, а именно, на
вершины 3 — кредиты, 4 — депозиты, 5 — ликвидные активы. Качество иденти-
фикации при таком воздействии показано на рис. 5. Фактически это соответство-
вало в определенном смысле уменьшению количества ненулевых составляющих
вектора Q . Действительно, и то, и другое приводит к меньшим вариациям
определенных координат вершин и большему количеству нулевых элементов
матрицы Q . Таким образом, лицу, принимающему решения при проведении
экспериментов, рекомендуется «компенсировать» количество невозбуждаемых
вершин увеличением длительности возбуждения на остальных вершинах. На рис.
5 возбуждения и соответствующие измерения осуществлялись в 40 точках.
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 41
Рис. 5
Наконец, в предположении, что известны сведения о том, какие из связей
между вершинами КК отсутствуют либо очень малы, проводились исследования
по повышению точности оценивания с учетом этой информации. Для этого, а
также чтобы гарантированно получить устойчивое решение, применялась регуля-
ризация по Тихонову. При этом вместо сглаживающего функционала (29) исполь-
зовался модифицированный функционал следующего вида:
,
~
)
~
()
~
,
~
,( 2
1
2
2
ijij
n
j
iiii awYaQYQYYaM
где
.0åñëè,0
,0åñëè,100
ij
ij
ij a
a
w
Таким образом, дополнительная информация о связях между вершинами КК
учтена в самом стабилизаторе. Как видно из рис. 6, в результате улучшились
оценки нулевых коэффициентов, а точность оценивания остальных осталась
прежней. При моделировании использовалось 40 измерений.
42 ISSN 0572-2691
Рис. 6
Заключение
В настоящей работе исследована проблема идентификации весов ребер КК
по данным, полученным из экспериментов. Рассмотрено три метода, отличаю-
щихся областью применимости и качеством получаемых с их помощью результа-
тов. Первый метод применим в детерминированном случае, когда все вершины
измеряются точно. Второй метод позволяет получать гарантированные интервалы
оценок в случае ограниченных шумов измерений. Однако он применим только
при невысоких уровнях шума либо при очень хорошо обусловленной матрице из-
мерений. Третий метод наиболее общий и основывается на методе наименьших
квадратов. Проведены теоретические и практические исследования, которые вы-
явили зависимость точности идентификации от соотношения шума к полезному
сигналу, от длительности интервала наблюдений, от длительности периода пода-
чи тестирующих возбуждающих воздействий и от количества вершин КК, на ко-
торые эти воздействия подаются. Предложенные в работе процедуры регуляриза-
ции обеспечивают устойчивость получаемых решений и повышают точность оце-
нивания в случае, когда известна дополнительная информация о нулевых связях
между определенными вершинами.
В.Ф. Губарев, В.Д. Романенко, Ю.Л. Мілявський
ІДЕНТИФІКАЦІЯ В КОГНІТИВНИХ
КАРТАХ У РЕЖИМІ ІМПУЛЬСНИХ
ПРОЦЕСІВ ПРИ ПОВНІЙ ІНФОРМАЦІЇ
Досліджено задачу ідентифікації вагових коефіцієнтів матриць суміжності ког-
нітивних карт. Розроблено ряд методів, що дозволяють оцінити їх значення в
детермінованому або стохастичному середовищі, за наявності або відсутності
додаткової інформації, а також при різних параметрах алгоритмів ідентифіка-
ції. Проведено практичне дослідження на прикладі когнітивної карти банку, що
продемонструвало межі застосовності та точність кожного з методів.
Международный научно-технический журнал
«Проблемы управления и информатики», 2018, № 4 43
V.F. Gubarev, V.D. Romanenko, Yu.L. Milyavsky
IDENTIFICATION IN COGNITIVE
MAPS IN THE IMPULSE PROCESSES
MODE WITH FULL INFORMATION
The problem of identification of the weights of cognitive maps’ adjacency matrices is
investigated. A number of methods have been developed that allow estimating their
values in deterministic or stochastic environment, with or without additional infor-
mation, and also with different parameters of identification algorithms. A practical
study was carried out based on the cognitive map of a bank, which demonstrated lim-
its of applicability and accuracy of each method.
1. Робертс Ф.С. Дискретные математические модели с приложениями к социальным, биоло-
гическим и экологическим задачам. — М.: Наука, 1986. — 496 с.
2. Романенко В.Д., Милявский Ю.Л. Обеспечение устойчивости импульсных процессов в ко-
гнитивных картах на основе моделей в пространстве состояний // Системні дослідження та
інформаційні технології. — 2014. — № 1. — С. 26–42.
3. Горелова Г.В., Захарова Е.Н., Радченко С.А. Исследование слабоструктурированных про-
блем социально-экономических систем. Когнитивный подход. — Ростов-на-Дону: Изд-во
РГУ, 2006. — 332 с.
4. Романенко В.Д., Милявский Ю.Л., Реутов А.А. Метод адаптивного управления неустойчи-
выми импульсными процессами в когнитивных картах на основе эталонных моделей //
Международный научно-технический журнал «Проблемы управления и информатики». —
2015. — № 2. — С. 35–45.
5. Zgurovsky M., Romanenko V., Milyavsky Y. Adaptive control of impulse processes in complex
systems cognitive maps with multirate coordinates sampling // Advances in Dynamical Systems
and Control, Studies in Systems, Decision and Control, 69. — Switzerland : Springer Internation-
al Publishing, 2016. — P. 363–374.
6. Голуб Дж., Ван Лоун Ч. Матричные вычисления. — М.: Мир, 1999. — 548 с.
7. Губарев В.Ф., Мельничук С.В. Алгоритмы гарантированного оценивания состояния линей-
ных систем при наличии ограниченных помех // Международный научно-технический
журнал «Проблемы управления и информатики». — 2015. — № 2. — С. 26–35.
8. Verhaegen M., Dewilde P. Subspace model identification. Part 1. The output-error state-space
model identification class of algorithms // International Journal of Control. — 1992. — 56, N 3. —
P. 1187–1210.
9. Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач. — М.: Наука, 1979. — 285 с.
10. Романенко В.Д., Милявский Ю.Л. Адаптивное координирующее управление соотношения-
ми координат вершин взаимодействующих когнитивных карт в режиме импульсных про-
цессов // Системні дослідження та інформаційні технології. — 2015. — № 3. — С. 109–120.
Получено 26.01.2018
|