Статья
Анализ языка с помощью объектно-атрибутного подхода к организации вычислений
В статье описывается применение объектно-атрибутного подхода (ОАП) к организации вычислений в вычислительной системе (ВС) с управлением потоком данных (ВС dataflow-архитектуры) для создания систем анализа языка (компиляция, интерпретация, смысловой анализ) на примере создания языка программирования для программной модели суперкомпьютерной системы с управлением потоком данных. Показывается, что предложенный подход имеет преимущества перед анализом текста с помощью конечного автомата: бóльший функционал; возможность распараллеливания вычислений и реализации на распределенных ВС; отсутствие семантического разрыва между языком программирования и машинным языком, свойственного современным ВС с управлением потоком команд (ВС controlflow-архитектуры). Описывается также возможное применение ОА-подхода для смыслового анализа естественного языка.
В статье описывается применение для анализа языка объектно-атрибутной (ОА) архитектуры вычислительной системы, разработанной в Московском институте электроники и математики. Приводится описание принципов работы компилятора на базе ОА-архитектуры, реализованного в ходе НИР, выполненной в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы». Показываются преимущества предложенного способа анализа языка, основанного на принципе управления вычислениями с помощью потока данных (dataflow), перед общепринятой в настоящее время теорией конечных лексических автоматов. Обосновывается возможность применения вычислительной системы ОА-архитектуры для анализа естественного (живого) языка. Описываются преимущества предложенной модели перед моделью анализа естественного языка «Смысл-текст», разработанной советским лингвистом Игорем Мельчуком.
В статье описаны принципы математического и имитационного моделирования разработанных в МИЭМ НИУ ВШЭ атрибутной (А) и объектно-атрибутной (ОА) архитектур вычислительных систем (ВС), реализующих принцип управления вычислениями с помощью потока данных (dataflow-парадигма), и результаты имитационного моделирования dataflow-ВС, полученные в рамках выполнения НИР по разработке и моделированию архитектуры суперкомпьютерной dataflow-ВС. Для математического моделирования dataflow-ВС был значительно переработан аппарат сетей Петри с тем, чтобы приспособить его к моделированию вычислительных систем с управлением потоком данных. В результате переработки был предложен новый формализм А-сетей (атрибутных сетей). Для имитационного моделирования dataflow-ВС была разработана среда программирования и имитационного моделирования, основанная на формальном аппарате А-сетей. С использованием разработанной среды было проведено имитационное моделирования ОА-суперкомпьютерной системы.
Статья посвящена описанию реализации управляющего автомата на базе вычислительной системы с управлением потоком данных (dataflow). Структурный автомат обычно входит в состав автоматической системы управления: принимает сигналы с датчиков объекта управления по определенному алгоритму, выдает управляющие сигналы для него. Реализация такого автомата dataflow-базе позволяет, в частности, повысить его технологичность и снизить время его разработки и дает удобный механизм его имитационного моделирования
В статье рассматриваются основы построения моделей измерительных приемников, предназначенных для виртуальных исследований в области ЭМС, в формах, отличных от схемных. Анализируются модели на основе цифровой обработки сигналов, формальные математические модели, а также базирующиеся на графическом программировании. В завершение статьи делается общий вывод о перспективах использования таких моделей при построении системы автоматизированного проектирования, реализующей процедуру виртуальной сертификации радиоэлектронных средств по показателям эмиссии излучаемых радиопомех.
Приведены задания к лабораторным работам и указания к их выполнению на языке Java.
В статье приводится описание милликомандной (атрибутной) архитектуры вычислительной системы (ВС). Архитектура относится к классу dataflow (управления вычислениями с помощью потока данных) и обеспечивает максимальную произвоидтельность ВС, минимальный объем аппаратуры благодаря своей простотате: элементарный формат токена (состоит всего из двух полей); простейший прокол обмеда данными между вычислительными устройствами, входящими в состав ВС; единый интерфейс обмена данными между вычислительными устройствами. Архитектура также обладает свойством масштабируемости и анаптивности.
Труды содержат доклады, представленные учеными из России, Украины, Белоруссии, Казахстана, Эстонии, Узбекистана, Германии, Польши, посвященные актуальным проблемам радиационной физики твердого тела (влияние радиации на физико-химические свойства и структуру металлических, полупроводниковых и диэлектрических материалов, влияние факторов космического пространства на свойства конструкционных и функциональных материалов и покрытий космических аппаратов, радиационно-технологические методы получения материалов, в частности наноматериалов, модифицирования и обработки материалов с целью улучшения их эксплуатационных свойств, создание и получение экологически чистых материалов с низкой наведенной радиоактивностью и др.).
Труды содержат доклады, представленные специалистами из России, Украины, Белорусии, Казахстана, Узбекистана, Германии, Великобритании, Польши по направлениям:«Радиационная физика металлов», «Радиационная физика неметаллических материалов», «Физические основы радиационной технологии» и посвященные разнообразным проблемам радиационной физики твердого тела (процессы прохождения заряженных и нейтральных частиц, рентгеновского и гамма-излучений через вещество, электрон-атомные, атом-атомные, ион-атомные и др. столкновения в твердых телах, ориентационные явления при взаимодействии высокоэнергетических частиц с твердым телом, радиационно-индуцированные и радиационно-стимулированные явления в твердых телах и др.).
Рассматриваются пространства функций на окружности, естественным образом возникающие в гармоническом анализе, и операторы замены переменной (суперпозиции с гомеоморфизмами окружности) в этих пространствах. В работе рассматривается вопрос о том, какие функции обладают тем свойством, что любая их суперпозиция с гомеоморфизмом принадлежит заданному пространству. Рассмотрен также многомерный случай.
Рассматриваются пространства функций на m -мерном торе, преобразование Фурье которых p -суммируемо. Получены оценки норм экспонент деформированных посреством C1 -гладкой фазовой функции. Результаты являются распространением на многомерный случай оценок, полученных автором ранее для одномерного случая в работе «Количественные оценки в теоремах типа теоремы Берлинга--Хелсона» Математический сборник, 201:12 (2010), 103-130.
Рассматриваются пространства функций на окружности таких, что их преобразование Фурье является p-суммируемым. Получены оценки норм экспонент, деформированных посредством C1 -гладкой фазовой функции.
Настоящая книга представляет собой своеобразный расширенный учебник по математической статистике. Данный учебник не ограничен рамками учебного стандарта или вузовской программы --- он предназначен всем, кто интересуется математикой вообще и, в частности, хочет узнать, что такое современная математическая статистика, какие задачи и какими методами она решает, какие результаты в ней уже накоплены, какие проблемы в ней сегодня актуальны; наконец, каковы ее истоки, какой путь она прошла и какие ученые были ее творцами. По замыслу авторов, книга простым и доступным языком рассказывает о математической статистике и одновременно обучает ей. Вся теория объясняется и иллюстрируется на интересных и тщательно подобранных примерах. Книга может служить и задачником, так как содержит большой список упражнений для самостоятельного решения, а также справочным пособием по математической статистике, а в некоторых аспектах --- и по теории вероятностей.
Книга будет интересна преподавателям, аспирантам и студентам естественных и технических вузов, в которых изучается математическая статистика, научным работникам, использующим в своей деятельности методы математической статистики, а также самому широкому кругу любителей математики.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра. Методами степенной геометрии ищутся асимптотические разложения его решений в окрестности его неособой точки z=z0, z0≠0, z0≠∞, при любых значениях параметров уравнения. Показано, что имеется ровно 10 семейств разложений решений уравнения. Все они - по целым степеням локальной переменной z - z0. Из них одно новое; у него произвольный коэффициент при четвертой степени локальной переменной. Одно из семейств однопараметрическое, остальные - двухпараметрические. Доказано, что все разложения сходятся в окрестности (а являющиеся полюсами - в проколотой окрестности) точки z=z0.
В учебном пособии рассматриваются базовые вопросы компьютерной лингвистики: от теории лингвистического и математического моделирования до вариантов технологических решений. Дается лингвистическая интерпретация основных лингвистических объектов и единиц анализа. Приведены сведения, необходимые для создания отдельных подсистем, отвечающих за анализ текстов на естественном языке. Рассматриваются вопросы построения систем классификации и кластеризации текстовых данных, основы фрактальной теории текстовой информации.
Предназначено для студентов и аспирантов высших учебных заведений, работающих в области обработки текстов на естественном языке.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.
В данной работе рассматривается пятое уравнение Пенлеве. Методами степенной геометрии ищутся асимптотические разложения его решений при x → 0. Получено 27 семейств разложений решений уравнения. 19 из них получены из разложений решений шестого уравнения Пенлеве. Среди остальных 8 семейств одно было известно раньше, ещё одно может быть получено из разложения решения третьего уравнения Пенлеве. Новыми являются 3 семейства полуэкзотических разложений, 2 семейства сложных разложений и семейство степенно-логарифмических разложений.