|
32
Поступила в редакцию 05.10.2015
Подписана в печать
02.11.2015
69 с.
/r2/pdf.jpg)
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 |
/r1/pdf.jpg){kind=small}
.