ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

12+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Процесс публикации
Научная этика
Авторам
Выпуски журнала
Архив выпусков

Статьи представлены в формате PDF

Для чтения файлов в формате PDF рекомендуется
программа Adobe Reader

 


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

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

Ответственные за рубрику: д.ф.-м.н. Непейвода Н.Н.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

32

Поступила в редакцию 05.10.2015

Подписана в печать 02.11.2015

69 с.

PDF

Бурцев А.А., Сидоров С.А.
Троичная виртуальная машина и троичная ДССП
 

В научно-исследовательской лаборатории троичной информатики (НИЛ ТИ) ВМК МГУ (в период с 2010 по 2013 г.) созданы троичная виртуальная машина ТВМ и кросс-система ДССП-ТВМ разработки программ для неё на языке ДССП-Т – троичном варианте языка ДССП.
В статье представляются архитектура троичного процессора ТВМ и его система команд, основные черты языка ДССП-Т и возможности среды разработки ДССП-ТВМ, а также поясняются некоторые проблемные аспекты реализации имитатора ТВМ, кросс-компилятора языка ДССП-Т и диалогового интерпретатора ДССП/ТВМ для специфичной троичной машины.


Ключевые слова: троичный компьютер, имитационная модель, ТВМ, ДССП, структурированное программирование, сшитый код.

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2015_4_29-97.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2015-6-4-29-97

42

Поступила в редакцию 17.11.2015

Подписана в печать 23.12.2015

28 с.

PDF

Мешвелиани С.Д.
Программирование основ вычислительной алгебры на языке с зависимыми типами
 

В статье описываются главные черты разработанной автором на основе доказательного программирования библиотеки вычислительной алгебры. Обсуждается опыт доказательного программирования некоторых классических категорий вычислительной алгебры («группа», «кольцо» и так далее) на основе подхода конструктивизма, применения языка с зависимыми типами, построения машинно-проверяемых доказательств (dependent types, proof carrying code). Выявляются проблемы, связанные с этим подходом, и отмечаются дополнительные возможности, даваемые применением аппарата зависимых типов. В качестве инструмента используется функциональный язык Agda. Статья является продолжением вводной статьи автора в данном журнале за 2014 год.


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

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2015_4_313-340.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2015-6-4-313-340

43

Поступила в редакцию 10.11.2015

Подписана в печать 23.12.2015

11 с.

PDF

Непейвода А.Н.
О длинных атаках на пинг-понг протоколы
 

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


Ключевые слова: криптографические протоколы, вычислительная сложность, пинг-понг протоколы, модель угрозы Долева–Яо.

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2015_4_341-351.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2015-6-4-341-351

44

Поступила в редакцию 08.12.2015

Подписана в печать 23.12.2015

6 с.

PDF

Демидов А.А.
Возможности вычислений на кристаллах
 

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


Ключевые слова: параллельные вычисления, программные алгебры, квантовая оптика.

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2015_4_353-358.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2015-6-4-353-358

45

Поступила в редакцию 01.12.2015

Подписана в печать 23.12.2015

8 с.

PDF

Кочуров Е.В.
Применение логики построений на графах к исполнению моделей бизнес-процессов
 

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


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

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2015_4_359-366.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2015-6-4-359-366

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

 

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"
Тел.: (4852) 695-228.       E-mail: info@psta.psiras.ru.      Сетевой адрес издания: http://psta.psiras.ru

© Электронный научный журнал «Программные системы: теория и приложения» (дизайн) 2010-2017
© Институт программных систем имени А.К. Айламазяна РАН  2010-2018