Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук



«Системы и средства информатики»
Москва, ИПИ РАН, 2005 г.

Проблемы и методы информатики. II Научная сессия ИПИ РАН: Тезисы докладов.

Секция 1. ИНТЕГРИРОВАННЫЕ ИНФОРМАЦИОННО-ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ И СЕТИ, ИНФОРМАТИЗАЦИЯ ОБЩЕСТВА

  • И.А. Соколов, В.И. Будзко, И.Н. Синицын.
    Построение информационно-телекоммуникационных систем высокой доступности.
  • В.И. Будзко, Э.В. Киселев, П.А. Кейер, С.В. Борохов.
    Функциональное структурирование и критерии оптимизации параметров построения и функционирования информационно-телекоммуникационных систем высокой доступности.
  • В.И. Будзко, Э.В. Киселев, П.А. Кейер, С.В. Борохов, В.Г. Беленков.
    Экономические основы консолидации обработки в информационно-телекоммуникационных системах высокой доступности.
  • А.П. Курило, С.В. Борохов.
    Организация построения и сопровождения эксплуатации системы безопасности ИТС ВД на примере банковских систем.
  • С.В. Борохов, В.И. Будзко, А.П. Курило.
    Архитектура и принципы построения системы безопасности ИТС ВД.
  • С.В. Борохов, И.Н. Синицын, А.С. Рыков.
    Экспертная оценка эффективности построения системы безопасности ИТС ВД.
  • И.И. Быстров, Б.Д. Пичкур, И.Н. Синицын, Э.Р. Корепанов, В.В. Белоусов, В.С. Шоргин, Д.Ф. Ильясов, И.В. Макаренкова, О.С. Ушмаев, Е.С. Агафонов.
    Разработка методов и средств повышения эффективности эксплуатации ИТС Банка России .
  • П.А. Кейер, В.И. Будзко, В.Г. Беленков.
    Катастрофоустойчивые решения в информационно-телекоммуникационных системах высокой доступности.
  • П.А. Кейер, В.И. Будзко, А.Н. Козлов.
    Оптимизация построения и функционирования средств обеспечения катастрофоустойчивости.
  • А.Н. Козлов, М.В. Образцов.
    Пути повышения производительности бизнес процессов в ИТС ВД.
  • А.Н. Козлов, К.А. Малюгин.
    Анализ алгоритмов обработки платежных документов в системе коллективной обработки платежной информации Банка России .
  • С.Н. Гринченко.
    Информатизация общества в контексте метаэволюции человечества как целостной системы.
  • И.И. Быстров.
    Информационная война.
  • С.А. Христочевский.
    Проект "Информатизация системы образования".
  • И.В. Роберт.
    Теоретические основы информатизации образования.
  • Н.Г. Гладких.
    Информационная динамика.
  • И.М. Зацман.
    Система семиотических аксиом информатики как фундаментальной науки .
  • И.М. Зацман.
    Семиотические основы создания интеллектуальных технологий.
  • И.М. Гуревич.
    Введение в физическую информатику .
  • К.К. Колин.
    Фундаментальные основы информатики.
  • А.И. Мартыненко.
    База Знаний о Земле - исследования и обучение специалистов.
  • В.В. Вихрев.
    Электронный учебник: к построению фрагментов когнитивного пространства .
  • Л.П. Мартиросян.
    О необходимости обучения учителей математики использованию информационных технологий.
  • Н.А. Левин, М.Б. Мирович, В.И. Мунерман.
    Основные принципы разработки САПР учителя.
  • Р.С. Златин, Н.А. Левин, В.И. Мунерман.
    Структура подсистемы методического обеспечения САПР учителя математики.

    Секция 2. МАТЕМАТИЧЕСКИЕ МОДЕЛИ И МЕТОДЫ В ИНФОРМАТИКЕ, СТОХАСТИЧЕСКИЕ ТЕХНОЛОГИИ И СИСТЕМЫ

  • А.В. Колесников, И.А. Кириков.
    Функциональные гибридные интеллектуальные системы для поддержки принятия решений в сложных практических задачах.
  • И.Н. Синицын, В.И. Синицын.
    Методы анализа нелинейных стохастических систем.
  • А.В. Борисов.
    Анализ состояний скрытых марковских моделей, порожденных специальными скачкообразными процессами .
  • А.В. Борисов, Г.Б. Миллер.
    Скрытая марковская модель передачи данных по протоколу TCP .
  • О.С. Ушмаев, С.О. Новиков, И.Н. Синицын.
    Стохастические проблемы интегрированной обработки информации.
  • Д.Ф. Ильясов, И.Н. Синицын.
    Информационные технологии стохастической обработки и аудита крупномасштабных электронных таблиц и их применение .
  • Н.А. Левин, В.И. Мунерман, В.П. Сергеев.
    Применение многомерных матриц в запросах пользователей к базам данных.
  • Н.А. Левин, В.И. Мунерман.
    Использование алгебраических методов для повышения производительности вычислительных систем.
  • Н.А. Левин, В.И. Мунерман, С.В. Сидоренкова.
    Реализация алгебры многомерных матриц в ассоциативной памяти .
  • Е.П. Емельченков, Н.А. Левин.
    О моделировании сложных предметных областей .
  • П.П. Бочаров.
    G-cети: направления развития исследований.
  • А.В. Печинкин, В.В. Чаплыгин.
    Математическая модель для расчета многолинейных СМО .
  • С.В. Антонов, И.А. Ушаков.
    Компьютерная модель однолинейной СМО и выбор эффективной схемы обслуживания .
  • М.Г. Коновалов.
    Градиентный подход к управлению конечными марковскими цепями и его применение .
  • В.Г. Ушаков, О.В. Шестаков.
    Восстановление вероятностных характеристик случайных функций в задачах эмиссионной стохастической томографии .
  • В.Е. Бенинг, В.Ю. Королев.
    О распределении стьюдента как альтернативе нормальному в некоторых задачах теории надежности .
  • В. Ю. Королев, И. Г. Шевцова.
    О практической точности нормальной аппроксимации для распределений сумм независимых случайных величин.
  • Р.Б. Решетников.
    Одна модель прогнозирования состояний распределенных информационных систем.
  • Я.М. Агаларов.
    Алгоритм адаптивной маршрутизации в АТМ-сети .
  • Ф.И. Пепинов.
    О проблемах маршрутизации групповых сообщений .
  • С.Л. Френкель.
    Вероятностные модели производительности прикладных вычислительных систем .
  • С.А.Осмоловский.
    Искусственные стохастические информационные системы: цели и порядок применения.
  • С.Я. Шоргин.
    О байесовских моделях массового обслуживания .

    Секция 3. ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ НАКОПЛЕНИЯ, ХРАНЕНИЯ, ПОИСКА, ОБРАБОТКИ, ПРЕОБРАЗОВАНИЯ, ОТОБРАЖЕНИЯ И ПЕРЕДАЧИ ИНФОРМАЦИИ

  • С.К. Шаумян.
    Семиотическая лингвистика как объяснительная наука.
  • Е.Б. Козеренко.
    Функционально-семантические представления для систем машинного перевода .
  • Н.В. Сомин.
    Каталоги специальных знаний в системе анализа текстов на естественном языке.
  • И.П. Кузнецов.
    Проблемы выделения информационных объектов из текстов на примере СМИ.
  • А.А. Перекрестенко.
    Разработка парсера на основе мягко контекстно-зависимой унификационной грамматики.
  • Ю.В. Рождественский.
    Реализация основных алгоритмов обработки речевой информации на коммерческих сигнальных процессорах малой вычислительной мощности.
  • C.О. Новиков, О.С. Ушмаев.
    Оценка смещения границ объектов с нечеткими контурами в условиях сильных шумов.
  • С.О. Новиков, О.А. Лебедев.
    Анализ групп с учетом аллометрии в векторном пространстве основных неявных признаков.
  • О.П. Архипов, П.О. Архипов, З.П. Зыкова.
    Перспективные направления развития ИТ цветопередачи RDC.
  • Н.А. Маркова.
    О методологии программных проектов.
  • А.Л. Фридман.
    Исследование возможности управления информационными процессами на основе механизма событий .
  • С.А. Ступников, Л.А. Калиниченко.
    Формальная семантика канонической информационной модели в композиционной инфраструктуре распределенных информационных систем.
  • Н.А. Земцов, С.А. Ступников, Л.А. Калиниченко.
    Синтез канонической процессной модели для интероперабельных инфраструктур информационных систем.
  • Д.О. Брюхов, О.П. Желенкова, В.Н. Захаров, Л.А. Калиниченко.
    Проект информационной инфраструктуры РВО .
  • И.М. Адамович, А.Н.Пешков.
    Локальные информационно упорядоченные подпространства в глобальном пространстве Интернет.
  • А.В. Босов.
    Информационный портал поддержки научной деятельности.
  • Б.Н. Андерс, А.Л. Курц, И.Л. Иткин.
    Система SYMBOL BUILDER. Принципы интеграции в САПР .
  • Б.И. Рабинович.
    Организация баз знаний в современных СУБД.
  • В.С. Шоргин.
    Проблемы структуризации информационных массивов взаимосвязанных объектов.
  • И.А. Соколов, А.И. Мартыненко.
    Геоиформационные ресурсы: проблемы интегрирования и стандартизации.
  • С.К. Дулин, И.Н. Розенберг.
    О задачах геоинформационного портала отрасли.
  • В.А. Тараканов, А.И. Мартыненко.
    Применение геоинформатики при эколого-экономической оценке устойчивого развития территорий.
  • А.М. Абрамов, Ю.Н. Жуков, А.И. Мартыненко, А.Б. Опарин.
    Система "Электронная Земля" в цифровой морской картографии.
  • А.И. Мартыненко, М.Э. Флейс.
    Математическая основа ГИС .
  • А.И. Мартыненко, Т.П. Варшанина, О.А. Плисенко.
    Геоинформационное моделирование горных регионов.
  • А.И. Мартыненко, О.В. Тагунова.
    Разработка теоретических основ пространственного моделирования местности с использованием электронных карт и космических изображений .
  • А.И. Мартыненко, И.П. Карачевцева, С.К. Коробцов, А.Б. Алексеев.
    Моделирование и аналитическая обработка рельефа для интернет-картографирования.
  • А.И. Мартыненко, С.И. Матвеев.
    Применение геоинформатики в управлении воздушным и наземным транспортом .

    Секция 4. АРХИТЕКТУРА, СИСТЕМНЫЕ РЕШЕНИЯ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ И СЕТЕЙ НОВЫХ ПОКОЛЕНИЙ

  • А.С.Оленин.
    Исследование векторных характеристик представительных вычислений.
  • А.О. Провоторова.
    Особенности реализации языка SQL для параллельной системы баз данных на основе суперпроцессора с автоматическим распределением ресурсов .
  • A.E. Ширай..
    Организация запуска потоковых программ в сервере на базе вычислительного комплекса с автоматическим распределением ресурсов .
  • Д.В. Петрищев.
    Реализация сервера вычислений на базе системы с автоматическим распределением ресурсов.
  • Н.Н. Левченко.
    Представление структур данных в вычислительной системе, управляемой потоком данных .
  • Н.Н. Левченко, А.С. Окунев.
    Вопросы аппаратно-программной реализации условных конструкций в вычислительной системе, управляемой потоком данных.
  • Н.Н. Левченко, А.С. Окунев, Г.О. Чумаченко, И.К. Хайлов.
    Варианты аппаратной поддержки многовходовых узлов в вычислительной системе с автоматическим распределением ресурсов.
  • А.С. Окунев.
    Возможности использования IP-сопроцессора фирмы IDT в качестве памяти совпадений при макетировании вычислительной системы, управляемой потоком данных .
  • Г.О. Чумаченко.
    Особенности функционирования памяти совпадений в структуре вычислительной системы с автоматическим распределением ресурсов.
  • К.В. Хлыстов.
    Проблемы сопряжения хост-машины с вычислительной системой с автоматическим распределением ресурсов посредством интерфейса PCI Express.
  • Е.С. Градов .
    Проблемы аппаратной реализации исполнительного устройства макета вычислительной системы с автоматическим распределением ресурсов на базе программируемых логических микросхем .
  • Е.А. Янкевич.
    Вопросы построения коммутационной среды макета вычислительной системы с автоматическим распределением ресурсов с применением ПЛИС .
  • Ю.А. Степченков.
    Рекуррентная архитектура для речевых приложений .
  • Ю.А. Степченков, В.С. Петрухин, Ю.Г. Дьяченко.
    Сравнительный анализ самосинхронного и синхронного вариантов реализации ядра микроконтроллера на БМК .
  • С.В.Замковец, В.Н.Захаров.
    Система тестирования для программных моделей микропроцессоров .
  • Л.П. Плеханов.
    Функциональный подход в проектировании самосинхронных схем .
  • В.Н. Захаров, В.А. Козмидиади.
    Частично упорядоченное время, недетерминизм поведения и проблема отказоустойчивости приложений .