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

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

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

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

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

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

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

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

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

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