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

Table of contents, editorial board, editors, information on cover, information on CD.

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

An improvement to the piecewise polynomial approximation in hardware is proposed. A new error bound is given for the low-order polynomial interpolation with pointwise constraints ona uniform grid. A method of table size reduction and near optimal quantization of coefficients using intersegment constraints and mixed integer programmingwith guaranteed accuracy is proposed.A case study shows up to 60% table size reduction compared to unconstrained polynomials. Gate level RTL synthesis shows that table reduction has noticeable impact on the design area.

Статья посвящена автоматизации сложных вычислительных экспериментов, требующих многократного вычисления характеристик, зависящих от параметров. Среди вычислительных экспериментов можно выделить «типовые», часто проводимые исследователями и проектировщиками, методики которых достаточно хорошо обоснованы теоретически: статистические, стохастические, анализ чувствительности. Описаны типы экспериментов, которые удалось автоматизировать в среде визуального моделирования RandModelDesigner. Приведены примеры конкретных экспериментов.

Automation of computing experiments demanding recurrent executable model run for building parametric dependences is considered. Typical experiments such as statistical and stochastic experiments, sensitivity analysis are high-usage tools by researchers and engineers. These types of experiments were automatized in visual environment for modeling and simulation complex dynamical systems under the name Rand Model Designer. The article is illustrated by concrete examples.

Новые методы обучения
В настоящее время у студентов имеются богатые возможности для углубленного изучения различных областей ИТ: факультативы, летние школы, соревнования по программированию. В данной статье делается краткий обзор этих возможностей, а также описывается опыт участия в ежегодном соревновании по программированию наукоемких систем, проводимом при конференции ACM SIGMOD. С. 25-32.

Nowadays, students have a lot of opportunities for deep study of various disciplines of IT: extracurricular courses, summer schools, programming contests. In this paper we make a short survey of such opportunities and describe details of our participation in the annual ACM SIGMOD Programming contest, held by the SIGMOD conference and devoted to development of science-intensive database applications.

Статья посвящена программному продукту с открытым кодом OpenMVLShell (http://DCN.FTK.SPBSTU.RU), предназначенному для моделирования сложных динамических систем.OpenMVLShell опирается на объектно-ориентированный подход в моделировании и использует язык ModelVisionLanguage (MVL, семейство сред визуального моделирования MvStudium). Проект OpenMVL, в рамках которого разработана среда OpenMVLShell, рассматривается как первый шаг к разработке стандарта сред визуального моделирования сложных динамических систем. Открытость кода позволяет реализовывать новые решения и сравнивать с уже существующими. Продукт, как и его аналог OpenModelica, можно использовать в учебном процессе. Рассмотрены архитектура среды, приведены примеры использования. С. 33-41.

OpenMVLprojectis consideredas the starting point for discussion and the first realized step in the direction of building new standard for modeling and simulation of complex dynamical systems tools. OpenMVLShell is open source software demanding for comparison different approaches to designing modern environments for modeling and simulation first of all. However it may be used in Education too as its analog OpenModelica. OpenMVLShell is based on Object-Oriented Modeling (OOM) approach and uses Model Vision Language (MVL) suggested by MvStudiumGroup.

В статье предлагается решение известной задачи Фибоначчи (1225 г.). в которой требуется решить систему из двух квадратичных уравнений с двумя неизвестными. Решение, предложенное самим Фибоначчи, было утеряно. Предложенный автором способ вполне мог быть найден в те времена. С. 42-45.

The author gives a solution of a known Fibonacci problem (1225) how to find a rational solution of two quadratic equations with two variables. The solution proposed by Fibonacci himself was lost. The method proposed here could be found in Fibonacci's time.

Статья подробно описывает процесс создания простейшего предметно-ориентированного языка на платформе Racket. Присутствуют лексический анализатор, синтаксический анализатор, интерактивная среда, компиляция, отладка, бектрейсы, подсветка синтаксиса. Созданный язык интегрируется в среду разработки DrRacket. Весь проект занимает менее 300 строк кода. С. 46-63.

The article gives a detailed explanation of how to create a simple domain-specific language (DSL) on the Racket development platform. There is a lexical analyzer, parser, REPL, compiler, debugger, backtraces, syntax highlighting. The new language is integrated into the DrRacket IDE. The whole project is less than 300 lines of code.