WWW.NAUKA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Книги, издания, публикации
 


Pages:     | 1 |   ...   | 3 | 4 || 6 | 7 |

«СБОРНИК ТЕЗИСОВ ЛУЧШИХ ДИПЛОМНЫХ РАБОТ 2013 года МОСКВА УДК 517.6 + 519.8 ББК 22 С23 Данный сборник посвящается 110-летию со дня рождения Андрея Николаевича Колмогорова – выдающегося ...»

-- [ Страница 5 ] --

1. М. Г. Мальковский, А. С. Старостин Модель синтаксиса в системе морфосинтаксического анализа «Treeton» // Ж. Компьютерная лингвистика и интеллектуальные технологии, 2006. С. 481–492.

[HTM] (http://www.dialog-21.ru/digests/dialog2006/materials/ html/Starostin.htm).

2. Синтаксически размеченный корпус русского языка: инструкция пользователя — [HTML] (http://www.ruscorpora.ru/ instruction-syntax.html).

Признаки регулярности бесконтекстных языков, заданных графами Работа удостоена диплома II степени Касимова Анна Артуровна Кафедра алгоритмических языков email: anna.kassimova@gmail.com Научный руководитель: к.ф.-м.н., ст. преп. Вылиток Алексей Александрович Проблема регулярности для контекстно-свободных языков состоит в том, чтобы по данной контекстно-свободной грамматике или магазинному автомату определить, существует ли эквивалентный конечный автомат.

Известно, что проблема регулярности алгоритмически разрешима для детерминированных контекстно-свободных грамматик и магазинных автоКафедра АЯ матов. Известные на сегодняшний день алгоритмы проверки регулярности [1] имеют двойную экспоненциальную временную сложность от размера магазинного автомата. Проверка регулярности заключается в построенни по данному ДМА M детерминированного конечного автомата A и проверке равенства языков, заданных этими автоматами: L(M ) = L(A).

Высокая временная сложность этого алгоритма обусловлена тем фактом, что существуют примеры ДМА с количеством состояний n, для которых n минимальный эквивалентный ДКА имеет более 22 состояний [3].

В связи с этим возникает вопрос: можно ли выполнить проверку регулярности для данного ДМА M, не выполняя построения эквивалентного ДКА? В работе [2] был предложен подкласс графов магазинных автоматов, для которых проверку регулярности можно выполнить за экспоненциальное время от размера графа ДМА. Однако при преобразовании произвольного ДМА к этому подклассу количество состояний может возрастать экспоненциально. Поэтому проблема проверки регулярности ДМА быстрее, чем за двойное экспоненциальное время, остаётся открытой.

В дипломной работе исследуется проблема регулярности для Lграфов — подкласса графовых представлений контекстно-свободных языков [4]. Для L-графов, задающих конечный язык, получена верхняя оценка количества состояний эквивалентного конечного автомата. Для известного ранее достаточного условия регулярности предложен алгоритм проверки и оценка временной сложности этого алгоритма. Также предложен нетривиальный подкласс L-графов, для которого существует критерий регулярности, проверяемый быстрее, чем за двойное экспоненциальное время от размера L-графа.

–  –  –

1. Valiant L. G. Regularity and related problems for deterministic pushdown automata // Journal of the ACM. 1975. Т. 22.

2. Shankar P., Adiga B. S. A Graph-Based Regularity Test for Deterministic Context-free Languages // Theor. Comput. Sci. 1991, Т. 88, с. 117–125.

3. Meyer A. R., Fischer M. J. Economy of description by automata, grammars, and formal systems // Proceedings of the 12th Annual Symposium on Switching and Automata Theory. IEEE Computer Society, 1971, с. 188–191.

4. Л. И. Станевичене. К теории бесконтекстных языков МГУ им. М. В. Ломоносова. Москва. 2000. 165 с. Рукопись деп. в ВИНИТИ РАН 29.05.2000. № 1546 B00.

Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года Информационная система для хранения и обработки свойств научных трудов Работа удостоена диплома I степени Леонова Вероника Олеговна Кафедра алгоритмических языков email: nikaleonova@bk.ru Научный руководитель: к.ф.-м.н., доц. Абрамов Владимир Геннадьевич Магистерская диссертация посвящена исследованию проблемы отсутствия официальных информационных ресурсов, содержащих актуальную и достоверную информацию о российских ученых. Результатом данной работы является создание инновационной модели информационной системы для хранения и обработки свойств научных трудов.

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

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

В данной модели информационной системы осуществляется ручная подача документов на вход программе по обработке и анализу текстов.

В алгоритме работы анализатора учитываются основные использующиеся форматы текстовых документов:.docx,.pdf,.txt,.html и графический формат.jpeg. Все типы документов приводятся к стандартному виду при помощи внешней части системы и далее автоматически анализируются и трансформируются для последующей записи в хранилище данных.

Данная система позволяет собирать и обрабатывать только достоверные источники информации, такие как опубликованные научные статьи.

Загружаемая в хранилище информация проходит несколько автоматических стадий проверки.

Информационная система для хранения и обработки свойств научных трудов предназначена для использования в научных учреждениях для Кафедра АЯ проверки корректности данных о научных сотрудниках и формирования научных коллективов для работы над конкретной задачей.

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

Литература

1. Цивьян Т. В. Исследования по структуре текста. М.: МЦНМО, 1987.

2. Steven S. Skiena The Algorithm Design Manual. NY, 2008.

Библиотечная поддержка стековых вычислительных моделей Работа удостоена диплома III степени Мошкина Анна Владимировна Кафедра алгоритмических языков email: a.v.moshkina@gmail.com Научный руководитель: к.ф.-м.н., доц. Столяров Андрей Викторович Метод непосредственной интеграции является способом объединения возможностей различных языков программирования в рамках одного проекта. Основной идеей этого подхода является моделирование средствами некоторого базового языка конструкций альтернативных языков.

В работе реализуется метод непосредственной интеграции для языков, использующих стековую вычислительную модель. В работе рассмотрены два стековых языка — Forth [1] и Joy [2], — принадлежащих соответственно к императивной и функциональной парадигмам программирования.

Особенностью стековых языков является наличие, помимо стека возвратов, стека результатов, который используется для передачи параметров в функции и возврата результатов их вычисления. Благодаря этому у функций отсутствуют формальные параметры, а программа записывается в постфиксной нотации.

Основным средством, использованным в работе, является библиотека InteLib, предоставляющая средства для реализации и применения метода непосредственной интеграции. На сегодняшний день в состав библиотеки входят модули, позволяющие использовать в проектах на C++ такие языки, как Lisp, Scheme [3], Refal [4], Prolog [5].

Основное внимание в работе уделено языку Joy, поскольку он представляет больший интерес в рамках смежных исследований. Так, для языка Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года Forth была реализована вычислительная модель на уровне прототипа, из которой были заимствованы некоторые идеи при реализации языка Joy.

Для реализации были использованы система типов библиотеки InteLib на основе S-выражений и вычислительная модель на основе продолжений [3], представляющая собой двухстековую виртуальную машину.

Конструкции языка Joy моделируются выражениями языка C++, семантически эквивалентными и синтаксически близкими исходным конструкциям, но тем не менее достаточно громоздкими и требующими написания большого количества вспомогательного кода.

Для упрощения программирования были реализованы интерактивный интерпретатор, являющийся на сегодняшний день единственной поддерживаемой реализацией языка Joy, и транслятор. Транслятор переводит конструкции в оригинальном синтаксисе языка Joy в эквивалентные выражения языка C++, формируя полноценный модуль, который можно включить в проект на языке C++.

По традиции проекта InteLib, транслятор написан на транслируемом языке, то есть на языке Joy, что позволяет использовать его не только для вышеобозначенных целей, но и для демонстрации работоспособности вычислительной модели, а также проверки возможностей реализованной библиотеки. В процессе сборки происходит двукратное самоприменение транслятора, успешность которого позволяет говорить о корректности реализации.

Ниже представлено определение функции быстрой сортировки на языке Joy и фрагмент соответствующего кода на языке C++:

–  –  –

Литература

1. Leo Brodie. Thinking FORTH. A Language and Philosophy for Solving Problems. Englewood Clis, N.J., Prentice-Hall, Inc., 1984.

2. Manfred von Thun. Joy: Forth’s Functional Cousin. Proceedings of the 17th EuroForth Conference, 9 October 2001.

3. А. В. Столяров. Импорт вычислительной модели языка Scheme в объектно–ориенторованное окружение. Сборник статей молодых учёных факультета ВМиК МГУ, № 5. М.: Издательский отдел факультета ВМиК МГУ, 2008, стр. 119–130.

4. И. Е. Бронштейн, А. В. Столяров. Библиотечная поддержка вычислительной модели языка Рефал. Сборник статей молодых учёных факультета ВМиК МГУ, № 6. М.: Издательский отдел факультета ВМиК МГУ, 2009, стр. 36–46.

5. И. В. Струков. Библиотечная реализация Пролог–решателя. Сборник статей молодых ученых факультета ВМК МГУ, № 9, 2012. М.: Издательский отдел факультета ВМиК МГУ, 2012, стр. 235–250.

–  –  –

В [3] начато изучение алгоритмических аспектов поиска универсального знаменателя для решений линейных разностных уравнений; в [4] приводятся методы поиска решений в виде формальных рядов для уравнений в частных производных, которые бывают полезными на практике, но не являются универсальными алгоритмами. В то же время в [2] доказана алгоритмическая неразрешимость задачи распознавания существования ненулевых полиномиальных решений для уравнений, приведенных выше.

В данной работе доказывается алгоритмическая неразрешимость задачи распознавания существования решений в виде рациональных функций для таких уравнений. Также доказывается алгоритмическая неразрешимость аналогичной задачи для решений в виде формальных лорановых рядов в случае дифференциального уравнения.

Для доказательства рассматривается подмножество уравнений вида as Z as (xD)s y(x) = 0, as (x)s y(x) = 0, sS sS и показывается, что они имеют решения в виде рациональных функций и формальных лорановых рядов (в дифференциальном случае) тогда и только тогда, когда они имеют решения некоторого мономиального вида, и что такое мономиальное решение существует тогда и только тогда, когда as xs имеет решение в целых числах. Это позводиофантово уравнение sS ляет применить теорему Девиса-Матиясевича-Патнема-Робинсон (см. [1]) для завершения доказательства.

Как известно (см., например, [5]), существуют алгоритмы поиска всех решений в виде рациональных функций и формальных лорановых рядов линейных дифференциальных и разностных уравнений с полиномиальными коэффициентами в случае одной переменной (m = 1), они реализованы в различных системах компьютерной алгебры. Доказанные в работе теоремы означают, что не имеет смысла рассчитывать на появление такого рода алгоритмов для произвольных m 1.

Также в работе показывается, что аналогичные задачи для решений в виде мономов с вещественными и комплексными показателями ( xt, t Rm и xw, w Cm ) для дифференциальных уравнений разрешимы, и приводятся соответствующие алгоритмы.

–  –  –

2. Abramov S., Petkovsek M. On polynomial solutions of linear partial dierential and (q-)dierence equations. Computer Algebra in Scientic Computing, 14th International Workshop, CASC 2012, Maribor, Slovenia, September 2012, Proceedings, LNCS 7442, 2012. P. 1–11.

3. Kauers M., Schneider C. Partial denominator bounds for partial linear dierence equations. Proceedings ISSAC’2010, 2010. P. 211–218.

4. Aroca F., Cano J. M., Jung F. R. Power series solutions for non-linear PDE’s. In Proceedings of ISSAC’03, p. 15–22. ACM Press, 2003.

5. Абрамов С. А. Элементы компьютерной алгебры линейных обыкновенных дифференциальных, разностных и q-разностных операторов. М: МЦНМО, 2012.

О моделировании сетей с программируемыми правилами коммутации пакетов сетями конечных автоматов реального времени Попеско Ульяна Владиславовна Кафедра алгоритмических языков email: ulya_kiber@mail.ru Научный руководитель: д.ф.-м.н., доц. Захаров Владимир Анатольевич В дипломной работе исследуется возможность верификации программно-конфигурируемых сетей как систем реального времени.

Для проверки спецификаций сетей были выбраны метод верификации программ на моделях и реализующее его программно-инструментальное средство UPPAAL [1]. Данный метод предполагает наличие модели, описывающей систему на определённом уровне абстракции, и позволяет проверить, удовлетворяет ли заданная модель системы формальным спецификациям. В средстве верификации UPPAAL в качестве модели используются сети конечных временных автоматов (параллельные композиции временных автоматов) [2], а формальные спецификации задаются формулами темпоральной логики TCTL.

Идея программно-конфигурируемых сетей (ПКС) сформулирована специалистами университетов Стэнфорда и Беркли в 2006 году [3]. В таких сетях уровень управления отделён от устройств передачи данных и реализуется программно. Наиболее широко применяемым стандартом для построения ПКС является протокол OpenFlow [4]. OpenFlow определяет Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года интерфейс установки гибких правил обработки пакетов на сетевые коммутаторы. Эти правила устанавливаются программируемым контроллером, работающим на отдельном сервере. В коммутаторах содержатся таблицы коммутации с правилами обработки пакетов. Если для пакета в таблице не находится нужного правила, коммутатор отправляет запрос контроллеру на получение нового правила.

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

Предложенная в дипломной работе модель ПКС учитывает некоторый набор требований стандарта OpenFlow, а также физические характеристики коммутаторов и каналов сети. Для формальной модели сети был предложен способ описания с помощью диаграмм, использующих объекты UML. Семантика моделей ПКС оказалась схожей с семантикой сетей временных автоматов, то есть конструкции модели легко описываются конструкциями автоматов. Был разработан алгоритм трансляции, преобразующий компоненты модели ПКС во временные автоматы UPPAAL. Таким образом, транслятор конструирует сеть конечных временных автоматов, моделирующих коммутаторы, контроллер, внешнюю среду и каналы сети.

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

Ввиду высокой сложности получаемых моделей, с помощью средства UPPAAL удаётся верифицировать только небольшие системы из рассматриваемого класса задач. Это связано с экспоненциальным ростом пространства состояний при увеличении числа компонентов сети временных автоматов. Верификация для систем с большим количеством коммутаторов может быть осуществлена, если уменьшить количество учитываемых характеристик коммутаторов и каналов. Успешная проверка свойств средством UPPAAL для моделей, получаемых транслятором, подтверждает состоятельность предложенного подхода к верификации ПКС сетей как систем реального времени.

–  –  –

2. Alur R., Dill D. Automata for modeling real-time systems // Proc. of Int. Colloquium on Algorithms, Languages, and Programming, LNCS, 1990, v. 443, p. 322–335.

3. Casado M., Garnkel T., Akella A., Freedman M., Boneh D., McKeown N., Shenker S. SANE: A Protection Architecture for Enterprise Networks // 15-th Usenix Security Symposium, Vancouver, Canada, August 2006.

4. McKeown N., Anderson T., Balakrishnan H., Parulkar G., Peterson L., Rexford J., Shenker S., Turner J. Openow: Enabling innovation in campus networks // SIGCOMM Computer Communication Review, 2008, v. 38, n. 2, p. 69–74.

Алгоритмы преобразования графовых описаний формальных языков Ростовский Артем Владимирович Кафедра алгоритмических языков email: Rost-AV@mail.ru Научный руководитель: к.ф.-м.н., ст. преп. Вылиток Алексей Александрович В дипломной работе вводится новый способ описания формальных языков – Ln -графы и рассматриваются алгоритмы преобразования Ln графов в классические представления языков (конечные и магазинные автоматы, машины Тьюринга) и обратные алгоритмы.

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

Ln -граф является обобщением графического представления конечного автомата – диаграммы состояний. Вводится n дополнительных скобочных пометок на дугах. Допускаются цепочки из основных пометок путей, у которых цепочки из дополнительных пометок принадлежат языку Дика над алфавитом скобок. Такое обобщение позволяет задавать контекстносвободные языки при n = 1 и рекурсивно-перечислимые при n 1. Приводятся алгоритмы (и доказывается их корректность) для построения L1 графа, задающего тот же язык, что и магазинный автомат, построения магазинного автомата, эквивалентного L1 -графу, и L2 -графа, эквивалентного машине Тьюринга.

Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года Идея алгоритмов заключается в моделировании стека последовательностью скобок.

–  –  –

1. Л. И. Станевичене. К теории бесконтекстных языков. МГУ им. М.

В. Ломоносова. Москва. 2000. 165 с. Рукопись деп. в ВИНИТИ РАН 29.05.2000. № 1546 B00.

2. М. Минский. Вычисления и автоматы. М.: Мир, 1971.

3. Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений. М.: ИД Вильямс, 2002.

528 с.

4. А. Ахо, Дж. Ульман. Теория синтаксического анализа, перевода и компиляции. М.: Мир, 1978.

5. А. Е. Пентус, М. Р. Пентус. Теория формальных языков. Изд-во ЦПИ при механико-математическом ф-те МГУ, 2004.

Методы определения кластеров публикаций в социальных сетях Свиридов Антон Андреевич Кафедра алгоритмических языков email: keynmol@gmail.

com Научный руководитель: к.ф.-м.н. Добров Борис Викторович В дипломной работе проведено исследование методов выделения крупных кластеров публикаций в социальной сети, связанных с определенным событием. Данная задача является особенно актуальной в связи с широким распространением социальных сетей, и тем, что они часто дополняют более традиционные формы СМИ, а нередко и заменяют их. Для исследования были использованы 110 тысяч сообщений из архивов LiveJournal за декабрь 2011 года, предоставленных компанией Яндекс Публикации в социальных сетях в подавляющем большинстве являются короткими текстами, и поэтому могут не иметь лексического пересечения с поисковым запросом, относящимся к событию [2]. Сложности добавляет также и возможность представления описания одного и того же события совершенно разными поисковыми запросами, описывающими некоторые подтемы основного события [3]. Таким образом задачей работы являлось получение метода, максимально полно и точно аппроксимирующего эталонное множество документов(кластер публикаций о событии)

–  –  –

Для улучшения результатов запроса была предложена процедура выбора кластеров на основании того, какие кластеры покрывает множество документов по исходному запросу и насколько они близко по косинусной мере находятся к центроиду результатов поиска. Для получения оптимальных параметров этого алгоритма было исследовано его поведение в Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года зависимости от количества кластеров и значения порога близости. Полученные экспериментальные результаты для оптимального количества кластеров и порога показали превосходство этого метода над расширением запроса на всех запросах - для 30 кластеров значение средней F-меры составило 69.9%(+105% к baseline).

Литература

1. Carpineto C., Romano G. A survey of automatic query expansion in information retrieval //ACM Computing Surveys (CSUR). – 2012. – Т.

44. – №. 1. – С. 1.

2. Diaz F., Metzler D. Improving the estimation of relevance models using large external corpora //Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval. – ACM, 2006. – С. 154-161.

3. Gruhl D. et al. Information diusion through blogspace //Proceedings of the 13th international conference on World Wide Web. – ACM, 2004.

– С. 491-501.

4. MacQueen J. et al. Some methods for classication and analysis of multivariate observations //Proceedings of the fth Berkeley symposium on mathematical statistics and probability. – 1967. – Т. 1. – №. 281-297.

– С. 14.

Генерация лексико-синтаксических шаблонов на основе извлекаемых из текста конструкций Шариков Георгий Феликсович Кафедра алгоритмических языков email: egos_@mail.ru Научный руководитель: к.ф.-м.н., доц. Большакова Елена Игоревна Дипломная работа посвящена созданию программных средств для автоматического извлечения информации (Information Extraction) из текстов на естественном языке. Information Extraction (IE) — быстро развивающееся прикладное направление в области компьютерной лингвистики, изучающее задачи извлечения определенной информации из ЕЯ-текстов — терминов и их отношений, именованных сущностей (имен, персоналий, географических названий) и событий, в которых участвуют выделенные объекты.

В дипломной работе используется метод, основанный на поиске и последующем извлечении из текста языковых конструкций, заданных специальными шаблонами распознавания, отражающими лингвистическую Кафедра АЯ информацию. Для описания шаблонов распознавания используется язык лексико-синтаксических шаблонов LSPL [1], предоставляющий средства описания конструкций естественного языка для их автоматического выделения в тексте с учетом особенностей русского языка. В работе рассматривается расширение языка, позволяющее описывать шаблоны извлечения и шаблоны генерации, которые в совокупности с шаблонами распознавания задают декларативные правила для извлечения информации из распознанной конструкции либо в виде нового шаблона распознавания, либо в виде текстовой конструкции, составленной из элементов распознанной конструкции.

Правила, содержащие шаблон извлечения, позволяют находить, преобразовывать и извлекать из текста нужные языковые конструкции, при этом шаблон извлечения задает элементы извлекаемой конструкции и операции, которые должны быть выполнены над ними. Эти элементы можно преобразовать в любую морфологическую форму либо задавая конкретные значения их морфологических признаков, либо согласовывая одни элементы с другими. Такие возможности удобно использовать при решении задачи автоматизированного построения глоссария (перечня терминов документа с их определениями) — для этого в тексте распознаются определения терминов и извлекаются в канонической форме. Например, правило Term = NG1 NG2c=gen ’мы’ ’называем’ NG3 =text #NG3 ’-’ ’это’ #NG1 NG2 где NG — это шаблон, описывающий именную группу, позволяет получить из фразы направленное движение заряженных частиц мы называем электрическим током определение термина электрический ток — это направленное движение заряженных частиц.

Правила, содержащие шаблон генерации, позволяют генерировать новые шаблоны из элементов (фрагментов) распознанной конструкции. Для этого шаблон генерации содержит ссылки на эти элементы, включая ссылки на слово в той форме, как оно встретилось в тексте, и ссылки на начальную форму слова. В шаблоне генерации возможны также на ссылки значение конкретного морфологического признака слова. Такие шаблоны необходимы при терминологическом анализе текста, который проводится в несколько этапов. Например, найдя все словосочетания вида интеграл Римана, интеграл Лебега, можно извлечь из них фамилии ученых (Риман и Лебег) и автоматически сгенерировать новые шаблоны распознавания, позволяющие затем автоматически распознавать в тексте различные термины с указанными фамилиями, в частности: теорема Римана, сфера

Римана, мера Лебега и т.д. Все это позволяет сделать шаблон INT:

INT = N1интеграл N2c=gen =pattern N1 N2$N2.b, c=gen

Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года В дипломной работе были разработаны процедуры, реализующие обработку рассмотренных выше шаблонов извлечения и шаблонов генерации языка LSPL [1]. Эти процедуры реализованы в виде дополнительных компонентов библиотеки LSPL [2] и могут быть интегрированы в различные приложения по обработке текста. Библиотека доступна для свободного использования, исходный код находится по адресу http://gitorious.org/lspl. Шаблоны извлечения и шаблоны генерации опробованы при создании нескольких приложений, в частности, системы автоматизированного построения глоссариев.

Литература

1. Большакова Е. И., Баева Н. В., Бордаченкова Е. А., Васильева Н. Э., Морозов С. С. Лексико-синтаксические шаблоны в задачах автоматической обработки текстов // Компьютерная лингвистика и интеллектуальные технологии: Труды Международной конференции Диалог ’2007, М.: Издательский центр РГГУ, 2007, с. 70–75.

2. Большакова Е. И., Носков А. А. Программные средства анализа текста на основе лексико-синтаксических шаблонов языка LSPL // Программные системы и инструменты: Тематический сборник, № 11 / Под ред. Королева Л. Н., М.: Изд. отдел факультета ВМиК МГУ имени М.В.Ломоносова; МАКС Пресс, 2010, с. 61–73.

Обработка потоковых слабоструктурированных данных в реальном времени Абакумов Константин Викторович Кафедра системного программирования email: rusabakumov@gmail.com Научный руководитель: д.т.н., проф., гл.н.с. Кузнецов Сергей Дмитриевич В индустрии разработки программного обеспечения существует класс задач, для решения которых необходимо как можно быстрее реагировать на данные, поступающие извне. Обычно требуется осуществлять мониторинг в реальном времени за некоторыми производственными или бизнеспроцессами, в которых часто происходят изменения, и на основе этих изменений выполнять предопределенные действия. Данные от наблюдаемых процессов принято рассматривать как поток событий, соответствующих происходящим изменениям. В современных высоконагруженных приложениях и веб-сервисах также возникают подобные задачи — в частности, требуется решать задачи финансовой аналитики, расчета популярности контента, мониторинга за состоянием веб-сервисов в реальном времени.

Многие из них удобно представлять в виде так называемых непрерывных Кафедра СП запросов, заданных на специальном высокоуровневом языке. Это постоянно выполняющиеся запросы, чей результат обновляется с поступлением новых событий. Важным свойством является то, что результат непрерывного запроса никогда не перевычисляется полностью, а лишь частично обновляется.

Для систем выполения непрерывных запросов важной является возможность интеграции с как можно большим количеством внешних систем, над потоками событий который требуется выполнять запросы. Поэтому важно не ограничивать строгими рамками формат входящих событий, а использовать какой-либо рапространенный слабоструктурированный формат, например JSON [1].

В современных задачах потоковой обработки частота прихода событий может достигать сотен тысяч событий в секунду. Поэтому к системам выполнения непрерывных запросов предъявляются такие требования, как возможность параллельного выполнения, масштабируемость и отказоустойчивость. На сегодняшний день, популярной архитектурой для решения задач, требующих обработки больших объемов данных, является использование кластеров из нероднородных машин без разделяемых ресурсов. В этом случае, со стороны оборудования нет специальной поддержки для параллельных вычислений и вся забота по организации и управлению распараллеливанием ложится на программную часть. В последние годы стали появляться решения, предназначенные для организации параллельных потоковых вычислений в рамках этой архитектуры, такие как S4 [2] и Storm [3]. Но они еще достаточно молоды и на их основе пока не разработано системы, предназначенных для выполнения непрерывных запросов над потоковыми данными.

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

В рамках данной дипломной работы была разработана такая система.

Для задания непрерывных запросов предложен собственный язык. Это связано с тем, что для JSON пока не существует стандартизованного языка для задания непрерывных запросов.

В качестве базы для организации параллельных потоковых вычислений для системы был выбран фреймворк Storm. Он предоставляет разработчику специальную модель программирования, в рамках которой должна быть описана задача потоковой обработки. Выполнение непрерывного запроса было описано c использованием этой модели. Потребовалось разработка подпрограмм для каждого из этапов выполнения запроса, таких как подготовки событий, их фильтрации и группировки. Также были разТезисы лучших дипломных работ факультета ВМК МГУ 2013 года работаны неблокирующие операции и структуры данных для вычисления агрегатных значений и реализации оконной семантики.

При поступлении непрерывного запроса в разработанную систему, по нему строится план выполнения запроса. По нему строится программа для Storm. Во время каждого из этих шагов производится поиск ошибок в запросе. Построенная программа для Storm передается на кластер Storm, где и происходит непосредственное выполнение запроса.

Построенная система была протестирована на запросах, использующих различные функциональные возможности системы. Запуски производились на кластерах из 2-х, 4-х и 8-ми узлов. Была отмечена высокая пропускная способность системы, низкое время задержки при обработке событий, а также масштабируемость при увеличении количества используемых узлов.

Литература

1. JSON. JavaScript Object Notation.

[HTML] (http://tools.ietf.org/html/rfc4627).

2. Neumeyer L., Robbins B., Nair A, Kesari A. S4: Distributed Stream Computing Platform // Data Mining Workshops ICDMW 2010 P. 170– 177.

3. Narthan Marz Storm. Distributed and fault-tolerant realtime computation. [HTML] (http://storm-project.net).

Статическое представление бинарного кода, полученное из набора связанных трасс Работа удостоена диплома III степени Асташкин Глеб Владимирович Кафедра системного программирования email: gleb.astashkin@gmail.com Научный руководитель: к.ф.-м.н., с.н.с. ИСП РАН Падарян Вартан Андроникович В раммках данной дипломной работы рассматривается механизм извлечения статического представления из набора связанных трасс, содержащих машинные команды. Механизм основан на разработанных методах построения двух видов листинга: многослойного расширенного и перемещаемого.

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

высокоуровневое в виде графа потока управления и текстовое в виде листинга машинных инструкций [1].

Кафедра СП При выполнении динамического post-mortem анализа производится исследование трассы, полученной во время выполнения изучаемого бинарного кода. В данном случае трасса представляет собой последовательность выполненных машинных инструкций и состояний регистров процессора.

На основе композиции трасс производится построение межпроцедурного графа потока управления [2].

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

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

Построение перемещаемого листинга производится на основе нижнего слоя многослойного расширенного. Составляющий его набор инструкций непротиворечив в силу определения слоя; в него входят немодифицированные инструкции исходного модуля в силу порядка добавления инструкций.

Главной проблемой построения перемешаемого листинга является выделение среди операндов инструкций значений, являющихся сиволами, замененными на адреса на этапе загрузки.

Данная проблема является в общем случае алгоритмически неразрешимой, т.к. в рамках архитектуры фон Неймана невозможно отличить данные от кода и адреса от данных. Для ее решения был предложен следующий механизм. Производится выделение операндов или частей операндов, которые являются непосредственными Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года значениями, и размер которых равен размеру адреса исследуемой архитектуры. Выделенные значения классифицируются на адреса и данные с помощью двух предложенных эвристик.

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

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

В работе приводится анализ перемещаемого листинга, построенного на основе трасс, снятых во время выполнения утилиты nslookup в рамках ОС Windows 2k. Сравение перемещаемого листинга экземпляра модуля ntdll.dll с результатами дизассемблирования соответсвуюшего бинарного файла средсвами IDA Pro, показывает высокую точность предложенного метода.

Литература

1. Avgerinos T., Schwartz E., Brumley D. BAP: A binary analysis platform. Proceedings of the Conference on Computer Aided Verifcation, 2011.

2. Тихонов А., Аветисян А., Падарян В. Методика извлечения алгоритма из бинарного кода на основе динамического анализа. Проблемы информационной безопасности. Компьютерные системы. №3

2008. стр. 66-71.

Определение тематической направленности текстового содержимого микроблогов Работа удостоена диплома II степени Гомзин Андрей Геннадьевич Кафедра системного программирования email: andrey.gomzin@gmail.com Научные руководители: академик РАН Иванников В.П., Коршунов А.В.

В работе рассматриваются методы тематического моделирования текстов, т.е. методов извлечения тем из коллекции документов. Они позволяют представить документ в виде вектора весов в пространстве тем, что существенно ускоряет процесс обработки текстов.

Кафедра СП В качестве исходных данных для анализа используются тексты микроблогов. Такие тексты имеют свои отличительные особенности. Кроме того, микроблоги – относительно новый источник текстовых данных, который мало изучен на данный момент.

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

В работе рассматриваются существующие тематические модели: Скрытое размещение Дирихле (LDA), Иерархическое скрытое размещение Дирихле (HLDA), Иерархической процесс Дирихле (HDP). Описываются основные методы оценки качества тематических моделей: ручная оценка, оценка качества приложений, использующих тематические модели, перплексия, интерпретируемость. Обзор данных, а также других методов тематического моделирования, представлен в статье [1].

Одной из основных задач данной работы является разработка метода автоматической оценки интерпретируемости тем (т.е. нечетких кластеров семантически связанных терминов), получаемых в результате тематического моделирования. Рассматриваемые методы оценивают интерпретируемость по ключевым словам темы. Выделение ключевых слов из темы является одной из важных проблем. Предполагается, что ключевые слова

– первые k слов, имеющих наибольшую вероятность в теме. В литературе число k фиксировано для всех тем. В данной работе предлагается два новых способа выбора числа k для каждой темы:

–  –  –

Затем для каждой темы вычисляется k из распределения (первый метод). Здесь H – параметр метода.

Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года Оценка интерпретируемости темы по ключевым словам производится с использованием Wkipedia и Google. При оценке с помощью Wikipedia используется поточечная взаимная информация (PMI) – вещественная функция, определенная для двух слов. Она показывает насколько часто два слова вместе встречаются в одной статье Wikipedia. Интерпретируемость оценивается как среднее значение PMI по всем парам различных ключевых слов. При использовании Google интерпретируемость оценивается как логарифм количества результатов выдачи по запросу, составленному из ключевых слов.

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

Дополнительно проводится анализ моделей Скрытое размещение Дирихле (LDA) и Иерархический процесс Дирихле (HDP) с использованием разработанных методов: выводится зависимость интерпретируемости от различных значений параметров данных моделей. Получены следующие выводы:

1. При увеличении количества тем в LDA интерпретируемость тем ухудшается

2. Интерпретируемость получаемых с помощью LDA / HDP тем несущественно зависит от параметра концентрации тем в документе / параметра концентрации первого уровня соответственно

3. При правильном выборе количества тем в LDA, данная модель выдает более интерпретируемые темы, чем HDP

–  –  –

1. Коршунов А., Гомзин А. Тематическое моделирование текстов на естественном языке //Труды Института системного программирования РАН. – 2012.

Кафедра СП Средство вывода методов для планировщика, основанного на иерархических сетях задач, по примерам решений Работа удостоена диплома III степени Коцыняк Артём Михайлович Кафедра системного программирования email: kam.cs.msu@gmail.com Научные руководители: к.ф.-м.н., доц. Малышко Виктор Васильевич, асс. Морозов Владимир Анатольевич В последнее время активно применяется планирование на иерархических сетях задач [1], при котором цель планирования задаётся множеством задач и ограничениями на порядок их выполнения, что можно представить в виде графа или сети. При этом задачи могут быть выполнены непосредственно либо разбиты на подзадачи при помощи методов. От того, как построены методы, зависит количество задач, для которых можно найти решение, а также время поиска этого решения планировщиком. Построение методов вручную связано с определёнными проблемами:

• требуется привлечение экспертов в данной предметной области;

• процесс построения методов может занять длительное время;

• наличие ошибок в методах может привести к невозможности решения ряда задач или к неоптимальным решениям, при этом вероятность возникновения ошибок растёт с увеличением сложности предметной области.

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

Задача дипломной работы состоит в следующем:

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

2. Требуется построить программное средство автоматического вывода методов на основе разработанного алгоритма.

Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года В разработанном в рамках работы алгоритме вывода методов заимствуется идея представления правил декомпозиции для каждой задачи в виде вероятностной модели, использованная в алгоритме Янга-Пана [2].

Такое представление позволило использовать статистические методы для получения правил декомпозиции каждой задачи. Затем проводится поуровневое восстановление структур методов на основе совпадающих последовательностей действий в полученных правилах декомпозиции. Предусловия выведенных методов формируются путём анализа операторов предметной области. В заключение проводится удаление заведомо невыполнимых методов.

Проведено сравнение методов, выведенных разработанным алгоритмом, с методами, полученными в результате работы алгоритма Янга-Пана.

Сравнение показало, что разработанный алгоритм выводит более общие методы, позволяя решать с их помощью большее число задач планирования, а наличие предусловий этих методов приводит к меньшему среднему времени поиска решения задач планирования, чем при использовании методов, выведенных алгоритмом Янга-Пана.

На основе разработанного алгоритма построено программное средство автоматического вывода методов. Методы, полученные в результате работы программного средства, могут быть использованы в планировщиках SHOP и SHOP2 [3,4].

–  –  –

1. Рассел С., Норвиг П. Искусственный интеллект: современный подход, 2-е изд. М.: Вильямс, 2006. 1408 с.

2. Yang Q., Pan R., Pan S. J. Learning recursive HTN-method structures for planning // Proceedings of the ICAPS-07 Workshop on Planning and Learning. 2007.

3. Nau D., Au T.-C., Ilghami O., Kuter U., Murdock J.W., Wu D., Yaman F. SHOP2: An HTN Planning System // Journal of Articial Intelligence Research. 2003. 20. P. 379–404.

4. Nau D., Au T.-C., Ilghami O., Kuter U., Murdock J.W., Wu D., Yaman F. Applications of SHOP and SHOP2 // IEEE Intelligent Systems. 2005. 20. №2. P. 34–41.

Кафедра СП Разработка информационной системы для прокладывания маршрутов в сети междугородного автобусного транспорта Работа удостоена диплома III степени Пантелеев Иван Михайлович Кафедра системного программирования email: yekver@gmail.com Научный руководитель: н.с. Гурьев Дмитрий Евгеньевич Транспорт — неотъемлемая часть жизни людей. В крупнейших городах количество как внутренних, так и междугородных маршрутов может достигать нескольких сотен. Обширные объёмы информации о расписаниях и маршрутах, безусловно, нуждаются как в организации широкого доступа, так и в интеллектуальной обработке.

Целью дипломной работы является создание сервиса по поиску автобусных маршрутов, в том числе – разработка алгоритма планирования маршрутов. Её особенностью является поиск не только прямых рейсов, но и составление маршрута из нескольких различных рейсов, учитывая длительность маршрута, число пересадок, стоимость и другие параметры.

Значимость этих характеристик для пользователя определена при помощи опросов и выражена в виде весовых коэффициентов в целевой функции.

В работе рассмотрены уже существующие аналоги [1-3]. Выяснено, что они не имеют систем планирования сложных маршрутов, возможности визуализации найденных маршрутов и обладают неинформативной выдачей поисковых результатов.

В качестве модели транспортной системы используется ориентированный граф, вершинами которого являются события прибытия рейса в город и отправления рейса из города, а дугами – переезды из города в город, а также интервалы времени ожидания между событиями в одном городе.

Задача поиска k кратчайших путей между двумя фиксированными вершинами является обобщением задачи нахождения одного кратчайшего пути. Она была достаточно хорошо изучена [4-5], и для её решения было предложено несколько алгоритмов. За основу был взят алгоритм Йена [6], который при реализации был оптимизирован с целью увеличения производительности работы. Сервис разработан на основе шаблона проектирования Model-View-Controller, на языке PHP, с использованием библиотек CodeIgniter, jQuery и СУБД MySQL.

В результате работы реализован информационный интернет-сервис по поиску автобусных маршрутов со встроенной функцией автоматизированного планирования составных маршрутов. Сервис имеет пользовательский веб-интерфейс, в котором реализованы исчерпывающая выдача поисковых результатов и возможность визуализации построенных маршрутов. В общем случае, он может использоваться для любой страны или отдельного её региона. Проект является масштабируемым и может не ограничиватьТезисы лучших дипломных работ факультета ВМК МГУ 2013 года ся исключительно автобусной сетью, но также включать в себя и другие виды общественного транспорта.

Литература

1. Программный комплекс «Автовокзал» [HTML] (http://bus.com.ua/).

2. Транспортная информационная система «AVM Travel Network»

[HTML] (http://avm-travel.com/).

–  –  –

4. D. R. Shier. On algorithms for nding the K shortest paths in a network.

Networks, 1979, pp. 195–214.



Pages:     | 1 |   ...   | 3 | 4 || 6 | 7 |

Похожие работы:

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ САХАЛИНСКОЙ ОБЛАСТИ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ДОПОЛНИТЕЛЬНОГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «ИНСТИТУТ РАЗВИТИЯ ОБРАЗОВАНИЯ САХАЛИНСКОЙ ОБЛАСТИ» (ГБОУ ДПО ИРОСО) Публичный доклад «Основные итоги работы ГБОУ ДПО «Институт развития образования Сахалинской области» за 2014 и перспективы развития в 2015 году» ГБОУ ДПО «Институт развития образования Сахалинской области» (ГБОУ ДПО ИРОСО) Южно-Сахалинск, 2015 Утверждаю: Ректор ГБОУ ДПО ИРОСО Шевченко...»

«Оглавление: Благодарности Об авторе Предисловие научного редактора Предисловие партнеров по изданию Предисловие автора Глава 1 По ложному следу Сказка об идеальном менеджере (устаревшая парадигма) Что такое «менеджмент»? Глава 2 Функционалистский взгляд Задачи менеджмента Происхождение теории Код (PAEI) Стили успешного и неправильного менеджмента Суть и смысл Стили менеджмента: производитель (Paei) Управляем железной дорогой Стили менеджмента: администратор (pAei) Видеть сквозь туман Генератор...»

«Эстафета «Речная лента» началась! НИЖНИЙ НОВГОРОД 17 мая в Нижнем Новгороде стартовала российская эстафета «Речная лента». Кампания началась с шествия «Круг памяти мещерскому окуню», организованного Координационным центром движения «Поможем реке» на Мещерском озере. Эта символическая акция проводилась в защиту рыб. Весной в озере погибла практически вся рыба. По словам инспектора рыбоохраны, восстановление займет 3лет. По заключению Комитета охраны природы и управления природопользованием...»

«информационноаналитические материалы Хроника региональной интеграции за III квартал 20 года Н.В. Максимчук Наталья Викторовна Максимчук – руководитель направления Аналитического управления ЕАБР. Степень магистра в области бизнес-администрирования школы бизнеса Университета Астона (Великобритания). Более 0 лет опыта работы в системе ООН со специализацией в области эффективного государственного управления, регионального сотрудничества в Центральной Азии, координации внешней помощи на цели...»

«Мирзакарим Санакулович Норбеков Победи болезни силой духа. Практические приемы самооздоровления и омоложения Серия «Библиотека Норбекова (АСТ)» http://www.litres.ru/pages/biblio_book/?art=8685741 Мирзакарим Норбеков. Победи болезни силой духа. Практические приемы самооздоровления и омоложения: АСТ; Москва; 2015 ISBN 978-5-17-087668-6 Аннотация «Победителем во всем можно стать, лишь победив самого себя», – говорит Мирзакарим Норбеков, мастер науки побеждать. Многие из нас не знают своих сил и...»

«ДОНЕЦКАЯ НАРОДНАЯ РЕСПУБЛИКА ЗАКОН ОБ ОБЕСПЕЧЕНИИ САНИТАРНОГО И ЭПИДЕМИЧЕСКОГО БЛАГОПОЛУЧИЯ НАСЕЛЕНИЯ Принят Народным Советом Заместитель Председателя Донецкой Народной Республики Народного Совета 10 апреля 2015 года Донецкой (Постановление №I-123П-НС) Народной Республики Д.В. Пушилин Настоящий Закон регулирует общественные отношения, возникающие в сфере обеспечения санитарного и эпидемического благополучия, определяет соответствующие права и обязанности государственных органов, предприятий,...»

«Министерство образования Республики Башкортостан Государственное бюджетное образовательное учреждение среднего профессионального образования УФИМСКИЙ ГОСУДАРСТВЕННЫЙ КОЛЛЕДЖ РАДИОЭЛЕКТРОНИКИ УТВЕРЖДАЮ Директор УГКР _А.Г. Карташов «_» 2013г. Отчет за 2012/2013 учебный год 450022, г. Уфа, ул. Генерала Горбатова, Оглавление 1. Общие сведения об учебном заведении 2. Учебно-материальная база 3. Состав преподавателей, мастеров, инструкторов 4. Контингент студентов, трудоустройство выпускников 5....»

«ДАЙДЖЕСТ ВЕЧЕРНИХ НОВОСТЕЙ 18.08.2015 НОВОСТИ КАЗАХСТАНА Встреча с председателем Национального Банка Кайратом Келимбетовым. 3 Встреча с председателем Верховного Суда Кайратом Мами ЭКСПО-2017 открывает перед Казахстаном новые горизонты Научная экспедиция прошла по дорогам казахских ханов Расширение границ ЕАЭС за счет Кыргызстана создаст дополнительные возможности эксперт РЕГИОНАЛЬНЫЕ НОВОСТИ К новому учебному году в Астане откроются три школы В Актау собрали первый урожай с аграрной зоны...»

«Координационный совет по делам молодежи в научной и образовательной сферах при Совете при Президенте Российской Федерации по науке и образованию «Наука, образование и инновации в России: взгляд молодых ученых на проблемы и перспективы» Доклад Совету при Президенте Российской Федерации по науке и образованию Москва – 201 Оглавление Оглавление Введение. «Концептуальный сдвиг: от проблем научной молодежи к проблемам науки и образования. Лидерство и ответственность молодежи» Научная молодежь о...»

«Archaeology and Geology of Ukraine in Regional Context Edited by Masayoshi Yamada and Sergii Ryzhov Center for Obsidian and Lithic Studies (COLS) Meiji University (Tokyo) Taras Schevchenko National University of Kyiv (Kiev) Archaeology and Geology of Ukraine in Regional Context Археология и Геология Украины в Региональном Контексте Edited by Masayoshi Yamada and Sergii Ryzhov Center for Obsidian and Lithic Studies (COLS) Meiji University (Tokyo) Taras Schevchenko National University of Kyiv...»

«Рабочая группа по зубру и бизону Териологического общества при РАН Сводный отчет по результатам обследования состояния популяции зубров В Европейской части России по состоянию на начало 2015 года Учет проводился в рамках ежегодного всероссийского учета зубров. Данные собираются и обрабатываются специалистами рабочей группы из комитета по изучению зубров и бизонов териологического общества при РАН, на основе собственных исследований. Также используются, любезно предоставленные, данные по зубрам,...»

«Академик Константин Васильевич Фролов УДК 621 О.В. ЕГОРОВА, Г.А. ТИМОФЕЕВ АКАДЕМИК КОНСТАНТИН ВАСИЛЬЕВИЧ ФРОЛОВ (к 80-летию со дня рождения) «Всем, что мне удавалось сделать, я обязан прекрасным людям, работающим вместе со мной, я обязан моим друзьям, я обязан моей замечательной семье». К.В. Фролов Академик РАН Константин Васильевич Фролов (фото 1) родился 22 июля 1932 года в городе Кирове Калужской области в семье служащих. Мать – Фролова Александра Сергеевна, была врачом и работала в...»

«В. П. СКИПЕТРОВ АЭРОИОНЫ И ЖИЗНЬ И здание четвертое, переработанное Саранск Типография «Красный Октябрь» У Д К 61 5.8 Б Б К 53. С Вадим Петрович Скипетров Заслуж енны й деятель науки Р о с­ сии, доктор м едицинских наук, проф ессор, член р яд а зар у беж ­ ных А кадем ий наук, почетн ы й член общ ества «Гелиос» имени A. JI. Чижевского, заведую щ ий л а­ бораторией аэроионизации М ор­ довского госуниверситета имени Н. П. Огарева На обложке: акварель A. JI. Чижевского «Весенняя феерия», 1945 г....»

«БИБЛИОТЕКА УРАЛ И ЭКОЛОГИЯ ДАЙДЖЕСТ Составитель: Деева Н.Б. Екатеринбург 2014 ОГЛАВЛЕНИЕ Предисловие.. 3 Экологическая обстановка в Уральском регионе Анализ состояния и перспективы Состояние земельных ресурсов.. 3 Воздушный бассейн.. 5 Водные ресурсы.. 6 Радиоэкологическая обстановка.. 8 Разнообразие и охрана растительного мира. 9 Фауна млекопитающих и ее охрана.. 11 Чрезвычайные ситуации.. 13 Отходы производства и потребления.. 14 Демографическая ситуация.. 15 Заключение..17 Список...»

«A/68/210 Организация Объединенных Наций Генеральная Ассамблея Distr.: General 26 July 2013 Russian Original: Arabic/English/French/ Spanish Шестьдесят восьмая сессия Пункт 69(b) предварительной повестки дня * Поощрение и защита прав человека: вопросы прав человека, включая альтернативные подходы в деле содействия эффективному осуществлению прав человека и основных свобод Международная конвенция для защиты всех лиц от насильственных исчезновений Доклад Генерального секретаря Резюме В своей...»

«СОДЕРЖАНИЕ Литературоведение Беневоленская Н. П. Рассказ Татьяны Толстой Соня : иллюзия нравоописательного контраста 5 Биченова Е. С. Основные мотивы романа Кена Кизи Полет над гнездом кукушки.......... 1 Богданова О. В., Беневоленская Н. П. Сюжет в сюжете (рассказ Сюжет Татьяны Толстой) 18 Гринбаум О. Н. Вторая глава романа Евгений Онегин в гармоническом освещении......... 28 Данкер З. М. Фактор времени, стиля жанра как основополагающая смыслового пространства А. С. Пушкина...»

«УСЛОВИЯ БАНКОВСКОГО ОБСЛУЖИВАНИЯ ФИЗИЧЕСКИХ ЛИЦ В СИСТЕМЕ «1BANK» В КБ «ЮНИАСТРУМ БАНК» (ООО) 1. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ Аутентификация – процедура проверки принадлежности (подтверждение подлинности) Идентификатора Клиенту. Абонентская плата плата за пользование Системой, взимаемая Банком с определенной периодичностью. Банк – КОММЕРЧЕСКИЙ БАНК «ЮНИАСТРУМ БАНК» (ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ). Веб-сайт Банка – корпоративный веб-сайт Банка, размещенный в сети Интернет по адресу...»

«“Интеллектуальное управление природными ресурсами Зеленого пояса Фенноскандии” (IntellGreenBelt) Отчет по оценке и инвентаризации имеющихся природных и рекреационных ресурсов пилотной ООПТ «Государственный природный заповедник «Костомукшский», определению их специализации и брендов. Рекреационное районирование и краткое описание наиболее ценных в рекреационном отношении объектов. Природные условия. Природный комплекс ГПЗ «Костомукшский» включает в себя лесные и водные ресурсы, растительный и...»

«XXV сессия Российского акустического общества, Сессия Научного совета по акустике РАН Содержание Геоакустика УДК 622.831:542:34 А.С. Вознесенский, В.А. Свиридов, Э.А. Эртуганова СЕЙСМИЧЕСКИЙ КОНТРОЛЬ УСТОЙЧИВОСТИ ЦЕЛИКОВ И КРОВЛИ НА РУДНИКЕ С КАМЕРНО-СТОЛБОВОЙ СИСТЕМОЙ РАЗРАБОТКИ Московский государственный горный университет ГОУ ВПО Россия, 119991, Москва, Ленинский проспект, 6 Тел.: (495) 236-95-93; факс: (495) 237-31-63 E-mail: ftkp@mail.ru Рассмотрены результаты компьютерного моделирования...»

«Институт государственно-конфессиональных отношений и права Понкин И.В. Ислам во Франции Москва УДК 321.01 + 342.0 + 35.0 ББК 66.0 + 67.0 + 67.400 П 5 Понкин И.В. П56 Ислам во Франции / И.В. Понкин. – М.: Издательство Учебнонаучного центра довузовского образования, 2005. – 196 с. ISBN 5–88800–291– Настоящее издание представляет собой первую часть большого исследования, посвященного исламу, особенностям и проблемам взаимоотношений между исламом и государством во Франции и в Европе. Автор выражает...»








 
2016 www.nauka.x-pdf.ru - «Бесплатная электронная библиотека - Книги, издания, публикации»

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