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

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