Труды Международной конференции
"Программные системы: теория и приложения"
(13 -- 14 мая, 2004)

Содержание первого тома

Предисловие
Памяти Альфреда Карловича Айламазяна 7
С. М. Абрамов. ИЦМС ИПС РАН: ретроспективный обзор исследований за 1994–2004 годы 15
Я. И. о. Гулиев. Медицинская информатика в ИПС РАН 59
В. И. Гурман. Модели и методы теории управления 101
Г. С. Осипов. Работы исследовательского центра искусственного интеллекта 117
А. М. Цирлин. Предельные возможности макросистем 127
П. А. Устюков, О. В. Устюкова. Международный Детский Компьютерный Центр ИПС РАН – одно из самых популярных учреждений дополнительного образования и отдыха детей России 149

Распределенные вычисления и кластерная архитектура		  
С. В. Абламейко, С. М. Абрамов, В. В. Анищенко, Н. Н. Парамонов. Суперкомпьютеры семейства "СКИФ" 157
С. М. Абрамов, Н. Н. Парамонов. Дальнешее развитие суперкомпьютерного направления "СКИФ" 185
С. М. Абрамов, В. А. Роганов. Динамическая специализация как средство оптимизации распределенных вычислений и как метод создания адаптивных сервисов для GRID-систем 197
В. А. Васенин, С. А. Афонин, А. С. Козицын, А. С. Шундеев. Поиск в сверхбольших хранилищах данных и высокопроизводительные системы с массовым параллелизмом 211

Телекоммуникации.		  
Е. В. Ермилова, А. В. Карлаш, А. С. Нестеров, П. Г. Жбанов, Ю. В. Шевчук. Nadmin –система администрирования для региональных сетей 231
С. В. Бурчу. Методы хостинга веб-сайтов, применимо к системе телекоммуникаций "Ботик" 257
В. В. Парменова. Адаптация мониторной системы MON для системы коммуникаций "Ботик" 265
А. А. Кузнецов. Разработка геоинформационной системы для СТ "Ботик" с использованием TCL/TK для реализации клиентской части 277

Теория программирования, языки и системы.		  
А. М. Миронов, Д. Ю. Жуков. Методы анализа программных систем 297
И. А. Ломазова. Вложенные сети Петри и моделирование распределенных систем 337
А. В. Захаров, В. М. Хачумов. Алгоритмы CORDIC. Современное состояние и перспективы 353
С. М. Абрамов, А. Ю. Орлов, Л. В. Парменова, С. М. Пономарева, А. Ф. Слепухин. Новый подход к реализации системы программирования Рефал Плюс 373
С. М. Абрамов, А. Ю. Орлов. Компиляция в императивные языки синтаксического отождествления языка Рефал 403
А. П. Немытых. Суперкомпилятор SCP4: общая структура 449
С. Д. Мешвелиани. Об исследовании по автоматизации вычислений и доказательств 487

Содержание второго тома

Искусственный интеллект.
М. Бабенко, Е. Куршев, О. Одинцов, Е. Сулейманова, А. Чеповский. Система классификации текстов информационных сообщений на русском языке "АКТИС" 7
Г. С. Осипов, И. А. Тихомиров, И. В. Смирнов. Интеллектуальный поиск в глобальных и локальных вычислительных сетях и базах данных 21
Д. А. Кормалев. Приложения методов машинного обучения в задачах анализа текста 35
Д. А. Кормалев, Е. П. Куршев, Е. А. Сулейманова, И. В. Трофимов. Архитектура инструментальных средств систем извлечения информации из текстов 49
Т. С. Тарханов. Автоматический синтез плана целенаправленного поведения на основе разрешения конфликтов 71

Информационные системы.		  
Д. В. Белышев, Я. И.–о. Гулиев, Г. И. Назаренко, Е. И. Полубенцева, М. И. Хаткевич. Опыт разработки и внедрения информационной системы поликлиники в контексте построения единого информационного пространства комплексного медицинского центра 83
Д. В. Алимов, А. Е. Михеев, Г. И. Назаренко, М. И. Хаткевич. Визуализация и анализ потока пациентов в комплексном лечебно-профилактическом учреждении 103
Г. Н. Матвеев, И. А. Каргаева, С. И. Комаров. Динамика развития МИС КОТЕМ–2001 117
В. С. Попов, А. В. Горохов, С. И. Комаров. Создание единого информационного пространства многопрофильного лечебно-профилактического учреждения: проблемы и решения 133
Я. И.–о. Гулиев, В. Л. Малых. Архитектура HL-X 147
Я. И.–о. Гулиев, М. И. Хаткевич. Процесс и документ в медицинских информационных системах 169
М. А. Чудновский, А. В. Горохов, Т. В. Пономарчук. Информатизация экономической деятельности лечебного учреждения в условиях множественности форм финансирования 187
М. И. Хаткевич, Ю. И. Хаткевич. Подсистема назначений комплексного медицинского центра. Опыт разработки и эксплуатации 201
В. Л. Малых, С. Г. Юрченко. Документальный уровень представления знаний в интегрированной медицинской информационной системе 217
М. И. Хаткевич, Ю. И. Хаткевич, М. А. Чудновский. Экономический аспект подсистемы назначений в корпоративной медицинской информационной системе 231
М. А. Лапшин. Расширение роли PACS в архитектуре распределённой медицинской информационной системы 245
Д. Е. Ермаков. Требования к качеству обслуживания при передаче медицинской информации 259
М. Бабаян, Я. И.–о. Гулиев, О. А. Фохт. Внедрение и сопровождение корпораптивной информационной системы. Обеспечение обратной связи 279
И. А. Белышева. Разработка и внедрение информационно-обучающей среды для развития познавательной самостоятельности студентов при обучении английскому языку 299
И. М. Загоровский, Г. А. Матвеев. Опыт создания системы управления контентом Web-сайта 313

Математическое моделирование и управление.
В. А. Ильин, Е. И. Моисеев. Оптимальные граничные управления как функции, доставляющие минимум интегралу граничной энергии 321
Л. Н. Знаменская. Задача граничного наблюдения за колебаниями струны 331
Д. В. Белышев. Алгоритм улучшения дискретного управления с временным регулятором и его программная реализация 349

В. И. Гурман, М. Ю. Ухин. Метод улучшения дискретного управления, основанный на аппроксимациимножества достижимости

369
Л. Н. Никифорова, М. Ю. Ухин. Приближенный синтез дискретного оптимального управления 377
Ю. Л. Сачков, Е. Ф. Сачкова. Геометрический смысл инвариантов и глобальная структура фактор пространства в обобщенной задаче Дидоны 387
В. А. Юмагужин, В. Н. Юмагужина. Интегрируемые структуры конечного типа 409

Системный анализ и региональное развитие.
Л. Б. Сукина, Т. В. Шевчук. Формирование историко-культурной экологической среды региона на основе местных традиционных промыслов и ее место в устойчивом развитии 425
Д. В. Белышев, О. В. Соловьева. Анализ инновационных эффектов развития региона на социо-эколого-экономической модели 437
А. М. Цирлин, Н. А. Алимова. Извлечение капитала в микроэкономике (термодинамический подход) 445
С. А. Амелькин. Предельные возможности процесса обмена самовозобновляющимся ресурсом 465

А. Э. Софиев, В. С. Шауро. Применение вибрационного управления для химико-технологических объектов

 475

 


Адрес: 152020, Ярославская обл. г. Переславль, м. Ботик, ИПС РАН
Тел./факс: +7 (08535) 98-064  E-mail: psi@botik.ru    Веб: http://www.botik.ru/PSI

© Институт программных систем РАН, Переславль-Залесский, Россия