СОДЕРЖАНИЕ
Номер 6, 2017
АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ
Многоуровневый статический анализ исходного кода
программ для обеспечения качества программ
А.А. Белеванцев
Компиляция запросов в PostgreSQL при помощи специализации
исходного кода СУБД
Е.Ю. Шарыгин, Р.А. Бучацский, Р.А. Жуйков, А.Р. Шер
Использование векторных инструкций одной процессорной архитектуры
для эмуляции векторных инструкций другой процессорной архитектуры
К.А. Батузов
КОМПЬЮТЕРНАЯ ГРАФИКА И ВИЗУАЛИЗАЦИЯ
Векторизация растровых чертежей на основе тернарной сегментации
и мягких вычислений
Д.Р. Касимов, А.В. Кучуганов, В.Н. Кучуганов, П.П. Осколков
Вычислительная технология построения оптимальной формы узла лопастей
энергоустановки с учетом конструкционных ограничений
С.В. Андреев, А.Е. Бондарев, А.В. Бондаренко, Ю.В. Вильзер, В.А. Галактионов,
А.В. Гудков, С.Ю. Желтов, В.Т. Жуков, Е.Б. Иловайская, В.А. Князь,
К.Н. Мануковский, Н.Д. Новикова, М.В. Ососков, Н.Ж. Силаев, О.Б. Феодоритова
65
_________________________________________________________________________________________________________________________
55
45
_________________________________________________________________________________________________________________________
26
3
Стр.1
CONTENTS
No. 6, 2017
ANALYSIS AND TRANSFORMATION OF PROGRAMS
Multilevel Static Analysis for Improving Program Quality
A. A. Belevantsev
Query Compilation in PostgreSQL by Specialization of the DBMS Source Code
E. Yu. Sharygin, R. A. Buchatskiy, R. A. Zhuykov, A. R. Sher
The Use of Vector Instructions of a Processor Architecture
for Emulating the Vector Instructions of Another Processor Architecture
K. A. Batuzov
COMPUTER GRAPHICS AND VISUALIZATION
Vectorization of Raster Mechanical Drawings on the Base
of Ternary Segmentation and Soft Computing
D. R. Kasimov, A. V. Kuchuganov, V. N. Kuchuganov, P. P. Oskolkov
A Computational Technology for Constructing the Optimal Shape
of a Power Plant Blade Assembly Taking into Account Structural Constraints
S. V. Andreev, A. E. Bondarev, A. V. Bondarenko, Yu. V. Vizilter,
V. A. Galaktionov, A. V. Gudkov, S. Yu. Zheltov, V. T. Zhukov,
E. B. Ilovaiskaya, V. A. Knyaz’, K. V. Manukovskii, N. D. Novikova,
M. V. Ososkov, N. Zh. Silaev, O. B. Feodoritova
55
45
_________________________________________________________________________________________________________________________
3
26
65
_________________________________________________________________________________
_____________________________________________________________________
Подписано к печати 27.11.2017
Печать цифровая
Усл.печ.л. 9,25 Усл.кр.-отт. 1,2 тыс. Уч.-изд.л. 9,25
Тираж 125 экз.
Дата выхода в свет 25.12.2017
Зак. 1785
Цена свободная
_________________________________________________________________________________________________
Учредитель: Российская академия наук
_________________________________________________________________________________________________________________________
Издатель: ФГУП «Издательство «Наука», 117997 Москва, Профсоюзная ул., 90
Отпечатано во ФГУП «Издательство «Наука» (Типография «Наука»)
121099 Москва, Шубинский пер., 6
Формат 60 x 88 ⅛
Бум.л. 4,63
Стр.2