Тезисы конференции студентов




НазваниеТезисы конференции студентов
страница9/12
Дата11.02.2013
Размер1.17 Mb.
ТипТезисы
1   ...   4   5   6   7   8   9   10   11   12

Исследовательская Дейталог-система


А. С. Семенов

ВМиК МГУ

Научный руководитель: дфмн А. С. Марков

г. Москва


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

Система включает в себя синтаксический разбор программ на Дейталоге, трансляцию программ Дейталога в уравнения реляционной алгебры, слабое связывание Дейталог-системы с СУБД SQLite и исполнение программы Дейталога путем реализации различных методов вычисления, а именно восходящих Якоби, Гаусса-Зейделя, полунепосредственного и нисходящего QSQ (запрос – подзапрос).

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

Языком реализации стал Scheme (современный диалект Лиспа), а точнее, один из самых эффективных компиляторов языка Scheme – Bigloo, который обладает несколькими несомненными достоинствами. Во-первых, в отличие от многих других реализаций Лиспа и Scheme, Bigloo является компилятором. Во-вторых, он позволяет создавать исполняемые файлы для различных платформ, в том числе Windows 2000, XP (без использования Cygwin) и .NET.

Система связана с СУБД SQLite по принципу 'слабого связывания', через стандартный интерфейс Дейталог-система просто выкачивает кортежи из базы данных, а потом обрабатывает. Таким образом, выбор именно СУБД SQLite не имеет принципиального значения. Дейталог-система может быть связана и с другими СУБД, такими как MySQL, PostgreSQL, Oracle и другими.

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


Корректность графических программ на C#

Столяров Денис Игоревич.

Тверской Государственный Университет, ф – т прикладной математики и кибернетики

Научный руководитель: Биллиг Владимир Арнольдович.

г. Тверь.


В докладе рассматривается корректность графических программ на C#. Обсуждаются следующие вопросы:

  • Корректность как контракт, которому удовлетворяет программа.

  • Будет рассмотрен математический аппарат для записи контрактов и доказательства корректности классов. За основу берётся математическая база, предложенная в статье Бертранда Мейера (Bertrand Meyer) “Towards practical proofs of class correctness”.

  • Атрибуты C# как средство записи контрактов и доказательства корректности. Предлагается один из возможных путей обеспечения стандартного способа документирования программных сущностей – классов – с помощью атрибутов C#.

  • Графические примитивы. Класс Graphics. Контракты и доказательство примитивов. Затрагивается вопрос о том, как доказывать правильность программ использующих вызовы методов принадлежащих классам стандартной библиотеки .Net (class library), в частности рассматриваются некоторые методы класса Graphics.

  • Семейство классов Shapes (графических фигур) на C#. Доказательство корректности проекта Shapes. Рассматривается способ доказательства корректности классов – наследников.



Автоматизация деятельности высшего учебного заведения на основе технологии сканирования документов

В.Н. Трегубов

Саратовский государственный технический университет

г. Саратов


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

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

На сегодняшний момент на рынке не существует качественного программного продукта позволяющего организовать полный цикл документооборота в ВУЗе. Основными причинами этого является то, что для крупных фирм «1С», «Галактика» разработка такого продукта не представляет интереса из-за ограниченности рынка его продажи. С другой стороны до настоящего времени отсутствует должно понимание в необходимости подобной системы со стороны руководства университетов, так как очень сложно оценить, в чем будет выражаться его эффективность.

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

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

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

Программный комплекс был реализован на основе технологии .Net и базы данных MSDE. Использование классов для обработки изображений из библиотеки .Net Frameworks позволило создать компонент для распознавания ведомостей. Интерфейс работы с программой реализован с использованием технологии ASP.NET.

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


Исследование методов сокрытия информации в аудиоданных.

Программный комплекс Steganophony

Устименко Артемий Сергеевич

Руководитель: Медведев Николай Викторович, к.т.н, доцент, заведующий кафедрой «Информационная безопасность» МГТУ им. Н.Э.Баумана.

г. Москва


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

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

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

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

Steganophony обеспечивает сокрытие данных в аудиофайлах формата RIFF, в том числе сжатых с возможностью полного восстановления исходной информации. Кроме PCM Wave реализована поддержка некоторых разновидности формата Windows Media.

Для блочного шифрования пользователем может быть выбран один из реализованных в программе криптоалгоритмов (IDEA, RC6, RC5, Blowfish, ГОСТ 28147-89, AES), работающих в режиме CBC (Ciphertext Block Chaining).

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

Программный продукт является объектом авторского права и зарегистрирован в Государственном Реестре программ для ЭВМ, о чем выдано свидетельство № 2002610519.


Неявные спецификации асинхронных систем

Хорошилов Алексей Владимирович

МГУ им. Ломоносова, ф-т ВМиК

Петренко А.К.

г. Москва


Формальные методы занимают ключевое место при разработке программных систем с повышенными требованиями к надежности. Примером технологии, сочетающей в себе основательность формальных методов и высокую экономическую эффективность, является технология разработки высококачественных тестов UniTesK (http://unitesk.ispras.ru). Ключевой фактор успеха UniTesK заключается в использовании неявного описания математических моделей с помощью простых нотаций.

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

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

  • анализа корректности поведения тестируемой системы

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

  • построения сложных и осмысленных цепочек тестовых действий

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

  • спецификационное расширение языка C (SEC)

  • архитектура тестовой системы

  • транслятор SEC2С

  • библиотеки поддержки процесса тестирования

  • модуль интеграции в Microsoft Visual Studio 6.0

  • генератор отчетов о результатах тестирования и покрытии требований

Расширенная технология CTesK была апробирована на двух проектах проведенных ИСП РАН совместно с Microsoft Research. В рамках первого проекта (MRL Contract No 2000-35)

были разработаны формальные спецификации и проведены тесты реализации стека протоколов MSR IPv6. Цель второго проекта (MSRC Contract No 2002-84) заключалась в тестировании функций Mobile IPv6 на примере реализации Microsoft MIPv6 для Windows CE 4.1 и Windows XP. В настоящее время CTesK используется для верификации TinyOS – распределенной операционной системы для сенсорных сетей.

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


Компонента сбора и публикации метериалов конференции

для системы поддержки конференций

А.В. Чернов

МИФИ, факультет: “Кибернетика”

Научный руководитель: А.В. Гаврилов

г. Москва


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

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

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

Компонента обеспечивает доступ к следующим функциям:

  • добавление новой секции

  • изменение названия секции

  • удаление секции из списка секций

  • получение списока секций

  • замена текущей версии списка тезисов в данной секции

  • получение текущей версии списка тезисов в данной секции

  • получение текущего расписания

  • замена текущей версии расписания в базе данных

  • добавление нового тезиса

  • удаление тезиса из секции

  • получение тезиса из данной секции с данным заголовком доклада

  • регистрация нового тезиса доклада

  • получение списка зарегистрированных тезисов, не просмотренных администратором данных

  • регистрация тезиса доклада, уже зарегистрированного на сайте, но по каким-либо причинам измененного докладчиками

  • получение списка тезисов докладов, не просмотренных администратором данных, которые уже были зарегистрированны на сайте ранее, но по каким-либо причинам изменены докладчиками

  • добавление новости

  • замена текущей версии новостей

  • удаление всех новостей из списка новостей

  • удаление новости из списка новостей

  • получение списка новостей


Реиспользуемость достигнута, благодаря возможности организации компоненты как web-сервис.

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

  • Windows XP (операционная система);

  • .NET Framework (платформа разработки);

  • Visual Studio .NET (среда разработки);

  • C# (язык программирования).

  • SQL Server 2000(БД)

  • Internet Information Services(поддержка Web и FTP , а

также поддержка подключений к БД)


Таким образом в данной работе проведены: обзор существующих решений данной проблемы, проектирование, разработка и тестирование компоненты сбора и публикации материалов конференции.


ОСОБЕННОСТИ ПРОГРАММНОЙ РЕАЛИЗАЦИИ КОМПЛЕКСА «РЕПЕТИТОР»

А.Н. Чурилов

Научные руководители: А.Н. Ходусов, доктор пед. наук, проф.,Э.В. Власов, кфмн, доцент

Курский государственный университет

г. Курск


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

Целью данной работы является разработка и реализация программного комплекса «Репетитор» – инструментальной оболочки для создания и последующего использования в учебном процессе педагогических программных средств (ППС).

Программный комплекс предназначен для решения следующих основных задач:

  • предоставить преподавателю возможность создавать и использовать в учебном процессе ППС по различной тематике, состоящих из трех основных компонентов: «Теория», «Обучение», «Контроль»;

  • обеспечить преподавателю и учащемуся удобный и интуитивно понятный интерфейс для работы с ППС;

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

Для вставки в ППС различных объектов используется технология OLE. Имеется возможность использовать внешнюю теорию вместо встроенной теории «Репетитора». Этот режим можно использовать, если теоретический материал уже подготовлен для использования в компьютерном обучении с помощью какой-либо иной технологии (например, Microsoft PowerPoint, редактор Web-страниц и т.д.).

Комплекс «Репетитор» состоит из следующих модулей:

  • «Редактор» – предназначен для создания и редактирования ППС;

  • «Среда ученика» – позволяет использовать в учебном процессе ППС, подготовленные в «Редакторе»;

  • «База данных» – используется для хранения информации о результатах работы с ППС;

  • «Менеджер базы данных» – позволяет преподавателю анализировать информацию о работе обучаемых с ППС и осуществлять оперативный мониторинг учебного процесса.

Основу модулей «Редактор» и «Среда ученика» составляет общее ядро – иерархия классов. Классы представляют как ППС в целом (TRepetitor) так и отдельные его части (TTeor – глава теории, TKontrol – вопрос компонента «Контроль», TObuch - вопрос компонента «Обучение», и т.д.). Все классы имеют методы для записи в файл и загрузки из файла. Класс TRepetitor содержит методы для выполнения ППС.

В качестве сервера баз данных используется InterBase Server 6.0. Модули «Редактор», «Среда ученика» и «Менеджер базы данных» реализованы с помощью Borland Delphi 6.0.

Программный комплекс «Репетитор» успешно используется в учебном процессе Регионального открытого социального института (РОСИ) и Курского государственного университета (до 2003 г. Курского государственного педагогического университета). «Репетитор» зарегистрирован в отраслевом фонде алгоритмов и программ и отмечен дипломом за высокое качество на «Всероссийском @вгустовском педагогическом совете – 2001» в секции «Авторский программно-методический комплекс – национальное достояние России».


Платформенно-независимая система голосовой аутентификации пользователя

под управлением .NET

Шальнев Александр Анатольевич, аспирант

Руководитель: Крючкова Елена Николаевна

Алтайский государственный технический университет им. И.И. Ползунова


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

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

Система реализована под платформу .net в целях расширения спектра ОС, под управлением которых можно будет использовать данную систему. Система удовлетворяет трехзвенной архитектуре с использованием в качестве БД. Серверная часть реализована как ASP.NET Web Service. Клиентская часть построена на основе платформо-независимого пользовательского интерфейса.

Особенностью данной работы является ее платформенная независимость. В данный момент несколько групп разработчиков очень активно начали разрабатывать .net runtime для других ОС. На данный момент существуют бета версии .net runtime: Mono, Portable.NET, DotGNU. Стоит отметить, многие разработчики добились очень неплохих результатов. Однако все они имеют один недостаток: не понятно как в них будет работать System.Windows.Forms namespace. Известные решения, как правило, они зависят от ОС, на которой они реализованы.

В данной работе предлагается другой способ реализации System.Windows.Forms namespace. Предлагается использовать уже существующий платформо-независимый пользовательский интерфейс и написать к нему классы-обертки на C# с интерфейсом, повторяющим интерфейс System.Windows.Forms namespace. На данном этапе частично рассмотрены платформо-независимые пользовательские интерфейсы: GTK#, QT#, SWT (порт SWT от IBM для Java), реализованы две тестовые библиотеки (с использованием SWT, GTK#), в которых частично реализованы классы: Button, EditBox, Label. Эти библиотеки подтверждают принципиальную возможность предлагаемого способа решения проблемы System.Windows.Forms namespace.

Реализация системы аутентификации потребовали разработки алгоритмов быстрой вставки с использованием индекса. В данной работе реализован класс на языке C# для платформы .net для работы с такой структурой данных. Этот класс реализует стандартный интерфейс IList, что позволяет расширить область применения этой структуры данных. Тестирование класса производилось с помощью NUnit. Было проведено тестирование алгоритма на производительность (данные приведены ниже в таблице).


Тип теста

Размерность

Время работы ArrayList в мс

Время работы массива с быстрой вставкой в мс

Добавление элементов в нулевую позицию ( Insert( 0, “dat” ) )

40000 элементов int

3645

360

Добавление элементов в конец ( Add( “dat” ) )

300000 элементов int

240

1392

Случайное удаление элементов

1500 элементов из 300000 int

5638

510

Удаление из нулевой позиции ( RemoveAt ( 0 ) )

500 элементов из 300000 int

3915

291

Удаление из конца ( RemoveAt ( n ) )

200000 элементов из 300000 int

20

971

Случайный доступ

30000 раз из 300000 элементов int

20

2013

Прямой проход с помощью For

400000 элементов int

50

91

Прямой проход с помощью Foreach

300000 элементов int

70

90



СЕМАНТИЧЕСКИЙ АНАЛИЗАТОР

СИСТЕМЫ КОНТРОЛЯ КОРРЕКТНОСТИ ТЕКСТОВ

Д.А. Шаров

Пензенский государственный педагогический университет

факультет экономики и менеджмента

Научный руководитель: д.п.н., проф. В.П. Линькова

г. Пенза


Целью данной работы является разработка новой методологии семантического анализа текстов на основе синонимических рядов.

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

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

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


СИСТЕМА КОНТРОЛЯ КОРРЕКТНОСТИ ТЕКСТОВ

Д.А. Шаров

Пензенский государственный педагогический университет

факультет экономики и менеджмента

Научный руководитель: д.п.н., проф. В.П. Линькова

г. Пенза


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

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

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

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

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


МАТЕМАТИЧЕСКИЙ АППАРАТ

СИСТЕМЫ КОНТРОЛЯ КОРРЕКТНОСТИ ТЕКСТОВ

Д.А. Шаров

Пензенский государственный педагогический университет

факультет экономики и менеджмента

Научный руководитель: д.п.н., проф. В.П. Линькова

г. Пенза


Целью данной работы является построение математического аппарата системы контроля корректности текстов.

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

Матрица B вхождений термов T в эталонные формулировки терминов коллекции C (термы-на-термины). Ее размерность n x m , где n – число термов в словаре предметной области; m – число терминов в коллекции C (тезаурусе).



Матрица-маска A вхождений T в фактическую формулировку термина d (ответ) (термы-на-термины). Размерность матрицы n x m , где n – число термов в словаре предметной области; m – число терминов в коллекции C (тезаурусе).



Матрица W синонимичности (термы-на-термы) размерностью n x n , где n – число термов в словаре предметной области.

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

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

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


Применение стеганографических и криптографических средств

для защиты электронной корреспонденции

Шашлов Антон Михайлович

Научный руководитель: Медведев Николай Викторович, к.т.н, доцент,

зав. кафедрой “Информационная безопасность”

МГТУ им. Н.Э. Баумана

г. Москва


Автором проведены исследования, в ходе которых разработаны новые алгоритмы сжатия информации, стеганографические алгоритмы, а также спроектирован, создан и отлажен комплекс специальных программных средств (КСПС) Power Tools Data Protection Pack, предназначенный для обеспечения комплексной безопасности информации с целью ее последующего хранения или передачи по линиям связи общего пользования. КСПС сочетает в себе средства сжатия, криптографической и стеганографической защиты данных. Продукт зарегистрирован в Государственном реестре программ для ЭВМ (свидетельство №2002610518)

Кроме того, автором создано семейство узкоспециализированных почтовых серверов Power Tools Mail Services, позволяющих централизованно производить криптографическую и стеганографическую защиту электронной корреспонденции средствами Power Tools Data Protection Pack, а также обеспечивать автоматизированный контроль содержимого электронных сообщений.

Компоненты Power Tools Data Protection Pack и Power Tools Mail Services:

Power Tools Encryption Engine v 7.8,

Power Tools Packager v 8.1,

Power Tools Steganographic Engine v 8.0,

Power Tools Mail SMTP Server v. 3.0,

Power Tools Mail POP3 Server v. 2.7,

Power Tools Mail IMAP4 Server v. 1.7,

Power Tools Mail HTTP Web Administration Service v. 1.9,

Power Tools Mail Security Services Server v. 3.5


КСПС выгодно отличается от известных аналогов возможностью совместного использования сжатия данных, стеганографических и криптографических средств защиты информации. Кроме этого, к преимуществам Power Tools Data Protection Pack можно отнести высокий уровень интеграции между компонентами, а также уникальность, комплексность и универсальность использованных решений.

Применение Power Tools Mail Services позволяет организовать защиту электронной корреспонденции при ее передаче по сети Internet без необходимости обучения персонала работе с узкоспециализированным программным обеспечением на рабочих станциях. Power Tools Mail Services поддерживает SSL и современные алгоритмы аутентификации пользователей. При этом учетные записи могут храниться как в отдельной базе данных, так и в каталоге Active Directory. Опционально может применяться имперсонализация потоков на сервере, что позволяет применять ACL для разграничения доступа пользователей. Разработанные средства администрирования Power Tools Mail Services позволяют производить настройку сервера с использованием Web-интерфейса администратора, также возможна настройка сервера через консоль управления Microsoft Management Console.

Совместное использование различных методов защиты информации, а также тесная интеграция всех компонентов, входящих в пакет делает Power Tools Data Protection Pack и Power Tools Mail Services удобными в использовании и администрировании программными продуктами, успешно выполняющими свои основные задачи.


О комбинаторно-групповых алгоритмах в криптографии

М.В. Шеблаев

Московский государственный университет им. М.В. Ломоносова,

Кафедра защиты информации.

Научные руководители: проф. Алешин С.В., доц. Попов В.О.

г. Москва


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

  • наличием сильного математического аппарата, разработанного алгебраистами.

  • существованием известных алгоритмически неразрешимых проблем и проблем, имеющих доказуемо высокие нижние оценки сложности

  • используемые объекты и алгоритмы могут быть эффективно реализованы в виде программного кода как для однопроцессорной, так и для параллельной обработки.


Было предложено несколько криптосистем с открытым ключом, использующих проблемы из теории групп кос:

  • криптосистема AAG, основанная на обобщенной задаче поиска сопрягающего элемента в группе кос.

  • криптосистема, основанная на обобщении задачи по поиска сопрягающего элемента в группе кос Диффи-Хеллману


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


Групповая разработка мультимедиа

Девиз: От “книжной” к “экранной” культуре


Аида Авакимян, Юрий Асерчев, Альфия Бисакова, Алексей Богомол, Алексей Бурбукин, Денис Василевский, Андрей Васильев, Владимир Гусев, Галимжан Иставлетов,

Галия Ищанова, Тарас Максименко, Раушан Мустафина, Гулхан Нурмухамбетова,

Наталья Скворцова, Расул Сулейменов, Асылбек Тасбулатов, Талгат Тасмагамбетов,

Акайша Тастлекова, Арайлым Тулемисова, Жандос Узакпаев, Максим Фоняк,

Набигали Хисмаденов.

Научный руководитель: Насс Оксана Викторовна

Западно-Казахстанский государственный университет им. М. Утемисова,

факультет математики и информатики, кафедра информатики и вычислительной техники

г. Уральск, Республика Казахстан


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

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

Разработанный авторами компьютерный проект представляет собой сборник отдельных программ, собранных в единую оболочку. Оболочка содержит также панель для просмотра авторских рисунков. Программы созданы средствами Microsoft Visual Basic, Borland Delphi. Рисунки созданы средствами CorelDRAW, Adobe Photoshop, экспортированы в стандартные для оформления Web-страниц форматы: JPEG, GIF.

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

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


Формальное проектирование компонентной модели

аппликативной вычислительной системы (АВС).
1   ...   4   5   6   7   8   9   10   11   12

Похожие:

Тезисы конференции студентов iconТезисы докладов Одиннадцатой Украинской республиканской конференции по органической химии, г. Днепропетровск. 1971. С. 80
Изучение процессов модификации стереорегулярных полимеров на стадии их грануляции (тезисы доклада)
Тезисы конференции студентов iconТезисы студенческой научной конференции «Студенческая наука путь к миру и творчеству»
Психолого педагогические условия самоактуализации личности ребенка старшего дошкольного возраста (тезисы)
Тезисы конференции студентов iconТезисы докладов VIII международной конференции. Москва, 4-6 октября 2010 г. М.: Рудн, 2010. 558 с. Isbn 978-5-209-03871-9 в сборнике представлены тезисы докладов vie междуна­родной конференции «Биоантиоксидант»
Российская академия наук институт биохимической физики им. Н. М. Эмануэля ран институт химической физики им. Н. Н. Семенова ран
Тезисы конференции студентов iconТезисы докладов школы-конференции молодых ученых «С еквенирование полных геномов»
Тезисы докладов школы-конференции молодых ученых «Секвенирование полных геномов» / Иркутск, Изд-во Института географии, 2009. – 27...
Тезисы конференции студентов iconТезисы докладов будут опубликованы в сборнике (на русском и английском языках) после прохождения рецензирования программным комитетом конференции.
На конференции будут представлены устные и стендовые доклады. Официальные языки конференции – русский и английский. Будет обеспечен...
Тезисы конференции студентов iconТезисы докладов Часть I секции 1−4 Москва − 2010 в части I сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития нефтегазового комплекса России»
В части I сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития нефтегазового...
Тезисы конференции студентов iconТезисы докладов Часть II секции 5−11 Москва − 2010 в части II сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития нефтегазового комплекса России»
В части II сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития...
Тезисы конференции студентов iconТезисы докладов международной конференции «Актуальные проблемы планктонологии»
...
Тезисы конференции студентов iconТезисы V конференции молодых ученых России с международным участием «Фундаментальные науки и прогресс клинической медицины»
А. С., Кузнецова Е. Б., Стрельников В. В.,Залетаев Д. В. // Метод анализа структурно-функциональной организации эпигеномов клеток...
Тезисы конференции студентов iconТезисы докладов VI научной конференции профессорско-преподавательского состава ВолГУ. Волгоград: Изд-во ВолГУ, 1989
Русские префиксальные глаголы, имеющие аналитические эквиваленты в немецком языке // Тезисы докладов VI научной конференции профессорско-преподавательского...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница