ВЕРНУТЬСЯ К МСО 2005
  КОНФЕРЕНЦИЯ
  ТЕМАТИКА
  ОРГАНИЗАТОРЫ
  КОНТАКТЫ
  МЕСТО
  ЗАЯВКИ И ПУБЛИКАЦИИ
  ВАЖНЫЕ ДАТЫ
  СПИСОК ПОЛУЧЕННЫХ
         ДОКЛАДОВ
  ПРОГРАММА КОНФЕРЕНЦИИ
  ИНФОРМАЦИОННОЕ ПИСЬМО
  ТРУДЫ КОНФЕРЕНЦИИ
  ФОТОСЕССИЯ

ТРУДЫ КОНФЕРЕНЦИИ



Здесь вы можете взять труды конференции в формате WinWord.







МЕТОДЫ И СРЕДСТВА ОБРАБОТКИ

ИНФОРМАЦИИ

Труды

Первой Всероссийской научной конференции

1-3 октября 2003 г.

Московский государственный

университет им. М.В. Ломоносова

Москва

2003


УДК 681.3

ББК 32.97

М 54

Методы и средства обработки информации. Труды первой Всероссийской научной конференции/ Под ред. Л.Н. Королева. - М.: Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В.Ломоносова (лицензия ИД ! 05899 от 24.09.01), 2003., 579 с.

Труды первой Всероссийской научной конференции "Методы и средства обработки информации", посвященной проблематике теоретических и прикладных исследований в области архитектуры вычислительных систем, методов и средств разработки программного обеспечения, а также направлений их практического внедрения в различные сферы человеческой деятельности. Конференция состоялась в Москве 1-3 октября 2003 года.

Вошедшие в сборник материалы представляют интерес для преподавателей и научных сотрудников высших учебных заведений и научно-исследовательских институтов, а также для инженеров аспирантов и студентов.

Поддержка конференции

Печатается по решению редакционно-издательского совета

факультета вычислительной математики и кибернетики

МГУ им. М.В.Ломоносова

ISBN 5-89407-163-1

№ Издательский отдел факультета

вычислительной математики и кибернетики МГУ им. М.В. Ломоносова, 2003г.

СОДЕРЖАНИЕ

Пленарные доклады

Новые принципы организации вычислительных процессов высокого параллелизма.
Бурцев В.С. 17         

Суперкомпьютеры для решения современных задач науки и технологий в России.
Забродин А.В., Левин В.К. 32         

Программирование виртуальных архитектур и организация структурно-процедурных вычислений в многопроцессорных системах с массовым параллелизмом.
Каляев А.В. 37         

Современные вопросы теоретического программирования.
Подловченко Р.И. 47         

Проблемы разработки и анализа функционирования встроенных систем реального времени.
Смелянский Р.Л. 57         


Архитектуры процессоров и вычислительных систем

Оптимальные методы динамического распределения нестраничной памяти.
Аксенова Е.А., Лазутина А.А., Соколов А.В., Тарасюк А.В. 74         

Многопотовые и многоядерные процессоры архитектуры SPARC.
Анни Павел 80         

Вероятностный анализ задач с буферизацией запросов в системах реального времени.
Дашевский В.П. 87         

Семейство кластерных вычислительных систем МВС-1000 с уровнем производительности 1 Tflops и более.
Елизаров Г.С., Каратанов В.В., Корнеев В.В., Левин В.К., Яблонский С.В. 94         

Управление сетевой средой распределенных вычислений.
Корнеев В.В., Киселев А.В., Баранов А.В., Зверев Е.Л., Подзоров В.В. 98         

О различных вариантах ассоциативной памяти на принципах частотно-фазовой модуляции.
Крыжановский Б.В., Литинский Л.Б. 104         

Многопроцессорная система с программированием архитектуры на нескольких уровнях.
Левин И.И. 111         

Алгоритм коммутации элементов многопроцессорной системы со структурно-процедурной организацией вычислений.
Левин И.И., Сластен Л.М. 119         

Алгоритмы трансляции структурно-реализуемого фрагмента задачи для многопроцессорной системы.
Левин И.И., Шахов Р.В. 125         

Мультиархитектурная вычислительная суперсистема.
Митропольский Ю.И. 131         

Проблемы реализации вычислительных методов обработки и анализа сигналов и изображений на архитектурах с ассоциативной памятью.
Синицын И.Н., Синицын В.И., Степанов А.М., Ушмаев О.С. 137         

Эволюционный подход к построению тестов цифровых систем.
Скобцов Ю.А., Скобцов В.Ю. 142         

Живучие кластерные вычислительные системы.
Хорошевский В.Г., Мамойленко С.Н., Майданов Ю.С. 148         

Технология отложенных токенов для преодоления ситуаций блокировки по переполнению буферов в суперпроцессоре нетрадиционной архитектуры.
Чумаченко Г.О. 151         

Исследование методов повышения производительности микропроцессоров.
Янкевич Е.А. 158         



Распределенные вычисления, телекоммуникационные и компьютерные сети

Интеграция приложений как необходимое условие построения портальной платформы доступа.
Абрамов Е.А. 165         

Телекоммуникационные технологии на основе динамического хаоса.
Аксенов А.В., Беляев Р.В., Воронцов Г.М., Залогин Н.Н. Калинин В.И., Кислов В.В., Колесов В.В. 172         

Влияние структур данных на организацию параллельных вычислений: вычислительные задачи на сетках.
Андрианов А.Н., Ефимкин К.Н. 179         

Проблемы эффективности вычислительной мультиархитектурной суперсистемы.
Анохин А.В. 185         

Разработка параллельных программ для решения больших вычислительных задач на smp-кластерах.
Бахтин В.А., Коновалов Н.А., Крюков В.А., Поддерюгина Н.В., Сазанов Ю.Л. 191         

Разработка системы управления параллельными заданиями в гетерогенной вычислительной среде.
Букатов А.А., Хачкинаев Г.М. 197         

Алгоритмическое повышение надежности распределенных многокластерных вычислений с метакомпьютингом и GRID технологиями.
Галюк Ю.П., Золотарев В.И., Лысов В.К., Мемнонов В.П. 203         

Планирование ресурсов в grid на основе локальных расписаний.
Коваленко В.Н., Коваленко Е.И., Корягин Д.А., Любимский Э.З., Хухлаев Е.В., Шорин О.Н. 205         

Проблемы применения методов поиска тематических сообществ к задаче тематического информационного поиска в интернет.
Козлов Д.Д. 211         

Ntmtools: Инструментальный набор для эффективного сбора данных сетевого трафика.
Коноплев В.В., Захаров Д.Ю., Боярский М.Н., Назиров Р.Р. 216         

Динамическая балансировка нагрузки для параллельного распределенного МДО.
Копысов С.П. 222         

Алгоритмический анализ стохастических сетевых моделей на многопроцессорных системах.
Кутузов О.И, Олзоева С.И. 228         

Исследование способов уменьшения набора характеристик в алгоритмах классификации текстов.
Максаков А.В. 234         

Алгоритмы оптимального и подоптимального посимвольного приема двоичных дискретных сигналов.
Назаров Л.Е. 241         

Высокотехнологичная элементная база-основа расширения функциональных возможностей апробированных cистем информационного обмена авиационных комплексов бортового оборудования ближайшей перспективы.
Павлов А.М. 245         

Живучесть параллельной файловой системы при большом числе процессоров.
Самофалов В.В., Коновалов А.В., Шарф С.В. 248         

Моделирование, оптимизация и верификация транспортных протоколов.
Соколов В.А.,Тимофеев Е.А., Чалый Д.Ю. 254         

Нейросетевое распределение мульти-агентных потоков данных в глобальных компьютерных сетях.
Тимофеев А.В., Сырцев А.В. 260         

RP*ha - a High-Availability Scalable Distributed Data Structure Based on Range Partitioning.
Shaporenkov Dmitry 267         


Проблемы системного и прикладного программирования

О поддержке анализа поведения встроенных вычислительных систем.
Балашов В.В. 274         

Комплексный стенд математического моделирования КБО ЛА.
Баранов А.С., Грибов Д.И., Поляков В.Б., Смелянский Р.Л., Чистолинов М.В. 282         

Модель NM - средство сравнительного анализа различных вариантов организации функционального ПО для спецвычислителей на основе процессора Л1879ВМ1.
Бахмуров А.Г., Борисов Ю.И., Егисапетов Э.Г., Смелянский Р.Л. 296         

Компонентные технологии отладки для систем технического зрения реального времени.
Богуславский А.А., Соколов С.М. 304         

Методы инкрементальной модификации внутреннего представления программ при выполнениии трансформаций программ в системе распараллеливания программ.
Букатов А.А., Луговой В.В. 311         

Модели представления решающих процедур и их использование в генетическом алгоритме для поиска оптимальных процедур анализа изображений.
Буряк Д.Ю., Визильтер Ю.В. 317         

Параметризованный жадный алгоритм построения статических расписаний.
Вавинов С.В., Костенко В.А. 323         

О сложности верификации динамических свойств многоагентных систем.
Валиев М.К. Дехтярь М.И. Диковский А.Я. 329         

Построение параллельных алгоритмов решения задачи цифровой фильтрации.
Вальковский В.А., Яджак М.С. 336         

О перспективах использования имитационного моделирования для оценки надёжности распределённых вычислительных систем.
Волканов Д.Ю. 343         

Artificial neural network - based system for weld quality prediction.
Gavrilov Alexandre, Yu Xiuping, Zhou Ming 349         

Реализация языка программирования для модели вычислений, основанной на принципе потока данных.
Головков С.Л., Ефимкин К.Н. 354         

Представление распараллеливающих преобразований программ в виде схемных правил трансформации.
Жегуло О.А., Букатов А.А. 361         

Объектная архитектура инструментальных систем.
Жоголев Е.А., Соболева В.В., Ткач М.М. 368         

Алгебраическая модель императивной программы.
Замулин А.В. 375         

Алгоритмы локальной оптимизации расписаний.
Калашников А.В., Костенко В.А. 381         

Разработка метода кластеризации кода программ для модели потоков данных.
Козлов С.В., Романова Т.Н. 389         

О верификации параметризованных симметричных распределенных программ.
Коннов И.В., Захаров В.А. 395         

Повышение емкости памяти модели Хопфилда с помощью параметрической нейросети.
Крыжановский В.М., Литинский Л.Б. 401         

Организация нейросетевой базы знаний в интеллектуальных управляющих системах.
Крыжановский М.В., Магомедов Б.М. 407         

Прогностическая стратегия балансировки загрузки для невыделенных кластерных систем.
Курилов Л.С. 413         

Моделирование ресурсной зависимости в распределенных системах.
Ломазова И.А. 418         

Применение сети w-нейронов для планирования оптимальных путей точечных роботов.
Майоров В.В., Шабаршина Г.В. 424         

Комбинаторный подход к структурному синтезу распределенных вычислительных систем.
Малыгин В.В. 431         

Система оперирования распределенными имитационными моделями сетей телекоммуникаций.
Миков А.И., Замятина Е.Б., Фатыхов А. 437         

Нейросетевые алгоритмы обработки космических изображений земной поверхности.
Назаров Л.Е. 443         

Автоматическая генерация семантических тестов для компиляторов.
Напрасникова М.В. 448         

Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня.
Непомнящий В.А., Алексеев Г.И., Аргиров В.С., Быстров А.В., Мыльников С.П., Новиков Р.М., Чурина Т.Г. 454         

Система работы с коллекциями электронных информационных ресурсов программных компонентов.
Одинцов И.О. 461         

Система распределенного имитационного моделирования.
Окольнишников В. 468         

Эффективный алгоритм перебора кратчайших путей в графе.
Прус В.В. 474         

Многоагентные интернет-системы - исследование процессов обучения и самоорганизации.
Редько В.Г., Мосалов О.П., МитинН.А., Бурцев М.С. 480         

Методика описания поведения процессора для оценки времени выполнения программы.
Савенков К.О., Ющенко Н.В. 486         

Модельно-ориентированный подход к построению прикладных интегрированных систем следующего поколения. Альтернативы применения.
Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. 492         

Система анализа структуры программ.
Стефанов К.С. 498         

Семантическое сжатие информации при визуализации функционирования распределенных вычислительных систем.
Тихонов А.В. 503         

Стратегии планирования распределенных вычислений в масштабируемых средах.
Топорков В.В. 509         

Концепции развития связных информационных технологий авиационных комплексов бортового оборудования. Высокотехнологичная элементная база, поддерживающая информационные технологии передачи данных.
Федосеев Е.П., Павлов А.М. 515         

Система МАКРОГРАФ и другие технологии ускорения исполнения фортран-программ.
Фролов А.В. 519         

Периодические расписания с совмещением циклов обработки данных.
Хачумов В.М. 522         

Технология автоматного программирования.
Шалыто А.А. 528         


Новые физические принципы обработки информации

Полиномиальное представление изменения состояния квантового бита.
Захаров В.М., Нурутдинов Ш.Р., Шалагин С.В. 535         

Синтез множества хаотических кодов для обработки конфиденциальной информации.
Калинин В.И. 539         

Многослойная оптическая память для поддержки высокопараллельных вычислений.
Котов В.Б., Политова С.В. 545         

Пропускная способность оптического канала связи. Корреляционное уплотнение.
Мурашов Д. М., Салахутдинов В.К., Сметанин Ю.Г. 552         

Методы обработки сигналов и полей на основе теории фракталов.
Потапов А.А. 559         

Представление информационных объектов суперпозициями псевдослучайных функций как путь к повышению эффективности устройств хранения и обработки информации.
Соломатин В.Ф. 566         

Дискретная модель квантового бита.
Шалагин С.В. 572         


Авторский указатель 578         

Сайт создан и поддерживатется Лабораторией Вычислительных Комплексов ВМиК МГУ