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




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

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


Борисов Максим, Заруднева Валерия, Лобачов Дмитрий, Остроухов Евгений,

Остроухов Максим, Попов Андрей, Степанов Андрей, Фоменко Алексей

Future House Solutions (http://www.futurehouse.ru)

г. Москва.


В течение лет, только несколько компаний, таких как CRESTRON, AMX, EIB разрабатывали и представляли на рынке домашние системы управления, более известными как "smart homes","digital houses". Эти решения разрабатывались на базе собственных технологий (платформ, стандартов, протоколов и т.д.) А в силу того, что в то время рынок подобных систем был сравнительно мал, и технологический уровень в целом был низок, решения предлагаются на рынке по высоким ценам.

В тоже время большое количество новых технологий были разработаны или реализованы такими гигантами как Intel, Microsoft и IBM (Web, Wi-Fi, Bluetooth, GSM and CDMA, Windows и Linux embedded platforms, Клиент – Сервер архитектура, Airpanels, Pocket и Tablet PC и т.д.) На основе этих технологий, сейчас представляется возможным предлагать на рынок системы с функциональностью “digital house” в десятки раз дешевле.

Наша команда разрабатывает подобные системы. Основная идея заключается в том, что бы не в ущерб удобству и функциональности, сделать систему настолько простой, что неподготовленный человек с лёгкостью может установить и использовать её у себя дома. Хорошая аналогия - домашние Интернет роутеры Linksys или D-link. Система предполагается быть модульной, что позволит клиенту выбрать начальный модуль с требуемой функциональностью (Система видео-наблюдения и охраны, управление светом, управление климатом, управление домашними аудио/видео приборами, GSM/CDMA routing, fax-server) и затем наращивать её по мере желания и возможности. Мы планируем использовать открытые протоколы, а также поддерживать уже используемые протоколы, такие как EIB и AMX. Это позволите системе быть легко модернизируемой и совместимой с системами других производителей.

Мы уже имеем работающий прототип системы на базе PC и Microsoft Windows Advanced Server, покрывающий функциональность управления светом, управления аудио/видео техникой и Internet routing. Мы также имеем партнёра, производящего диммеры, релейные блоки и другие конечные устройства.

Организация команды разработчиков высокого уровня – наша следующая задача. Это позволит нам заняться разработкой бортовых сетей для различных типов транспорта, начиная с велосипеда и заканчивая самолётом. Уже сейчас мы занимаемся разработкой архитектуры системы, позволяющей использовать её различным OEM разработчикам для отображения их собственной информации, получаемой с серии различных датчиков, в удобном только для них виде. Этот проект носит имя “Универсальный индикатор”


Интерпретация иерархической модели в среде ParJava

В. А. Падарян

Институт Системного Программирования Российской Академии Наук

г. Москва


Рассматривается интегрированная среда ParJava, поддерживающая разработку и сопровождение программ, параллельных по данным. Разработка параллельной программы обладает важной особенностью – необходимо обеспечить такие её свойства как эффективность и масштабируемость, что требует дополнительной «доводки» программы.

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

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

Иерархическая модель программы определяется как набор направленных графов, где каждой функции (методу) соответствует её граф потока управления. Каждая вершина графа снабжена заполненным списком атрибутов A. В списке есть атрибут, определяющий время выполнения данной вершины. Вершина представляет собой базовый блок одного из следующих типов: линейный участок – линейная последовательность операторов Java-программы (последним оператором такого базового блока может быть оператор ветвления), вызов метода, вызов коммуникационного метода MPI, вызов служебного метода MPI, вызов метода JDK. Для каждого типа вершины время её выполнения определяется соответствующим образом. Для линейных участков кода и библиотечных функций общего вида время работы определяется заранее – например, через замер. Для коммуникационных функций MPI время работы может быть определено с помощью коммуникационной модели, такой как LogGP. Вершина отвечающая вызову пользовательской функции, получает определённый атрибут как результат символьной интерпретации этой функции.

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

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

У программ, написанных на языке Java, граф потока управления сводим, что гарантирует возможность применить операции свёртки. Введём дополнительные типы вершин для свёрнутых подграфов. Для определения атрибута «время» используются рекурсивные формулы.

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


Компонентное программирование с использованием технологий .NET

Д. Е. Пахомов.

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

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

г. Тверь


  • Развитие идеи компонентного программирования.

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

  • Использование веб служб(сервисов) в качестве компонент при разработке приложений.

  • Преимущества веб-сервисов для программ, используемых в мобильных устройствах (смартфонах и КПК)

  • Использование метаданных и атрибутов. Работа с пространством имен Reflections.

  • Использование пользовательских атрибутов и технологии отражения для создания «Динамических» приложений.

  • Написание контрактов, предложенных Бертрандом Мейером (создателем языка Eiffel) для повышения надежности компонентов.


В качестве образца технологии используется проект «Численные методы».


Приложение состоит из веб-сервиса и приложения клиента в виде Windows Application или ASPX страницы. Веб-сервис содержит несколько методов, производящих различные вычисления с данными пользователя (сложение, умножение и.т.д.).

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

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


Вычисления в XML документах

А. В. Поляков

Физический факультет МГУ им. М.В.Ломоносова

Москва


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

Предлагаемый подход состоит из двух частей. Первая часть описывает вычисляемые выражения, которые помещаются в XML документ. Значение любого атрибута или текстового узла XML документа может содержать в качестве подстроки вычисляемое выражение, окруженное фигурными скобками {expr}. Вычисляемое выражение – это XSLT выражение (expression), т. е. выражение, описанное в спецификации XSLT. Значение атрибута или текстового узла, содержащее вычисляемое выражение, интерпретируется и обрабатывается как шаблон значения атрибута (attribute value template) согласно спецификации XSLT. Текущим узлом (относительно которого записывается XPath выражение, и который возвращает функция current()) является место положения самого выражения {expr}. Подобно электронным таблицам, вычисляемое выражение {expr} может содержать ссылки на атрибуты и/или текстовые узлы, которые сами содержат некоторые вычисляемые выражения.


Пример.

{../@a1 * ../@a2}

Результат обработки этого файла следующий.

63


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

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


ПРОГРАММНЫЙ ПАКЕТ "HYBRID"

А.М. Попов,

Физический Институт им. П.Н. Лебедева, аспирант.

Научный руководитель – к.ф.м.-н. Михеева Е.В.

г. Москва.


Программный пакет HYBRID написан автором в целях численного расчета эволюционных треков в модели гибридной инфляции. Для численного интегрирования уравнений Энштейна используется метод Рунге-Кутта IV порядка, а для коррекции шага интегрирования – разработанный автором алгоритм ASIA – “Adaptive Step Integration Algorythm”. Программа реализована на платформе Microsoft Windows-2000 с помощью Microsoft Visual C++ v. 6.0. Классы MFC использовались для организации многопоточной структуры программы и для визуализации данных. В связи с достаточно скромными целями исследования, тип приложения был выбран соответствующим типу "Диалоговое окно".

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

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

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


Мониторинг журналов событий с помощью сценариев WMI

А.В. Попов1, Е.А. Шикин2

1 Мордовский государственный университет им. Н.П. Огарева

2 Мордовское отделение №8589 Сбербанка России

г. Саранск


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

Наиболее привычным и стандартным средством обработки данных в журналах событий является оснастка "Просмотр событий" консоли управления MMC. Она позволяет просматривать произошедшие события (все или удовлетворяющие задаваемому фильтру) на локальном или удаленном компьютере, производить в журнале поиск нужных событий, экспортировать записи журналов в файл с разделителями. Начиная с Windows XP, те же действия можно выполнять из командной строки с помощью входящей в состав операционной системы VBScript-утилиты eventquery.vbs, в которой применяется базовая технология WMI (Windows Management Instrumentation) [1], предназначенная для централизованного управления и слежения за работой различных частей компьютерной сети под управлением Windows. Данная утилита позволяет сохранять выводимую информацию во внешнем файле в форме таблицы или списка с разделителями; применяя ее в командных файлах или сценариях WSH (Windows Script Host), можно автоматизировать выполнение различных запросов к журналам событий на нескольких машинах.

Технология WMI используется и в другой стандартной для Windows XP утилите командной строки eventtriggers.exe, которая позволяет при добавлении в журнал событий локального или удаленного компьютера записи заданного типа (например, события с определенным кодом или события, информирующего о возникновении какой-либо ошибки) автоматически запускать определенную задачу (скажем, командный файл или сценарий WSH). Такая связка "событие–приложение" называется триггером; в системе можно определить несколько триггеров, которые будут действовать постоянно, решая тем самым задачу оперативной обработки событий, информация о которых фиксируется в журналах событий.

Мы предлагаем для автоматической обработки изменений в журналах событий WMI-утилиту EventRegister.hta, которая имеет следующие преимущества по сравнению с eventtriggers.exe:

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

  • утилита имеет графический интерфейс, реализованный в виде HTML-формы;

  • для обработки событий могут использоваться несколько стандартных постоянных потребителей событий WMI, в том числе SMTP-потребитель, что позволяет отправлять извещения о наступлении событий по электронной почте;

  • в отличие от eventtriggers.exe, утилита EventRegister.hta позволяет получить доступ ко всем полям записи из журнала событий;

  • связка "событие–обработчик" может находиться в репозитории WMI как в активном, так и в неактивном состоянии, что позволяет временно отключать ненужные обработчики, не удаляя их из системы полностью.


Литература

1. А.В.Попов, Е.А.Шикин. Администрирование Windows с помощью WMI и WMIC. - СПб.: БХВ-Петербург, 2004. - 752 с.


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
обратиться к администрации
Библиотека
Главная страница