Содержание журнала, редсовет, редколлегия, информация об обложке и о диске.

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

Bytecode execution by virtual machine has several advantages over traditional native code execution. These are portability, safety, ease of compiling and debugging. However, using virtual machine gives an additional overhead. Two ways of bytecode execution are described in this paper. These are interpretation and compilation. Bottlenecks and overheads of each of these methods are discussed. A survey of major optimizations of these methods which allows achieving execution speed comparable with native code execution speed is given.

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

This paper presents speech signal pitch and duration modification algorithms. Approach to pitch modification is based on discrete wavelet transform. Emphasis is put on application of proposed algorithms in speech synthesis systems. In addition, brief review of algorithms and mathematical models developed to solve the problem of speech modification is stated. Results of experimental research are presented, main advantages and disadvantages of proposed algorithms are stated and the way of their improvement is outlined.

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

The present paper discusses a new approach to task verification automation in the field of digital signal processing. The suggested approach employs a special domain-specific language of the WiseTasksDSP system, which has been developed by the authors. The example illustrating the effectiveness of the approach is concerned with finding the upper frequency limit of a continuous signal and the sampling rate of a discrete signal for the purpose of reconstructing the continuous signal from a discrete signal without information loss (Kotelnikov theorem). Furthermore, other problems are mentioned, where the application of WiseTasksDSP might prove to be useful.

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

Modeling software in medicine has become one of the most popular disciplines today. Scientists have made a big improvement in medical diagnostic, research and therapy methods. Among them we should notice surgeon operations modeling. The author takes a part in creating software that helps surgeons to perform operations. It offers to get three dimension patient model from photos, model surgeon operations and estimate results. Given paper describes architecture and computing process of the separate software unit that perform physically-based modeling of breast augmentation surgery.

Статья посвящена особенностям использования электронного задачника Programming Taskbook for Bioinformatics при изучении алгоритмов неточного сравнения строк. В качестве примера рассматривается серия заданий, связанная с алгоритмом глобального выравнивания. Приводится подробное описание процесса выполнения одного из заданий с использованием электронного задачника и дается обзор других заданий, входящих в эту серию.

We discuss essential features of the Programming Taskbook for Bioinformatics related to the study of approximate string matching algorithms. For that purpose we give a review of one group of educational tasks devoted to the global string alignment. We also provide step-by-step solution to a typical training task and briefly outline some other tasks in the group.

В статье дан обзор представительной международной конференции Microsoft Research Faculty Summit 2011, проходившей в Париже с 13 по 15 апреля 2011 г.

The article overviews the very interesting International Conference titled «Microsoft Research Software Summit 2011» (Paris, April 13–15, 2011).