Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В.Н. Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2007

Является пятнадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Содержание сборника:

Арапбаев Р.Н. Экспериментальное исследование новой стратегии тестирования

Евстигнеев В.А., Турсунбай кызы Ы. Динамический распределенный ПН-алгоритм для раскраски w-совершенных графов

Идрисов Р.И. Временная развёртка внутреннего представления IR2 языка Sisal 3.1

Идрисов Р.И. Методы межпроцедурного анализа

Касьянов В.Н., Стасенко А.П. Язык программирования Sisal 3.2

Крайниковский С.С. Вейвлет-обработка данных в геофизических исследованиях скважин

Крайниковский С.С. Разработка графических интерфейсов и визуализация данных в геофизических программных системах

Марчук П.А. Использование неспецифических онтологий для хранения фактографических данных

Несговорова Г.П. Организация историко-культурного пространства в Интернете с использованием информационных технологий

Пыжов К.А. Внутренние представления среднего уровня для компиляторов языка Sisal

Стасенко А.П. Автоматная модель визуального описания синтаксического разбора

Филябин С.В. Технология автоматизации мониторинга и контроля легальности финансовых операций современных кредитных организаций

Шпак М.В. О некоторых методах моделирования аппаратуры электромагнитного каротажа

Сборник в формате PDF

Сборник трудов аспирантов и молодых ученых
Выпуск 2
Под редакцией к.ф.-м.н. И.С. Ануреева
Новосибирск 2006

Сборник содержит статьи, представленные аспирантами и молодыми сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.

Содержание сборника:

Сборник в формате PDF

Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В.Н. Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2006

Является тринадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Содержание сборника:

Арапбаев Р.Н., Осмонов Р.А. Анализ зависимостей по данным для многомерных массивов на базе модифицированного lambda-теста

Батура Т.В., Мурзин Ф.А. Обработка поисковых запросов на естественном языке с помощью REFAL-подобных конструкций

Добрынин А.А., Мельников Л.С., Вальтер Х., Шрейер Й. Число косых полиэдральных графов с малым числом вершин

Дунаев А.А., Валеев Т.Ф., Тарасов Е.А. Исследование методов организации визуальной обратной связи в аппаратно-программном комплексе "Бослаб"

Дунаев А.А. Исследовательская система для анализа текстов на естественном языке

Касьянов В.Н. Музеи и Интернет

Касьянова Е.В. Адаптивная система поддержки дистанционного обучения программированию

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

Козырева А.В. О некоторых способах калибровки видеокамеры

Мельников Л.С., Петренко И.В. Путевые разбиения в неориентированных графах

Несговорова Г.П. Современные информационно-коммуникационные и цифровые технологии в сохранении культурного и научного наследия и развитии музейного дела

Осмонов Р.А., Штокало Д.Н. Преобразования циклов, основанные на несингулярных матрицах

Серебренников А.Л. Обзор возможностей среды Significo на примере решения прикладной задачи

Серебренников А.Л. Сравнительный анализ нейросетевых пакетов и место среды Sig-nifico среди них. Краткое описание среды

Стасенко А.П. Обзор потоковых языков программирования

Тараскина А.С. Нечеткая кластеризация по модифицированному методу c-средних и ее применение для обработки микрочиповых данных

Шкурко Д.В. Отказоустойчивость в распределенных сетях: проблемы консенсуса

Юрьев С.В. Универсальная система построения и администрирования лабораторных веб-сайтов

Сборник в формате PDF

Сборник трудов аспирантов и молодых ученых
Под редакцией к.ф.-м.н. И.С. Ануреева
Новосибирск 2005

Сборник содержит статьи, представленные аспирантами и молодыми сотрудниками ИСИ СО РАН по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.

Содержание сборника:

Сборник в формате PDF

Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2005

Является двенадцатым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН. Описывает методы и инструменты конструирования и оптимизации программ.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Содержание сборника:

Батура Т.В., Корда О.В., Мурзин Ф.А., Позименко А.А. Исследовательская система для анализа текстов на естественном языке

Валеев Т.Ф. Сравнительный анализ методов поиска регуляторных модулей в последовательностях ДНК, использующих данные микроэррэев

Винокуров А.А., Ильин И.В., Мурзин Ф.А., Семич Д.Ф. Расчет коэффициента нефтенасыщенности по результатам ядерного каротажа

Волянская Т.А. Интерфейс пользователей виртуального музея истории информатики в Сибири

Касьянова Е.В. Вводный курс программирования на базе языка Zonnon

Коновалова Т.Г., Комашко В.М. Обработка данных микрочиповых экспериментов при помощи языка "R"

Малинина Ю.В. Семантическая сеть как формальный метод описания и обработки текстов по преобразованиям программ

Мельников Л.С., Петренко И.В. Путевые ядра и разбиения в графах с малыми длинами циклов

Несговорова Г.П. Обзор виртуальных музеев в сети Интернет

Осмонов Р.А. Метод распараллеливания алгоритмов унимодулярными преобразованиями

Пыжов К.А. Блок редукции в компиляторе SISAL 3.0

Синяков А.И. Анализ модульного подхода и его применение в различных языках программирования

Стасенко А.П. Система интерфейсов транслятора во внутреннее представление IR1

Хан Ю. Обзор средств отладки программ на функциональных языках

Черемушкин Е.С. Анализ различных участков ДНК с помощью автокорреляционной функции

Штокало Д.Н., Черемушкин Е.С. Построение программного комплекса "Regulatory Sequences Analyzer" для распознавания цис-элементов в последовательностях ДНК

Сборник в формате PDF

Перекличка времен
Под редакцией проф. И.В. Поттосина, к.ф.-м.н. Л.В. Городней
Новосибирск 2004

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

Содержание сборника:

Сборник в формате PDF

Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2004

Является одиннадцатым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач, связанных с программными средствами и математическими основами информатики.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Содержание сборника:

Волянская Т.А. Международные стандарты представления в сети ИНТЕРНЕТ информационных ресурсов по культурному наследию: стандарт ANSI/NISO Z39.50 и профиль CIMI

Дортман П.А. Подходы к оптимизации прог рамм в системе SFP

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

Евстигнеев В.А. Многочлены Эрхарта

Касьянов В.Н., Касьянова Е.В. Дистанционное обучение: методы и средства адаптивной гипермедиа

Касьянов В.Н., Мирзуитова И.Л. Реструктурирующие преобразования: алгоритмы распараллеливания циклов

Касьянова Е.В. Язык программирования Zonnon для платформы .NET

Малинина Ю.В. Электронная среда коллективного накопления и каталог изации информации по преобразованиям программ

Маркин В.А., Маркина С.А. Система для быстрого прототипирования распараллеливающего компилятора ПРОГРЕСС-2. Ядро системы. Сценарий системы

Серебренников А.Л. Стандартные и новые подходы к архитектуре и методам обучения в среде Significo, основные направления развития среды

Черемушкин Е.С., Коновалова Т.Г., Мурзин Ф.А., Кель А.Э. Система распознавания цис-элементов на последовательностях ДНК

Сборник в формате PDF

Труды школы-конкурса молодых ученых
Новосибирск, Академгородок
25 мая–15 июня 2003 года

Сборник содержит статьи, представленные на электронной школе-конкурсе "Новые подходы и решения" аспирантами и молодыми сотрудниками ИСИ СО РАН по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.

Содержание сборника:

Антонцева М.Ф. Коалгебраическое исследование бисимуляционных параллельных процессов

Аргиров В.С. Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри

Винокуров А.Н., Ильин И.В., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф. Программный комплекс, предназначенный для обработки результатов, полученных методом ядерного каротажа нефтяных скважин

Грибовская Н.С. Теоретико-категорная характеризация языковых эквивалетностей временных параллельных моделей

Жданова А.В., Манкевич П.В. Статический подход к семантическому структурированию предметных областей для запросов на естественном языке

Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А. Восстановление положения тела в пространстве по данным, поступающим с одномерных камер для системы реального времени анализа движения объектов

Рыжов В.С. Построение распределенных объектно-ориентированных интегрированных информационных систем обеспечения безопасности предприятия

Сборник в формате PDF

Сборник научных работ под редакцией В. И. Шелехова
Новосибирск 2003

Сборник включает работы по предикатному программированию. Представлен обзор концепции предикатного программирования и элементов языка предикатного программирования P. Технология предикатного программирования демонстрируется на примерах конкретных задач. Описывается алгоритм склеивания переменных, используемый в системе трансформации предикатной программы в эффективную императивную программу.

Сборник представляет интерес для научных сотрудников, программистов и студентов, специализирующихся в области информатики.

Содержание сборника:

Шелехов В.И. Предикатное программирование: основы, язык, технология

Шелехов В.И., Карнаухов Н.С. Демонстрация технологии предикатного программирования на задаче сортировки простыми вставками

Шелехов В.И., Алгазин А.А. Опыт предикатного программирования задачи нахождения кратчайшего пути между двумя городами

Шелехов В.И. Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу

Петров Э.Ю. Склеивание переменных в предикатной программе

Сборник в формате PDF

Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2003

Является десятым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач, связанных с применением новых информационных технологий в науке и образовании.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Содержание сборника:

Батура Т.В., Еркаева О.Н., Мурзин Ф.А. К вопросу об анализе текстов на естественном языке

Батура Т.В., Мурзин Ф.А. Логические методы представления смысла текста на естественном языке

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

Волянская Т.А. Виртуальный музей истории информатики в Сибири: модельпредметной области и модель пользователя

Дунаев А.А., Кель А.Э., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Черемушкин Е.С. Визуализация генетической информации

Иванов М.А. Применение вейвлет-преобразований в кодировании изображений

Касьянов В.Н., Мирзуитова И.Л. Упорядоченные диаграммы бинарных решений

Лакийчук О.А. Алгоритмы поиска доминаторов в управляющем графе

Малинина Ю.В. Программные средства для автоматического формирования тематической коллекции по преобразованиям программ для коллективного использования

Мехонцев Д.Ю., Лобив И.В., Мурзин Ф.А. Решение задачи нахождения оптимального положения тела в пространстве по данным, поступающим с одномерных камер, для 3D оптической системы анализа движения обьектов

Мурзин Ф.А., Мурзина Т.С., Хаяров Е.М., Шлишевский В.Б. Светосильные растровые структуры для режима автоколлимации

Мурзин Ф.А., Половинко О.Н., Лобив И.В. Распознавание текстур по пространственным закономерностям

Мухин Д.Ю. Исследование алгоритмов варьирования применительно к MIDI-файлам

Шкурко Д.В. О сложности построения оптимального линейного участка

Сборник в формате PDF

Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2002

Сборник является девятым в серии книг, издаваемых Институтом систем информатики им. А.П. Ершова СО РАН по проблемам конструирования и оптимизации программ. Он посвящен решению актуальных задач конструирования эффективных и надежных программ и систем на основе теоретико-графовых методов, функционального программирования, сетевой обработки и средств визуализации.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Содержание сборника:

Бабурин Д.Е. Иерархический подход для автоматического размещения ациклических графов

Волянская Т.А. Методы и технологии адаптивной гипермедиа

Глуханков М.П., Дортман П.А., Павлов А.А., Стасенко А.П. Транслирующие компоненты системы функционального программирования SFP

Дунаев А.А., Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф., Чепель А.В., Ярков К.А. Алгоритмы быстрого поиска фрагментов фотографических изображений

Дылыков Ж.Л-Д., Мурзин Ф.А. Система TRIZ_Computing

Дылыков Ж.Л-Д., Пустыльников В.А. Автоматизация методов принятия решений на железнодорожном транспорте как гарантия обеспечения безопасности движения

Евстигнеев В.А. Конвейерная модель перевозок как модель пересылки протяженных сообщений

Евстигнеев В.А., Мирзуитова И.Л. Развитие NUMA-архитектуры: текущее состояние

Иванов М.А. Обзор MPEG-подобных методов кодирования видеоданных

Касьянов В.Н., Несговорова Г.П., Волянская Т.А. Виртуальный музей истории информатики в Сибири

Кряженков П.Б. Пользовательский интерфейс интегрированной среды функционального программирования SFP

Малинина Ю.В. ИС ТРАНСФОРМ: Автоматизация наполнения системы

Маркин В.А., Маркина С.А. Проект системы для быстрого прототипирования распараллеливающего компилятора. Универсальное внутреннее представление системы

Мельников Л.С., Петренко И.В. Путевые ядра и длины циклов в неориентированных графах

Мехонтцев Д.Ю., Лобив И.В., Селезнев К.С. Слежение и определение скорости движущихся на плоскости объектов в реальном времени

Терехов В.И., Треногин Н.Г. Оптимальное размещение информации в вычислительных системах с учетом структурной надежности компонентов

Сборник в формате PDF

(мозаика воспоминаний)
Под редакцией проф. Игоря Васильевича Поттосина
Новосибирск 2001

Сборник содержит материалы, представляющие становление и развитие новосибирской школы программирования.

Материалы предназначены широкой аудитории как специалистов по информатике, так и представителей гуманитарных наук, интересующихся социальной историей науки.

Содержание сборника:

Поттосин И.В. А.П. Ершов - пионер и лидер отечественного программирования

Любимский Э.З., Поттосин И.В. , Шура-Бура М.Р. От программирующих программ к системам программирования (российский опыт)

Жоголев Е.А. Как А.П. Ершов стал программистом

Змиевская Л.Л. Чуть воспоминаний

Корнева Л.А. История Альфа-группы

Поттосин И.В. История Альфа-проекта

Рар А.Ф. История Эпсилон

Поттосин И.В. Эпсилон-история

Рар А.Ф. История Сигмы

Степанов Г.Г. История Сигмы

Берс А.А., Рар А.Ф. Диалог об Алголе 68

Покровский С.Б. Внутренний язык в Бета

Городняя Л.В. Экспериментальные системы программирования Литтл, Лисп

Левин Д.Я. Сетл: Реализация и применение теоретико-множественного языка программирования

Замулин А.В. Информационные системы и базы данных

Городняя Л.В. Откуда берутся хорошие программисты

Черемных Н.А., Курляндчик Г.В. Библиотека и архив академика Ершова

Никольников Е.И. Конструкторское бюро системного программирования - КБ СП

Евстигнеев В.А. Научно-организационная деятельность Комиссии по системному математическому обеспечению ККВТ АН СССР

Степанов Г.Г. Протоколы Рабочей группы по реализации языков программирования

Сборник в формате PDF