Проектирование трехзначных цифровых нейронов
Автор: Калитин Денис Владимирович
Статья в выпуске: 1 (6) т.6, 2010 года.
Бесплатный доступ
В статье рассматривается стратегия проектирования 3х-значных нейронов сотовой структуры на заданную функцию 3х-значной логики. Настройка нейронов на заданную функцию, осуществляется с помощью вычисления оптимального орбитального центра и устранения ряда противоречий. Предложенный метод избавлен от недостатка предыдущих методов настройки цифрового нейрона на заданную функцию, а именно целочисленного решения систем уравнений.
Цифровой нейрон, граф, 3х-значная логика, функция
Короткий адрес: https://sciup.org/14121996
IDR: 14121996
Текст научной статьи Проектирование трехзначных цифровых нейронов
Одним из перспективных цифровых нейронов является нейрон сотовой структуры [1], функция возбуждения ϕ ( X ) которого имеет вид:
i
1, если
Z w i x i = P j
0, в противном случае,
P где j — квазипорог нейрона, множество квазипорогов
{ P j }
w эмулирует порог P , i — вес
синапса i
Сумма весов
Z w
i
определяет сложность нейрона L ( ϕ )
L ( V ) = Z wi
i площадь “кремния”, реализующего его. В настоящее время цифровые нейроны промышленного назначения в России и США являются 4-синапситескими.
Обобщая структуру двузначного сотового нейрона (рис. 1, а), проф. А.В. Горбатов предложил [2] структуру k -значного однородного нейрона, локальная топология которого представлена на рис. 1 в. На этом рисунке неперечёркнутая дуга соответствует ключу, инициируемому при x = k – 1, остальные дуги соответствуют ключам, включаемым при x = k
- 1 - а, где a — количество перечёркиваний дуги. Используя предложенную структуру однородных нейронов (рис. 1 а, б), на рис. 2 а, б представлены структуры однородных двузначного и трёхзначного нейронов соответственно.
Математическим описанием предлагаемых однородных к-значных нейронов является выражение (3):
s ф j (X1, x 2,K, Xs ) =
1, если V wx = T ii k i=1
0 в противном случае,
где ф j — функция возбуждения j -ой фазы выходного синапса нейрона:
фj = 1 О ф = j, j G {0,1, K, к — 1}, w — вес i-го синапса, T — квазипорог нейрона, находящегося в j-м состоянии; множество квазипорогов {Tk } моделируют порог при возбуждении нейрона в j-м состоянии.









а)

в)
Рис. 1. Обобщая структуру двузначного сотового нейрона аксон
синапсы

x 1
x 2
x

порог
а)

x 1
x 3

б)
Рис. 2. Структуры однородных двузначного и трёхзначного нейронов
В статье предложена стратегия эффективной настройки k-значного сотового нейрона, исключающая трудоёмкую процедуру целочисленного решения “k” взаимосвязанных систем. Стратегия основана на орбитально непротиворечивое вложение заданной функции в k-значный гиперкуб.
Определение 1.
Орбитой относительно центра XC в k-значном пространстве называется множество
{X,} X
C
точек i , равноудалённых от центра
{ X. 'X i /R ( X , X. ) = const }
,
R (X r- X.) X. Xc где C i - радиус точки i относительно центра C , равный минимальному
XX расстоянию между точками i и C
.
n R ( Xc,Xt )
Очевидно, что радиус C i равен сумме модулей разностей между значениями
XC = ( X, ., X, 7, K , X, „) X, = ( X, ., X, 7, K , xin )
соответствующих разрядов векторов C C 1 C 2 Cn и i i 1 i 2 in :
n
R ( X c , X^ U X cj - X j|
j = 1
Определение 2.
Распределение по орбитам относительно центра XC значений реализуемой k-значной функции называется непротиворечивым, если на каждой орбите не найдётся хотя бы двух точек, в которых эта функция принимает различные значения, при этом функция называется “непротиворечивой”, относительно центра XC или орбитально непротиворечивой.
Утверждение 1.
Вес каждого синапса k-значного сотового нейрона равен “1”, если найдётся непротиворечивое распределение по орбитам относительно центра XC значений реализуемой k-значной функции f(X) (орбитально непротиворечивого вложения функции в k-значный гиперкуб).
Стратегия эффективной настройки k-значного сотового нейрона при реализации произвольной k-значной функции f ( X 1, x 2, K , x n ) сводится к построению орбитально непротиворечивой k-значной функции f ( X 1, x 2, K , x n + А n ) , эквивалентирующей заданную функцию.
Рассмотрим предлагаемую стратегию на примере.
Пусть задана 3-значная функция f (x, x2, x)
1 2 3 вида:
0 на 2,3,7,11,20, f (x1, x 2, x 3 ) = < 1 на 1,9,17,25,
2 на 4, 15, 21.
3-значный 3-местный гиперкуб имеет 7 орбит: 0-й орбите соответствует точка 0, 1-й орбите - точки 1, 4, 9; …; 6-й орбите точка 26. Распределение значений заданной функции по орбитам относительно центра 0 представлено на рис. 3, при этом номер орбиты равен сумме цифр вектора, определяющего точку этой орбиты.






1-я орбита
2-я орбита
3-я орбита
4-я орбита
5-я орбита
Рис. 3. Распределение значений функции по орбитам относительно центра
Для оценки распределения значений функции введём отношение противоречивости
XX
R2 : две точки ia , ib одной и той же i-ой орбиты находятся в отношении R2 , если и только если ia ib 2 ia ib .
P
Каждое распределение α значений функции будем оценивать L суммой сигнатур
G графов противоречивости пр i
, определяемых отношением R 2 :
L (Pa ) =
( k - 1) - n
£ и
i = 0
Первое распределение P1 (см. рис.3) оценивается числом 7: 2+1+4=7 (рис.4).
3 2 7 11

9 1 4 15 21
Рис. 4. Первое распределение заданной функции
G противоречивости пр
Очевидно, что каждая компонента связности графа взаимнооднозначно соответствует определённому номеру орбиты.
Последовательно производим расщепление переменных, определяем соответствующее распределение значений, производим согласно (6) их оценку и выбираем расщепление переменной которому соответствует минимальное значение (6).
Расщепляем переменную x 1 ,
Х 1 ^ x ‘ , x ‘ .
'0 на 0002,0010,0021,1102,2202, f (x’, x1, x 2, x3) = Ь на 0001,1100,1122,2221,
2 на 0011, 1120, 2210.


1-я орбита


2-я орбита

3-я орбита
4-я орбита
20 17
5-я орбита
6-я орбита
7-я орбита
Рис. 5. Второе распределение заданной функции
Оценка второго распределения (рис.5) - L ( P 2 ) =1+з+1+1=6 (рис. 6).
3 2 11 20

1 9 4 15 17
Рис. 6. Оценка второго распределения заданной функции
Расщепляем переменную x2 , x 2 ^ x ', x 2
'0 на 0002,0110,0221,1002,2002, f (x1, x 2
x 2' , x 3 ) = И на 0001,1000,1222,2221,
2 на 0111, 1220, 2110.
Оценка третьего распределения (рис. 7) - 3 =1+1+1=3 (рис. 8).
Расщепляем переменную x 3
x 3 ^ x ' , x "
'0 на 0022,0100,0211,1022,2022, f (x1, x 2, x', x3') = <
1 на 0011, 1000, 1222, 2211,
2 на 0111, 1200, 2100.

1-я орбита
2-я орбита
3-я орбита
4-я орбита
5-я орбита
6-я орбита
17 25
7-я орбита
Рис. 7. Третье распределение заданной функции
11 20 7

4 21 15
Рис. 8. Оценка третьего распределения заданной функции

1-я орбита
1 2-я орбита


21^ -
3-я орбита


4-я орбита

5-я орбита
20 25
6-я орбита
7-я орбита
Рис. 9. Четвертое распределение заданной функции
Оценка четвёртого распределения (рис. 9) -
L ( P 4 ) =1+1=2 (рис. 10).

>
э
Рис. 10. Оценка четвертого распределения заданной функции
1-е противоречие:
{ 3,9 } е R 2
2-е противоречие:
{ 20,25 } е R 2
Для устранения выявленных противоречий кроме x 3 расщепляем ещё x 2 (рис. 11).
Электронное научное издание «Устойчивое инновационное развитие: проектирование и управление»
том 6 № 1 (6), 2010, ст. 2
3-01100
9-10000
1-я
орбита
1-00011
2-я
орбита
3-я
2-02200 4-01111 21-21100
4-я
орбита
орбита
11-10022
15-12200
5-я
орбита
7-02211
20-22200
6-я
орбита
7-я
орбита
25-22211
8-я
орбита
17-12222
9-я
орбита
Рис. 11. Расщепление переменных Х 2 , Х 3
Оценка пятого расщепления (рис. 11)
L ( P ) > L ( P ) .
.
-
L (P ) A
5 =4, получили повышение оценки:
Для уменьшения оценок L ( P , ) и L ( P 5 ) очевидно, что необходимо расщепить x 3 не на две, а на три переменные: x 3 ^ x 3 ,x 3 ,x 3 , при этом получаем орбитально непротиворечивое распределение значений исходной функции f ( x 1 , x 2 ,x 3 ) (рис. 12).
функция
является
Оценка 6-го распределения (рис. 12) равна 0. Следовательно, f (x, x‘, x‘, x‘, x‘, xT) f (x, x7, x)
1 2 2 3 3 3 , эквивалентирующая заданную функцию 1 2 3 , орбитально непротиворечивой.
Отсюда веса синапсов x 1 , x 2 , x 3 соответственно равны w ( x 1 ) 1 , w ( x 2 ) 2 ,
.
Для определения квазипорогов для каждой фазы, строим соответствующие системы уравнений, при этом модель нейрона имеет вид (7):
У w x = T j
i
,
где wi – вес i-го синапса xi, Tkj – j-й квазипорог k-й фазы нейрона.
9-100000
1-я орбита
3-011000 о -
2-я орбита
1-000111
3-я орбита
21-211000
4-я орбита
4-011111 15-122000
5-я орбита

2-000222
11-100222
7-022111
6-я орбита
7-я орбита
20-200222
8-я
орбита
25-222111
9-я орбита
10-я орбита
17-122222 11-я орбита
Рис. 12. Оценка шестого распределения заданной функции
Система 0-й фазы:
' 2 ^ 002 |
2 • w3 = T 01 ^ 2 • 3 = 6, |
3 ^ 010 |
W 2 = T 02 ^ 2, |
7 ^ 021 |
2 • w 2 + w 3 = T 03 ^ 2 • 2 + 3 = 7, |
11 ^ 102 |
w 1 + 2 • w 3 = T 04 ^ 1 + 2 • 3 = 7, |
20 ^ 202 |
2 • w 1 + 2 • w 3 = T 05 ^ 2 • 1 + 2 • 3 = 8 |
T = { 2,6,7,8 }
Множество квазипорогов 0-й фазы:
Системы 1-й фазы:
' 1 ^ 001 |
w 3 = T 11 ^ 3, |
9 ^ 100 |
W 1 = T 12 ^ 1, |
17 ^ 122 |
w 1 + 2 • w 2 + 2 • w 3 = T ^ 1 + 2 • 2 + 2 • 3 = 11, |
25 ^ 221 |
2 • w 1 + 2 • w 2 + w 3 = T 14 ^ 2 • 1 + 2 • 2 + 1 • 3 = 9. |
Множество квазипорогов 1-й фазы: T 1 { 1,3,9,11 }
.
Система 2-й фазы:
4 —011
< 15 — 120
21 — 210
w 2 + W 3 — T 21 —— 2 + 3 — 5, w + 2 • w 2 — T 22 — 1 - 1 + 2 • 2 — 5, 2 • w 1 + w 2 — T 23 — 2 • 1 + 1 • 2 — 4.
Множество квазипорогов 2-й фазы:
T 2 — { 4,5 }
.
Условие (v T • T ^I T —0) , где «*j, «М0А К k - 1 } заданной функции на k-значном однородном сотовом нейроне.
определяет реализуемость
Сложность нейрона, равная сумме весов синапсов,
во многом определяется
X выбранным орбитальным центром C
.
Предложим процедуру вычисления оптимального
орбитального центра,
проиллюстрировав её на следующем примере.
Определить настройку 3-значного сотового нейрона, f ( x i , x 2 , x 3 ) , равную с учётом оптимального орбитального центра ' 0 на 2,3,7,11, f ( Х 1 , x 2 , x 3 ) —< 1 на 1,19,24, 2 на 0,25,
реализующего функцию
X C
При произвольном орбитальном центра XC , модель k-значного сотового нейрона определяется выражением (8):
n
X W I x ci - x d\ — Ppa
,
i — 1
где wi — вес i-го синапса, xci — значение i-го орбитального центра XC , xki — значение i-го
X — (x., x2 ,K, x„) , разряда входного вектора 1 2 n , определяющего k-ое значение реализуемой функции f(X) — p, p G {0,1,2,K •k - 1}, Ppa — a-й квазипорог нейрона, при котором f (X) — p
.
Xn
Определим удалённость заданных точек X от c равного 0, , ,k , в рассматриваемом случае k=n=3, следовательно,
. Сведём вычисление
R (Xc, X) .
удалённости, определяемые радиусом c i в табл.1, при этом следующей строкой
R ( Xc , X )
после строки, в которой указаны радиусы, c i , является строка, в которой вычислена мощность сигнатуры графа, определяющего противоречивость реализуемой функции на орбите.
Точки пространства, вошедшие в противоречивые пары {010, 201}, {021, 201}, {102, 001}, отличаются друг от друга значением переменной x1. Соответствующие модели разностей значений векторов по x1 не равны друг другу, следовательно орбитальный центр X c = 002 является разрешённым.
Расщепляем переменную x 1 :
f ( x j = 0 ^ хг : 0002,
0010,
0021, 1102; f ( x , ) = 1 ^ x : 0001, 2201, 2220; f ( x j = 2 ^ xz :0000, 2221,
X
В результате получаем распределение точек функции по орбитам относительно c = 0002 (табл. 2).
Табл. 1. Вычисление удаленности
Х с |
f ( X ) = 0 |
f ( X ) = 1 |
f ( X ) = 2 |
|||||||
002 |
010 |
021 |
102 |
001 |
201 |
220 |
000 |
221 |
||
000 |
2 |
1 |
3 |
3 |
1 |
3 |
4 |
0 |
5 |
|
{010,001}, {021,201}, {102,201} е U пр , |
U пр |
= 3 |
||||||||
001 |
1 |
2 |
2 |
2 |
0 |
2 |
5 |
1 |
4 |
|
{002,000}, {010,201}, {021,201}, {102,201} е U пр , U пр = 4 |
||||||||||
002 |
0 |
3 |
3 |
1 |
1 |
3 |
6 |
2 |
5 |
|
{010,201}, {021,201}, {102,001} е U пр , |
Uпр |
= 3 |
||||||||
010 |
3 |
0 |
2 |
4 |
2 |
4 |
3 |
1 |
4 |
|
{002,220}, {021,001}, {102,201}, {102,221}, {201,221} е Uпр , |
U пр = 5 |
|||||||||
102 |
1 |
4 |
4 |
0 |
2 |
2 |
5 |
3 |
4 |
|
{010,221}, {021,221} е U пр , U пр = 2 |
Продолжение Табл. 1.
X C |
f ( X ) = 0 |
f ( X ) = 1 |
f ( X ) = 2 |
||||||
002 |
010 |
021 |
102 |
001 |
201 |
220 |
000 |
221 |
|
221 |
5 |
4 |
2 |
4 |
4 |
2 |
1 |
5 |
0 |
и „р > 2 |
|||||||||
222 |
4 |
5 |
3 |
3 |
5 |
3 |
2 |
6 |
1 |
U „р > 2 |
Табл. 2. Распределение точек функции по орбитам
f ( X ) = 0 |
f ( X ) = 1 |
f ( X ) = 2 |
||||||
0002 |
0010 |
0021 |
1102 |
0001 |
2201 |
2220 |
0000 |
2221 |
0 |
3 |
3 |
2 |
1 |
5 |
8 |
2 |
7 |
X
Выбираем орбитальный центр c , для которого мощность сигнатуры графа противоречивости минимальна пр
, таким центром является
Xc , Xc = 102.Орбитальный
X пара точек {021, 221},
центр c = 102 является запрещённым, так как нашлась отличающихся друг от друга только переменной x1 , по которой
1 1 1 1 . Следовательно, при любом расщеплении переменной x1 точки 021 и 221 останутся на одной и той же орбите, и отношение противоречивости останется:
f ( 0,2,1 ) = 0 , f ( 2,2,1 ) = 2 .
Рассмотрим орбитальный центр X c = 002, для которого пр^
(рис. 13).
010 021 102

201 001
Рис. 13. Орбитальный центр Х С
Получим одно противоречие
{ 1102,0000 } е U „р
для его устранения достаточно
переменную x 1 расщепить трижды:
V —X v' v" vm Х 1 л Х 1 , Х 1 , X 1
В результате получаем распределение точек пространства, в которых определена заданная функция
f ( xp x 2 , x 3
) , по орбитам (табл. 3).
Табл. 3. Распределение точек пространства
f ( X ) = 0 |
f ( X ) = 1 |
f ( X ) = 2 |
||||||
00002 |
00010 |
00021 |
11102 |
00001 |
22201 |
22220 |
00000 |
22221 |
0 |
3 |
3 |
3 |
1 |
7 |
10 |
2 |
9 |
Мощность сигнатуры графа противоречивости равна 0. Следовательно, полученная орбитально непротиворечивая функция f ( x1, x1, x1, x 2 , x 3 ) эквивалентирует заданную функцию f ( x 1’ x 2, x 3 ) , которая реализуется на сотовом нейроне с весами синапсов w1 = 3 , w 2 = w 3 = 1, при этом квазипороги фаз равны номерам орбит, на которых расположены T = { 0,3 } T = { 1,7,10 } T = { 2,9 } соответствующие точки: 0 a , 1 a , 2 a .
Список литературы Проектирование трехзначных цифровых нейронов
- Горбатов, В.А. Фундаментальные основы дискретной математики. Информационная математика. - М.: Наука, Физматлит, 1999. - 544 с.
- Горбатов, А.В. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках. - М.: Физматлит, 2000. - 336 с.
- Калитина, О.С. Математическое и программное обеспечение автоматизированного логического проектирования трехзначных сотовых нейронов. - М.: МГГУ, 2008. - 20 с.