Выпуск №1
Открыто 
Содержание журнала, редсовет, редколлегия, информация об обложке и о диске.
Table of contents, editorial board, editors, information on cover, information on CD.
Table of contents, editorial board, editors, information on cover, information on CD.
Открыто
Сообщение о включении журнала в список ВАК, благодарности спонсорам, планы на 2010 год
В последнее время активно развивается новая парадигма кодирования/декодирования многоразрядных сигналов, имеющих «разреженное» (sparse) представление в некотором базисе. Она опирается на идеи рандомизации измерений и l1-оптимизации. Предложенные недавно новые методы получения и представления сжимаемых данных в англоязычной литературе называются «Compressive Sensing» (опознание по сжатию.
Recently a new paradigm has been developing for the coding/decoding of multidimensional signals having sparse representation in some basis. It is based on ideas of measurement's randomization and l1-optimization. Recently proposed new methods of obtaining and representation of the compressible data are referred to as Compressive Sensing.
Recently a new paradigm has been developing for the coding/decoding of multidimensional signals having sparse representation in some basis. It is based on ideas of measurement's randomization and l1-optimization. Recently proposed new methods of obtaining and representation of the compressible data are referred to as Compressive Sensing.
Ключевые слова: рандомизированные измерения, l1-оптимизация, восстановление разреженных сигналов.
Keywords: randomized measurements, l1-optimization, sparse signals reconstruction.
В статье анализируется 17-летний опыт автора в области обучения компиляторам. Подчеркивается фундаментальный характер компиляторов как учебной дисциплины и их важность для полноценного современного университетского образования в области ИТ. Рассмотрены принципы построения современного курса по компиляторам, подход автора к обучению компиляторам и современные инструменты построения компиляторов и обучения компиляторам. Даны ссылки на публикации автора в данной области и на полезные Web-ресурсы.
The article analyses the author's 17-years experience in compiler teaching. Fundamental nature of compiler development as educational discipline and their importance for modern university education in the IT area are emphasized. Principles of organization of a modern compiler course and the author's approach to compiler teaching, and modern tools for compiler development and compiler teaching are covered. References to author's publications in this area and to useful Web resources are provided.
The article analyses the author's 17-years experience in compiler teaching. Fundamental nature of compiler development as educational discipline and their importance for modern university education in the IT area are emphasized. Principles of organization of a modern compiler course and the author's approach to compiler teaching, and modern tools for compiler development and compiler teaching are covered. References to author's publications in this area and to useful Web resources are provided.
Ключевые слова: компиляторы, динамические компиляторы, надежные и безопасные компиляторы, лексический анализ, синтаксический анализ, семантический анализ, оптимизация, генерация кода, инструменты построения компиляторов, Java, .NET, Microsoft Phoenix, ANTLR, CoCo/R.
Keywords: compilers, just-in-time (JIT) compilers, trustworthy compilers, lexical analysis, parsing, semantic analysis, optimization, code generation, compiler development tools, Java, .NET, Microsoft Phoenix, ANTLR, CoCo/R.
Статья посвящена имитационному моделированию квантового алгоритма Дойча в среде MATLAB/Simulink.
The article is devoted to quantum Deutsch’s algorithm simulation in the MATLAB/Simulink environment.
The article is devoted to quantum Deutsch’s algorithm simulation in the MATLAB/Simulink environment.
Ключевые слова: квантовый алгоритм Дойча, MATLAB, Simulink.
Keywords: quantum Deutsch’s algorithm, MATLAB, Simulink.
Цель заметки – продемонстрировать возможность разработки программных продуктов для обучения и проведения исследований в квантовой проблематике при помощи свободно-распространяемых инструментов. В заметке рассматривается возможность применения библиотеки квантовых вычислений libquantum с использованием графической библиотеки Qt.
The main objective of the article is to demonstrate the ability of the education software development and research in the domain of the quantum computing. This article describes the use of the free software tools for quantum simulation: libquantum library along with GUI toolkit Qt.
The main objective of the article is to demonstrate the ability of the education software development and research in the domain of the quantum computing. This article describes the use of the free software tools for quantum simulation: libquantum library along with GUI toolkit Qt.
Ключевые слова: алгоритмы квантовых вычислений, библиотека libquantum, графическая библиотека Qt, открытое программное обеспечение.
Keywords: quantum computing, libquantum library, GUI toolkit Qt.
Открыто
В статье приведён краткий анализ состояния проблемы о структуре k-связных графов.
A brief analysis of k-connected graphs structure problem is given in the article.
A brief analysis of k-connected graphs structure problem is given in the article.
Ключевые слова: k-связный граф.
Keywords: k-connected graph.
В статье приведено физическое объяснение явления параметрического резонанса и его аналитическое исследование, подкрепленное компьютерным моделированием. Параметрическое возбуждение колебаний изучается на наглядном примере простой механической системы: торсионного линейного осциллятора, момент инерции которого плавно изменяется по заданному периодическому закону. Получены условия возбуждения и характеристики параметрического резонанса, обсуждается режим параметрической регенерации. Найдены частотные интервалы, в пределах которых возможно параметрическое возбуждение. Исследованы стационарные колебания на границах интервалов параметрической неустойчивости. Характеристики резонансов высших порядков объясняются в терминах знакомого явления частотной модуляции колебаний. Моделирующая программа и аналитическое исследование взаимно дополняют друг друга, способствуя лучшему пониманию основных принципов и особенностей параметрического резонанса.
The phenomenon of parametric resonance is explained and investigated both analytically and with the help of a computer simulation. Parametric excitation is studied on the example of the rotary oscillations of a simple linear system - mechanical torsion spring pendulum excited by smooth periodic variations of its moment of inertia. Conditions and characteristics of parametric resonance and regeneration are found and discussed in detail. Ranges of frequencies within which parametric excitation is possible are determined. Stationary oscillations at the boundaries of these ranges are investigated. Resonances of higher orders are explained in terms of the familiar phenomenon of frequency modulation. The simulation experiments aid greatly an understanding of basic principles and peculiarities of parametric excitation and complement the analytical study of the subject in a manner that is mutually reinforcing.
The phenomenon of parametric resonance is explained and investigated both analytically and with the help of a computer simulation. Parametric excitation is studied on the example of the rotary oscillations of a simple linear system - mechanical torsion spring pendulum excited by smooth periodic variations of its moment of inertia. Conditions and characteristics of parametric resonance and regeneration are found and discussed in detail. Ranges of frequencies within which parametric excitation is possible are determined. Stationary oscillations at the boundaries of these ranges are investigated. Resonances of higher orders are explained in terms of the familiar phenomenon of frequency modulation. The simulation experiments aid greatly an understanding of basic principles and peculiarities of parametric excitation and complement the analytical study of the subject in a manner that is mutually reinforcing.
Ключевые слова: линейный осциллятор, параметрическое возбуждение, модуляция параметра, порог возбуждения, интервалы неустойчивости, параметрическая регенерация, частотная модуляция колебаний.
Keywords: linear oscillator, parametric excitation, modulation, threshold of excitation, intervals of instability, parametric regeneration, frequency modulation.
Рассматривается широкий класс задач на переправу с учетом различных ограничений на связи между персонажами. С помощью графов представлены алгоритмы решения, реализованные программно на алгоритмическом языке Pascal и в электронных таблицах Excel.
A range of river crossing puzzles with various types of constraints is considered. An algorithm based on a graph model is proposed. A method of solving the problem using Excel is described.
A range of river crossing puzzles with various types of constraints is considered. An algorithm based on a graph model is proposed. A method of solving the problem using Excel is described.
Ключевые слова: задачи на переправу, поиск в ширину на графе, моделирование в MS Excel.
Keywords: river crossing puzzles, breadth-first search, Excel modelling.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть