Программа НФИ 2003
25 июня, ауд. 361
Открытие. 11:00-11:20
Десять лет сотрудничества:
взгляд из Хельсинки и Петрозаводска.
Ректор Петрозаводского государственного университета,
профессор В. Н. Васильев
Зам. заведующего каф. Информатики Хельсинкского университета,
профессор Т. Аланко.
Сессия 1.
Председатель профессор Тимо Аланко,
секретарь Д. Ж. Корзун.
- 11:25-12:55.
Проблемы беcпроводного Интернет и решения.
Проф. Киммо Раатикайнен (Хельсинкский университет, Финляндия) - 13:00-13:30.
О подготовке программистов высшей квалификации в ПетрГУ.
Первый проректор ПетрГУ А. В. Воронин, доц. В. А. Кузнецов (Петрозаводский государственный университет, Россия). - 13:35-13:55.
Общее ядро учебного плана подготовки специалистов по информатике: Хельсинкский и Петрозаводский университеты.
Доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия),
Проф. Тимо Аланко (Хельсинкский университет, Финляндия).
14:00-15:00. Обед.
Сессия 2.
Председатель профессор В. А. Васенин,
секретарь доц. О. Ю. Богоявленская.
- 15:00-15:25
Развитие информационной среды ПетрГУ.
Проректор по информатизации ПетрГУ Н. С. Рузанова (Петрозаводский государственный университет, Россия). - 15:30-15:50
Особенности вероятностных распределений компонент трафика компьютерных сетей.
вед.н.с. А. А. Макаров, Н. Л. Ковба, Г. И. Симонова (Московский государственный университет, Россия). - 15:55-16:20
Программные агенты и семантический Web - технологии для интеллектуального беспроводного Интернета.
Вед.н.с. Хеймо Лааманен (Телия-Сонера, Финляндия).
16:20-16:40. Перерыв на кофе.
- 16:40-17:55
Производительность программного обеспечения.
Проф. Инкери Веркамо (Хельсинкский университет, Финляндия). - 18:00-18:25
Применение теоретико-игровых методов для реализации моделей переговоров в многоагентных системах.
Проф. В. В. Мазалов, доц. В. Т. Вдовицын (Карельский научный Центр РАН, Россия). - 18:30-18:55
Моделирование некоторых сетей обслуживания с использованием расширенной слабой регенерации.
Проф. Е. В. Морозов, А. Белый (Карельский научный Центр РАН, Россия).
19:00. Банкет.
26 июня, ауд. 361
Сессия 3.
Председатель профессор Киммо Раатикайнен,
Секретарь доц. О. Ю. Богоявленская.
- 9:30-10:10
Анализ текстов на основе распознавания часто повторяющихся фраз.
Проф. Хелена Ахонен-Мюка (Хельсинкский университет, Финляндия). - 10:15-10:35
Внедрение автоматизированных систем управления складскими комплексами с применениеми современных методов ID-технологий.
Официальный эксперт Государственной Думы РФ А. С. Максимовский (Interbarcode, Москва, Россия). - 10:40-11:10
Поддержка кочующих агентных приложений в архитектуре агентов FIPA.
Вед.н.с. Хейкки Хелин (Телия-Сонера, Финляндия). - 11:15-11:40
Международные сети передачи данных.
Вед.н.с. Ханну Рейтту (Государственный Центр научно-технических исследований Финляндии).
11:40-12:00. перерыв на кофе.
- 12:00-12:25
Эффективное моделирование переподнения буфера в очередях с нарушениями.
Проф. Виктор Ф. Никола (Университет г. Твенте, Нидерланды). - 12:30-12:55
Поиск и кластеризация взаимосвязанных полнотекстовых документов.
Вед.н.с. С. А. Афонин, А. С. Козицын (Московский государственный университет, Россия). - 13:00-13:30
Проблемы автоматического обучения в задаче классификации микроструктур двухфазных сплавов.
А. С. Шундеев, К. А. Костюхин (Московский государственный университет, Россия).
13:30-14:30 Обед.
Сессия 4.
Председатель доцент Ю. А. Богоявленский,
секретарь Д. Ж. Корзун.
- 14:30-14:55
Распознавание и трехмерное моделирование микроструктур двухфазных сплавов.
И. Ю. Денисов, В. С. Слепнев (Московский государственный университет, Россия). - 15:00-15:25
Разреженный тор как сильно масштабируемый маршрутизатор-переключатель.
Ристо Хонканен (Университет г. Куопио, Финляндия), Проф. Вилле Леппянен (Университет г. Йоенсуу, Финляндия), Проф. Мартти Пенттонен (Университет г. Турку, Финляндия). - 15:30-15:50
Модели эффективного управления трафиком при использовании протокола TCP.
Проф. В. А. Васенин, А. В. Мирошниченко (Московский государственный университет, Россия).
15:50-16:10 перерыв на кофе.
- 16:10-16:30
Производительность алгоритма протокола TCP для избежания переполнения.
Доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия). - 16:35-17:00
Грубые множества и принятие решений.
Доц. Йоуни Ярвинен, Доц. Александр Мюлляри (Университет г. Турку, Финляндия). - 17:00-17:20
О проблеме моделирования и идентификации структуры трафика сетевого канала.
Доц. Ю. А. Богоявленский, Д. Ж. Корзун (Петрозаводский государственный университет, Россия).
Стендовые доклады. 17:20-17:50
-
P-метрики для измерений производительности сегмента сети Ethernet.
А. В. Бородин, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия) -
Особенности проектирования баз данных для больших торговых организаций.
Проф. И. Л. Братчиков, О. В. Григорьева (Санкт-Петербургский государственный университет, Россия). -
Разработка оболочки экспертной системы учебного назначения.
Проф. И. Л. Братчиков, И. В. Калюжный (Санкт-Петербургский государственный университет, Россия). -
О разработке средств
синхронизации DLS и SIS.
И.~Л.~Бурсин (Петрозаводский государственный университет, Россия). -
Использование криптографических кодов для верификации байткода
в среде смарт карт.
К. Хюппенен, Е. Тричина (Университет г.~Куопио, Финляндия). -
Архитектура адаптивной обучающей системы.
П. Е. Гладышев, доц. Г. С. Сиговцев (Петрозаводский государственный университет, Россия). -
Построение семантических сетей для разработки OLAP моделей.
(PDF 1,
2,
3,
4)
И. В. Киреев (Санкт-Петербургский государственный университет, Россия). -
Автоматическая генерация тестов
и экспериментальный анализ алгоритмов решения неотрицательных
линейных диофантовых уравнений.
К. А. Кулаков, Д. Ж. Корзун (Петрозаводский государственный университет, Россия). -
Опыт использования информационной системы metsoDNA для
идентификации математических моделей.
Т. Лааксонен (Метсо Автоматизация, Финляндия), А. В. Воронин (Петрозаводский государственный университет, Россия), А. И. Шабаев (Метсо Автоматизация, Финляндия). -
Проектирование современных складских систем на основе анализа
товарных потоков с применением методов имитационного моделирования.
Вед.н.с А. А. Макаров, Официальный эксперт Государственной Думы РФ А. С. Максимовский, И. С. Астапов, И. В. Латынцев (Московский государственный университет, Россия; Interbarcode, Москва, Россия). -
Использование формальных грамматик
для описания документов кафедры.
Т. В. Назаров, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия). -
Реконструкция размера
скользящего окна протокола TCP на оснве заголовков IP и TCP.
В. А. Пономарев, доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия). -
Анализ сигналов электроэнцефалограмм.
О. А. Пономарев, Ярно Микконен, Маркку Пенттонен (Университет г. Куопио, Финляндия). -
Идентификация маршрута мобильного пользователя по мнрожеству
его GPS-координат.
А. Сало, доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия). -
Текущие расширения TCPconal - языка спецификации обработки
потоков данных сетевого трафика.
П. А. Сëмин, Д. Ж. Корзун, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия). -
Применение Теоретико-игровых методов для определения моментов времени
изменения структуры сетевого трафика.
Д. Н. Журавлев (Карельский научный Центр РАН, Россия). - 17:50-18:00
Демонстрация сервера алгоритма упрощения линий.
А. Сало, доц. О. Ю. Богоявленская (Петрозаводский государственный университет, Россия). - 18:00-18:10
Демонстрация возможностей языка TCPconal.
П. А. Сëмин, Д. Ж. Корзун, доц. Ю. А. Богоявленский (Петрозаводский государственный университет, Россия).
18:10-18:20. Общая дискуссия и закрытие семинара