Разное

Журнал программирование: Журнал «Программирование» РАН

Содержание

Журнал «Программирование» РАН

О журнале «Программирование»

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п. Журнал предназначен для исследователей, практиков и студентов. Периодичность выпуска – 6 номеров в год. Журнал внесен в список ВАК. Журнал выпускается ФГУП «Издательство «Наука».

Главный редактор журнала

А.И. Аветисян, академик РАН, доктор физ.-мат. наук. Институт системного программирования РАН, Москва, Россия.

Заместитель главного редактора

А. К. Петренко, доктор физ.-мат. наук, профессор. Институт системного программирования РАН, Москва, Россия.

Ответственный секретарь

Л. Е. Карпов, доктор техн. наук. Институт системного программирования РАН, Москва, Россия.

Редакционная коллегия

С. А. Абрамов, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия;
И. Б. Вирбицкайте, доктор физ.-мат. наук, профессор. Институт систем информатики им. А. П. Ершова, СО РАН, Новосибирск, Россия;
К. В. Воронцов, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына РАН Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия.
В. А. Галактионов, доктор физ.-мат. наук, профессор. Институт прикладной математики им. М. В. Келдыша, РАН, Москва, Россия;
Ф. Я. Дзержинский. ТехноСофт, Москва, Россия;
С. В. Клименко, доктор физ.-мат. наук, профессор. Нижегородский государственный архитектурно-строительный университет, Нижний Новгород, Россия;
М. Р. Когаловский, кандидат техн. наук. Институт проблем рынка РАН, Москва, Россия;
А. С. Косачев, кандидат физ.-мат. наук. Институт системного программирования РАН, Москва, Россия;
И. В. Машечкин, доктор физ.-мат. наук, профессор. Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова, Москва, Россия;
Б. А. Новиков, доктор физ.-мат. наук, профессор. Санкт-Петербургский государственный университет, г. Санкт-Петербург, Старый Петергоф, Россия;
А. Н. Прокопеня, доктор физ.-мат. наук. Варшавский университет естественных наук (Szkoła Główna Gospodarstwa Wiejskiego), Варшава, Польша;
В. А. Серебряков, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына РАН Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия.

Зав. редакцией журнала

Т.А. Оловянникова. ФГУП Академиздатцентр «Наука» РАН, Москва, Россия.

Журнал реферируется и индексируется

Научные статьи, опубликованные в журнале «Программирование», полностью переводятся на английский язык группой издательств Pleiades Publishing и печатаются издательством Springer в журнале «Programming and Computer Software», сведения о котором можно найти здесь и здесь. Там же можно найти сведения об импакт-факторе переводного журнала и международных системах, индексирующих его.

Программирование

О журнале

Журнал публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п.

Журнал предназначен для исследователей, практиков и студентов.

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

Журнал основан в 1975 году.

Главный редактор

А.И. Аветисян, член-корреспондент РАН, доктор физ.-мат. наук. Институт системного программирования РАН, Москва, Россия

Заместитель главного редактора

А.К. Петренко, доктор физ.-мат. наук, профессор. Институт системного программирования РАН, Москва, Россия.

Ответственный секретарь

Л.Е. Карпов, доктор техн. наук. Институт системного программирования РАН, Москва, Россия.

Редакционная коллегия

С.А. Абрамов, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия;
И.Б. Вирбицкайте, доктор физ.-мат. наук, профессор. Институт систем информатики им. А. П. Ершова, СО РАН, Новосибирск, Россия;
К.В. Воронцов, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына РАН Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия;
В.А. Галактионов, доктор физ.-мат. наук, профессор. Институт прикладной математики им. М. В. Келдыша, РАН, Москва, Россия;
Ф.Я. Дзержинский. ТехноСофт, Москва, Россия;
М.Р. Когаловский, кандидат техн. наук. Институт проблем рынка РАН, Москва, Россия;
А.С. Косачев, кандидат физ.-мат. наук. Институт системного программирования РАН, Москва, Россия;
И.В. Машечкин, доктор физ.-мат. наук, профессор. Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова, Москва, Россия;
Б.А. Новиков, доктор физ.-мат. наук, профессор. Санкт-Петербургский государственный университет, г. Санкт-Петербург, Старый Петергоф, Россия;
А.Н. Прокопеня, доктор физ.-мат. наук. Варшавский университет естественных наук (Szkoła Główna Gospodarstwa Wiejskiego), Варшава, Польша;
В.А. Серебряков, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына РАН Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия.

Зав. редакцией

Т.А. Оловянникова

научный журнал по математике, ISSN: 0132-3474

Архив научных статейиз журнала «Программирование»

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

    БАТОВА С.В., БЛАГОНРАВОВ С.А., ЖАРИНОВ И.О., КОНОВАЛОВ П.В., УТКИН С.Б. — 2015 г.

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

  • АВТОРСКИЙ УКАЗАТЕЛЬ СТАТЕЙ, ОПУБЛИКОВАННЫХ В 2014 ГОДУ

    2015

  • АЛГОРИТМ ПРОВЕРКИ ТРИВИАЛЬНОСТИ «СМЕШАННЫХ» ИДЕАЛОВ В КОЛЬЦЕ ДИФФЕРЕНЦИАЛЬНЫХ МНОГОЧЛЕНОВ

    ЗОБНИН А.И., ЛИМОНОВ М.А. — 2015 г.

    В статье предлагается алгоритм проверки тривиальности идеала [f] + (h 1,…., h t) в обыкновенном кольце дифференциальных многочленов при некотором дополнительном условии на многочлен f. Эта задача тесно связана, с одной стороны, с задачей Колчина об экспонентах дифференциальных идеалов, а с другой — с вопросами конечности дифференциальных стандартных базисов.

  • АЛГОРИТМИЧЕСКИЕ ВОПРОСЫ КОНЪЮНКТИВНОЙ ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФОРМУЛ

    ЕМЕЛЬЯНОВ П.Г., ПОНОМАРЕВ Д.К. — 2015 г.

    Под конъюнктивной декомпозицией понимают отыскание двух или более формул, компонент декомпозиции, конъюнкция которых эквивалентна исходной формуле. Декомпозиция называется дизъюнктной, если множества переменных у компонент не пересекаются. В статье показано, что проблема существования дизъюнктной конъюнктивной декомпозиции является трудной для булевых формул, заданных в КНФ/ДНФ. Для позитивных ДНФ, СДНФ и АНФ показано существование полиномиального алгоритма для нахождения компонент дизъюнктной декомпозиции. Данный результат следует из эффективной факторизации полилинейных полиномов над конечным полем порядка 2, для которой в статье предложен алгоритм, основанный на тестировании равенства нулю частных производных полилинейных полиномов.

  • АССОЦИИРОВАННЫЕ ТИПЫ И РАСПРОСТРАНЕНИЕ ОГРАНИЧЕНИЙ НА ПАРАМЕТРЫ-ТИПЫ ДЛЯ ОБОБЩЁННОГО ПРОГРАММИРОВАНИЯ НА SCALA

    ПЕЛЕНИЦЫН А.М. — 2015 г.

    Обобщённое программирование представляет собой принцип создания программных компонент, характеризующихся высокой степенью повторной используемости за счёт отделения реализации алгоритмов от конкретных определений типов данных, с которыми работают эти алгоритмы. В последние годы проведён ряд исследований, направленных на выявление имеющихся и разработку новых механизмов поддержки обобщённого программирования в различных языках программирования. В данной работе анализируются и развиваются подходы к реализации обобщённого программирования с использованием различных элементов языка программирования Scala, разработанного в Федеральной политехнической школе Лозанны специалистом в теории и реализации языков программирования Мартином Одерски.

  • ВЫСОКОУРОВНЕВАЯ МОДЕЛЬ ПАМЯТИ ПРОМЕЖУТОЧНОГО ЯЗЫКА JESSIE С ПОДДЕРЖКОЙ ПРОИЗВОЛЬНОГО ПРИВЕДЕНИЯ ТИПОВ УКАЗАТЕЛЕЙ

    МАНДРЫКИН М.У., ХОРОШИЛОВ А.В. — 2015 г.

    В статье представлен промежуточный язык, предназначенный для использования в качестве целевого анализируемого языка при верификации промышленного кода на языке GNU С (в частности, модулей ядра Linux). Язык представляет собой расширение существующего промежуточного языка, используемого подключаемым модулем JESSIE в системе статического анализа Frama-C. Он имеет семантику, совместимую с семантикой языка Си (в частности, для массивов), изначально поддерживает различаемые объединения и префиксные (иерархические) приведения типов указателей на структуры, и расширен ограниченной поддержкой низкоуровневого приведения типов указателей. Подходы к трансляции исходного Си-кода в промежуточный язык, а также трансляции промежуточного языка во входной язык платформы дедуктивной верификации Why3 рассматриваются на примерах. Эти примеры иллюстрируют выразительность расширенного промежуточного языка и эффективность получаемых аксиоматических спецификаций.

  • ДОКАЗАТЕЛЬСТВО СВОЙСТВ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ МЕТОДОМ НАСЫЩЕНИЯ РАВЕНСТВАМИ

    ГРЕЧАНИК С.А. — 2015 г.

    В данной статье показано, как метод насыщения равенствами может быть применён для доказательства алгебраических свойств программ на нетотальном функциональном языке первого порядка с нестрогой семантикой. В процессе насыщения равенствами мы используем преобразования, взятые главным образом из суперкомпиляции, а доказательство по индукции мы производим при помощи специального преобразования, которое мы называем слиянием по бисимуляции. Нашу экспериментальную реализацию прувера, основанного на данном методе, мы сравниваем с суперкомпилятором HOSC и с пруверами HipSpec и Zeno.

  • ИССЛЕДОВАНИЕ ОДНОЙ ВЕЩЕСТВЕННОЙ АЛГЕБРАИЧЕСКОЙ ПОВЕРХНОСТИ

    БАХТИН А.Б., БРЮНО А.Д. — 2015 г.

    Дается описание некоторого вещественного алгебраического многообразия в R 3. Это многообразие играет важную роль в исследовании нормализованного потока Риччи на обобщенных пространствах Уоллаха. Для понимания структуры многообразия дается описание всех его особых точек. В силу наличия внутренней симметрии изучаемого объекта, часть исследования проводится с использованием элементарных симметрических многочленов. Все вычисления в препринте выполнены с использованием алгоритмов компьютерной алгебры, в частности, с использованием базисов Грёбнера и алгоритмов работы с полиномиальными идеалами. В качестве сопутствующего результата сформулировано и доказано утверждение о структуре дискриминантной поверхности кубического многочлена.

  • КАЧЕСТВЕННОЕ ИССЛЕДОВАНИЕ МОДЕЛИ ГЕНА С ИСПОЛЬЗОВАНИЕМ АЛГОРИТМОВ КОМПЬЮТЕРНОЙ АЛГЕБРЫ

    БУЛЬЕ ФРАНСУА, ЛЁМЭР ФРАНСУА, РОМАНОВСКИЙ ВАЛЕРИЙ, ХАН МАОАН — 2015 г.

    С использованием алгоритмов и пакетов систем компьютерной алгебры проведено качественное исследование трехмерной автономной системы ОДУ, использованной в работе [1] для моделирования динамики гена. Предложен вычислительный подход, основанный на алгоритмах теории исключения, для нахождения инвариантных поверхностей многомерных полиномиальных систем дифференциальных уравнений, который позволяет свести изучение динамики системы к исследованию динамики траекторий системы меньшего порядка. Предложен также эффективный подход, основанный на использовании функций Ляпунова, для изучения бифуркаций Андронова-Хопфа, который использован для поиска таких бифуркаций в рассматриваемой модели.

  • КОМПАКТНОЕ ПРЕДСТАВЛЕНИЕ ПОЛИНОМОВ ДЛЯ АЛГОРИТМОВ ВЫЧИСЛЕНИЯ БАЗИСОВ ГРЁБНЕРА И ИНВОЛЮТИВНЫХ БАЗИСОВ

    ЯНОВИЧ Д.А. — 2015 г.

    При вычислении базисов Грёбнера и инволютивных базисов с рациональными коэффициентами львиную долю памяти занимают числа произвольной точности, но в случае модулярных вычислений, а особенно при нахождении булевых базисов на первое место выходит проблема компактного представления мономов в составе полиномов системы. Для этого используют, к примеру, ZDD диаграммы и прочие структуры, которые осложняют выполнение типичных операций алгоритмов — умножения на моном и редукции полиномов. В данной работе сделана попытка создания удобного (в смысле вычисления базисов) и компактного представления полиномов на основе хэш-таблиц, приведены результаты тестовых прогонов.

  • КОМПАРАТИВНАЯ ТРАССОВАЯ СЕМАНТИКА ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ

    БУШИН Д.И., ВИРБИЦКАЙТЕ И.Б. — 2015 г.

    В данной работе определяется и исследуется семейство трассовых эквивалентностей в иптерлbвинговой, шаговой, частично-упорядоченной и недетерминированной семантиках в контексте временных безопасных сетей Петри. Изучаемые эквивалентности основываются как на классическом понятии последовательностей срабатываний переходов, так и на временных процессах, т.е. временных расширениях сетей-процессов за счет сопоставления глобальных моментов времени срабатываниям переходов. Устанавливаются взаимосвязи эквивалентностей и строится иерархия классов эквивалентных временных сетей Петри.

  • КОНФИГУРИРУЕМАЯ СИСТЕМА СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ ЯДРА ОПЕРАЦИОННЫХ СИСТЕМ

    ЗАХАРОВ И.С., МАНДРЫКИН М.У., МУТИЛИН В.С., НОВИКОВ Е.М., ПЕТРЕНКО А.К., ХОРОШИЛОВ А.В. — 2015 г.

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

  • МОДЕЛИРОВАНИЕ КВАНТОВОГО АЛГОРИТМА ОПРЕДЕЛЕНИЯ ФАЗЫ

    ПРОКОПЕНЯ А.Н. — 2015 г.

    В статье обсуждается квантовый алгоритм оценки фазы, которая определяет собственное значение унитарного оператора. Предполагается, что собственный вектор оператора и соответствующая ему квантовая схема заданы. Регистр памяти, в который записывается приближеное значение фазы, содержит n кубитов, что позволяет определить фазу с точностью до 2 — n с вероятностью большей, чем 8/π 2. В качестве примера выполнены вычисления в случае квантового оператора сдвига фазы. Моделирование квантового алгоритма и вычисление собственного значения производится с помощью пакета “QuantumCircuit”, написанного на языке системы компьютерной алгебры Wolfram Mathematica, которая также используется для выполнения всех расчетов и визуализации полученных результатов.

  • МОДЕЛИРОВАНИЕ ОКРУЖЕНИЯ С ИСПОЛЬЗОВАНИЕМ ШАБЛОНОВ ДЛЯ СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ ЯДРА LINUX

    ЗАХАРОВ И.С., МУТИЛИН В.С., ХОРОШИЛОВ А.В. — 2015 г.

    Модули ядра Linux функционируют в окружении, управляемом событиями. При статической верификации таких модулей необходимо учитывать все возможные сценарии взаимодействия между модулями и их окружением. Данная работа предлагает новый метод моделирования окружения, позволяющий автоматически генерировать модели окружения для заданного модуля ядра на основе анализа исходного кода модуля и набора спецификаций, описывающих шаблоны сценариев взаимодействий между модулями и их окружением. В спецификациях могут быть заданы как шаблоны сценариев для всего ядра Linux, так и детальные, которые характерны для определенной подсистемы. Это позволяет значительно сократить размер спецификации и позволяет верифицировать больше модулей с меньшими усилиями. Предложенный метод реализован в компоненте инструментария LDV Tools, который применяется для статической верификации модулей практически всех подсистем ядра Linux.

  • ОБРАТИМЫЕ ПРЕОБРАЗОВАНИЯ ДАРБУ ТИПА I

    ШЕМЯКОВА Е.С. — 2015 г.

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

  • ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ НА ГРАФЕ

    БУРДОНОВ И.Б., КОСАЧЕВ А.С., КУЛЯМИН В.В. — 2015 г.

    Рассматривается задача параллельного вычисления значения функции от мультимножества значений, записанных в вершинах ориентированного графа. Вычисление выполняется автоматами, находящимися в вершинах графа и обменивающихся между собой сообщениями, передаваемыми по дугам графа (в направлении их ориентации). Предполагается, что ёмкость дуги, то есть число одновременно передаваемых по ней сообщений, ограничена. Вычисление инициируется сообщением, приходящим извне в автомат выделенной начальной вершины графа. Этот же автомат в конце работы посылает вовне вычисленное значение функции. Для решения этой задачи предлагаются два алгоритма. Первый алгоритм выполняет исследование графа, основанное на его обходе. Его цель — разметить граф с помощью изменения состояний автоматов в вершинах. Строятся прямой и обратный остовы графа. Прямой остов ориентирован от корня, которым является начальная вершина графа. Обратный остов ориентирован к тому же корню. Кроме того, в каждой вершине устанавливается значение счётчика входящих дуг обратного остова. Такая разметка используется вторым алгоритмом, который и производит вычисление значения той или иной функции. Это вычисление основано на алгоритме пульсации: сначала от автомата начальной вершины по всему графу распространяются сообщения-вопросы, которые должны достигнуть каждой вершины, а затем от каждой вершины “в обратную сторону” к начальной вершине двигаются сообщения-ответы. Алгоритм пульсации, по сути, вычисляет агрегатные функции, для которых значение функции от объединения мультимножеств вычисляется по значениям функции от этих мультимножеств. Однако показано, что любая функция f (x) имеет агрегатное расширение, то есть может быть вычислена как h(f0(x)), где f’ — агрегатная функция. Заметим, что разметка графа не зависит от той функции, которая будет вычисляться. Это означает, что разметка графа выполняется один раз, после чего может многократно использоваться для вычисления различных функций.

  • ПОИСК РАЦИОНАЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ И РАЗНОСТНЫХ СИСТЕМ С ПОМОЩЬЮ ФОРМАЛЬНЫХ РЯДОВ

    АБРАМОВ С.А. — 2015 г.

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

  • ПОПОЛНЕНИЕ ОНТОЛОГИЙ НА ОСНОВЕ АЛГЕБРАИЧЕСКОГО ФОРМАЛИЗМА ИНФОРМАЦИОННЫХ СИСТЕМ И МУЛЬТИАГЕНТНЫХ АЛГОРИТМОВ АНАЛИЗА ТЕКСТА

    ГАРАНИНА Н.О., СИДОРОВА Е.А. — 2015 г.

    В статье представлен подход к пополнению онтологий как работа с информационными системами Скотта. Отношение выводимости в информационной системе пополнения онтологии соответствует правилам обработки входных данных и пополнения онтологии. Для реализации процесса пополнения онтологий предложен мультиагентный подход, базирующийся на семантическом анализе текста на естественном языке. В предложенной мультиагентной модели взаимодействуют агенты двух основных типов: информационные агенты, соответствующие значимым единицам извлекаемой информации, и агенты-правила, реализующие правила пополнения заданной онтологии на основе семантико-синтаксической модели языка.

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

    МАШЕЧКИН И.В., ПЕТРОВСКИЙ М.И., ЦАРЕВ Д.В. — 2015 г.

    В настоящее время наибольшие риски для информационной безопасности организаций представляют не внешние, а внутренние угрозы. Для минимизации рисков, связанных с внутренними угрозами, используются DLP-системы. Основной функционал DLP-систем направлен на предотвращение утечки конфиденциальных данных, однако, в современных реалиях при сравнении DLP-систем на первое место начинают выходить их возможности по анализу перехваченной информации и удобстве проведения ретроспективных расследований. В статье представлен новый подход ретроспективного анализа работы корпоративного пользователя с текстовой информацией. Идея предлагаемого подхода состоит в тематическом анализе сложившихся в прошлом тенденций работы пользователя с текстовым контентом различных категорий, в том числе конфиденциальных, и прогнозировании его дальнейшего поведения. Тематический анализ работы пользователя предполагает определение основных тематик его текстового контента и соответствующие им веса в заданные интервалы времени. На основе отклонений поведения в работе пользователя с контентом от прогнозируемого можно выявить интервалы времени, когда работа с документами той или иной категории отличается от обычной (исторической) и когда велась работа с документами несвойственных категорий. Экспериментальные исследования предложенного подхода были проведены на примере реальной корпоративной переписки пользователей, сформированной из тестового набора данных Enron.

  • РОГОВЫЕ СИСТЕМЫ ГОМОМОРФНОГО ШИФРОВАНИЯ И ЗАЩИТА ИНФОРМАЦИИ В ОБЛАЧНЫХ ВЫЧИСЛЕНИЯХ

    ВАРНОВСКИЙ Н.П., МАРТИШИН С.А., ХРАПЧЕНКО М.В., ШОКУРОВ А.В. — 2015 г.

    Дается краткий анализ возможности реализации системы облачных вычислений над конфиденциальными данными на основе известных из литературы пороговых систем вполне гомоморфного шифрования. Предлагается протокол облачных вычислений над конфиденциальными данными в модели с вспомогательными криптосерверами. В результате получена система, не требующая дополнительного открытого ключа и заменяющая наиболее неэффективную и проблемную процедуру перешифрования (bootstrapping) более эффективным протоколом перешифрования, выполняемым криптосерверами.

  • Издания ИСП РАН

    Издания

    Журнал «Труды ИСП РАН»

    Труды Института системного программирования им. В.П. Иванникова РАН издаются Институтом в традиционной бумажной форме с 1999 г. (ISBN 5-89823-026-2). С 2010 г. Труды ИСП РАН также публикуются на данном сайте в виде периодического электронного издания (ISSN 2079-8156). У издания отсутствует строгий график выхода очередных выпусков, но обычно каждый год публикуется 1-2 новых тома. Главным редактором издания до 2016 года являлся академик РАН Иванников Виктор Петрович, а с 2017 года — директор ИСП РАН, академик РАН, Аветисян Арутюн Ишханович.
    Подробнее

    Журнал «Программирование» РАН

    Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п. Журнал предназначен для исследователей, практиков и студентов. Периодичность выпуска – 6 номеров в год. Журнал внесен в список ВАК. Главным редактором издания до 2016 года являлся академик РАН Иванников Виктор Петрович, а с 2017 года — директор ИСП РАН, академик РАН, Аветисян Арутюн Ишханович.
    Подробнее

    Препринты ИСП РАН

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

    Библиография Лаврова И.А.

    Лавров Игорь Андреевич был ведущим научным сотрудником отдела «Теоретической информатики» ИСП РАН, специалистом в области математической логики и теории алгоритмов.
    Подробнее

    Общая теория вычислимости

    Книги Липаева В.В.

    Владимир Васильевич Липаев — профессор, доктор технических наук, главный научный сотрудник Института системного программирования РАН и МГТУ «Станкин».
    Подробнее

    Учебники

    Цикл монографий

    Список научных трудов

    На сайте доступны для скачивания учебники и монографии по программной инженерии от профессора Липаева В.В.

    Труды Лаврищевой Е.М.

    Екатерина Михайловна Лаврищева — профессор, доктор физико-математических наук, главный научный сотрудник ИСП РАН.
    Подробнее

    Учебные пособия

    Монографии

    Список научных трудов

    Программирование (журнал) — Википедия Переиздание // WIKI 2

    Периодичность 6 номеров в год
    Язык русский
    Страна  СССР →  Россия
    Издатель ФГУП «Издательство «Наука»
    Дата основания 1975
    Тираж 10 200

    «Программирование» — советский и российский рецензируемый научно-технический журнал, который начал выпускаться в Москве в 1975 году Отделением математики Академии наук СССР[1].

    Тематическая направленность журнала посвящена теоретической и прикладной проблематике программирования электронно-вычислительной техники и связанным с нею областям: разработке программного обеспечения, компиляторов и операционных систем, технологиям и языкам программирования, тестированию и верификации программ, компьютерной алгебре, параллельному программированию, машинной графике и т. п.[2]

    По данным на 1987 год полный тираж журнала достигал 10 200 экземпляров, а периодичность составляла 6 номеров в год[1]. Журнал внесен в общероссийский перечень Высшей аттестационной комиссии[2]. До 2018 года выпускался издательством «Наука»[3].

    Примечания

    Источники

    • Математический энциклопедический словарь / Ю. В. Прохоров. — М. : «Советская энциклопедия», 1988.

    Эта страница в последний раз была отредактирована 24 августа 2020 в 11:22.

    Бортовой журнал программиста | GeekBrains

    Кому он нужен и как правильно вести.

    https://d2xzmw6cctk25h.cloudfront.net/post/1016/og_cover_image/4d162f28dc30032a1ecdf2e3dbf2a513

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

    Упорство — вот залог к успеху. Необходимо проявлять усидчивость в изучении ТЗ, написании кода, его чтении, тестировании. Необходимо строго следить за своим распорядком дня, временем для работы и отдыха, образом жизни и питанием. Надо учитывать каждую мелочь, но как это сделать, когда мозг и без того перегружен информацией? Выход есть — ваш личный бортовой журнал. И вот чем он вам может помочь.

    Всего лишь порядок

    Западные психологи часто советуют своим пациентам, которые ведут себя асоциально или, например, жалуются на провалы в памяти, вести дневник. Возможно именно из-за этой стереотипной связи я долгое время отрицал необходимость конспектировать свои действия, а старших коллег, которые это делали, не понимал. Но в какой-то момент, когда количество срочных рабочих дел на единицу времени перевалило за три, я осознал, что заполнение подручного блокнота информацией — единственный вариант решать их все оперативно. Иного выхода в условиях open-space офиса я просто не нашёл. И я прозрел.

    Сначала это была просто запись текущих задач, потом к ним добавились статусы, решения, а в итоге всё свелось к тому, что я стал помечать каждую относительно сложную задачу, которая возникала в работе. С вопросами попроще, когда надо подумать над созданием класса и его переменных, в общем-то можно справиться и не задействуя ручку с листком. Но когда речь идёт о структуре программы, о входных и выходных данных, о вариантах возможных решений — здесь лучше потратить немного времени и всё внимательно визуализировать.

    Плюсы в организации

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

    Второй плюс — организация мыслей. Решение любой комплексной задачи предполагает движение от общего к частному. Но не имея возможности или не желая зафиксировать этот «спуск» на бумаге или носителе, вы неизбежно начнёте путь в обратном направлении. Как итог, «доработанный» результат и чаще всего недовольный заказчик.

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

    Ещё одно преимущество — повышение продуктивности. Это может показаться странным, учитывая необходимость помимо основной деятельности ещё и постоянно всё комментировать, но время, сэкономленное на бессмысленных поисках информации в памяти и коде, с лихвой покрывает его возможные потери.

    Но самое главное — с подручным журналом вы сохраните свои нервы и здоровье. Зачем держать кучу простой информации в голове, если можно заставить мозг работать над более сложными задачами? Зачем вообще запоминать какие-то оперативные рабочие моменты, если вы хотите стать идеальным программистом, а не работником месяца?

    Минусы

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

    Кроме того, запись своих действий и задач имеет смысл только в существовании одного-единственного журнала (в крайнем случае двух: рабочего и общего). А если вы просто заполняете все подручные стикеры свежей информацией, то и толк от этого будет минимальный.  

    Формат

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

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

    Третий совет — начинайте ключевые записи в формате «дата — проект — описание», а важные заметки отмечайте отдельно. Так вам не придётся тратить время на их поиски.

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

    Журнал по философии

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

    Кстати, если вы новичок, рекомендуем пройти бесплатный интенсив по основам программирования.

    Учебные курсы

    Спецсеминар «Корректность программ»


    Авторы:
    д.ф.-м.н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Кулямин Виктор Вячеславович. Тип — ВМК МГУ, 3-4 курс.

    Спецсеминар «Корректность программ» посвящён методам построения сложных программных комплексов. 

    Верификация программного обеспечения, часть 1


    Автор:
    к.ф.-м.н. Мутилин Вадим Сергеевич. Тип — МФТИ, 10 семестр (1 курс магистратуры).

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

    Компьютерные сети и информационная безопасность


    Автор:
    к.ф.-м.н. Гетьман Александр Игоревич, к.т.н. Маркин Юрий Витальевич. Тип — Продолжение базового курса по компьютерным сетям и сетевым технологиям. Читается на 1 или 2 курсе магистратуры ВМК МГУ, МФТИ и ФКН ВШЭ (осенний семестр).

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

    Конструирование ядра операционной системы


    Автор:
    к.ф.-м.н. Хорошилов Алексей Владимирович. Тип — полугодовой курс (осенью на ВМК МГУ, весной в ВШЭ и МФТИ).

    Цель курса – знакомство на практике с основными принципами конструирования ядра операционной системы и сопутствующих понятий (планировщик, виртуальная память, прерывания, механизмы синхронизации, системные вызовы, файловые системы и др.).

    Тестирование ПО


    Автор:
    к.ф.-м.н. Кулямин Виктор. Тип — Весенний полугодовой курс. Читается на ВМК МГУ, а также на ФКН ВШЭ под названием «Обеспечение качества и тестирование ПО».

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

    Основы программной инженерии


    Автор:
    к.ф.-м.н. Кулямин Виктор Вячеславович. Тип — Полугодовой курс. ВМК МГУ.

    Курс знакомит слушателей с технологическими проблемами разработки крупномасштабных программных систем, отличающими ее от разработки небольших программ, а также с методами решения этих проблем. Кроме того, рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий J2EE и .NET.

    Дедуктивный анализ программ


    Авторы:
    проф., д. ф.-м. н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, читает к.ф.-м.н. Корныхин Евгений Валерьевич. Тип — Весенний полугодовой курс, 2 курс магистратуры ВМК МГУ.

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

    Эффективные алгоритмы


    Автор:
    Д.ф.-м.н. Кузюрин Н.Н., Фомин С.А. Тип — Спецкурс по выбору для студентов 6-го курса МФТИ.

    Курс посвящён поиску эффективных решений алгоритмически трудных задач.

    Теоретические основы численного анализа


    Автор:
    К.ф.-м.н. Шокуров А.В. Тип — Весенний спецкурс для 4 курса МФТИ, читается по средам в ИСП РАН.

    Цель курса – формирование знаний и  навыков работы с основными  понятиями 
    и идеями теоретического численного анализа, а также подготовка к
    самостоятельной работе в этой области. 

     

    Современные компьютеры и сети передачи данных


    Автор:
    Шнитман Виктор Зиновьевич, д.т.н., заведующий отделом. Тип — 4 курс бакалавриата и 1 курс магистратуры ФУПМ МФТИ.

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

    Анализ кода и информационная безопасность


    Автор:
    Соловьев Михаил Александрович, к.ф.-м.н. Тип — Полугодовой осенний курс. Читается для магистров 1 года обучения на кафедре СП ВМК МГУ.

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

    Обеспечение качества и тестирование


    Автор:
    Кулямин Виктор Вячеславович, к.ф.-м.н., доцент. Тип — Курс читается для студентов ФКН ВШЭ.

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

    Конструирование оптимизирующих компиляторов


    Автор:
    Гайсарян Сергей Суренович, к.ф.-м.н., доцент. Тип — Читается для студентов МФТИ (весенний полугодовой курс) и ВМК МГУ (осенний полугодовой курс).

    Дисциплина «Конструирование оптимизирующих компиляторов» изучает методы и алгоритмы оптимизации процедур и программ в целом (все процедуры и библиотеки, участвующие в сборке программы), а также применение указанных технологий для обнаружения уязвимостей и других дефектов программ как в исходном коде (на языке высокого уровня), так и в машинном коде современных компьютеров.

    Научно-исследовательский семинар «Системное программирование»


    Авторы:
    проф., д. ф.-м. н. Петренко Александр Константинович, проф., д. ф.-м. н. Аветисян Арутюн Ишханович. Тип — 3-й курс ФКН ВШЭ, 1-3 модуль.

    НИС «Системное программирование» предназначен для студентов ВШЭ (бакалавров 3-4 курсов и магистров 1-2 курсов). Отбор студентов производится с 3 курса и до получения диплома бакалавра (с возможностью дальнейшего обучения в магистратуре). Семинар курирует базовая кафедра ИСП РАН в ВШЭ.

    Научная визуализация


    Автор:
    Профессор Семенов Виталий Адольфович, д.ф.-м.н. Тип — Осенний полугодовой курс для студентов ВШЭ и МФТИ.

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

    Алгоритмы и алгоритмические языки


    Автор:
    Белеванцев Андрей Андреевич, д.ф-м.н. Тип — Осенний полугодовой курс для студентов 1 курса ВМК МГУ.

    Курс читается в качестве вводного программистского курса на факультетете ВМК МГУ и состоит из трех разделов: введение в теорию алгоритмов, язык программирования Си, и алгоритмы и структуры данных.

    Теоретическая криптография.


    Автор:
    Варновский Н.П. Тип — Осенний годовой курс для студентов МФТИ и ВМК МГУ.

    Основное назначение курса – изложение математических основ информационной безопасности. Акцент делается на доказуемой стойкости, в отличие от широко распространённого подхода, состоящего в разъяснении изощрённых методов криптографической защиты. Курс не требует никаких предварительных знаний в области криптографии. Необходимо знакомство с основами моделей вычислений и теории сложности вычислений.

    Теоретические основы численного анализа.


    Автор:
    Шокуров А.В. Тип — Весенний полугодовой курс.

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

    Решётки, алгоритмы, теория чисел и современная криптография.


    Авторы:
    Д.ф.-м.н. Кузюрин Н.Н., к.ф.-м.н. Шокуров А.В. Тип — Весенний полугодовой курс для студентов МФТИ.

    Цель учебного курса – ознакомление студентов с важнейшими современными инструментами построения криптосистем, использующими методы теории чисел и алгебраической геометрии. Особое внимание уделяется методам, использующим решётки в евклидовом пространстве. Основой для использования такого подхода являются предположения о сложности некоторых  задач на решётках.

    Архитектура ЭВМ и язык ассемблера


    Автор:
    Падарян Вартан Андроникович, к.ф-м.н., доцент. Тип — Весенний полугодовой курс для студентов 1-го курса ВМК МГУ.

    Данный курс имеет своей целью изучение базовых принципов устройства современных ЭВМ, анализ качественных и количественных характеристик различных компонент ЭВМ, анализ влияния этих характеристик на работу прикладных программ. Помимо того, в рамках курса предполагается практическое освоение языка ассемблера архитектуры IA-32, изучение особенностей этой процессорной архитектуры, изучение взаимосвязей между архитектурой набора команд, механизмами реализации языка Си и системой программирования.

    Базы данных


    Автор:
    Кузнецов Сергей Дмитриевич, д.т.н., профессор. Тип — Осенний полугодовой курс для студентов 3-го курса (ВМК, ВШЭ, МФТИ).

    Основы обработки текстов


    Автор:
    Турдаков Денис Юрьевич, к.ф.-м.н. Лекторы: Андрианов И.А., Майоров В.Д., Сысоев А.А. Тип — Осенний полугодовой курс для студентов 3-5 курсов ВМК МГУ.

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

    Журнал программирования

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

    «Искусство, наука и инженерия программирования» направлен на восполнение этого пробела, сосредоточив внимание прежде всего на программировании: само искусство (стили программирования, жемчуг, модели, языки), развивающаяся наука понимания того, что работает, а что не работает в целом. и в конкретных контекстах, а также с более устоявшимися инженерными и математическими перспективами.

    Вот некоторые из основных моментов этого нового журнала:

    • Diamond открытый доступ, авторам бесплатно. Статьи доступны для всех, навсегда, и с авторов не нужно платить. Мы можем это сделать, потому что каждый, кто участвует в работе этого журнала, делает это на добровольной и неоплачиваемой основе, а также потому, что владелец журнала, некоммерческая организация AOSA, может покрыть оставшиеся эксплуатационные расходы.
    • Все статьи публикуются под лицензией Creative Commons.
    • Журнал является накладкой на arXiv, что означает, что мы загружаем все статьи в arXiv в качестве системы долгосрочного хранения. Кроме того, мы также храним документы на серверах Vrije Universiteit Brussel, Бельгия, Калифорнийского университета, Ирвин, США, и Института Хассо Платтнера в Потсдамском университете, Германия.
    • Статьи могут быть отправлены в любое время, но представления группируются и обрабатываются циклически с жесткими сроками для рецензентов, авторов и редакторов.Мы начинаем с трех циклов в год, но можем рассмотреть возможность увеличения в будущем.
    • Скорость: четыре месяца между началом циклов рецензирования и публикацией.
    • Сильное присутствие в социальных сетях и участие в конференции ‹Programming› для широкого распространения статей.

    Отправить!

    .

    Наука компьютерного программирования — Журнал

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

    Темы, представляющие интерес для SCP , охватывают весь спектр методов для всего жизненного цикла программных систем, включая
    • Требования, спецификация, проектирование, валидация, проверка, кодирование, тестирование, сопровождение, метрики и обновление программного обеспечения ;
    • Разработка, внедрение и оценка языков программирования ;
    Программирование сред, средств разработки, визуализации и анимации;
    • Управление процессом разработки;
    • Человеческий фактор в программном обеспечении, программное обеспечение для социального взаимодействия, программное обеспечение для социальных вычислений;
    • Киберфизические системы и программное обеспечение для взаимодействия между физическим и машинным;
    • Программные аспекты услуг инфраструктуры, системного администрирования и управления сетью.

    Особое внимание уделяется последним тенденциям в разработке программного обеспечения, таким как архитектура программного обеспечения, разработка программного обеспечения на основе компонентов и веб-разработка программного обеспечения. SCP разделен на четыре дорожки. Это: (1) концепции и методология, (2) формальные методы, (3) технология экспериментального программного обеспечения, (4) технология описательного программного обеспечения.
    1) Концептуальный трек открыт для методологических, философских и социологических исследований по всем аспектам производства и использования компьютерного программного обеспечения, включая этику.Также здесь разрешены короткие статьи, называемые точками зрения.
    2) Формальный курс подчеркивает развитие и прагматическое применение формальных и полуформальных техник. Материалы, которые редакторы рассматривают в основном математические или теоретические по своему характеру, с предварительного согласия авторов будут официально отправлены в дочерний журнал TCS .
    3) Экспериментальная площадка открыта для экспозиций по реализации и экспериментам с новыми языками программирования, системами и методами.Следует подчеркнуть, что документы, описывающие новые программные инструменты, имеющие отношение к SCP , приветствуются при строгом условии, что исходный код инструментов открыт. Более того, результаты должны быть воспроизводимыми и показывать общую применимость. Посредством типа статьи исходных публикаций программного обеспечения также программных продуктов с версиями, корпусов и наборов данных можно ввести в процесс проверки и опубликовать.
    4) Описательный трек связан с наблюдательными исследованиями текущих практик разработки программного обеспечения, отчетами о новых языках, системах и методах, включая отчеты об исследованиях по различным темам.

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

    Скрыть полную цель и объем
    .

    Журнал программирования и программного обеспечения

    О журнале «Программирование и софт»

    Журнал основан в 1975 году и включает статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционным системам, технологиям программирования, языкам и компиляторам программирования, параллельному программированию, верификации и тестированию программ, компьютерной графике, компьютерной алгебре и др. Журнал предназначен для для исследователей, практиков и студентов.Периодичность выпуска — 6 раз в год. Журнал внесен в список ВАК РФ. Журнал издается издательством «Наука».

    Главный редактор

    Арутюн Игоревич Аветисян, академик РАН, д.т.н. Кандидат физико-математических наук, Институт системного программирования РАН, Москва, Россия.

    Заместитель главного редактора

    Петренко Александр Константинович, д-р физ. Доктор физико-математических наук, профессор, Институт системного программирования РАН, Москва, Россия.

    Помощник редактора

    Леонид Э.Карпов, д-р физ. Наук, Институт системного программирования РАН, Москва, Россия.

    Редакция журнала

    Абрамов Сергей Александрович, д-р физ. Доктор физико-математических наук, профессор, Вычислительный центр ФНИЦ «Информатика и управление» РАН, Москва, Россия;
    Федор Я. Дзержинский, ТехноСофт, Москва, Россия;
    Галактионов Владимир Анатольевич, д-р физ. Доктор физико-математических наук, проф., Институт прикладной математики им. М.В. Келдыша РАН, Москва, Россия;
    Клименко Станислав Валентинович, д-р техн. Кандидат физико-математических наук, профессор, Нижегородский государственный архитектурно-строительный университет, Нижний Новгород, Россия;
    Михаил Р.Когаловский, канд. Sci. Наук, Институт рыночной экономики РАН, Москва, Россия;
    Косачев Александр Сергеевич, канд. Sci. Кандидат физико-математических наук, Институт системного программирования РАН, Москва, Россия;
    Машечкин Игорь Васильевич, д-р физ. Доктор физико-математических наук, проф., Вычислительная математика и кибернетика.
    Кафедра, МГУ, Москва, Россия;
    Борис Анатольевич Новиков, д-р физ. Доктор физико-математических наук, профессор, Санкт-Петербургский государственный университет, Санкт-Петербург, Россия;
    Прокопеня Александр Николаевич, д-р техн. Доктор физико-математических наук, профессор, Варшавский университет естественных наук, Варшава, Польша;
    Владимир А.Серебряков, д-р физ. Доктор физико-математических наук, профессор, Вычислительный центр ФНИЦ «Информатика и управление» РАН, Москва, Россия;
    Вирбицкайте Ирина Борисовна, д-р физ. Доктор физико-математических наук, проф., Институт систем информатики им. А. П. Ершова СО РАН, Новосибирск, Россия;
    Константин Воронцов, д-р физ. Кандидат физико-математических наук, профессор, Вычислительный центр Федерального исследовательского центра «Информатика и управление» РАН, Москва, Россия.

    Ответственный редактор

    Т.А. Оловянникова, Академиздатцентр «Наука» РАН, Москва, Россия.

    Рецензируется и индексируется журнал «Программирование и программное обеспечение»

    Список систем индексации вы можете найти здесь или здесь.

    .

    Научное программирование | Хиндави

    Исследовательская статья

    30 сен 2020

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

    Чжицзинь Ван | Yaohui Huang | … | Юнган Фу

    Инфекционная диарея имеет высокие показатели заболеваемости и смертности во всем мире. По этой причине прогнозирование диареи стало важной проблемой для предотвращения и борьбы со вспышками. В ходе многочисленных исследований были построены модели прогнозирования заболеваний с использованием крупномасштабных данных.Однако эти методы плохо работают с данными о диарее. Для решения этой проблемы в данной статье предлагается экономная модель (PM), которая принимает исторические данные о количестве посещений амбулаторных пациентов, метеорологические факторы (MF) и индексы поиска Baidu (BSI) в качестве входных данных для выполнения прогнозов. Была проведена экспериментальная оценка для сравнения эффективности краткосрочного прогнозирования десяти алгоритмов для четырех групп входных данных с использованием данных, собранных в Сямыне, Китай. Результаты показывают, что предложенный метод эффективен для повышения точности прогнозов.

    Исследовательская статья

    29 сентября 2020 г.

    Шлюз машинного обучения для проектирования научных рабочих процессов

    Брайан Бролл | Умеш Тималсина | … | Ákos Lédeczi

    В статье рассматривается DeepForge, портал глубокого обучения для научных вычислений. DeepForge предоставляет простой в использовании, но мощный визуальный / текстовый интерфейс для облегчения быстрой разработки моделей глубокого обучения как новичками, так и экспертами. Используя облачную инфраструктуру, встроенный контроль версий и поддержку многопользовательской совместной работы, DeepForge обеспечивает воспроизводимость и простоту доступа, а также обеспечивает удаленное выполнение конвейеров машинного обучения.В настоящее время инструмент поддерживает TensorFlow / Keras, но его расширяемая архитектура позволяет легко интегрировать дополнительные платформы.

    Исследовательская статья

    27 сентября 2020 г.

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

    Fenglei Deng | Цзянь Ван | … | Yunfei Su

    В последние годы повышенное внимание уделяется обеспечению качества и защите программного обеспечения. Несмотря на предложенные и развернутые схемы серьезной проверки и защиты, современное программное обеспечение, к сожалению, все еще не может быть защищено от кибератак, особенно при наличии небезопасной организации метаданных кучи.В этой статье мы стремимся исследовать, могут ли метаданные кучи быть повреждены и использованы кибератаками, чтобы попытаться оценить возможность использования уязвимостей и обеспечить качество программного обеспечения. С этой целью мы предлагаем RELAY , среду тестирования программного обеспечения для моделирования поведения человека при эксплуатации для повреждения метаданных на уровне машины. RELAY использует метод сериализации разметки кучи для построения шаблонов эксплойтов на основе человеческого опыта и разлагает сложные проблемы устранения эксплойтов на серию подзадач решения промежуточных состояний.При процедурном методе компоновки кучи RELAY использует меньше ресурсов, потребляемых для решения проблемы компоновки в соответствии с шаблоном эксплойта, активирует промежуточное состояние и генерирует окончательный эксплойт. Кроме того, RELAY может быть легко расширен и может непрерывно ассимилировать человеческие знания, чтобы улучшить свои возможности для оценки возможности использования. Затем, используя 20 программ CTF & RHG, мы демонстрируем, что RELAY может оценивать возможность использования уязвимостей, связанных с повреждением метаданных, и работает более эффективно по сравнению с другими современными автоматизированными инструментами.

    Исследовательская статья

    25 сен 2020

    Гибридное распараллеливание MPI и CUDA для приложений CFD на многопроцессорных кластерах HPC

    Jianqi Lai | Ханг Ю | … | Hua Li

    Графические процессоры (GPU) обладают высокой способностью к вычислениям с плавающей запятой и высокой пропускной способностью памяти при параллелизме данных и широко используются в высокопроизводительных вычислениях (HPC). Унифицированная архитектура вычислительных устройств (CUDA) используется в качестве платформы параллельных вычислений и модели программирования для графического процессора, что позволяет снизить сложность программирования.Программируемые графические процессоры становятся популярными в приложениях вычислительной гидродинамики (CFD). В этой работе мы предлагаем гибридный параллельный алгоритм интерфейса передачи сообщений и CUDA для приложений CFD на многопроцессорных кластерах HPC. Схема AUSM + UP против ветра и трехэтапный метод Рунге – Кутта используются для пространственной дискретизации и дискретизации по времени соответственно. Турбулентное решение решается с помощью модели двух уравнений SST. Центральный процессор управляет только работой графического процессора и связью, а графический процессор отвечает за обработку данных.Оптимизация параллельного выполнения и доступа к памяти используется для оптимизации кодов CFD на GPU. Мы предлагаем неблокирующий метод связи для полного перекрытия вычислений GPU, обмена данными CPU_CPU и передачи данных CPU_GPU путем создания двух потоков CUDA. Кроме того, метод одномерной декомпозиции области используется для балансировки рабочей нагрузки между графическими процессорами. Наконец, мы оцениваем гибридный параллельный алгоритм со сжимаемым турбулентным потоком над плоской пластиной. Обсуждаются производительность реализации с одним GPU и масштабируемость кластеров с несколькими GPU.Измерения производительности показывают, что распараллеливание с несколькими графическими процессорами может обеспечить ускорение более чем в 36 раз по сравнению с параллельными вычислениями на базе ЦП, а параллельный алгоритм имеет хорошую масштабируемость.

    Исследовательская статья

    23 сентября 2020 г.

    AGNES-SMOTE: алгоритм передискретизации, основанный на иерархической кластеризации и улучшенном SMOTE

    Xin Wang | Юэ Ян | … | Huijiao Wang

    Стремясь к низкой точности классификации несбалансированных наборов данных, предлагается алгоритм передискретизации — AGNES-SMOTE (метод агломеративной вложенности — синтетического меньшинства передискретизации), основанный на иерархической кластеризации и улучшенном SMOTE.Его ключевые процедуры включают иерархическую кластеризацию выборки большинства и выборки меньшинства соответственно; разделять миноритарные подкластеры на основе полученных мажоритарных подкластеров; выбрать «исходную выборку» на основе веса выборки и распределения вероятностей подкластера меньшинства; и ограничить создание новых образцов в определенной области методом центроида в процессе отбора образцов. Комбинация AGNES-SMOTE и SVM (машина опорных векторов) представлена ​​для работы с несбалансированной классификацией наборов данных.Эксперименты с наборами данных UCI проводятся для сравнения производительности различных алгоритмов, упомянутых в литературе. Экспериментальные результаты показывают, что AGNES-SMOTE преуспевает в синтезе новых выборок и улучшает производительность классификации SVM для несбалансированных наборов данных.

    Исследовательская статья

    18 сен 2020

    Touch: текстовый язык программирования для разработки приложений интеллектуального здания насекомых

    Wenjie Chen | Цилян Ян | … | Deshuai Han

    Интеллектуальное здание для насекомых (I 2 B) — это новая децентрализованная платформа интеллектуального здания с плоской структурой, обладающая превосходной гибкостью и масштабируемостью.I 2 B позволяет пользователям разрабатывать приложения, которые включают стратегии управления для эффективного управления и контроля зданий. Однако разработка приложений (приложений) I 2 B считается сложной и сложной задачей из-за сложных структурных особенностей и моделей параллельных вычислений платформы I 2 B. Было показано, что существующие исследования сталкиваются с трудностями в поддержке высокой степени абстракции и в предоставлении пользователям возможности определять сценарии управления в краткой и понятной форме.Этот документ призван облегчить разработку таких приложений и уменьшить сложность программирования. Мы предлагаем Touch, текстовый предметно-ориентированный язык (DSL), который обеспечивает абстракцию высокого уровня приложений I 2 B. В частности, мы сначала устанавливаем концептуальную архитектуру программирования приложения I 2 B, делая приложение более интуитивным за счет абстрагирования различных уровней физических объектов в I 2 B. Затем мы представляем специальные языковые элементы для эффективной поддержки параллельных вычислений. модель платформы I 2 B и дает формальное определение конкретного синтаксиса Touch.Мы также внедряем инструменты поддержки Touch, включая среду разработки, а также генерацию целевого кода. Наконец, мы представляем экспериментальные результаты, чтобы продемонстрировать эффективность и действенность Touch.

    .

    Добавить комментарий

    Ваш адрес email не будет опубликован. Обязательные поля помечены *