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

Титул......Page 2 И.А. Соколов, В.И. Будзко, И.Н. Синицын. Построение информационно-телекоммуникационных систем высокой доступности......Page 3 В.И. Будзко, Э.В. Киселев, П.А. Кейер, С.В. Ворохов. Функциональное структурирование и критерии оптимизации параметров построения и функционирования информационно-телекоммуникационных систем высокой доступности......Page 6 В.И. Будзко, Э.В. Киселев, П.А. Кейер, С.В. Ворохов, В.Г. Бепенков. Экономические основы консолидации обработки в информационно-телекоммуникационных системах высокой доступности......Page 7 А.П. Курило, С.В. Ворохов. Организация построения и сопровождения эксплуатации системы безопасности ИТС ВД на примере банковских систем......Page 9 C.В. Борохов, В.И. Будзко, А.П. Курило. Архитектура и принципы построения системы безопасности ИТС ВД......Page 11 С.В. Ворохов, И.Н. Синицын, А.С. Рыков. Экспертная оценка эффективности построения системы безопасности ИТС ВД......Page 14 И.И. Быстров, Б.Д. Пичкур, И.Н. Синицын, Э.Р. Корепанов, В.В. Белоусов, B.C. Шоргин, Д.Ф. Ильясов, И.В. Макаренкова, О.С. Угимаев, Е.С. Агафонов. Разработка методов и средств повышения эффективности эксплуатации ИТС Банка России......Page 15 П.А. Кейер, В.И. Будзко, В.Г. Беленков. Катастрофоустойчивые решения в информационно-телекоммуникационных системах высокой доступности......Page 17 П.А. Кейер, В.И. Будзко, А.Н. Козлов. Оптимизация построения и функционирования средств обеспечения катастрофоустойчивости......Page 19 А.Н. Козлов, М.В. Образцов. Пути повышения производительности бизнес-процессов в ИТС ВД......Page 21 А.Н. Козлов, К.А. Малюгин. Анализ алгоритмов обработки платежных документов в системе коллективной обработки платежной информации Банка России......Page 23 С.Н. Гринченко. Информатизация общества в контексте метаэволюции человечества как целостной системы......Page 25 И.И. Быстрое. Информационная война......Page 27 С.А. Христочевский. Проект «Информатизация системы образования»......Page 28 И.В. Роберт. Теоретические основы информатизации образования......Page 31 Н.Г. Гладких. Информационная динамика......Page 33 И.М. Зацман. Система семиотических аксиом информатики как фундаментальной науки......Page 36 И.М. Зацман. Семиотические основы создания интеллектуальных технологий......Page 39 И.М. Гуревич. Введение в физическую информатику......Page 41 К.К. Колин. Фундаментальные основы информатики......Page 44 A.И. Мартыненко. База Знаний о Земле - исследования и обучение специалистов......Page 47 B.В. Вихрев. Электронный учебник: к построению фрагментов когнитивного пространства......Page 51 Л.П. Мартиросян. О необходимости обучения учителей математики использованию информационных технологий......Page 54 Н.А. Левин, М.Б. Мирович, В.И. Мунерман. Основные принципы разработки САПР учителя......Page 56 Р.С. Златин, Н.А. Левин, В.И. Мунерман. Структура подсистемы методического обеспечения САПР учителя математики......Page 59 А.В. Колесников, И.А. Кириков. Функциональные гибридные интеллектуальные системы для поддержки принятия решений в сложных практических задачах......Page 62 И.Н. Синицын, В.И. Синицын. Методы анализа нелинейных стохастических систем......Page 65 А.В. Борисов. Анализ состояний скрытых марковских моделей, порожденных специальными скачкообразными процессами......Page 67 А.В. Борисов, Г.Б. Миллер. Скрытая марковская модель передачи данных по протоколу TCP......Page 68 О С. Ушмаев, С.О. Новиков, И.Н. Синицын. Стохастические проблемы интегрированной обработки информации......Page 71 Д.Ф. Ильясов, И.Н. Синицын. Информационные технологии стохастической обработки и аудита крупномасштабных электронных таблиц и их применение......Page 73 Н.А. Левин, В.И. Мунерман, В.П. Сергеев. Применение многомерных матриц в запросах пользователей к базам данных......Page 75 Н.А. Левин, В.И. Мунерман. Использование алгебраических методов для повышения производительности вычислительных систем......Page 78 Н.А. Левин, В.И. Мунерман, С.В. Сидоренкова. Реализация алгебры многомерных матрице ассоциативной памяти......Page 80 Е.П. Емельченков, Н.А. Левин. О моделировании сложных предметных областей......Page 83 П.П. Бочаров. G-сети: направления развития исследований......Page 85 A.В. Печинкин, В.В. Чаплыгин. Математическая модель для расчета многолинейных СМО......Page 88 С.В. Антонов, И.А. Ушаков. Компьютерная модель однолинейной СМО и выбор эффективной схемы обслуживания......Page 91 М.Г. Коновалов. Градиентный подход к управлению конечными марковскими цепями и его применение......Page 93 B.Г. Ушаков, О.В. Шестаков. Восстановление вероятностных характеристик случайных функций в задачах эмиссионной стохастической томографии......Page 96 В.Е. Бенине, В.Ю. Королев. О распределении стьюдента как альтернативе нормальному в некоторых задачах теории надежности......Page 97 B.Ю. Королев, И.Г. Шевцова. О практической точности нормальной аппроксимации для распределений сумм независимых случайных величин......Page 98 Р.Б. Решетников. Одна модель прогнозирования состояний распределенных информационных систем......Page 99 Я.М. Агаларов. Алгоритм адаптивной маршрутизации в ATM-сети......Page 101 Ф.И. Пепинов. О проблемах маршрутизации групповых сообщений......Page 104 C.Л. Френкель. Вероятностные модели производительности прикладных вычислительных систем......Page 107 С.А. Осмоловский. Искусственные стохастические информационные системы: цели и порядок применения......Page 110 С.Я. Шоргин. О байесовских моделях массового обслуживания......Page 114 С.К. Шаумян. Семиотическая лингвистика как объяснительная наука......Page 116 Е.Б. Козеренко. Функционально-семантические представления для систем машинного перевода......Page 119 Н.В. Сомин. Каталоги специальных знаний в системе анализа текстов на естественном языке......Page 122 И.П. Кузнецов. Проблемы выделения информационных объектов из текстов на примере СМИ......Page 125 А.А. Перекрестенко. Разработка парсера на основе мягко-контекстно-зависимой унификационной грамматики......Page 126 Ю.В. Рождественский. Реализация основных алгоритмов обработки речевой информации на коммерческих сигнальных процессорах малой вычислительной мощности......Page 130 С.О. Новиков, О.С. Ушмаев. Оценка смещения границ объектов с нечеткими контурами в условиях сильных шумов......Page 131 С.О. Новиков, О.А. Лебедев. Анализ групп с учетом аллометрии в векторном пространстве основных неявных признаков......Page 134 О.П. Архипов, П.О. Архипов, З.П. Зыкова. Перспективные направления развития ИТ цветопередачи RDC......Page 137 Н.А. Маркова. О методологии программных проектов......Page 140 А.Л. Фридман. Исследование возможности управления информационными процессами на основе механизма событий......Page 143 С.А. Ступников, Л.А. Калиниченко. Формальная семантика канонической информационной модели в композиционной инфраструктуре распределенных информационных систем......Page 145 Н.А. Земцов, С.А. Ступников, Л.А. Калиниченко. Синтез канонической процессной модели для интероперабельных инфраструктур информационных систем......Page 147 Д.О. Брюхов, О.П. Желенкова, В.Н. Захаров, Л.А. Калиниченко. Проект информационной инфраструктуры РВО......Page 150 И.М. Адамович, А.Н.Пешков. Локальные информационно упорядоченные подпространства в глобальном пространстве Интернет......Page 151 A.В. Босов. Информационный портал поддержки научной деятельности......Page 154 Б.Н. Андерс, А.Л. Курц, И.Л. Иткин. Система SYMBOL BUILDER. Принципы интеграции в САПР......Page 157 Б.И. Рабинович. Организация баз знаний в современных СУБД......Page 159 B.С. Шоргин. Проблемы структуризации информационных массивов взаимосвязанных объектов......Page 162 И.А. Соколов, А.И. Мартыненко. Геоиформационные ресурсы: проблемы интегрирования и стандартизации......Page 165 С.К. Дулин, И.Н. Розенберг. О задачах геоинформационного портала отрасли......Page 168 В.А. Тараканов, А.И. Мартыненко. Применение геоинформатики при эколого-экономической оценке устойчивого развития территорий......Page 171 A.M. Абрамов, Ю.Н. Жуков, А.И. Мартыненко, А.Б. Опарин. Система «Электронная Земля» в цифровой морской картографии......Page 172 А.И. Мартыненко, М.Э. Флейс. Математическая основа ГИС......Page 175 А.И. Мартыненко, Т.П. Варшанина, О.А. Плисенко. Геоинформационное моделирование горных регионов......Page 177 А.И. Мартыненко, О.В. Тагунова. Разработка теоретических основ пространственного моделирования местности с использованием электронных карт и космических изображений......Page 179 А.И. Мартыненко, И.П. Карачевцева, С.К. Коробцов, А.Б. Алексеев. Моделирование и аналитическая обработка рельефа для интернет-картографирования......Page 182 А.И. Мартыненко, С.И. Матвеев. Применение геоинформатики в управлении воздушным и наземным транспортом......Page 183 А.С. Оленин. Исследование векторных характеристик представительных вычислений......Page 186 А.О. Провоторова. Особенности реализации языка SQL для параллельной системы баз данных на основе суперпроцессора с автоматическим распределением ресурсов......Page 188 А.Е. Ширай. Организация запуска потоковых программ в сервере на базе вычислительного комплекса с автоматическим распределением ресурсов......Page 190 Д.В. Петрищев. Реализация сервера вычислений на базе системы с автоматическим распределением ресурсов......Page 192 Н.Н. Левченко. Представление структур данных в вычислительной системе, управляемой потоком данных......Page 195 Н.Н. Левченко, А.С. Окунев. Вопросы аппаратно-программной реализации условных конструкций в вычислительной системе, управляемой потоком данных......Page 197 Н.Н. Левченко, А.С. Окунев, Г.О. Чумаченко, И.К. Хашов. Варианты аппаратной поддержки многовходовых узлов в вычислительной системе с автоматическим распределением ресурсов......Page 200 A.С. Окунев. Возможности использования IP-сопроцессора фирмы IDT в качестве памяти совпадений при макетировании вычислительной системы, управляемой потоком данных......Page 203 Г.О. Чумаченко. Особенности функционирования памяти совпадений в структуре вычислительной системы с автоматическим распределением ресурсов......Page 205 К.В. Хлыстов. Проблемы сопряжения хост-машины с вычислительной системой с автоматическим распределением ресурсов посредством интерфейса PCI Express......Page 208 Е.С. Градов Проблемы аппаратной реализации исполнительного устройства макета вычислительной системы с автоматическим распределением ресурсов на базе программируемых логических микросхем......Page 210 Е.А. Янкевич. Вопросы построения коммутационной среды макета вычислительной системы с автоматическим распределением ресурсов с применением ПЛИС......Page 212 Ю.А. Степченков. Рекуррентная архитектура для речевых приложений......Page 215 Ю.А. Степченков, B.C. Петрухин, ЮТ. Дьяченко. Сравнительный анализ самосинхронного и синхронного вариантов реализации ядра микроконтроллера на БМК......Page 217 С.В. Замковец, В.Н.Захаров. Система тестирования для программных моделей микропроцессоров......Page 219 Л.П. Плеханов. Функциональный подход в проектировании самосинхронных схем......Page 221 B.Н. Захаров, В.А. Козмидиади. Частично упорядоченное время, недетерминизм поведения и проблема отказоустойчивости приложений......Page 223