Рукописи статей (и, при необходимости, дополнительные файлы) следует посылать по электронной почте в редакцию издания Публикуемые в журнале статьи состоят из . следующих последовательно расположенных элементов: • название статьи; • инициалы и фамилии авторов; • электронные адреса авторов; • название организации, где работают авторы; • аннотация; • текст статьи; • список использованных публикаций (заголовок «Список литературы»). <...> Статья, принимаемая для публикации в журнал «Программирование», должна быть подготовлена в электронном виде в текстовом редакторе. <...> Электронная версия материалов предоставляется автором в редакцию после приема рукописи к публикации и должна содержать правку рецензента. <...> Список литературы должен строиться из библиографических ссылок на используемые публикации, список нумеруется в последовательности использования ссылки на соответствующий источник в тексте статьи (т.е. первой в этом списке должна содержаться библиографическая ссылка, первой упоминаемая в тексте статьи). <...>
Программирование_№3_2016.pdf
СОДЕРЖАНИЕ
Номер 3, 2016
АНАЛИЗ ДАННЫХ
Использование искусственных нейронных сетей для классификации
источников сигналов в системах когнитивного радио
С.С. Аджемов, Н.В. Кленов, М.В. Терешонок, Д.С. Чиров
ОПЕРАЦИОННЫЕ СИСТЕМЫ
Веб-платформы для научных исследований
А.П. Крюков, А.П. Демичев, С.П. Поляков
АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ
О вычислении шаблонов выражений в С++14
П.А. Лебедев
СЕМАНТИКА
Автоматический синтез программ действий интеллектуальных роботов
В.Ю. Осипов
Разработка программной системы для генерации автоматных программ
Т.Э. Шульга, Е.А. Иванов, М.Д. Сластихина, Н.С. Вагарина
3
________________________________________________________________________________
12
________________________________________________________________________________
31
________________________________________________________________________________
ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И
47
55
________________________________________________________________________________
ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ
ПРОГРАММ
Алгоритмический метод оптимизации оценки трудозатрат
Р. Сильхавы, З. Попова, П. Сильхавы
64
________________________________________________________________________________
Стр.1
CONTENTS
№ 3, 2016
DATA ANALYSIS
The Use of Artificial Neural Networks for Classification of Signal Sources
in Cognitive Radio Systems
S.S. Adjemov, N.V. Klenov, M.V. Tereshonok, D.S. Chirov
OPERATING SYSTEMS
Web Platforms for Scientific Research
A.P. Kryukov, A.P. Demichev, S.P. Polyakov
ANALYSIS AND TRANSFORMATION OF PROGRAMS
Evaluation of Expression Templates in C++14
P.A. Lebedev
THEORY OF PROGRAMMING: FORMAL MODELS AND SEMANTICS
Automatic Synthesis of Action Programs for Intelligent Robots
V. Yu. Osipov
Developing a Software System for Automata-Based Code Generation
T.E. Shulga, E.A. Ivanov, M.D. Slastikhina, N.S. Vagarina
SOFTWARE ENGINEERING, TESTING AND VERIFICATION
PROGRAMS
Algorithmic Optimization Method for Effort Estimation
R. Silhavy, Z. Prokopova, P. Silhavy
Печать цифровая
Усл.печ.л. 9,0
Тираж 116 экз.
Дата выхода в свет 25.06.2016
Цена свободная
Усл.кр.-отт. 1,1 тыс. Уч.-изд.л. 9,0
Зак. 240
Формат 60 x 88 ⅛
Бум.л. 4,5
3
_________________________________________________________________________________
12
_________________________________________________________________________________
31
_________________________________________________________________________________
47
55
_________________________________________________________________________________
64
_____________________________________________________________________
Подписано к печати 25.05.2016
_________________________________________________________________________________________________
Учредитель: Российская академия наук
_________________________________________________________________________________________________________________________
Издатель: ФГУП «Академиздатцентр «Наука», 117997 Москва, Профсоюзная ул., 90
Отпечатано во ФГУП «Академиздатцентр «Наука» (Типография «Наука»)
121099 Москва, Шубинский пер., 6
Стр.2