Сборники статей

Становление программирования в СССР

А.П. Ершов, М.Р. Шура-Бура
Издание второе, дополненное
Новосибирск 2016

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

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

В конце приводится библиография источников, использованных в обеих частях исследования.

Исследование подготовлено для трудов международной научной конференции по истории вычислительного дела, состоявшейся в Лос-Аламосе (США) с 10 по 15 июня 1976 года.

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

Молодая информатика - 2014

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

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

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

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

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

Информатика в науке и образовании

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

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

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

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

Касьянов В.Н. Язык представления графов GraphML: базовые средства
Касьянов В.Н. Язык представления графов GraphML: дополнительные возможности
Касьянов В.Н., Касьянова Е.В. Средства поддержки применения графов в информатике и программировании
Идрисов Р.И. Облачный сервис для научных вычислений и образования
Идрисов Р.И. Параллелизм в JavaScript
Несговорова Г.П. Биоинформатика: пути развития и перспективы
Несговорова Г.П. Информационные технологии в гуманитарных исследованиях и гуманитарном образовании
Стасенко А.П. Тестирование изменений в программной системе на основе покрытия исходного кода
Шманина Т.В. Информационная система для поддержки процесса проведения исследований на основе литературных источников
Золотухин Т.А. Визуализация графов при помощи программного средства Visual Graph
Гордеев Д.С. Визуализация алгоритмов на графах: интерпретация алгоритма в качестве программы
Малинина Ю.В. Автоматическое выявление тематической карты документа

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

Молодая информатика - 2011

Сборник трудов аспирантов и молодых ученых
Выпуск 3
Под редакцией к.ф.-м.н. А.Ю. Пальянова
Новосибирск 2011

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

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

Барам Е.Г. Экспертная система определения заболевания по хроматограмме образца сыворотки крови
Бушин Д.И., Вирбицкайте И.Б. Трассовые эквивалентности временных сетей Петри
Зверев Н.Б., Полетаев С.А. О реализации алгоритма иерархического кластерного анализа на GPU средствами технологии CUDA
Платонов Ю.Г. Использование CQRS-технологии при разработке корпоративных приложений
Ряскина Н.А. Стрип-преобразование сигналов и некоторые вычислительные эксперименты
Хайрулин С.С. Моделирование биологических нейронных сетей при помощи языка NeuroML
Шманина Т.В. О методе выявления синонимичных конструкций естественного языка и его применении к задаче информационного поиска
Шманина Т.В. Обзор методов представления семантики текстов и извлечения знаний из них

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

Конструирование и оптимизация параллельных программ

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

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

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

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

Арапбаев Р.Н., Стасенко А.П. Индексный анализ зависимостей по данным в Sisal-программах
Бутовский М.М. Расчет интегралов поперечных мер Минковского, сумм Минковского и построение диаграммы Бляшке для выпуклых многогранников в евклидовом пространстве R3
Гордеев Д.С. Визуализация внутреннего представления программ в системе функционального программирования SFP
Гужавина И.В. Технологии обработки изображения со спутника
Денисюк В.С. Алгоритмы выделения особенностей на изображениях с целью классификации заболеваний растений
Идрисов Р.И. Протягивание констант в графе IR2 внутреннего представления языка SISAL
Касьянов В.Н. Интегрированная визуальная среда поддержки конструирования параллельных программ
Касьянов В.Н. Всемирные компьютерные конгрессы ИФИП
Касьянова С.Н. Использование кластеров при вычислении преобразования Меллина для функций в задачах томографии
Малинина Ю.В. Автоматическое выявление таксономии в области преобразований программ на основе анализа семантических связей в публикациях
Мельников Л.С. О семинаре Зыкова в Новосибирске
Мурзин Ф.А., Полетаев С.А. История развития суперкомпьютерной вычислительной техники
Несговорова Г.П. Пособие по написанию разного рода деловых текстов
Перфильев А.А Поисковая система с элементами лингвистического анализа
Полетаев С.А. Параллельные вычисления на графических процессорах
Стасенко А.П. Генерация исполняемых тестов для компилятора
Турсунбай кызы Ы. Деревья клик хордального графа и деревья подграфов

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

Методы и инструменты конструирования программ

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

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

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

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

Арапбаев Р.Н. Экспериментальное исследование новой стратегии тестирования
Евстигнеев В.А., Турсунбай кызы Ы. Динамический распределенный ПН-алгоритм для раскраски w-совершенных графов
Идрисов Р.И. Временная развёртка внутреннего представления IR2 языка Sisal 3.1
Идрисов Р.И. Методы межпроцедурного анализа
Касьянов В.Н., Стасенко А.П. Язык программирования Sisal 3.2
Крайниковский С.С. Вейвлет-обработка данных в геофизических исследованиях скважин
Крайниковский С.С. Разработка графических интерфейсов и визуализация данных в геофизических программных системах
Марчук П.А. Использование неспецифических онтологий для хранения фактографических данных
Несговорова Г.П. Организация историко-культурного пространства в Интернете с использованием информационных технологий
Пыжов К.А. Внутренние представления среднего уровня для компиляторов языка Sisal
Стасенко А.П. Автоматная модель визуального описания синтаксического разбора
Филябин С.В. Технология автоматизации мониторинга и контроля легальности финансовых операций современных кредитных организаций
Шпак М.В. О некоторых методах моделирования аппаратуры электромагнитного каротажа

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

Молодая информатика - 2006

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

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

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

Андреева М.В. Временные структуры конфигураций: поведенческие эквивалентности и детализация действий
Батура Я.Н. Человеко-машинная модель языка мышления
Белоглазов Д.М. Обнаружение взаимодействия функциональностей в телефонных сетях с помощью раскрашенных сетей Петри
Ботоева Е.Ю. Двух- и трехмерная визуализации множества решений в системе UniCalc
Бражник С.А. Формальная модель диаграммы классов языка UML
Веретнов С.О. Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Вольхина Н.К. Автоматическое восстановление бизнес-логики программ
Грибовская Н.С. Открытые морфизмы и временная тестовая эквивалентность для временных автоматных моделей
Демин А.В., Витяев Е.Е. Разработка модели адаптивного поведения анимата на основе семантического вероятностного вывода
Кальченко В.В. XML-алгебра для языка запросов XQuery
Пятков А.Б. Формальная модель основных понятий языка C#

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

Проблемы интеллектуализации и качества систем информатики

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

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

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

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

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

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

Молодая информатика - 2005

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

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

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

Боровикова О.И., Булгаков С.В., Сидорова Е.А. Система знаний информационного Интернет-портала по научной тематике
Дубрановский И.В. Элиминация механизма исключений при переводе из языка C#-light в язык C#-kernel
Канюс С.С., Никитин А.Г. Реализация замкнутого набора булевых операций над полигональными областями на дискретной сетке
Колдаков В.В., Панов Н.В., Шарый С.П. Наглядное представление работы алгоритмов глобальной интервальной оптимизации
Машуков М.Ю. Трансляция SDL-спецификаций с динамическими конструкциями в раскрашенные сети Йенсена
Петров В.П. Обзор методов применения схем данных и онтологий для объединения распределенных, гетерогенных, информационных ресурсов
Плавенчук Е.А. Расширение возможностей системы ФинПлан на основе структурных моделей
Ринская Н.М. Об анализе тестовой эквивалентности дискретно-временных сетей Петри
Сидорова Е.А. Методы интеллектуальной обработки документов, основанные на экспертных знаниях
Стасенко А.П. Графический метаязык для описания транслятора
Шкурко Д.В. Системы переписывания графов: выбор лидера и распознавание топологии в анонимных сетях
Глуханков М.П. Интегрированная среда визуального функционального программирования SFP

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

Методы и инструменты конструирования и оптимизации программ

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

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

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

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

Батура Т.В., Корда О.В., Мурзин Ф.А., Позименко А.А. Исследовательская система для анализа текстов на естественном языке
Валеев Т.Ф. Сравнительный анализ методов поиска регуляторных модулей в последовательностях ДНК, использующих данные микроэррэев
Винокуров А.А., Ильин И.В., Мурзин Ф.А., Семич Д.Ф. Расчет коэффициента нефтенасыщенности по результатам ядерного каротажа
Волянская Т.А. Интерфейс пользователей виртуального музея истории информатики в Сибири
Касьянова Е.В. Вводный курс программирования на базе языка Zonnon
Коновалова Т.Г., Комашко В.М. Обработка данных микрочиповых экспериментов при помощи языка "R"
Малинина Ю.В. Семантическая сеть как формальный метод описания и обработки текстов по преобразованиям программ
Мельников Л.С., Петренко И.В. Путевые ядра и разбиения в графах с малыми длинами циклов
Несговорова Г.П. Обзор виртуальных музеев в сети Интернет
Осмонов Р.А. Метод распараллеливания алгоритмов унимодулярными преобразованиями
Пыжов К.А. Блок редукции в компиляторе SISAL 3.0
Синяков А.И. Анализ модульного подхода и его применение в различных языках программирования
Стасенко А.П. Система интерфейсов транслятора во внутреннее представление IR1
Хан Ю. Обзор средств отладки программ на функциональных языках
Черемушкин Е.С. Анализ различных участков ДНК с помощью автокорреляционной функции
Штокало Д.Н., Черемушкин Е.С. Построение программного комплекса "Regulatory Sequences Analyzer" для распознавания цис-элементов в последовательностях ДНК

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

Новосибирская школа программирования

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

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

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

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

Сборник в формате 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

Поддержка супервычислений и интернет-ориентированные технологии

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

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

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

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

Касьянов В.Н. О работе 16 Всемирного компьютерного конгресса ИФИП
Логачева С.А. Анализ зависимостей по данным на базе алгоритма Шостака
Евстигнеев В.А. NUMA-архитектура: некоторые особенности компиляции и генерации кода
Касьянов В.Н., Бирюкова Ю.В., Евстигнеев В.А. Функциональный язык Sisal 3.0
Вшивков В.А., Лобив И.В., Мурзин Ф.А. Параллельный алгоритм решения задачи о взаимодействии потоков разреженной плазмы
Бурдонов И.В., Мурзин Ф.А. О распараллеливании метода "МЕДУЗА"
Мурзин Ф.А., Семич Д.Ф. Программные средства для тестирования алгоритмов по обработке изображений
Маркин В.А. Язык описания графовых моделей и алгоритмов GRAMAL
Волянская Т.А., Малинина Ю.В. Трансформ: интерфейс для ввода информации
Касьянов В.Н. Применение графов в программировании
Бояршинов В.А. Эквивалентность моделей локальных вычислений
Мельников Л.С., Петренко И.В. Некоторые инварианты кубоподобного графа
Лисицын И.А. Организация графического вывода в системе визуализации иерархических графовых моделей
Лисицын И.А. Организация пользовательского интерфейса в системе визуализации иерархических графовых моделей
Мердишева Т.С., Мердишева Е.С. Подготовка графовых иллюстраций с помощью системы VEGRAS
Харитонов Э.В. Реализация сопоставления с образцом в языке Lisp на основе аналогичных средств в языках Refal и Haskell
Малинина Ю.В. Использование шаблонов при разработке WIS
Дылыков Ж.Л.-Д., Занаева Н.Б., Марьясов Е.А., Мурзин Ф.А., Семич Д.Ф. Логическая структура процесса генерации и отгадывания загадок

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




Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).