А.П. Ершов, М.Р. Шура-Бура
Издание второе, дополненное
Новосибирск 2016
В этом предварительном историческом исследовании, проведенном на
основе публикаций, а также личных воспоминаний и архивов авторов, делается попытка проанализировать первые пятнадцать лет становления и
развития программирования в СССР – как человеческой практики, так и
научной дисциплины. После краткого описания контекста, в котором происходило развитие, и анализа исходного знания авторы показывают, что
многие важные разделы программирования – прежде всего общая методология и теория, а также методы трансляции – развивались в СССР под воздействием мощных собственных творческих импульсов.
Авторы подчеркивают роль Алгола 60 в интернационализации научных
исследований в области программирования и придании им общезначимого
характера. В заключение авторы дают критический анализ предмета, обсуждая причины ряда пробелов в развитии программирования в СССР.
В конце приводится библиография источников, использованных в обеих частях исследования.
Исследование подготовлено для трудов международной научной конференции по истории вычислительного дела, состоявшейся в Лос-Аламосе
(США) с 10 по 15 июня 1976 года.
Сборник в формате PDF
|
Сборник трудов аспирантов и молодых ученых
Выпуск 4
Под редакцией к.ф.-м.н. Н.С. Грибовской
Новосибирск 2014
Сборник содержит статьи, представленные аспирантами и молодыми
сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические
аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.
Арабаджи О.В., Грибовская Н.С.
Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий |
Боровлёв В.А.
Редукция развёрток безопасных временных сетей Петри |
Ерофеев Е.К.
Алгебраические решётки первичных структур событий |
Лештаев С.В.
Основы SPARQL |
Панкратов С.Б.
Автоматическая генерация тестов для проверки распараллели- вающих и векторизующих преобразований циклов в компиляторе |
Плотникова Ю.Е.
Альтернативная характеризация понятия зоны временных сетей Петри с динамическими приоритетами |
Сборник в формате PDF
|
Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В.Н. Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2012
Сборник является двадцать первым в серии, издаваемой Институтом
систем информатики СО РАН по проблемам конструирования и
оптимизации программ. Посвящен актуальным проблемам применения
системной информатики в науке и образовании.
Представляет интерес для системных программистов, студентов и
аспирантов, специализирующихся в области системного и теоретического
программирования, и для всех тех, кто интересуется проблемами
современной информатики и программирования.
Сборник в формате PDF
|
Сборник трудов аспирантов и молодых ученых
Выпуск 3
Под редакцией к.ф.-м.н. А.Ю. Пальянова
Новосибирск 2011
Сборник содержит статьи, представленные аспирантами и молодыми
сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические
аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.
Барам Е.Г.
Экспертная система определения заболевания по хроматограмме образца сыворотки крови |
Бушин Д.И., Вирбицкайте И.Б.
Трассовые эквивалентности временных сетей Петри |
Зверев Н.Б., Полетаев С.А.
О реализации алгоритма иерархического кластерного анализа на GPU средствами технологии CUDA |
Платонов Ю.Г.
Использование CQRS-технологии при разработке корпоративных приложений |
Ряскина Н.А.
Стрип-преобразование сигналов и некоторые вычислительные эксперименты |
Хайрулин С.С.
Моделирование биологических нейронных сетей при помощи языка NeuroML |
Шманина Т.В.
О методе выявления синонимичных конструкций естественного языка и его применении к задаче информационного поиска |
Шманина Т.В.
Обзор методов представления семантики текстов и извлечения знаний из них |
Сборник в формате PDF
|
Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В.Н. Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2008
Сборник является шестнадцатым в серии, издаваемой Институтом систем информатики СО РАН по проблемам конструирования и оптимизации программ. Посвящен проблемам, касающимся методов и инструментов конструирования и оптимизации параллельных программ и систем.
Представляет интерес для системных программистов, студентов и аспирантов, специализирующихся в области системного и теоретического программирования, и для всех тех, кто интересуется проблемами современной информатики и программирования.
Сборник в формате PDF
|
Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В.Н. Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2007
Является пятнадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Сборник в формате PDF
|
Сборник трудов аспирантов и молодых ученых
Выпуск 2
Под редакцией к.ф.-м.н. И.С. Ануреева
Новосибирск 2006
Сборник содержит статьи, представленные аспирантами и молодыми
сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические
аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.
Андреева М.В.
Временные структуры конфигураций: поведенческие эквивалентности и детализация действий |
Батура Я.Н.
Человеко-машинная модель языка мышления |
Белоглазов Д.М.
Обнаружение взаимодействия функциональностей в телефонных сетях с помощью раскрашенных сетей Петри |
Ботоева Е.Ю.
Двух- и трехмерная визуализации множества решений в системе UniCalc |
Бражник С.А.
Формальная модель диаграммы классов языка UML |
Веретнов С.О.
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL |
Вольхина Н.К.
Автоматическое восстановление бизнес-логики программ |
Грибовская Н.С.
Открытые морфизмы и временная тестовая эквивалентность для временных автоматных моделей |
Демин А.В., Витяев Е.Е.
Разработка модели адаптивного поведения анимата на основе семантического вероятностного вывода |
Кальченко В.В.
XML-алгебра для языка запросов XQuery |
Пятков А.Б.
Формальная модель основных понятий языка C# |
Сборник в формате PDF
|
Под редакцией доктора физ.-мат. наук, профессора, чл.-корр. РАЕН В.Н. Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2006
Является тринадцатым в серии сборников, издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Арапбаев Р.Н., Осмонов Р.А.
Анализ зависимостей по данным для многомерных массивов на базе модифицированного lambda-теста
|
Батура Т.В., Мурзин Ф.А.
Обработка поисковых запросов на естественном языке с помощью REFAL-подобных конструкций
|
Добрынин А.А., Мельников Л.С., Вальтер Х., Шрейер Й.
Число косых полиэдральных графов с малым числом вершин
|
Дунаев А.А., Валеев Т.Ф., Тарасов Е.А.
Исследование методов организации визуальной обратной связи в аппаратно-программном комплексе "Бослаб"
|
Дунаев А.А.
Исследовательская система для анализа текстов на естественном языке
|
Касьянов В.Н.
Музеи и Интернет
|
Касьянова Е.В.
Адаптивная система поддержки дистанционного обучения программированию
|
Козырева А.В.
Определение координат мобильного устройства в пространстве на основе изображений, получаемых от его видеокамеры
|
Козырева А.В.
О некоторых способах калибровки видеокамеры
|
Мельников Л.С., Петренко И.В.
Путевые разбиения в неориентированных графах
|
Несговорова Г.П.
Современные информационно-коммуникационные и цифровые технологии в сохранении культурного и научного наследия и развитии музейного дела
|
Осмонов Р.А., Штокало Д.Н.
Преобразования циклов, основанные на несингулярных матрицах
|
Серебренников А.Л.
Обзор возможностей среды Significo на примере решения прикладной задачи
|
Серебренников А.Л.
Сравнительный анализ нейросетевых пакетов и место среды Sig-nifico среди них. Краткое описание среды
|
Стасенко А.П.
Обзор потоковых языков программирования
|
Тараскина А.С.
Нечеткая кластеризация по модифицированному методу c-средних и ее применение для обработки микрочиповых данных
|
Шкурко Д.В.
Отказоустойчивость в распределенных сетях: проблемы консенсуса
|
Юрьев С.В.
Универсальная система построения и администрирования лабораторных веб-сайтов
|
Сборник в формате PDF
|
Сборник трудов аспирантов и молодых ученых
Под редакцией к.ф.-м.н. И.С. Ануреева
Новосибирск 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
Является одиннадцатым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач, связанных с программными средствами и математическими
основами информатики.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Сборник в формате PDF
|
Труды школы-конкурса молодых ученых Новосибирск, Академгородок 25 мая–15 июня 2003 года
Сборник содержит статьи, представленные на электронной школе-конкурсе "Новые подходы и решения" аспирантами и молодыми сотрудниками ИСИ СО РАН по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.
Антонцева М.Ф.
Коалгебраическое исследование бисимуляционных параллельных процессов
|
Аргиров В.С.
Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри
|
Винокуров А.Н., Ильин И.В., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф.
Программный комплекс, предназначенный для обработки результатов, полученных методом ядерного каротажа нефтяных скважин
|
Грибовская Н.С.
Теоретико-категорная характеризация языковых эквивалетностей временных параллельных моделей
|
Жданова А.В., Манкевич П.В.
Статический подход к семантическому структурированию предметных областей для запросов на естественном языке
|
Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А.
Восстановление положения тела в пространстве по данным, поступающим с одномерных камер для системы реального времени анализа движения объектов
|
Рыжов В.С.
Построение распределенных объектно-ориентированных интегрированных информационных систем обеспечения безопасности предприятия
|
Сборник в формате PDF
|
|
Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2003
Является десятым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач,
связанных с применением новых информационных технологий в науке
и образовании.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Батура Т.В., Еркаева О.Н., Мурзин Ф.А.
К вопросу об анализе текстов на естественном языке
|
Батура Т.В., Мурзин Ф.А.
Логические методы представления смысла текста на естественном языке
|
Винокуров А.А., Ильин И.В., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф.
О некоторых задачах, связанных с автоматизацией процесса ядерного каротажа нефтяных скважин
|
Волянская Т.А.
Виртуальный музей истории информатики в Сибири: модельпредметной области и модель пользователя
|
Дунаев А.А., Кель А.Э., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Черемушкин Е.С.
Визуализация генетической информации
|
Иванов М.А.
Применение вейвлет-преобразований в кодировании изображений
|
Касьянов В.Н., Мирзуитова И.Л.
Упорядоченные диаграммы бинарных решений
|
Лакийчук О.А.
Алгоритмы поиска доминаторов в управляющем графе
|
Малинина Ю.В.
Программные средства для автоматического формирования тематической коллекции по преобразованиям программ для коллективного использования
|
Мехонцев Д.Ю., Лобив И.В., Мурзин Ф.А.
Решение задачи нахождения оптимального положения тела в пространстве по данным, поступающим с одномерных камер, для 3D оптической системы анализа движения обьектов
|
Мурзин Ф.А., Мурзина Т.С., Хаяров Е.М., Шлишевский В.Б.
Светосильные растровые структуры для режима автоколлимации
|
Мурзин Ф.А., Половинко О.Н., Лобив И.В.
Распознавание текстур по пространственным закономерностям
|
Мухин Д.Ю.
Исследование алгоритмов варьирования применительно к MIDI-файлам
|
Шкурко Д.В.
О сложности построения оптимального линейного участка
|
Сборник в формате PDF
|
Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2002
Сборник является девятым в серии книг, издаваемых Институтом
систем информатики им. А.П. Ершова СО РАН по проблемам конструирования и оптимизации программ. Он посвящен решению актуальных
задач конструирования эффективных и надежных программ и систем
на основе теоретико-графовых методов, функционального программирования, сетевой обработки и средств визуализации.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Бабурин Д.Е.
Иерархический подход для автоматического размещения ациклических графов
|
Волянская Т.А.
Методы и технологии адаптивной гипермедиа
|
Глуханков М.П., Дортман П.А., Павлов А.А., Стасенко А.П.
Транслирующие компоненты системы функционального программирования SFP
|
Дунаев А.А., Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф., Чепель А.В., Ярков К.А.
Алгоритмы быстрого поиска фрагментов фотографических изображений
|
Дылыков Ж.Л-Д., Мурзин Ф.А.
Система TRIZ_Computing
|
Дылыков Ж.Л-Д., Пустыльников В.А.
Автоматизация методов принятия решений на железнодорожном транспорте как гарантия обеспечения безопасности движения
|
Евстигнеев В.А.
Конвейерная модель перевозок как модель пересылки протяженных сообщений
|
Евстигнеев В.А., Мирзуитова И.Л.
Развитие NUMA-архитектуры: текущее состояние
|
Иванов М.А.
Обзор MPEG-подобных методов кодирования видеоданных
|
Касьянов В.Н., Несговорова Г.П., Волянская Т.А.
Виртуальный музей истории информатики в Сибири
|
Кряженков П.Б.
Пользовательский интерфейс интегрированной среды функционального программирования SFP
|
Малинина Ю.В.
ИС ТРАНСФОРМ: Автоматизация наполнения системы
|
Маркин В.А., Маркина С.А.
Проект системы для быстрого прототипирования распараллеливающего компилятора. Универсальное внутреннее представление системы
|
Мельников Л.С., Петренко И.В.
Путевые ядра и длины циклов в неориентированных графах
|
Мехонтцев Д.Ю., Лобив И.В., Селезнев К.С.
Слежение и определение скорости движущихся на плоскости объектов в реальном времени
|
Терехов В.И., Треногин Н.Г.
Оптимальное размещение информации в вычислительных системах с учетом структурной надежности компонентов
|
Сборник в формате PDF
|
|
Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2001
Является седьмым в серии сборников, издаваемых Институтом систем информатики СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач разработки
методов и средств, повышающих эффективность использования супервычислителей и телекоммуникационных сетей.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного
и теоретического программирования.
Касьянов В.Н.
О работе 16 Всемирного компьютерного конгресса ИФИП
|
Логачева С.А.
Анализ зависимостей по данным на базе алгоритма Шостака
|
Евстигнеев В.А.
NUMA-архитектура: некоторые особенности компиляции и генерации кода
|
Касьянов В.Н., Бирюкова Ю.В., Евстигнеев В.А.
Функциональный язык Sisal 3.0
|
Вшивков В.А., Лобив И.В., Мурзин Ф.А.
Параллельный алгоритм решения задачи о взаимодействии потоков разреженной плазмы
|
Бурдонов И.В., Мурзин Ф.А.
О распараллеливании метода "МЕДУЗА"
|
Мурзин Ф.А., Семич Д.Ф.
Программные средства для тестирования алгоритмов по обработке изображений
|
Маркин В.А.
Язык описания графовых моделей и алгоритмов GRAMAL
|
Волянская Т.А., Малинина Ю.В.
Трансформ: интерфейс для ввода информации
|
Касьянов В.Н.
Применение графов в программировании
|
Бояршинов В.А.
Эквивалентность моделей локальных вычислений
|
Мельников Л.С., Петренко И.В.
Некоторые инварианты кубоподобного графа
|
Лисицын И.А.
Организация графического вывода в системе визуализации иерархических графовых моделей
|
Лисицын И.А.
Организация пользовательского интерфейса в системе визуализации иерархических графовых моделей
|
Мердишева Т.С., Мердишева Е.С.
Подготовка графовых иллюстраций с помощью системы VEGRAS
|
Харитонов Э.В.
Реализация сопоставления с образцом в языке Lisp на основе аналогичных средств в языках Refal и Haskell
|
Малинина Ю.В.
Использование шаблонов при разработке WIS
|
Дылыков Ж.Л.-Д., Занаева Н.Б., Марьясов Е.А., Мурзин Ф.А., Семич Д.Ф.
Логическая структура процесса генерации и отгадывания загадок
|
Сборник в формате PDF
|
|