4. Боярский К.К., Каневский Е.А. Язык правил для построения синтаксического дерева // Интернет и современное общество: Материалы XIV Всероссийской объединенной конференции «Интернет и современное общество». - СПб: ООО «МультиПроджектСистемСервис», 2011. - С. 233-237.
5. Леонтьева Н.Н. Автоматическое понимание текстов: системы, модели, ресурсы. - М.: Академия, 2006. - 304 с.
6. Тузов В.А. Компьютерная семантика русского языка. - СПб: Изд-во СПбГУ, 2004. - 400 с.
7. Зализняк А.А. Грамматический словарь русского языка. - М.: Русский язык, 1980. - 880 с.
8. Кузнецов С.А. Большой толковый словарь русского языка. - СПб: Норинт, 1998. - 1536 с.
9. Боярский К.К., Каневский Е.А. Проблемы пополнения семантического словаря // Научно-технический вестник СПбГУ ИТМО. - 2011. - № 2 (72). - С. 132-137.
10. Турдаков Д.Ю. Методы разрешения лексической неоднозначности // Программирование. - 2010. -№ 6. - С. 3-27.
Боярский Кирилл Кириллович
Каневский Евгений Александрович
Стафеев Сергей Константинович
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, кандидат физ.-мат. наук, доцент, [email protected]
Санкт-Петербургский экономико-математический институт РАН, кандидат технических наук, ведущий научный сотрудник, [email protected]
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, доктор техничеких наук, профессор, декан, [email protected]
УДК 004.942
ПРОГРАММНЫЙ ПРОДУКТ MTBEAM ДЛЯ ВИЗУАЛИЗАЦИИ ДИНАМИКИ ОПТИЧЕСКИХ ВОЛНОВЫХ ПАКЕТОВ ИЗ МАЛОГО ЧИСЛА КОЛЕБАНИЙ
Д.А. Кислин, М.А. Князев, В.Ф. Звягин, С.А. Козлов
Разработан программный продукт, включающий в себя визуализатор и программу управления расчетами, способный решать задачи моделирования эволюции полей и спектров электромагнитных волновых пакетов, у которых как пространственный, так и временной спектры могут быть сверхуширенными. Программный комплекс позволяет производить расчеты не только на локальном, но и на удаленном компьютере или суперкомпьютере, а также отображать результаты расчетов в виде диаграмм и графиков. Приведены примеры визуализации расчетов дифракции на щели однопериодного терагерцового импульса.
Ключевые слова: визуализатор, плагин, технология клиент-сервер, волны из малого числа колебаний, сверхуширенный спектр излучения.
Введение
В последние десятилетия благодаря широкому распространению персональных компьютеров, ноутбуков, планшетных электронных устройств, а также развитию технологий параллельных вычислений на суперкомпьютерах стала стремительно развиваться область научных и инженерных задач, связанных с моделированием различных физических и технологических процессов. Результаты таких расчетов чаще всего представляют собой одномерные или многомерные массивы данных, которые требуется визуализировать для того, чтобы сделать некоторое заключение о них. Для решения этой задачи существует немало способов. Задачи, не требующие ресурсоемких вычислений, можно решать с помощью так называемых математических пакетов, т.е. таких программных продуктов, как Mathcad, MATLAB, Octave, Maxima, используя их встроенные средства визуализации данных. Для более сложных задач, требующих вычислений на суперкомпьютерах, можно проводить визуализацию данных, считанных в математический пакет или программу-визуализатор из файла. Однако такой способ представления данных не всегда удобен, особенно если требуется отображать динамику данных в реальном времени.
Для преодоления указанных трудностей в процессе теоретического исследования динамики предельно коротких непараксиальных световых волн, т.е. излучения, спектр которого, как временной, так и пространственный, может быть сверхуширен [1], был создан программный комплекс MTBeam. Одна из его составных частей, MTVisual, представляет собой кроссплатформенный визуализатор, предназначенный для удобного и быстрого представления результатов расчетов динамики оптических пучков. Основные задачи визуализатора как приложения - возможность работы на компьютере или электронном устройстве с практически любой операционной системой, отображение результатов расчетов, проводимых либо на том же самом компьютере, либо на удаленном суперкомпьютере, а также возможность задавать и редактировать настройки расчетов, включая расписание их проведения.
Используемый инструментарий (программные средства)
При создании программного комплекса MTBeam были использованы следующие программные средства.
Инструментом для создания оконного приложения (визуализатора MTVisual) был выбран язык программирования C++ с графической кроссплатформенной библиотекой Qt, что и обеспечило возможность создания исполняемых файлов приложения для различных платформ (операционных систем) [2, 3].
Для отрисовки графиков и диаграмм используется встроенный в Qt API (application programming interface). API - набор готовых классов, процедур, функций, структур и констант, предоставляемых приложением (библиотекой, сервисом) для использования во внешних программных продуктах. Двумерная диаграмма функции - множество точек, абсциссы которых являются допустимыми значениями аргумента х, ординаты - значениями аргумента y, а соответствующее им значение функции соотносится с некоторым цветом согласно выбранной цветовой схеме.
Для отрисовки трехмерных графиков используются возможности библиотеки OpenGL (Open Graphics Library). В основе этой библиотеки находится спецификация, определяющая независимый от языка программирования платформонезависимый программный интерфейс для написания приложений, использующих двумерную и трехмерную компьютерную графику.
В качестве языка программирования для написания математических алгоритмов был взят Fortran. Его преимущество перед другими языками заключается в реализации удобной работы с массивами и наличии встроенных инструкций параллелизации кода [4].
Программный комплекс использует только программное обеспечение, распространяемое по свободным лицензиям.
Визуализатор MTVisual
color 1
X Antialiasing
SmoothPixnnapTransfiomn color 2
Cache background Ж Grid Background color
Subnotch
I
Xrrtn Yr -
-1
-20
Nunn x notch 0
Xmex 5
Упии 2D
T Nunn у notch 0
Рис. 1. Дополнительные настройки двумерной диаграммы
File Edit View Plugin: Help
Wavelength^ :
Дх:
Z coordinate: tO:
t min: tmax: X min: X max:
Spatial power X coordinate:
e:
Initial field type
vt
300,000 um
Î.0A -
r:
-2,00 ps t
20,00 ps
15.0 mm y
0,049 rad С
о ;
) 1/mm t
Ex I Paraxial Error | Paraxial Amplitude Error
1±>]
ËT
L ps
Output
Init Debug in LNPD - Ok
Init Debug in LNPD3D - Ok
Init Debug in WFR - Ok
F: 8,000000
Energy of initial fiele: 54.2-19604
F: 8.000000
Energy of initial fiele: 54.249604
F: 8,000000
Energy of initial field: 54.249604
Energy of nonparaxial field 99.894%
F: 8.000000
Energy of initial fiele: 54.249604
Рис. 2. Окно визуализатора: панель параметров, окно для отображения графиков и диаграмм
и окно вывода отладочной информации
Одной из составных частей разработанного программного комплекса MTBeam является кросс-платформенный визуализатор MTVisual. Он является удобным инструментом для представления данных в виде одномерных и трехмерных графиков, двумерных диаграмм. Во всех режимах отображения имеется возможность настраивать масштаб изображения, цену деления осей, его цветовую схему, включать сглаживание изображения на основе общепринятых методов программной фильтрации, сплайновую интерполяцию отображаемой функции, аппроксимацию (рис. 1). Также присутствует возможность задавать настройки кэширования изображения.
Для удобства численной оценки отображаемой зависимости реализована возможность трассировки кривых и диаграмм - отображение значения под курсором на графиках.
Окно визуализатора разделено на три части (рис. 2) - панель ввода и редактирования параметров расчета, окно для отображения графиков и диаграмм и окно вывода отладочной информации. При использовании MTVisual для визуализации уже имеющихся массивов данных, загруженных из файлов, панель ввода и редактирования параметров не используется. MTVisual также позволяет запускать расчеты с заданными параметрами и отображать результаты по окончании расчета.
Расширение функционала программного комплекса за счет подключения плагинов
Программный комплекс MTBeam включает в себя встроенные плагины для решения определенных задач, связанных с моделированием различных режимов распространения оптических волновых пакетов в диэлектрических немагнитных средах. Эти плагины доступны для выбора в интерфейсе визуализатора. Плагин (plug-in) - независимо компилируемый программный модуль, динамически подключаемый к основной программе. Плагин LNPD (linear nonparaxial diffraction) используется для моделирования дифракционного распространения непараксиальных двумерных пучков в линейных однородных изотропных диэлектрических средах. Плагин WFR (wavefront reconstruction) предназначен для моделирования задач восстановления волнового фронта электрического поля световой волны по его известному распределению на некотором пройденном волной расстоянии. Плагин LNPD_3D расширяет функционал плагина LNPD на случай трехмерных полей и спектров.
Данным набором плагинов функционал MTBeam не ограничивается, так как есть возможность подключения к нему внешних модулей, которые могут проводить расчеты других задач различного рода. Разные задачи можно запускать на выполнение в параллельном режиме при наличии многоядерного процессора.
MTBeam предоставляет API для разработчиков плагинов, который включает в себя необходимые связующие интерфейсы и набор часто используемых в оптике численных методов и алгоритмов, основными из которых являются быстрое преобразование Фурье, метод Симпсона численного интегрирования, интерполяция кубическим сплайном, вычисление различных норм матриц.
Технология клиент-сервер
MTBeam реализует технологию клиент-сервер. Визуализатор является клиентской частью программного продукта, а серверная часть представляет собой программу для управления процессом запуска и расчета задач из плагинов (MTBeam Server). Взаимодействие между клиентской и серверной частью может осуществляться по двум схемам (рис. 3).
MTVisual (client)
Локальный компьютер (server)
MTVisual -
Локальный компьютер
MTBeam Server (распа раллелива ние по ядрам ПК)
Суперкомпьютер
I MTBeam Server Head
Удаленный сервер
!Z
H оды
Менеджер задач
(Управляющий компьютер)
а б
Рис. 3. Упрощенная схема работы программного продукта MTBeam - клиентская и серверная часть находятся на локальном компьютере (а); базовая схема работы программного продукта MTBeam -взаимодействие осуществляется по сети между локальным ПК и суперкомпьютером (б)
На рис. 3, а, изображена упрощенная схема работы программного комплекса MTBeam, согласно которой MTVisual и MTBeam Server работают на одном персональном компьютере (ПК) без использования сети. В этом случае возможности программы могут быть ограничены, поэтому базовым вариантом работы программного продукта является схема, представленная на рис. 3, б. Она предусматривает запущенную программу MTBeam Server на суперкомпьютере, которая взаимодействует с ресурсами опера-
ционной системы для получения информации о загруженности кластера и контролирует запуск и выполнение расчетов для подключившихся по сети (удаленно) клиентов. Суперкомпьютер обычно имеет большое число процессоров, а также большой объем оперативной и постоянной памяти, что является существенным для задач, требующих большого числа одновременно обрабатываемых данных.
Системные требования
Программный продукт MTBeam доступен для следующих операционных систем: Microsoft Windows, GNU/Linux, Apple MacOS.
Рекомендуемые системные требования для запуска и работы визуализатора: 100 Мб свободного места на диске; 1024 Мб оперативной памяти (ОЗУ); процессор с частотой 2 ГГц. Рекомендуемые системные требования для запуска и работы MTBeam Server: 50 Мб свободного места на диске; 2048 Мб ОЗУ; процессор с частотой 2 ГГц.
Примеры визуализированных результатов решений
На рис. 4, 5 представлены иллюстрации результатов моделирования дифракционной эволюции терагерцового пучка электромагнитного излучения из всего одного полного колебания поля на границе среды z = 0 [5],
( , Ч20Л ( , ч2Л
E(х, 0, t) = -E0 exp
-2 I —
х
Дх
exp
-21 —
sin
M =
в виде плоскостных изображений электрического поля Е (х, г, /), полученных в программном комплексе МТВеат. Параметры исходного пучка: центральная длина волны X с = 2лс/юс = 300 мкм; ширина пучка Ах = 3Х с; длительность т = 0,3 пс.
На рис. 4, а, представлен пучок в зоне дифракции Френеля (расстояние г = 100 мкм), смоделированный с использованием параксиального приближения, а на рис. 4, б - без применения параксиального приближения. Максимальная относительная ошибка, которая вычислялась как отношение норм матриц двумерного распределения электрических полей Е (х, /), составляет около 10%.
i 1,00 t 1
0,75 1
0,50
0,25
g 0,00 s
« -0,25_
-0,50
-0,75 И fv
-1,00
0,00 0,80 1,60 2,40 3,20
t, пс
1 1,00 1 )
0,75 i
0,50
0,25 _ \ I
0,00 I
-0,25. I
-0,50_ 1 !
-0,75
-1,00 г
0 1 ,00 0,80 ,60 2,40 3,20
t, пс
б
Рис. 4. Терагерцовый импульс, продифрагировавший на щели, на расстоянии в 100 мкм: с применением параксиального приближения (а); без использования параксиального приближения (б)
На рис. 5 представлены плоскостные изображения поля того же пучка на границе зон дифракции Френеля и Фраунгофера (г = 3 мм). Как видно из рисунка, для волнового пакета с малым поперечным размером, сопоставимым с центральной длиной волны, использование параксиального приближения перестает быть корректным. Максимальная относительная ошибка между результатами, полученными с применением и без применения параксиального приближения, составляет примерно 30%. Заметно, что дифракционная расходимость у пучка в параксиальном приближении проявляется слабее.
а
1 4,50 ^ !
3,00 1
1,50 > V
0,00 |
-1,50 1 1
-3,00
-4,50 - - - ->
0,00 1,50 3,00 4,50 /, пс
а
> 4,50 1
3,00 X
1,50
0,00 ( 1
-1,50 1
-3,00
-4,50 - т 1 .„(_„„! 1—— ->
/, пс б
Рис. 5. Терагерцовый импульс, продифрагировавший на щели, на расстоянии в 3 мм: с применением параксиального приближения (а); без использования параксиального приближения (б)
На рис. 6 изображен график зависимости максимальной относительной ошибки параксиального приближения от пройденного пучком расстояния. Как видно из графика, с пройденным расстоянием она возрастает.
25,00
20,00
С 15,00
10,00
5,00
-.............(.............•+.........4..............А-Э-
0,00 0,75 1,50 2,25 3,00
г, мм
Рис. 6. График зависимости ошибки параксиального приближения от пройденного излучением расстояния
Заключение
Авторами разработан программный продукт MTBeam, предназначенный для задач моделирования дифракционно-дисперсионной динамики полей и спектров электромагнитных волн, в том числе оптических пучков со сверхуширенными временными и пространственными спектрами в диэлектрических средах. Программный продукт реализует технологию клиент-сервер и может проводить расчеты как на локальном, так и на удаленном компьютере или суперкомпьютере. Функционал включает в себя кросс-платформенное приложение-визуализатор и программу управления расчетами. Также имеется возможность подключения пользовательских плагинов для решения различных задач, не включенных в основной дистрибутив продукта.
Приведены примеры расчетов дифракции однопериодного терагерцового импульса на щели и визуализации их результатов средствами MTBeam.
Работа поддержана грантами Министерства образования и науки Российской Федерации (ГК № 16.513.11.3070 и ГК № 16.740.11.0459).
ДИНАМИЧЕСКИЕ ХАРАКТЕРИСТИКИ НЕЙРОСЕТЕВОЙ МОДЕЛИ
Литература
1. Козлов С.А., Самарцев В.В. Оптика фемтосекундных лазеров. - СПб: СПбГУ ИТМО, 2009. - 218 с.
2. Шлее М. Qt 4.5 Профессиональное программирование на C++. - СПб: БХВ-Петербург, 2010. - 896 с.
3. Бланшет Ж., Саммерфилд М. Qt 4: Программирование GUI на C++. - 2-е изд. - М.: КУДИЦ-ПРЕСС, 2008. - 736 с.
4. Немнюгин М.А., Стесик О.Л. Современный Фортран. Самоучитель. - СПб: БХВ-Петербург, 2004. -496 с.
5. Zhang X.-C., Xu. J. Introduction to THz wave photonics. - N.Y.: Springer Science+Business Media, 2009. -249 p.
Кислин Дмитрий Анатольевич
Князев Михаил Александрович
Звягин Виктор Фомич
Козлов Сергей Аркадьевич
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, студент, [email protected]
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, студент, [email protected]
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, кандидат технических наук, доцент, [email protected]
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, доктор физ.-мат. наук, профессор, декан, [email protected]
УДК 519.688+612.76
ДИНАМИЧЕСКИЕ ХАРАКТЕРИСТИКИ НЕЙРОСЕТЕВОЙ МОДЕЛИ ПРОСТРАНСТВЕННОЙ ПАМЯТИ В.А. Ляховецкий, А.С. Потапов
Рассмотрена модель запоминания последовательности движений (пространственных позиций), основанная на гете-роассоциативной нейронной сети. Предложен критерий оценки правильности запомненного материала как числа итераций, необходимого для перехода в устойчивое состояние. Этот критерий хорошо согласуется с психофизиологическими данными и может использоваться для обучения нейросетевой модели без учителя. Предложена интерпретация разных типов ошибок с позиций нелинейной динамики.
Ключевые слова: гетероассоциативные нейронные сети, рабочая память, повторные ошибки.
Введение
Основной функцией памяти является извлечение информации по содержанию, в чем технологии искусственного интеллекта до сих пор существенно проигрывают человеку. В этой связи актуальным представляется сопоставление характеристик компьютерных моделей и памяти человека. В настоящей работе это сопоставление выполняется на примере темпоральной рабочей памяти, которая используется для запоминания и последующего воспроизведения последовательности движений или пространственных положений.
Существуют три класса теорий, рассматривающих кодирование упорядоченной во времени информации [1]. Позиционные теории предполагают, что каждый элемент последовательности хранится в стеке рабочей памяти независимо от других элементов, а воспроизведение элементов в нужном порядке обеспечивается обходом стека предопределенным образом [2]. Популярные в настоящее время теории «соревновательного сцепления» (competitive queuing) являются развитием позиционных теорий. Они также предполагают, что элементы последовательности хранятся в рабочей памяти независимо друг от друга. Порядок воспроизведения элементов определяется «активностью» каждого элемента, определяющейся на протяжении запоминания всей последовательности. Выходные сигналы элементов последовательности конкурируют друг с другом, и только самый «активный» из них может «выиграть» в определенный момент времени. После того как элемент воспроизведен, осуществляется торможение его выходного сигнала, препятствующее его повторному воспроизведению [3]. Теории «последовательного связывания» (chaining) предполагают, что последующий элемент последовательности может быть воспроизведен лишь на основе информации о предыдущем элементе [1]. В настоящее время модели последовательного связывания реализуются на базе искусственных нейронных сетей (ИНС) типа ассоциативной памяти (автоассоциативные сети Хопфилда, гетероассоциативные сети Коско) [4, 5]. Нейросетевые модели позволяют объяснить как электрофизиологические данные, так и когнитивные аспекты рабочей памяти [4].
В нейросетевых моделях элементы последовательности хранятся распределенно, определяя матрицу весов связей нейронов. При использовании простых алгоритмов расчета матрицы весов емкость