WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 2 | 3 ||

Для любого линейного подпространства E⊆R[X1,..., Xn] рассмотрим множество алгебраических унарных операций, которые переводят элементы E в элементы E:

PE={p∈R[X] | p(g(x1,...,xn))∈E для любого g(x1,...,xn)∈E}.

Предложение 4. Для любого линейного подпространства E⊆R[X1, ... ,Xn] множество полиномов PE является линейным пространством над R, замкнуто относительно суперпозиции и содержит все однородные многочлены первой степени.

Если линейное пространство E содержит 1, а PE включает хотя бы один многочлен, степени m>1 (т.е. нелинейный), то PE=R[X].

Доказательство. Замкнутость PE относительно суперпозиции следует из определения, все однородные полиномы первой степени входят в PE, поскольку E является линейным пространством, отсюда также следует, что PE является линейным пространством. Наконец, если 1∈E и PE содержит многочлен степени m>1, то 1∈PE, тогда PE=R[X] по предложению 1.

Теорема 3. Пусть E⊆R[X1,..., Xn] – линейное подпространство, PE содержит хотя бы один многочлен степени m>1 и 1∈E, тогда E является кольцом (с единицей).

Доказательство. По предложению 4 в условиях теоремы PE=R[X]. В частности, x2∈PE. Это означает, что для любого f∈E также и f2∈E. Поэтому для любых f,g∈E получаем: fg∈E.

Теорема 4. Для любого многочлена p степени m>1

Ep[X1,..., Xn]=R[X1,..., Xn]

Доказательство. Заметим, что E=Ep[X1,..., Xn] – линейное подпространство в R[X1,..., Xn], PE содержит хотя бы один многочлен (p) степени m>1 и E содержит все многочлены первой степени (и поэтому также 1). В силу теоремы 3, E является кольцом, а так как оно содержит все многочлены первой степени, то совпадает с R[X1,..., Xn], поскольку, используя умножение и сложение можно из этих многочленов получить любой.

Таким образом, из p и многочленов первой степени с помощью операций суперпозиции, сложения и умножения на число можно получить все элементы R[X1,..., Xn].

7. Нейронные сети универсальные аппроксимирующие устройства и могут с любой точностью имитировать любой непрерывный автомат

Класс функций, вычислимый с помощью нейронных сетей, замкнут относительно линейных операций. Действительно, пусть есть нейронные сети S1, S2,..., Sk, которые вычисляют функции F1, F2,..., Fk от вектора входных сигналов x. Линейная комбинация α0+α1F1+α2F2+...+αkFk вычисляется сумматором (рис. 2) с весами α0, α1, α2,...,αk, на вход которого подаются выходные сигналы сетей S1, S2,..., Sk. Разница в числе тактов функционирования этих сетей до получения ответа легко компенсируется «линиями задержки», составленными из связей (рис. 6) с единичным весом.

Кроме того, класс функций, вычислимый с помощью нейронных сетей, замкнут относительно унарной операции, осуществляемой нелинейным преобразователем сигнала, входящим в состав нейрона (см. рис. 3, 5): если сеть S вычисляет функцию F, то, подавая выход этой сети на вход нелинейного преобразователя (рис. 3), получим на его выходе функцию φ(F).

Тем самым, по теореме 1 множество функций, вычислимых нейронными сетями с заданной непрерывной нелинейной характеристической функцией, плотно в пространстве непрерывных функций от входных сигналов.

Теперь ‑ об имитации гладких автоматов с помощью нейронных сетей. Если есть возможность с любой точностью приблизить любую непрерывную функцию и нет ограничений на способы соединения устройств, то можно сколь угодно точно имитировать работу любого непрерывного автомата. Покажем это.

Каждый автомат имеет несколько входов (n), несколько выходов (p) и конечный набор (s) параметров состояния. Он вычисляет s+p функций от n+s переменных. Аргументы этих функций ‑ входные сигналы (их n) и текущие параметры состояния (их s). Значения функций – выходные сигналы (их p) и параметры состояния на следующем шаге (их s). Каждый такой автомат можно представить как систему из s+p более простых автоматов (рис. 9). Эти простые автоматы вычисляют по одной функции от n+s переменных. Смена состояний достигается за счет того, что часть значений этих функций на следующем шаге становится аргументами – так соединены автоматы (см. рис. 9).

Таким образом, без потери общности можно рассматривать сеть автоматов как набор устройств, каждое из которых вычисляет функцию нескольких переменных f(x1,...,xn). Этот простой, но фундаментальный факт позволяет использовать предыдущие результаты. Нейронные сети позволяют с любой точностью вычислять произвольную непрерывную функцию f(x1,...,xn). Следовательно, с их помощью можно сколь угодно точно аппроксимировать функционирование любого непрерывного автомата.

Рис. 9. Представление общего автомата с помощью модулей, вычисляющих функции многих переменных от входных сигналов: на верхней схеме представлено функционирование автомата, на нижней он разложен на отдельные модули. Приняты обозначения:

In ‑ входные сигналы, Out ‑ выходные сигналы, S ‑ параметры состояния, T ‑ дискретное время, Out(In,S) ‑ зависимость выходных сигналов от значений входных и параметров состояния, S′(In,S) ‑ зависимость состояния в следующий момент дискретного времени от входных сигналов и текущего состояния, f1-fp ‑ функции переменных (In,S) ‑ компоненты вектора Out(In,S), fp+1-fp+s ‑ функции переменных (In,S) ‑ компоненты вектора S′(In,S), индексами T, T±1 обозначены соответствующие моменты времени.

Главный вопрос этой главы: что могут нейронные сети. Ответ получен: нейронные сети могут все. Остается открытым другой вопрос ‑ как их этому научить

Работа над главой была поддержана Красноярским краевым фондом науки, грант 6F0124.

Литература

1. Колмогоров А.Н. О представлении непрерывных функций нескольких переменных суперпозициями непрерывных функций меньшего числа переменных. Докл. АН СССР, 1956. Т. 108, No. 2. С.179-182.

2. Арнольд В.И. О функциях трех переменных. Докл. АН СССР, 1957. Т. 114, No. 4. С. 679-681.

3. Колмогоров А.Н. О представлении непрерывных функций нескольких переменных в виде суперпозиции непрерывных функций одного переменного. Докл. АН СССР, 1957. Т. 114, No. 5. С. 953-956.

4. Витушкин А.Г. О многомерных вариациях. М.: Физматгиз, 1955.

5. Арнольд В.И. О представлении функций нескольких переменных в виде суперпозиции функций меньшего числа переменных // Математическое просвещение, 19 № с. 41-61.

6. Stone M.N. The generalized Weierstrass approximation theorem. Math. Mag., 1948. V.21. PP. 167-183, 237-254.

7. Шефер Х. Топологические векторные пространства. М.: Мир, 1971. 360 с.

8. Cybenko G. Approximation by superposition of a sigmoidal function. Mathematics of Control, Signals, and Systems, 1989. Vol. 2. PP. 303 - 314.

9. Hornik K., Stinchcombe M., White H. Multilayer feedforward networks are universal approximators. Neural Networks. 1989. Vol. 2. PP. 359 - 366.

10. Kochenov D.A., Rossiev D.A. Approximations of functions of C[A,B]>

11. Gilev S.E., Gorban A.N. On completness of the>

12. Горбань А.Н., Россиев Д.А. Нейронные сети на персональном компьютере. Новосибирск: Наука (Сиб. отделение), 1996. 276 с.


1 660036, Красноярск-36, ВЦК СО РАН. E-mail: amse@cckr.krasnoyarsk.su

Pages:     | 1 |   ...   | 2 | 3 ||



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.