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




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

Список литературы


1. Рекомендации по преподаванию информатики в университетах: Пер. с англ.– СПб., 2002.– 372 с. ISBN 5-288-03105-3.

2. Информация о курсе доступна с Интернет-ресурса http://www.mephi.edu/projects.htm

3. Зыков С.В. Проектирование и реализация гетерогенных прикладных систем под управлением технологической платформы Microsoft .NET. Конференция Microsoft Research «Технологии Microsoft в научных исследованиях и высшем образовании». Москва, 2003 г.

4. Информация об Интернет-университете ИТ доступна с Интернет-сайта http://www.intuit.ru.


Корпоративный портал – ключ к интеграции в глобальной среде вычислений

С.В. Зыков

Московский инженерно-физический институт (государственный университет)

г.Москва


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

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

Спроектирована система с проблемно ориентированным интерфейсом и событийно управляемой архитектурой. Динамически адаптируемые профили доступа обеспечивают высокую отказоустойчивость и безопасность данных в гетерогенной среде. Проект веб-портала успешно реализован в нефтегазовой компании «ИТЕРА» [5]. В 2003 году завершено внедрение корпоративного портала ООО «НГК «ИТЕРА», полномасштабная реализация (www.itera.ru) актуализирована в Интернет. Ведутся работы по созданию Интранет-портала.

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

Список литературы


  1. Х. Барендрегт. Лабда-исчисление. Его синтаксис и семантика.–М.:Мир, 1985.

  2. В.Э. Вольфенгаген. Концептуализация в аппликативных вычислительных системах.– М.: МИФИ, 1990.

  3. D.S.Scott. The lattice of flow diagrams. Lecture Notes in mathematics, 188, Symposium on Semantics of Algorithmic Languages. Springer, 1971,p.p.311-362.

  4. N.D.Roussopulos. A semantic network model of data bases.– Toronto Univ. 1976.

  5. S.V.Zykov. Integrating Enterprise Software Applications with Web Portal Technology. Proc. 5th International Workshop on Computer Science and Information Technologies, Ufa, Russia, 2003.

СОЗДАНИЕ СИСТЕМЫ ЭЛЕКТРОННОЙ ТОРГОВЛИ С ИСПОЛЬЗОВАНИЕМ НОВЕЙШИХ ТЕХНОЛОГИЙ MICROSOFT

Т.Н. Какарека, А.Л. Качанов, К.П. Черныш,

Научный руководитель: И.Н. Блинов, к.ф.-м.н., доц.

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

г. Минск


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

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

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

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

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

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

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

1. язык написания кода C#;

2. технология WebServices для удалённого доступа;

3. технология ASP.NET;

4. технология ADO.NET для доступа непосредственно к базе данных.

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

1. модуль, отвечающий за аутентификацию, авторизацию пользователей и безопасность данных (на базе интерфейсов IHttpHandler и IHttpHandlerFactory)

2. модуль, отвечающий за доступ к базе данных, получение и обновление необходимой в процессе работы информации (на базе технологий ADO.NET и WebServices)

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

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

ОСОБЕННОСТИ РАБОТЫ С ФАЙЛАМИ В УПРАВЛЯЕМОМ КОДЕ.

Каменский М.В.

Ставропольский государственный университет, факультет романо-германских языков

г. Ставрополь


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


Одна из актуальных проблем связана с использованием строковых полей фиксированной длины. Стандартные классы BinaryReader/BinaryWriter предлагают парные методы ReadString и WriteString, позволяющие записывать строки произвольной длины. Однако механизм считывания и записи таких строк предполагает наличие перед строковым полем специального идентификатора, содержащего длину строки. Поэтому использование этих методов невозможно при работе со стандартными строковыми полями фиксированной длины без идентификатора. Возможным решением данной проблемы является использование массивов однобайтовых символов вместо строковых полей как таковых. При этом для разбиения строки на отдельные символы используется метод ToCharArray класса String, а затем полученный массив записывается в файл с помощью варианта перегруженного метода Write, принимающего в качестве параметров сам массив символов, индекс первого символа и длину массива. Для достижения фиксированного размера поля может потребоваться дополнить строку некоторым символом-заполнителем с помощью методов PadRight или PadLeft или же обрезать ее до нужной длины методом Substring. Чтение массива символов из файла может быть произведено с помощью метода ReadChars класса BinaryReader.


Другая проблема возникает в случае, если требуется записать или считать сложную структуру, состоящую из множества полей и вложенных подструктур. Если использование сериализации данных невозможно по любой причине, то может потребоваться написать алгоритм, производящий запись и считывание каждого поля индивидуально. Такой алгоритм может оказаться очень длинным и неэффективным. Возможным решением данной проблемы является использование кода с применением указателей. При этом все поля должны иметь неуправляемый тип данных (то есть: строки должны быть сведены к последовательностям однобайтовых символов, причем каждый символ должен расцениваться как индивидуальное поле; невозможно прямое применение массивов любого вида и т.п.). Для записи сложных структур в файл создается указатель типа byte*, содержащий адрес начала структуры в памяти. При этом используется явное приведение типов для сведения структуры к байтовому типу. Затем производится собственно запись данных с помощью метода Write класса BinaryWriter. При этом количество записываемых символов определяется оператором sizeof, вычисляющим общую длину структуры в байтах. Считывание данных также производится побайтово с помощью указателя типа byte* на выделенную область памяти размером в длину структуры, вычисленную с помощью оператора sizeof. Затем производится явное приведение считанной структуры к указателю на соответствующий структурный тип и раскрытие ссылки, что позволяет непосредственно обращаться к полям структуры.


Метод модификации программного кода на основе компонентного подхода с применением языка сценариев WSH, как склеивающего инструмента.

(Пример построения системы для модернизации сайта с использованием XML спецификаций и XSLT трансформаций)

Кручинин Алексей Николаевич

Ростовский Государственный Университет, ЮГИНФО РГУ

г. Ростов


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

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

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

Приводится последовательность этапов для реализации подхода: выделение постоянной части кода; локализация непостоянного кода и потенциальных мест его появление; параметризация кода и определение структуры спецификации (XML Schema) для подключения компонент; реализация компонент; написание плагин-модулей (конкретная спецификация на основе XML) и их подключение. Здесь каждый компонент — это модуль, умеющий генерировать фрагменты кода по спецификации. Спецификация — однозначное, полное формализованное описание высокого уровня на языке, отличном от языка реализации. Задача спецификации — управление компонентом. Задача компонента — вынос некоторой функциональной части кода за пределы каркаса проекта с целью возможного дальнейшего его редактирования, замены или возможного отключения. Схема построения программы является синтезом цепочечного и каркасного подхода.

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

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


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

Крыжановский Д.И., Олейников И.В.

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

факультет электроники и вычислительной техники (ФЭВТ), кафедра САПР и ПК

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

г. Волгоград


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

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

В настоящий момент работа ведётся по следующим направлениям:

  • изучение, анализ и эксперименты с различными методами идентификации зависимостей (статистические методы, Data Mining, прежде всего, нейронные сети, нечёткие вычисления и т.п.),

  • выработка эффективных модификаций и комбинаций этих методов,

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

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

Разработка системы ведётся с использованием языков программирования Microsoft Visual C++ 7.1 и C#.

В июле – августе 2003 г. в рамках программы летней школы Intel некоторые модули были апробированы в Нижегородской лаборатории компании Intel. Кроме того, апробация и системы проводится на лабораторных работах по дисциплине «Моделирование» кафедры САПР и ПК, а также во ФГУП НПО «ВНИИТМАШ».

Повышение эффективности отладки DVM-программ

М. В. Кудрявцев

МГУ, факультет ВМиК

Научный руководитель Крюков Виктор Алексеевич

г. Москва


Система DVM, разработанная в Институте прикладной математики им. М. В. Келдыша РАН в 1998 году предназначена для разработки мобильных и эффективных программ для ЭВМ различной архитектуры. Отладчик системы DVM (входит в состав системы времени выполнения) предназначен для функциональной отладки параллельных программ, написанных на языках системы DVM - Fortran-DVM и C-DVM. В отладчике системы DVM реализовано два метода: динамического контроля DVM-указаний и сравнительной отладки. Второй метод позволяет обнаруживать ошибки в программе при помощи сравнения промежуточных результатов параллельного выполнения с эталонными результатами (например, результатами последовательного выполнения).


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


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

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

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

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

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


Предложенные возможности были успешно протестированы и подтвердили свою эффективность на демонстрационных программах, поставляемых вместе с системой DVM, а так же на тесте NPB (NAS Parallel Benchmarks) LU.


Компонент аутентификации и авторизации пользователей

Лункин П.Г.

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

г. Москва


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

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

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

  • функция регистрации пользователя - позволяет добавлять в систему информацию о пользователях, присваивая им идентификаторы роли

  • функция входа в систему - проводит аутентификацию пользователей

  • функция смены пароля – позволяет изменить пароль зарегистрированного пользователя

Компонент был реализован в среде .Net Framework и оформлен в виде веб-сервиса, что и обеспечило возможность его реиспользуемости. Для организации безопасного канала передачи информации на интернет-сервер был установлен сертификат сервера, выпущенный при помощи службы Microsoft Certificate Services, входящей в состав Windows 2000 Server. После этого было установлено требование обязательного использования протокола SSL для каталога, в котором находился веб-сервис.

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

Созданный компонент был использован в студенческом проекте – системе поддержки конференций.


Основанные на MSF шаблоны процессов разработки

Д.А.Маленко (maldim@gmx.net), В.Л.Павлов (vlpavlov@ieee.org)

Факультет прикладной математики Днепропетровского национального университета, Украина; eLine Software, Inc., Украина/США

Научный руководитель: В.Л.Павлов (vlpavlov@ieee.org)

г. Днепропетровск, Украина


За последнее десятилетие объектно-ориентированное программирование получило широкое распространение как ключевая технология разработки больших программных продуктов. Среди всех подходов, идей и концепций, связанных с ООП, особо выделяются шаблоны проектирования (Design Patterns, http://hillside.net/patterns/ ). Они описывают взаимодействие между объектами и классами для решения общей проектной проблемы в некотором контексте.

Подобно шаблонам проектирования, шаблоны процессов (Process Patterns) описывают проверенные подходы и методики, применимые в различных производственных процессах (прежде всего – процессах разработки ПО). Со времени появления шаблонов процессов и родственных им организационных шаблонов (Organizational Patterns) было найдено и документировано большое количество разнообразных шаблонов такого рода. Но, в отличие от шаблонов проектирования, которые традиционно формально вводились с использованием UML, шаблоны процессов подобного уровня формализации не имели.

Некоторые авторы пытались использовать UML для описания шаблонов процессов, но, к сожалению, нотации, используемые разными авторами, были несовместимыми. В 2002 году OMG приняла спецификацию Software Process Engineering Meta-model (SPEM, http://www.omg.org/technology/documents/formal/spem.htm), которая создавалась для описания процессов разработки ПО. Ожидается, что эта спецификация будет широко применяться при решении разнообразных задач, возникающих в области инженерии процессов. Одно из интересных приложений данной метамодели – формальное описание организационных шаблонов и шаблонов процессов.

Описываемое в докладе исследование было сосредоточено на Microsoft Solutions Framework (MSF, http://www.microsoft.com/rus/msf) - разработанном и используемом внутри Microsoft подходе к управлению IT-проектами. Создав формальное описание MSF на SPEM, мы попытались выделить шаблоны процессов, которые применимы и к другим процессам разработки ПО, и описать их в классическом стиле GoF (The Gang of Four).

Мы выделили несколько организационных шаблонов и шаблонов процессов. Некоторые из них используются только в MSF, некоторые можно найти и в других SE (Software Engineering) процессах. В докладе подробно рассматривается четыре шаблона: Living Document; Reenterable Process; Smart Lifecycle; Stakeholder-Oriented Organization.

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

Конечно, рассматриваемые четыре шаблона не единственные в MSF. В действительности, их выявление явилось “побочным результатом” процесса создания формальной SPEM-модели MSF. Создание и сравнение моделей различных процессов наверняка приведет к обнаружению новых шаблонов.


Защита ПО от несанкционированного копирования

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

Матвеев П.П.,

Научные руководители: к.ф-м.н. Применко Э.А., к.ф-м.н. Пярин В.А.

Московский государственый университет, факультет ВМиК

г. Москва


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

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

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

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


MICROSOFT WINDOWS MEDIA В СИСТЕМЕ ДЛЯ ИНТЕРАКТИВНОГО ДИСТАНЦИОННОГО ОБУЧЕНИЯ

О.Г. Барбашов, А.Б. Маховиков, А.В. Скобелев, К.В. Столяров, М.А. Чернов

Санкт-Петербургский государственный горный институт (технический университет)

Кафедра информатики и компьютерных технологий

г. Санкт-Петербург


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

В основе программного комплекса Mediapage Technology лежит технология Windows Media фирмы Microsoft. Данная технология обеспечивает организацию аудио- и видео вещания в Интернет с возможностью подключения большого числа слушателей одновременно. Однако Windows Media не приспособлена для целей обучения и не обеспечивает возможность обратной связи от слушателей к ведущему.

Разработанный программный комплекс устраняет перечисленные недостатки Windows Media, т.к. обеспечивает не только передачу изображения и звука, но и демонстрацию различных учебных материалов, и не только возможность увидеть и услышать лектора, но и задать ему вопрос и даже вступить в дискуссию, которую слышат все остальные студенты “виртуальной аудитории”. Лекция автоматически записывается и может быть затем доступна для последующего просмотра.

Комплекс состоит из двух частей: серверной и клиентской. Серверная часть включает HTTP - сервер, Windows Media - сервер, SMTP - сервер и Управляющий сервер. Клиентская часть включает АРМ лектора, АРМ его ассистента и АРМ студента. Клиентские программы имеют понятный интерфейс и загружаются с сервера автоматически, что позволяет использовать комплекс людям, слабо владеющим компьютером. Дополнительно были разработаны два прокси-сервера, позволяющие работать из-за различных firewalls.


МНОГОПАРАДИГМАЛЬНАЯ СИСТЕМА ПРОГРАММИРОВАНИЯ С ИНТЕГРАЦИЕЙ БАЗ ДАННЫХ И ЗНАНИЙ ДЛЯ ПЛАТФОРМЫ MICROSOFT .NET

Миханов С. В.

Московский авиационный институт, факультет прикладной математики и физики, кафедра вычислительной математики и программирования

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

Москва


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

При разработке интеллектуальных систем с помощью одного из существующих подходов — с использованием языков на основе алгоритмических моделей, отличных от модели фон Неймана (Prolog), специализированных средств представления знаний (CLIPS, Jess) или внедряемых систем (JULIA) — перед разработчиками встаёт задача интеграции системы с уже написанным императивным кодом. Особую важность она приобретает в последние годы, когда во всём мире наблюдается отчётливая ориентация на слабо связанные системы и значимость повторно используемого кода возрастает.

С учётом данных задач была разработана многопарадигмальная система программирования, объединяющая различные подходы к разработке (объектный, фреймовый, императивный, продукционный, а также возможность привязки реляционных данных к активным знаниям и онтологиям). Ядром системы является язык LIMA, представляющий собой надмножество C#, полученный за счёт его расширения интеллектуальными конструкциями, высокоуровневый семантически ориентированный транслятор языка LIMA в язык C# и библиотека логического вывода. При использовании данной системы на основе LIMA-описаний базы знаний в фреймовом представлении генерируется C#-код, позволяющий проводить логический вывод (в том числе распределённый с использованием веб-сервисов) по описанной фреймовой иерархии, включение фреймов из удалённых баз знаний, интерпретацию реляционных данных как знаний в рамках выбранной онтологии, а также осуществлять чрезвычайно тесную интеграцию продукционных частей системы с императивным кодом, за счёт использования в качестве основы для языка LIMA языка C#.

Несомненным достоинством данной системы является метод интеграции подходов к программированию на основе высокоуровневой кодогенерации. Данный метод весьма широко применялся при разработке тех или иных программных систем и за многие годы своего использования успел себя зарекомендовать как весьма надёжный. Например, известно, что первый вариант реализации языка C++ Бьярном Страуструпом был основан на трансляции в C-код; кроме того, на основе кодогенерации в языки высокого уровня построены такие современные технологии, как ASP.NET и ASP компании Microsoft и JSP компании Sun Microsystems.

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


Моделирование работы сенсорной ad hoc сети с коллективной передачей информации.

К.Г. Мишагин, В.А. Пастухов, А.Н. Садков

Нижегородский госуниверситет им. Н.И.Лобачевкого

Лаборатория физических основ и технологий беспроводной связи

Руководитель: к.ф.-м.н. А.Л. Умнов

г.: Нижний Новгород


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

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

Для выяснения эффективности предложенного метода было выполнено компьютерное моделирование ad hoc сети, в которой узлы сети распределены по холмистой поверхности, а конечным узлом всех маршрутов является базовая станция (рис.1). Осуществить моделирование стандартными средствами (например, с помощью системы NS2) не представлялось возможным, так как предлагаемая парадигма построения физического уровня сенсорных сетей отсутствует в этих средствах. Поэтому нами была создана собственная система имитационного моделирования беспроводной сенсорной ad hoc сети. Работа по созданию системы велась с использованием Microsoft Visual Studio. При проектировании системы использовались структурный и объектно-ориентированный подходы. В состав основных модулей системы входят: блок генерации поверхности, проверка прямой видимости узлов, алгоритм кластеризации[1], расчёт распределения поля от группы узлов, блок формирования маршрута к базовой станции[2]. Для определения преимущества метода коллективной передачи данных производилось большое количество экспериментов, заключающихся в получении параметра связности сети. Получить статистически достоверные данные в приемлемые сроки удалось благодаря тщательно оптимизированному коду системы моделирования. С помощью данной системы были получены результаты, показывающие существенное преимущество метода коллективной передачи данных.

  1. C.R. Lin and M.Gerla // IEEE Journal on Selected Areas in Communications, Vol. 15, No. 7, Sept. 1997, pp. 1265-1275

  2. J.Broch, D.Maltz, D.Johnson, Yih-Chun Hu, J.Jetcheva // A Performance Comparison of Multi-HopWireless Ad Hoc Network Routing Protocols.

  3. MSDN Library. April 2004.



1   2   3   4   5   6   7   8   9   ...   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
обратиться к администрации
Библиотека
Главная страница