авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


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

«МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА ФАКУЛЬТЕТ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ СБОРНИК ТЕЗИСОВ ЛУЧШИХ ДИПЛОМНЫХ РАБОТ 2009 ...»

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

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

Литература 1. Larus, J., Kozyrakis, C. Transactional memory // Commun. ACM 51, 7 (Jul. 2008), P. 80- [PDF] (http://doi.acm.org/10.1145/1364782.1364800) 2. Harris, T., Marlow, S., Jones, S. P., and Herlihy, M. Composable memory transactions.

Commun. ACM 51, 8 (Aug. 2008), P. 91-100 [PDF] (http://doi.acm.org/10.1145/1378704.1378725) 3. Shavit, N. and Touitou, D. Software transactional memory // Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing (Ottowa, Ontario, Canada, August 20 - 23, 1995). PODC '95. ACM, New York, NY, P. 204-213 [PDF] (http://doi.acm.org/10.1145/224964.224987) 4. Herlihy, M., Luchangco, V., Moir, M., and Scherer, W. N. Software transactional memory for dynamic-sized data structures // Proceedings of the Twenty-Second Annual Symposium on Principles of Distributed Computing (Boston, Massachusetts, July 13 - 16, 2003). PODC '03. ACM, New York, NY, P. 92-101. [PDF] (http://doi.acm.org/10.1145/872035.872048) 5. Scherer, W. N. and Scott, M. L. Advanced contention management for dynamic software transactional memory // Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing (Las Vegas, NV, USA, July 17 - 20, 2005). PODC '05.

ACM, New York, NY, P. 240-248 [PDF] (http://doi.acm.org/10.1145/1073814.1073861) 6. Harris, T. and Fraser, K. Language support for lightweight transactions. SIGPLAN Not. 38, 11 (Nov. 2003), P. 388-402 [PDF] (http://doi.acm.org/10.1145/949343.949340) 7. Dave Dice, Ori Shalev, Nir Shavit. Transactional Locking II // Proceedings of the 20th International Symposium on Distributed Computing (DISC), Stockholm, Sweeden, Sept.

2006. [PDF] (http://research.sun.com/scalable/pubs/DISC2006.pdf) 8. Pascal Felber, Christof Fetzer, Torvald Riegel. Dynamic Performance Tuning of Word Based Software Transactional Memory // PPoPP’08, February 20-23, 2008 [PDF] (http://wwwse.inf.tu-dresden.de/papers/preprint-felber2008tinystm.pdf) 9. Saha, B., Adl-Tabatabai, A., and Jacobson, Q. Architectural Support for Software Transactional Memory // Proceedings of the 39th Annual IEEE/ACM international Symposium on Microarchitecture (December 09 - 13, 2006). IEEE Computer Society, Washington, DC, P. 185-196 [PDF] (http://dx.doi.org/10.1109/MICRO.2006.9) Кафедра СП СИСТЕМА АВТОМАТИЗИРОВАННОГО РАСПАРАЛЛЕЛИВАНИЯ ФОРТРАН-ПРОГРАММ: АНАЛИЗ МНОГОМОДУЛЬНЫХ ПРОГРАММ Катаев Никита Андреевич студент кафедры системного программирования e –mail: diplom@cs.msu.su Научные руководители – д. ф.-м. н., профессор Крюков Виктор Алексеевич и к. ф.-м. н. Поддерюгина Наталия Викторовна Дипломная работа посвящена разработке алгоритмов статического анализа последовательных многомодульных программ и реализации на их основе анализатора для Системы Автоматизированного Распараллеливания Фортран-программ (САПФОР).

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

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

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

В дипломной работе рассматриваются две основные задачи, стоящие перед анализом программ:

анализ циклов на зависимости по данным;

межпроцедурный анализ программ.

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

Это позволило показать NP-полноту решаемой задачи. За счет сужения области решаемых задач была достигнута полиномиальная сложность. Пригодность предложенного алгоритма проверена на тестах NAS.

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

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

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

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

Реализация алгоритма в рамках анализатора для САПФОР позволила проводить его исследование на реальных приложениях. Использование технологий объектно ориентированного программирования помогло создать четко структурированное программное средство. Это в свою очередь позволяет проводить дальнейшее усовершенствование предложенного алгоритма и подключать дополнительные модули анализа, избегая возникновения связанных с этим накладных расходов.

Литература 1. С.С. Гайсарян, В.П. Иванников, А.И. Аветисян. Анализ и трансформация программ.

[PDF] (http://window.edu.ru/window_catalog/files/r56165/62319e1-st06.pdf) 2. Rudolf Eigenmann, Jay Hoeflinger. Parallelizing and Vectorizing Compilers. Jan [PDF] (www.ece.purdue.edu/~eigenman/reports/encyclo.pdf ) Кафедра СП РАЗРАБОТКА ИНТЕРФЕЙСА ПОЛЬЗОВАТЕЛЯ ПАКЕТА ПАРАЛЛЕЛЬНЫХ ПРОГРАММ ДЛЯ ЗАДАЧ ЭЛЕКТРОДИНАМИКИ: СИСТЕМА АНАЛИЗА И ВИЗУАЛИЗАЦИИ Работа удостоена диплома I-ей степени Осипов Артем Валерьевич студент кафедры системного программирования e–mail: out1ander@mail.ru Научные руководители – профессор Крюков Виктор Алексеевич, старший научный сотрудник Головков Сергей Леонардович Дипломная работа посвящена вопросам создания средств, обеспечивающих эффективную поддержку решения задач анализа и представления результатов математического моделирования.

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

Без наличия развитых средств анализа и визуализации невозможна эффективная эксплуатация крупных расчетных комплексов, и, тем более, невозможно «отчуждение»

программного продукта.

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

описание расчетной области на уровне геометрии моделируемой конструкции (и/или описание расчетной области на уровне расчетной сетки) являются метаданными, обеспечивающими логическую интегрированность данных;

шкала модельного времени является метаданными, обеспечивающими хронологическую интегрированность данных;

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

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

Основываясь на данных принципах был разработан прототип системы. Ключевой осбонностью прототипа является возможность построения произвольных сечений.

Тезисы лучших дипломных работ ВМК МГУ 2009 года На основании опыта эксплуатации прототипа был разработан и реализован рабочий вариант системы анализа и визуализации данных. В рабочем варианте было принято решение ограничиться только ортогональными сечениями.

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

Литература А.Н. Андрианов, А.В. Березин, А.С. Воронцов, К.Н. Ефимкин, М.Б. Марков 1.

«Моделирование электромагнитных полей радиационного происхождения на многопроцессорных вычислительных системах» // Математическое моделирование, т.20, N3, 2008, с.98- Андрианов А.Н., Ефимкин К.Н. Подход к параллельной реализации метода 2.

частиц в ячейках // Препринт ИПМ им. М.В.Келдыша, 2009, №9, 24 с.

URL:http//library.keldysh.ru/preprint.asp?id=2009- М.Е.Балашов, В.Д. Горячев, Е.М. Смирнов. Визуализация результатов 3.

численного эксперимента при моделировании нестационарных течений с большим объемом данных в системе HDVIS. Научный сервис в сети Интернет: решение больших задач. Труды Всероссийской научной конференции (22-27 сентября 2008 г., г.Новороссийск). -М.: Изд-во МГУ, 2008, стр. 55-59.

Головков С.Л., Осипов А.В. Система анализа и визуализации данных пакета 4.

параллельных программ для решения задач электродинамики// Препринт ИПМ им.

М.В.Келдыша, 2008, №82, 26 с.

5. P. Altidis Latest version of Tecplot passes one reviewer test [HTML](http://www.designnews.com/article/15747 Latest_Version_of_Tecplot_Passes_One_Reviewer_Test.php).

6. S. Kardia The Graphical Interface [HTML](http://www.nature.com/nature/software/graphs/tecplot.html) J. A. Wass OriginPro 8 — not just for graphics anymore 7.

[HTML](http http://www.scientificcomputing.com/originpro-8-151-not-just-for.aspx) 8. J. A. Wass SigmaPlot 11: Now with total SigmaStat integration [HTML](http://www.scientificcomputing.com/SigmaPlot-11-Now-with-Total-SigmaStat Integration.aspx) 9. J. A. Wass STATISTICA 8 high performance analytic software solutions [HTML](http://www.scientificcomputing.com/STATISTICA-8-review.aspx) Манзон Б. Statistica 5.1: программа для начинающих и профессионалов 10.

[HTML](http http://www.osp.ru/pcworld/1998/03/158779/) Кафедра СП ДИНАМИЧЕСКИЙ КОНТРОЛЬ КОРРЕКТНОСТИ OPENMP-ПРОГРАММ Смирнов Александр Андреевич студент кафедры системного программирования e–mail: AS_47@mail.ru Научные руководители – д. ф.-м. н., профессор Крюков Виктор Алексеевич и к. ф.-м. н. Бахтин Владимир Александрович Дипломная работа посвящена разработке отладчика OpenMP-программ, написанных на языке Fortran 77. Разрабатываемый отладчик должен автоматически обнаруживать в отлаживаемой программе во время ее выполнения два вида ошибок: ошибки общей памяти (data race) и ошибки инициализации.

Стандарт OpenMP [1] позволяет создавать параллельные программы на языках C/C++ и Fortran для вычислительных систем с общей памятью. Он разрабатывался с целью упростить и сделать более удобным процесс распараллеливания программы. Однако, следует быть очень внимательным при использовании технологии OpenMP, т.к. в ней существуют множество конструкций, в которых можно совершить ошибку, результатом которой может стать неверное выполнение программы. Наиболее частыми и трудно обнаруживаемыми ошибками, допускаемыми при использовании OpenMP, являются ошибки общей памяти и инициализации. Они могут возникнуть при неправильном указании класса переменной (общей или приватной).

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

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

На данный момент существуют коммерческие инструменты отладки, позволяющие находить ошибки общей памяти и взаимной блокировки (deadlock). Наиболее известны и распространены отладчики Intel Thread Checker [2] и Sun Thread Analyzer [3]. Они обладают примерно одинаковыми характеристиками, и их общий недостаток заключается в очень больших требованиях к ресурсам вычислительной системы во время отладки программы, что не позволяет применять данные инструменты для отладки промышленных программ с реальными данными. Кроме того, эти инструменты являются коммерческими, их исходный код и использованные алгоритмы не доступны для исследования и оптимизации.

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

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

Реализованный на основе разработанных в дипломной работе алгоритмов отладчик был сравнен с отладчиком Intel Thread Checker на одной и той же отлаживаемой программе и показал практически такую же скорость работы.

Дальнейшая работа над отладчиком может быть сосредоточена на его оптимизации.

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

Литература 1. OpenMP Application Program Interface Version 2.5 May [PDF](http://www.openmp.org/mp-documents/spec25.pdf) 2. Intel Thread Checker 3.1 – Documentation [PDF](http://software.intel.com/en-us/articles/intel-thread-checker-documentation/) 3. Sun Studio 12: Thread Analyzer User'sGuide. [HTML,PDF](http://docs.sun.com/app/docs/doc/820-0619) Кафедра СП ИССЛЕДОВАНИЕ И РАЗРАБОТКА МЕТОДОВ АВТОМАТИЧЕСКОГО ИЗВЛЕЧЕНИЯ СЕМАНТИЧЕСКИХ ОТНОШЕНИЙ ИЗ ТЕКСТОВ Сысоев Андрей Анатольевич студент кафедры системного программирования e–mail: sysoev.msu@gmail.com Научный руководитель – к.ф.-м.н. Лизоркин Дмитрий Алексеевич Данная дипломная работа посвящена исследованию и разработке методов автоматического извлечения семантических отношений из текстов. Под извлечением семантического отношения понимается определение в тексте пар имен сущностей, состоящих в данном отношении (связи). Примеры семантических отношений – «работать_на» (имя человека и его место работы), «создана_в» (название организации и дата ее создания).

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

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

Предложенный в данной работе метод состоит из двух этапов:

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

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

Решение о включении каждой пары имен в результирующее множество принимается на основании:

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

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

3. точности соответствия предложения примененному шаблону.

Для расчета семантической близости между словами языка используется алгоритм распространяющейся активности на семантической сети [1]. Семантическая сеть строится на основании словаря языка.

Предложенный метод извлечения семантических отношений из текстов был реализован и показал достаточно высокую точность (70 %) на тестовых данных для отношения «работать_на».

Литература 1. Kozima H., Furugori T. Similarity between Words Computed by Spreading Activation on an English Dictionary // Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics. Morristown, NJ, USA: Association for Computational Linguistics, 1993. P. 232-239.

Тезисы лучших дипломных работ ВМК МГУ 2009 года МОДЕЛИРОВАНИЕ РАСПРЕДЕЛЕНИЙ ПРИРАЩЕНИЙ ФИНАНСОВЫХ ПОКАЗАТЕЛЕЙ С ПОМОЩЬЮ РАСПРЕДЕЛЕНИЙ ЭКСТРЕМАЛЬНЫХ ЗНАЧЕНИЙ Работа удостоена диплома II-ей степени Дучицкий Игорь Александрович студент отделения бакалавров прикладной математики и информатики e–mail: duchik@gmail.com Научный руководитель – профессор Королев Виктор Юрьевич В выпускной квалификационной работе рассматривается приложение асимптотической теории макс-обобщенных процессов Кокса, позволяющих учитывать неоднородность времени на биржах, к моделированию эволюции процентных приращений финансовых показателей. Решалась следующая задача. По скачкам дневных приращений индекса S&P 500 с 03.01.1950 по 17.04.2009, превосходящим выбранный порог, оценить значение квантильной меры риска VaR (value at risk) из условия ( M (t ) VaR (t )), где M (t ) - макс обобщенный процесс Кокса.

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

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

Также было установлено, что среднее число превышений порога N (t ) для рассматриваемой выборки ведет себя существенно нелинейно, более того, экспоненциально, а внешние случайные воздействия, объясняющие большой разброс вокруг среднего, распределены логнормально.

Методом максимального правдоподобия оценены все параметры модели и найдены предельное распределение и нормирующая функция. В результате построена функция VaR (t ) и приведены ее графики для 0,99 и 0,95.

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

Литература 1. Королев В.Ю., Соколов И.А. Математические модели неоднородных потоков экстремальных событий. М.: ТОРУС ПРЕСС, 2008.

2. Gilli M., Kllezi E. An Application of Extreme Value Theory for Measuring Financial Risk.

// Computational Economics. 2006. 27. N 2-3. P.207-228.

3. Yahoo! Finance [HTML, CSV] (http://finance.yahoo.com/) Отделение бакалавриата МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ РАЗВИТИЯ ГОРОДОВ Работа удостоена диплома I-ей степени Симакова Ольга Константиновна студентка кафедры математической физики e–mail: mona.sabbath@gmail.com Научные руководители – профессор Дмитриев Владимир Иванович, д.ф.м.н.

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

Построена статистическая модель, в соответствии с которой плотность вероятности а 4 аx p ( x) e распределения городов по их численности имеет вид. Полученная плотность позволяет нам вычислять прогнозируемое количество городов с определенной численностью населения, а так же на основании данных за некоторый период времени делать выводы о динамике развития городов.

Вероятностная модель рассмотрена на примере городов России по данным последних переписей населения. Методом наименьших квадратов подобраны параметры модели для каждой переписи, сделаны выводы о динамике развития городов: наиболее быстро развиваются крупнейшие города, остальные города развиваются медленнее. Происходит смещение распределения в сторону более крупных городов. На данный момент темпы роста и развития городов снижены по сравнению с серединой прошлого века. Был построен прогноз распределения городов по их численности на 2010 год. Показано, что по сравнению с 2002 годом прогнозируемое количество крупных городов увеличилось.

Модель «ранг-размер» также рассмотрена применительно к городам России. Взяты данные последних пяти переписей населения, города отсортированы по убыванию и пронумерованы. Построен график зависимости численности населения города от его номера в списке и проверено соответствие правилу ранг-размер. Отклонения наблюдаются для самых крупных и самых малых городов, большинство же городов хорошо ложится на теоретическую прямую.

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

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

Литература 1. В.А.Шупер Территориальная самоорганизация общества. [HTM] (http://spkurdyumov.narod.ru/shuper.htm) 2. А.В. Подлазов Закон Ципфа и модели конкурентного роста [HTM] (http://spkurdyumov.narod.ru/conf2007ipm.htm) 3. Население России 2005: Тринадцатый ежегодный демографический доклад - М. Изд.

Дом ГУ ВШЭ, 2007, 245с Тезисы лучших дипломных работ ВМК МГУ 2009 года РАЗРАБОТКА ГЕНЕРАТОРА ДОЛЖНОСТНЫХ ИНСТРУКЦИЙ Работа удостоена диплома II-ей степени Максимов Дмитрий Александрович студент кафедры алгоритмических языков e–mail: maximov.dmit@gmail.com Научный руководитель – профессор Соловьев Сергей Юрьевич Выпускная квалификационная работа посвящена разработке и реализации удобного и простого в использовании приложения, существенно облегчающего и максимально автоматизирующего процесс составления должностных инструкций, в условиях минимальных затрат производственных ресурсов. Данный тип документов содержит в себе формальное описание обязанностей и качеств каждой должности, закрепляющееся за любым из сотрудников организации. Содержащаяся в должностных инструкциях информация успешно используется для достижения многих целей, связанных с организацией делопроизводства.

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

В генераторе реализованы следующие возможности:

- Задание наименований должностей и их подчиненностей.

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

- Задание бизнес-процессов, которыми владеет и в которых участвует должностное лицо.

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

- Генерация штатного расписания.

Создание поддиректорий html и doc в директории, содержащей приложение.

- Генерация *.html и *.doc версий должностных инструкций и размещение их в соответствующих поддиректориях.

Литература 1. Кадровое делопроизводство. – Березина Н.М., Бахарева М.М., изд. Питер, 2009 г., стр., ISBN: 978-5-91180-617- 2. Профессиональное программирование на VBA в Excel 2003. – Уокенбах Джон, изд.

Диалектика, 2005 г., 800 стр., ISBN:5-8459-0771- 3. HTML справочник. – Городулин В., [HTML] (http://html.manual.ru/) 4. Трудовой кодекс Российской Федерации. – [HTML] (http://www.consultant.ru/popular/tkrf/) Отделение бакалавриата РАСПРЕДЕЛЕННАЯ СИСТЕМА ЗВУКОВОГО ВЕЩАНИЯ НА ОСНОВЕ ДАТЧИКОВ ПРИСУТСТВИЯ Работа удостоена диплома I-ей степени Гречка Дмитрий Андреевич студент отделения бакалавров информационных технологий e–mail: dmitry.grechka@gmail.com Научный руководитель – старший преподаватель Березин Сергей Борисович Квалификационная работа посвящена созданию распределенной системы звукового вещания, реагирующей на окружающие систему условия, а именно на присутствие пользователя вблизи отдельных узлов системы.

Реакция заключается в подключении и воспроизведении звукового потока или его отключении станциями вещания в соответствии с присутствием пользователя. Определение присутствия пользователя осуществляется с помощью активных инфракрасных датчиков, выпускаемых компанией Toradex. В основе архитектуры системы лежит компонент CCR and DSS environment, входящий в состав Microsoft Robotics Studio. Данные программные средства были выбраны вследствие сходства разрабатываемой системы с программным обеспечением для управления роботами. В произвольные моменты времени в системе могут возникать различные события, которые требуется своевременно и асинхронно обрабатывать. Также, данная архитектура позволяет максимально эффективно использовать SMP архитектуру компьютеров, на которых установлены компоненты системы. В системе предусмотрена станция управления, единовременно выдающая команды всем подключенным к ней станциям вещания. Система легко масштабируема, поддерживает подключение различных датчиков присутствия, основанных на различных физических принципах.

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

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

Литература 1. Официальный сайт «Concurrency and Coordination Runtime and Decentralized Software Services»

http://www.microsoft.com/ccrdss/ 2. Диссертация Roy Thomas Fielding «Architectural Styles and the Design of Network-based Software Architectures»

http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm 3. Andrew Troelsen C# and the.NET platform Тезисы лучших дипломных работ ВМК МГУ 2009 года СИСТЕМА МОНИТОРИНГА ДВИЖЕНИЯ ОБЩЕСТВЕННОГО ТРАНСПОРТА Работа удостоена диплома II-ей степени Мухаметдинова Людмила Рафисовна e–mail: lucymu@gmail.com Научные руководители – Березин Сергей Борисович, Корухов Станислав Васильевич Цель дипломной работы - обеспечить отображение с помощью мобильного устройства ближайших остановок общественного транспорта на карте и реального времени прибытия к остановке выбранного пользователем транспорта.

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

Система состоит из двух модулей:

серверной части (базы данных, информация в которой постоянно обновляется за счт актуальных данных о движении каждой единицы транспорта) пользовательского интерфейса для Pocket PC (веб страница) Схема системы Литература 1. Virtual Earth Developer Center http://www.microsoft.com/virtualearth/developers/ 2. Сычев А.В. «Web – технологии. Создание мобильных веб-приложений при помощи ASP.NET»

3. Официальный сайт специальной выставки «Общественный транспорт 2009»

4. Юзабилити Бюллетень. Выпуск № 15 «7 правил юзабилити веб-сайтов, предназначенных для мобильных устройств»

Отделение бакалавриата ЭФФЕКТИВНОЕ ВНЕДРЕНИЕ ФЛЭШ-ПАМЯТИ В АРХИТЕКТУРУ РЕЛЯЦИОННЫХ СУБД.

Работа удостоена диплома I-ей степени Жеребцов Константин Александрович бакалавр IV курса по направлению «информационные технологии»

E–mail: likaservice@gmail.com Научный руководитель – профессор Кузнецов Сергей Дмитриевич В данной работе был последовательно рассмотрен весь комплекс вопросов, связанных с применением современных видов флэш-памяти в архитектурах реляционных СУБД.

В ходе исследования было дано подробное описание внутреннего логического устройства флэш-памяти и приведены результаты тестирования модулей NAND SSD (наиболее пригодных для массового хранения данных). Были подробно рассмотрены ограничения и технологические трудности, потенциально возникающие при замене жестких дисков на устройства флэш-памяти в реляционных СУБД.

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

Однако, ряд алгоритмов и схем по работе с памятью требуют доработки. Так, в работе рассмотрена модель с трехуровневой организацией иерархии памяти (наиболее актуальной на сегодняшний день). Кроме того, предложен конкретный алгоритм оптимальной организации хранения данных на всех трех уровнях иерархии, а также, сбора статистики для определения объемов данных с разной степенью востребованности. Другой важной задачей организации данных в разделах флэш-памяти является проблема «сборки мусора» и эффективного выделения свободных блоков в разделах флэш-памяти.

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

Литература 1. Chi Zhang, Xiang Yu, Arvind Krishnamurthy, and Randolph Y. Wang. Configuring and Scheduling an Eager-Writing Disk Array for a Transaction Processing Workload. In FAST02, January 2002.

2. Chiang M L, Paul C H, Chang R C, Manage flash memory in personal communicate devices, In Proceedings of IEEE International Symposium on Consumer Electronics, 1997.

3. F. Douglis, F. Kaashoek, B. Marsh, R. Caceres, K. Li, and J. Tauber, Storage alternatives for mobile computers, In Proceedings of 1994 Symposium on Operating Systems Design and Implementation, November 1994.

4. Goetz Graefe, Ann Linville, and Leonard D. Shapiro. Sort versus Hash Revisited. IEEE Transactions on Knowledge and Data Engineering, December 1994.

5. Goetz Graefe. Write-Optimized B-Trees. In Proceedings of the 30th VLDB Conference, Toronto, Canada, September 2004.

6. Gray, J., Fitzgerald, B. Flash Disk Opportunity for Server-Applications.

7. Kawaguchi, S. Nishioka and H. Motoda, "A Flashmemory based file system", Proceedings of the 1995 USENIX Annual Technical Conference, 1995.

8. Kim H J, Lee S G, A new flash memory management for flash storage system, In Proceedings of the Computer Software and Applications Conference, 1999.

9. M. Wu and W. Zwaenepoel, "eNVy: a non-volatile, main memory storage system", Proceeding of the 6th International Conference on Architectural Support for Programming Languages and Operation Systems (ASPLOS), 1994.

10. Sang-Won Lee, Bongki Moon, Design of Flash-Based DBMS: An In-Page Logging Approach.

11. T. Blackwell, J. Harris, and M. Seltzer, "Heuristic cleaning algorithms in log-structured file systems", Proceedings of the 1995 Annual Technical Conference.

12. W. Wang, Y. Zhao, and R. Bunt, "HyLog: A High Performance Approach to Managing Disk Layout", Proceedings of the USENIX Conference on File and Storage Technologies (FAST).

Отделение магистратуры БЕЗОПАСНАЯ ПЕРЕДАЧА СООБЩЕНИЙ В СЕТЯХ С ИСПОЛЬЗОВАНИЕМ СЕТЕВОГО КОДИРОВАНИЯ Работа удостоена диплома I-ей степени Котов Иван Евгеньевич студент магистратуры e-mail: forivan@ya.ru Научный руководитель – к.ф.м.-н. Карпунин Григорий Анатольевич Магистерская работа посвящена новой научной дисциплине - сетевому кодированию (network coding).

В литературе принято отсчитывать е начало со статьи Альсведе, Кай, Ли и Йенга "Сетевой информационный поток" [1], опубликованной в 2000 г., где и был введен сам термин сетевого кодирования. К сожалению, русскоязычных исследований на данную тему автору не удалось найти, что и послужило причиной самостоятельного изучения сетевого кодирования в течение обучения в магистратуре.

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

Пусть имеется коммуникационная сеть, заданная направленным графом G=(V,E). Ребра могут быть кратные, пропускная способность у всех одинакова и равна единице информации за единицу времени. В сети должен иметься хотя бы один источник - узел без входящих ребер. Для каждого узла T пусть In(T) обозначает множество входящих в T каналов, а Out(T) - множество исходящих каналов. За In(S) примем множество мнимых каналов, которые входят в источник, но не имеют узла, из которого исходят.

Дадим определение линейного сетевого кода [3]: пусть F конечное поле, а r положительное целое. r мерный линейный сетевой код над полем F в сети без циклов состоит из скаляров kd,e F, приписанных каждой смежной паре рбер (d,e), по которым строятся векторы-столбцы fe, приписанные каждому ребру e, т.ч выполняются условия:

k fd, (1) fe = e Out(T);

d,e d In (T ) In(S) образуют естественный базис в Fr.

векторы fe для r мнимых каналов e (2) Модель атаки определяется следующим образом. Злоумышленник может подслушивать некоторое множество каналов Ai из заданного набора множеств A. Возможности злоумышленника подчинены пороговому ограничению k на множество единовременно доступных для прослушивания каналов: i |Ai| = k. С другой стороны, мы позволяем ему выбирать множество каналов для прослушивания на каждом такте передачи, что отличается от рассмотренных условий в статье Бхаттада и Нараянана [2]. Данную особенность назовем динамической редислокацией.


Тезисы лучших дипломных работ ВМК МГУ 2009 года Пусть задана сеть, в которой происходит мультивещании на скорости r, и источник S отсылает информацию X(t)=(x1(t),..., xr(t))T в момент времени t, а M - полученная злоумышленником информация.

Слабая безопасность определяется взаимной информацией: I({xi(t)};

M) = 0, t=1.. i. Пусть SDi есть самый длинный путь в графе G от источника S к получателю Di. Назовем числом тактов доставки максимум из длин путей SDi: = max |{ e E:e SDi }| i Утверждение 1. Пусть дан линейный сетевой код над полем Fq в сети без циклов G, имеющий скорость передачи, равную r. И пусть имеется злоумышленник, прослушивающий некоторое множество каналов Ai из набора A по правилу динамической редислокацией в случае предельного порогового ограничения со значением k=1 на множество доступных каналов. Тогда, если число тактов доставки меньше, чем скорость передачи, r, то существует матрица преобразования C (r r), которая при применении к источнику делает сетевой код безопасным в слабом смысле. Матрица C определена над полем Fq m, qmr C|E|qm qm(r 1).

Утверждение 2. Пусть дан линейный сетевой код над полем F в сети без циклов G, имеющий скорость передачи, равную r. И пусть имеется злоумышленник, прослушивающий сеть по правилу динамической редислокации в случае порогового ограничения со значением k на множество доступных каналов. Тогда, r если код безопасен в слабом смысле, то выполняется соотношение.

k Литература 1. Ahlswede R., Cai N., Li S-Y.R., Yeung R.W. Network Information Flow // IEEE Transactions On Information Theory,2000. Vol. 46, N. 4. P. 1204-1216.

2. Bhattad K., Narayanan K. Weakly Secure Network, Proc. First Workshop on Network Coding, Theory and Applications (NetCod‘05). Preprint. 2005. 6 p.

3. Yeung R.W., Li S-Y.R., Cai N., Zhang Z. Network Coding Theory. Now Publishers Inc., 2006. p.

Отделение магистратуры ИССЛЕДОВАНИЕ ПАРАМЕТРОВ БУЛЕВСКИХ ФУНКЦИЙ, БЛИЗКИХ К НЕЛИНЕЙНОСТИ Работа удостоена диплома I-ей степени Омаров Рустам Рамазанович студент магистратуры e–mail:rustamomarov@ya.ru Научный руководитель – профессор, д.ф. - м.н. В. Б. Алексеев Булевы функции широко применяются в криптографии. Представляет интерес изучение классов булевых функций, обладающих экстремальным значением криптографических свойств.

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

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

Пусть n N - произвольное натуральное число. Vn - векторное 0,1 0, пространство наборов длины n с компонентами из 0,1. Пусть f Fn - булева функция от n переменных, f : Vn 0,1.

Определение 1. Расстоянием от булевой функции f до булевой функции g называется величина dist( f, g ) g ), где wt ( f g ) равно количеству единиц в векторе значений wt ( f булевой функции f g.

Определение 2. Пусть M, M Fn - произвольные подмножества из Fn. Расстоянием от множества M до множества M называется величина dist M, M min dist f, g.

fM gM При M f будем писать dist f, M.

Функцию вида la,b ( x ) b, где a Vn, b 0,1, будем a1 x1 an xn b a, x называть аффинной. Множество всех аффинных функций обозначим через An.

Определение 3. Расстояние от булевой функции f Fn до множества An называется нелинейностью функции f и обозначается через nl( f ).

Известно 1, что для любой булевой функции ее нелинейность f Fn 2n 2n / 2 1.

nl ( f ) Тезисы лучших дипломных работ ВМК МГУ 2009 года Определение 4. Функция f Fn называется максимально-нелинейной функцией, если ее нелинейность nl( f ) достигает максимально возможного для функции из Fn значения.

Обозначим через множество функций вида g x1,, xn, y1,, y n AE 2 n F2 n c, где для 0 nи0 t g x1,, xn, y1,, yn xi1 xik y j1 y jt k n a, x b, y и I2 j1,, jt - произвольные подмножества (возможно пустые) множества i1,, ik I 1,, n, a, b Vn - произвольные вектора и c 0,1 - произвольная константа.

S Через обозначим множество функций от переменных вида f F2 n M 2n ( y ), где x, y Vn, Vn взаимнооднозначное отображение и f ( x, y ) ( y ), x : Vn Fn - произвольная булева функция от n переменных. Семейство функций Мэйорана – Мак-Фарланда M является семейством максимально-нелинейных функций 1.

В магистерской диссертации исследуется величина dist AE 2 n, f для M.

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

Теорема 1. Пусть f M - произвольная функция из семейства Мэйорана – Мак-Фарланда, тогда dist f, AE2n 22n 2 2n 1.

Лемма 1. Пусть f M - произвольная функция из семейства Мэйорана – Мак-Фарланда, тогда dist f, AE 2n 22n 3 2n 2.

Также было показано, что эти оценки достижимы.

Теорема 2. Верно равенство dist AE2n, M 22n 3 2n 2.

Теорема 3. Существуют функции f M, для которых dist f, AE2n 22n 2 2n 1.

Литература 1. Логачв О.А., Сальников А.А., Ященко В.В. Булевы функции в теории кодирования и криптологии. М.:Изд-во МЦНМО, 2004.

Отделение магистратуры ОЦЕНКА СВОЙСТВ ТИРАЖИРУЕМЫХ ПРОГРАММНЫХ ПРОДУКТОВ Стельмашенко Дарья Евгеньевна Студентка кафедры алгоритмических языков e-mail: dashanikolaeva@rambler.ru Научный руководитель - Профессор, д.ф.- м.н. Соловьев Сергей Юрьевич Дипломная работа посвящена вопросу тиражируемости программных продуктов.

Известно, что существует множество стандартов качества программных продуктов, как международных (ISO/IEC 9126, ISO/IEC 14598, ISO 25000), так и отечественных (ГОСТ 9126), но все они лишь предусматривают методики построения метрик и характеристик, оставляя при этом за кадром целый ряд существенных факторов, зачастую сильно влияющих на успех того или иного проекта. Для определения критериев тиражируемости программного обеспечения (ПО) в данной работе были рассмотрены определенные характеристики некоторых юридических программ. Был выбран именно класс юридических программ в силу их относительно небольшого количества, причем сначала были рассмотрены юридические программные продукты (ПП), реализующиеся через сеть Интернет, а затем были рассмотрены справочно-правовые системы (СПС), имеющие, как правило, крупные сети дилеров.

Для программ, распространяющихся через сеть Интернет, были рассмотрены следующие характеристики: возможность самостоятельной установки программы пользователем, наличие и функциональность демо-версии, мультиплатформенность, наличие дилерской сети, наличие многопользовательского режима, защита от несанкционированного доступа, онлайн поддержка, наличие последующего сопровождения программы, указатель справочник, затрачиваемые ресурсы компьютера, лицензионная градация стоимости, интеграция с другими информационными системами и ПП, наличие Pocket PC и Mobile версии, автоматическое обновление через Internet, тип лицензии (Shareware, Demo, Freeware), обновляемость, восстанавливаемость, защищенность, популярность производителя и его репутация, работа с внешними устройствами, доступные сервисы, поддерживаемые языки, возможность демонстрации, степень уникальности, возраст программного продукта, наличие гарантийной и послегарантийной поддержки.


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

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

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

совместимость с внешними программами;

наличие журнализации;

наличие лицензионной градации стоимости;

частые обновления программы;

наличие нескольких языков интерфейса;

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

известный разработчик.

Тезисы лучших дипломных работ ВМК МГУ 2009 года В качестве программ, распространяющихся через дилерские представительства, были рассмотрены справочно-правовые системы (СПС). На рынке СПС очевидными лидерами являются системы «Консультант Плюс» и «Гарант». В работе были подробно рассмотрены те характеристики, которые позволили им стать лидерами, а также был дан ответ на вопрос о том, почему другие системы не могут сравняться с ними по популярности. Представляет интерес то, что система «Референт», существующая на рынке СПС уже более 10 лет, практически не развивается, но при этом и не теряет общую долю своих клиентов. Это связано с тем, что с точки зрения использования сама система практически ни в чем не уступает лидерам рынка СПС, но вот ее дилеры проигрывают дилерам «Консультант Плюс»

и «Гарант» очень во многом. Другими словами, неправильно выбранная маркетинговая политика не позволяет этой системе увеличить свою долю рынка СПС.

В период финансового кризиса доли рынка СПС начали перераспределяться – многие компании, ранее пользовавшиеся сразу несколькими СПС, перешли на одну, а многие небольшие фирмы отказались от систем-гигантов в пользу небольших узкопрофильных систем. Именно тенденция сужения охвата системы и тем самым уменьшения ее стоимости и позволила в период финансового кризиса выйти на рынок новым игрокам – молодым узкопрофильным системам, таким как «Контур-Референт» и «LEXPRO».

Всего в работе было рассмотрено более 10 справочно-правовых систем. Все они были подробно изучены и сопоставлены с лидерами – системами «Консультант Плюс» и «Гарант».

На основе полученных данных были сформулированы следующие выводы:.

1. Компания-разработчик ПП должна иметь информативный и оперативно обновляющийся сайт.

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

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

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

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

6. При ограниченном бюджете необходимо тщательно продумать средства рекламы.

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

7. Программа должна общаться с пользователем на языке, максимально приближенном к естественному.

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

9. Стоит проводить независимые исследования по выявлению распределения долей рынка между конкурентами. Такие исследования позволяют выбрать оптимальный путь дальнейшего развития.

10. Цены на программный продукт должны быть установлены соответственно ситуации на рынке.

Отделение магистратуры 11. Необходимо постоянно обновлять и развивать ПП.

На основании полученных закономерностей было создано более 70 правил, которые можно использовать в экспертной системе (например, MYCIN). Все правила имеют конструкцию «Если условие, то вывод» c коэффициентом достоверности от 0 до 100.

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

То, что диапазоном успеха является промежуток от 80 до 100, легко проверить, применив правила к успешным продуктам.

Правила и их коэффициенты достоверности можно представить в виде таблицы:

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

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

Литература 1. Литовкин А.В.Формирование критериев оценки и требований для выбора САБ [HTML] (http://www.cfin.ru/itm/kis/bank_system.shtml).

2. Информация о продуктах и услугах компании «LEXPRO Soft» [HTML] (http://lexpro.ru).

3. Информация о продуктах и услугах ЗАО «Референт-сервис» [HTML] (http://www.referent.ru).

4. Исследование РОМИР Мониторинг "О долях рынка справочно-правовых систем" за период с марта по апрель 2005 года [HTML] (http://www.garant.ru/images/romir_all_2005.jpg).

5. Информация о продуктах и услугах производственной фирмы «СКБ Контур»

[HTML] (http://www.skbkontur.ru).

6. Информация о продуктах и услугах «ЗАО Нанософт» [HTML] (http://normacs.ru).

7. Информация о продуктах и услугах АО «Консультант Плюс» [HTML] (http://www.consultant.ru).

8. Информация о продуктах и услугах НПП «Гарант-Сервис», [HTML] (http://www.garant.ru).

9. Информация о продуктах и услугах центра компьютерных разработок «Кодекс»

[HTML] (http://kodeks.ru).

10. Степанов А.В., Аникин И.А. Оценка сложности программного обеспечения [HTML] (http://antoshka.by.ru/publ/ospo.htm).

11. Материалы с сайта http://forum.elaw.ru 12. Хювнен Э., Сеппянен Й. Мир Лиспа. В 2-х томах. Том 2-й "Методы и системы программирования" Пер. с финск. - М.;

Мир, 1990. – 319 c.

13. Уинстон П. Искусственный интеллект. – М.;

Мир, 1980. - 519 с.

Тезисы лучших дипломных работ ВМК МГУ 2009 года АНАЛИЗ ВОЗМОЖНОСТЕЙ ЯЗЫКА XACML И ЕГО ИСПОЛЬЗОВАНИЕ В J2EE КОНТЕЙНЕРАХ Работа удостоена диплома I-ей степени Чэнь Лиин Кафедра Автоматизации научных исследований, Лаборатория Открытых информационных технологий e-mail: linchen1102@hotmail.com Научный руководитель: Лапонина Ольга Робертовна В работе ставилась задача проанализировать возможности языка XACML и преимущества его использования в J2EE контейнерах.

eXtensible Access Control Markup Language (XACML) — язык управления доступом, основанный на XML. XACML является стандартом OASIS и предназначен для описания политик управления доступом. Язык описания политик основан на XML и имеет стандартный интерфейс для определения новых функций, типов данных, логики поведения и т.д. Решение принимается на основе набора политик, используя механизм запроса и ответа, которые также основаны на XML.

XACML предназначен для достижение следующих целей:

Создание переносимого и стандартного способа описания управления доступом субъектов с учетом их атрибутов.

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

XACML имеет архитектуру, показанную на Figure 1. Автор реализовал данную архитектуру на языке программирования Java, используя библиотеку Sun. Для хранения политик использовался LDAP.

Автор проанализировал использование XACML для обеспечения управления доступом к ресурсам J2EE сервера, в качестве которого был выбран WebLogic Server.

Сравнение моделей безопасности WebLogic Server и XACML В WebLogic Server политика представления доступа к ресурсам соответствует модели J2EE, которая определяет иерархию ресурсов. В этом случае разрешения на вершине иерархии определяют доступ к ресурсам, которые расположены ниже в иерархии. Политики, расположенные ниже в иерархии, всегда переопределяют политики, расположенные в выше в иерархии.

В модели XACML также признается иерархии ресурсов. В отличие от модели WebLogic Server в модели XACML политики необходимо указать, как интерпретировать случаи, когда ресурс защищен одновременно и своей собственной политикой, и политикой, определенной для ресурса родителя или более дальнего предка.

Кроме того, в языке XACML проводится различие между ресурсами и действиями, связанными с тем или иным ресурсом. Например, если в XACML определен такой ресурс, как EJB, то также определяются действия, связанные с этим EJB ресурсом, которые являются методами EJB. В исходной модели WebLogic Server считается, что EJB и каждый его метод являются ресурсами.

Такой подход позволяет более точно определить политику доступа, что особенно важно при использовании веб-сервисов.

Отделение магистратуры Литература 1. Bill Parducci Hal Lockhart Rich Levinson James Bryce Clark OASIS : OASIS eXtensible Access Control Markup Language (XACML) TC http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml Monica Pawlan SUN: Java 2 Enterprise Eddition (J2EE): Учебник по J2EE 2.

2003. С. 3. Tim Moses, Entrust LDAP profile for distribution of XACML policies Copyright (C) OASIS Open 2003 С. 2- 4. D. Richard Kuhn and Ramaswamy David F. Ferraiolo Proposed NIST Standard for Role-Based Access Control 2001.C. 4- ORACLE/BEA WebLogic Server: WebLogic Server XACML 5.

http://e-docs.bea.com/wls/docs92/secwlres/xacmlusing.html 6. Brett D. McLaughlin, Justin Edelson Java and XML, 3rd Edition December 01, 2006.C О.Р. Лапонина Протоколы безопасного сетевого взаимодействия 2. Лекция:

7.

Инфраструктура Открытого Ключа http://www.intuit.ru/department/security/networksec2/2/ 8. Manish Verma XML Security: Control information access with XACML http://www.ibm.com/developerworks/xml/library/x-xacml/ 9. Steven Holzner XPath: Navigating XML with XPath 1.0 and 2.0 Kick Start December 19, 2003.C82- Тезисы лучших дипломных работ ВМК МГУ 2009 года ПРЕДОБРАБОТКА БИОМЕТРИЧЕСКИХ ДАННЫХ НА ОСНОВЕ МЕТОДА ЭМПИРИЧЕСКИХ МОД Работа удостоена диплома I-ей степени Чэнь Нин студент магистратуры кафедры математической физики e–mail: lanceinmf@yahoo.com Научный руководитель – доцент Крылов Андрей Серджевич В магистерской диссертации решается задача выравнивания освещенности (подавления загрязнения) отпечатка пальца на основе метода эмпирических мод. Примеры загрязненных отпечатков пальцев и результатов их бинаризации, приведены на рис. 1.

Рис. 1 Загрязненные отпечатки пальцев и результаты их бинаризации Стандартные методы выравнивания освещенности изображений основаны на низкочастотной фильтрации изображения. Однако данный метод недостаточно адаптивен и часто не дает хороших результатов (например для изображений с пятнами на рис. 1).

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

Иными словами, в данном методе не используется какой-либо заранее определнный базис.

Компоненты разложения полностью определяются исходным сигналом. В данной работе автоматическое выравнивание освещенности проводится путем удаления нескольких последних членов разложения по эмпирическим модам (наиболее низкочастотным) на основе анализа изменений гистограммы. Ниже приведены результаты данного метода для изображений загрязненных пальцев рис. 1.

Литература 1. Huang N.E., Shen Z., Long S.R. Proc. of Royal Soc., London, A454, 1998, pp. 903-995.



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





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

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