---

Программа НФИ 2003

25 июня, ауд. 361

Открытие. 11:00-11:20

Десять лет сотрудничества: взгляд из Хельсинки и Петрозаводска.
Ректор Петрозаводского государственного университета, профессор В. Н. Васильев
Зам. заведующего каф. Информатики Хельсинкского университета, профессор Т. Аланко.

Сессия 1.

Председатель профессор Тимо Аланко,
секретарь Д. Ж. Корзун.

1. 11:25-12:55.
   Проблемы беcпроводного Интернет и решения.
   Проф. Киммо Раатикайнен (Хельсинкский университет, Финляндия)
2. 13:00-13:30.
   О подготовке программистов высшей квалификации в ПетрГУ.
   Первый проректор ПетрГУ А. В. Воронин, доц. В. А. Кузнецов (Петрозаводский государственный университет, Россия).
3. 13:35-13:55.
   Общее ядро учебного плана подготовки специалистов по информатике: Хельсинкский и Петрозаводский университеты.
   Доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия),
   Проф. Тимо Аланко (Хельсинкский университет, Финляндия).

14:00-15:00. Обед.

Сессия 2.

Председатель профессор В. А. Васенин,
секретарь доц. О. Ю. Богоявленская.

4. 15:00-15:25
   Развитие информационной среды ПетрГУ.
   Проректор по информатизации ПетрГУ Н. С. Рузанова (Петрозаводский государственный университет, Россия).
5. 15:30-15:50
   Особенности вероятностных распределений компонент трафика компьютерных сетей.
   вед.н.с. А. А. Макаров, Н. Л. Ковба, Г. И. Симонова (Московский государственный университет, Россия).
6. 15:55-16:20
   Программные агенты и семантический Web - технологии для интеллектуального беспроводного Интернета.
   Вед.н.с. Хеймо Лааманен (Телия-Сонера, Финляндия).

16:20-16:40. Перерыв на кофе.

7. 16:40-17:55
   Производительность программного обеспечения.
   Проф. Инкери Веркамо (Хельсинкский университет, Финляндия).
8. 18:00-18:25
   Применение теоретико-игровых методов для реализации моделей переговоров в многоагентных системах.
   Проф. В. В. Мазалов, доц. В. Т. Вдовицын (Карельский научный Центр РАН, Россия).
9. 18:30-18:55
   Моделирование некоторых сетей обслуживания с использованием расширенной слабой регенерации.
   Проф. Е. В. Морозов, А. Белый (Карельский научный Центр РАН, Россия).

19:00. Банкет.

26 июня, ауд. 361

Сессия 3.

Председатель профессор Киммо Раатикайнен,
Секретарь доц. О. Ю. Богоявленская.

10. 9:30-10:10
    Анализ текстов на основе распознавания часто повторяющихся фраз.
    Проф. Хелена Ахонен-Мюка (Хельсинкский университет, Финляндия).
11. 10:15-10:35
    Внедрение автоматизированных систем управления складскими комплексами с применениеми современных методов ID-технологий.
    Официальный эксперт Государственной Думы РФ А. С. Максимовский (Interbarcode, Москва, Россия).
12. 10:40-11:10
    Поддержка кочующих агентных приложений в архитектуре агентов FIPA.
    Вед.н.с. Хейкки Хелин (Телия-Сонера, Финляндия).
13. 11:15-11:40
    Международные сети передачи данных.
    Вед.н.с. Ханну Рейтту (Государственный Центр научно-технических исследований Финляндии).

11:40-12:00. перерыв на кофе.

14. 12:00-12:25
    Эффективное моделирование переподнения буфера в очередях с нарушениями.
    Проф. Виктор Ф. Никола (Университет г. Твенте, Нидерланды).
15. 12:30-12:55
    Поиск и кластеризация взаимосвязанных полнотекстовых документов.
    Вед.н.с. С. А. Афонин, А. С. Козицын (Московский государственный университет, Россия).
16. 13:00-13:30
    Проблемы автоматического обучения в задаче классификации микроструктур двухфазных сплавов.
    А. С. Шундеев, К. А. Костюхин (Московский государственный университет, Россия).

13:30-14:30 Обед.

Сессия 4.

Председатель доцент Ю. А. Богоявленский,
секретарь Д. Ж. Корзун.

17. 14:30-14:55
    Распознавание и трехмерное моделирование микроструктур двухфазных сплавов.
    И. Ю. Денисов, В. С. Слепнев (Московский государственный университет, Россия).
18. 15:00-15:25
    Разреженный тор как сильно масштабируемый маршрутизатор-переключатель.
    Ристо Хонканен (Университет г. Куопио, Финляндия), Проф. Вилле Леппянен (Университет г. Йоенсуу, Финляндия), Проф. Мартти Пенттонен (Университет г. Турку, Финляндия).
19. 15:30-15:50
    Модели эффективного управления трафиком при использовании протокола TCP.
    Проф. В. А. Васенин, А. В. Мирошниченко (Московский государственный университет, Россия).

15:50-16:10 перерыв на кофе.

20. 16:10-16:30
    Производительность алгоритма протокола TCP для избежания переполнения.
    Доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия).
21. 16:35-17:00
    Грубые множества и принятие решений.
    Доц. Йоуни Ярвинен, Доц. Александр Мюлляри (Университет г. Турку, Финляндия).
22. 17:00-17:20
    О проблеме моделирования и идентификации структуры трафика сетевого канала.
    Доц. Ю. А. Богоявленский, Д. Ж. Корзун (Петрозаводский государственный университет, Россия).

Стендовые доклады. 17:20-17:50

23. P-метрики для измерений производительности сегмента сети Ethernet.
    А. В. Бородин, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия)
24. Особенности проектирования баз данных для больших торговых организаций.
    Проф. И. Л. Братчиков, О. В. Григорьева (Санкт-Петербургский государственный университет, Россия).
25. Разработка оболочки экспертной системы учебного назначения.
    Проф. И. Л. Братчиков, И. В. Калюжный (Санкт-Петербургский государственный университет, Россия).
26. О разработке средств синхронизации DLS и SIS.
    И.~Л.~Бурсин (Петрозаводский государственный университет, Россия).
27. Использование криптографических кодов для верификации байткода в среде смарт карт.
    К. Хюппенен, Е. Тричина (Университет г.~Куопио, Финляндия).
28. Архитектура адаптивной обучающей системы.
    П. Е. Гладышев, доц. Г. С. Сиговцев (Петрозаводский государственный университет, Россия).
29. Построение семантических сетей для разработки OLAP моделей. (PDF 1, 2, 3, 4)
    И. В. Киреев (Санкт-Петербургский государственный университет, Россия).
30. Автоматическая генерация тестов и экспериментальный анализ алгоритмов решения неотрицательных линейных диофантовых уравнений.
    К. А. Кулаков, Д. Ж. Корзун (Петрозаводский государственный университет, Россия).
31. Опыт использования информационной системы metsoDNA для идентификации математических моделей.
    Т. Лааксонен (Метсо Автоматизация, Финляндия), А. В. Воронин (Петрозаводский государственный университет, Россия), А. И. Шабаев (Метсо Автоматизация, Финляндия).
32. Проектирование современных складских систем на основе анализа товарных потоков с применением методов имитационного моделирования.
    Вед.н.с А. А. Макаров, Официальный эксперт Государственной Думы РФ А. С. Максимовский, И. С. Астапов, И. В. Латынцев (Московский государственный университет, Россия; Interbarcode, Москва, Россия).
33. Использование формальных грамматик для описания документов кафедры.
    Т. В. Назаров, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия).
34. Реконструкция размера скользящего окна протокола TCP на оснве заголовков IP и TCP.
    В. А. Пономарев, доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия).
35. Анализ сигналов электроэнцефалограмм.
    О. А. Пономарев, Ярно Микконен, Маркку Пенттонен (Университет г. Куопио, Финляндия).
36. Идентификация маршрута мобильного пользователя по мнрожеству его GPS-координат.
    А. Сало, доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия).
37. Текущие расширения TCPconal - языка спецификации обработки потоков данных сетевого трафика.
    П. А. Сëмин, Д. Ж. Корзун, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия).
38. Применение Теоретико-игровых методов для определения моментов времени изменения структуры сетевого трафика.
    Д. Н. Журавлев (Карельский научный Центр РАН, Россия).
39. 17:50-18:00
    Демонстрация сервера алгоритма упрощения линий.
    А. Сало, доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия).
40. 18:00-18:10
    Демонстрация возможностей языка TCPconal.
    П. А. Сëмин, Д. Ж. Корзун, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия).

18:10-18:20. Общая дискуссия и закрытие семинара

---