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

Одной из самых сложных и трудновоспроизводимых ошибок в многопоточных программах являются состояния гонки (data race) – несинхронизированные обращения к одному и тому же участку памяти из различных потоков, из которых одно является записью данных. Обычно гонки слабо локализуемы, и ведут к повреждению глобальных структур данных, а их «ручное» обнаружение сильно затруднено. В этой области было проведено множество различных исследований, но автоматическое обнаружение гонок остается актуальной задачей. В данной статье рассматриваются статические и post-mortem методы обнаружения гонок, отдельное внимание уделяется вопросу поиска гонок в Java-приложениях.

One of the most hazardous and hardly reproducible errors that occur in multithreaded programs are data races – unsynchronized accesses to same shared memory fragment from several threads, where one access is write. Generally data races are weakly localized and damage global data structures. Manual detection of data races is very complicated. There was a lot of research in this area, but automatic data race detection remains an actual issue. In this review static and post-portem approaches to data race detection are covered with an emphasis on race detection in Java programs.

В статье рассмотрена концепция параметризованных типов данных (generics), играющая ключевую роль в современном программировании, и сформулированы предложения авторов по расширению параметризованных типов в Java. Статья написана по материалам доклада на международной конференции EclipseCon 2011 Europe, Людвигсбург, Германия, ноябрь 2011 г.

The article covers the concept of generic data types that plays key role in modern programming, and the proposal by the authors on extending generics in Java. The article is based on the talk at the International Conference EclipseCon 2011 Europe, Ludwigsburg, Germany, November 2011.

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

In the paper capabilities and main features of developed by author program package for analysis of fractal properties of sets of isolated points are described. Package includes capabilities to load ready sets and to model standard fractal and uniform distributions, and tools to analysis of its fractal properties (correlation function, distribution function). Program might be useful not only for scientific research but in studying.

В настоящее время оказываются все более востребованными методы инженерии знаний – науки об извлечении, структурировании, представлении и обработке знаний. Появление онтологий и средств их разработки привело к качественному скачку, направленному на дальнейшую интеллектуализацию систем взаимодействия с пользователем. Применительно к данной работе и рассматриваемой предметной области (оптика) термин «онтология» следует понимать, как формальное явное описание классов в рассматриваемой предметной области, свойств, описывающих классы, и отношений между ними. Онтология вместе с множеством индивидуальных экземпляров классов составляют базу знаний. Главной целью данной работы является создание прототипа онтологии предметной области «Оптика» в исторической ретроспективе, что позволит наглядно представлять трансформацию оптических идей во времени и пространстве. Впоследствии созданная онтологическая модель должна быть интегрирована в общую онтологию предметной области «Оптика». Работа по созданию прототипа была разбита на три основных этапа (задачи): представление структуры предметной онтологии; формирование геоинформационной (пространственной) составляющей предметной онтологии; формирование временной (хронологической) составляющей предметной онтологии.

At now days knowledge engineering methods as the science of extraction, structurization, representation and processing of knowledge demonstrate great popularity. Ontologies appearance has led to the qualitative leap of means applied for further intellectualization of interaction systems with the user. Regarding to this work the term ontology should be understood as the formal obvious description of classes in considered subject domain, the properties of describing classes, and relations between them. Ontology together with the set of direct classes instances is the knowledge basis. The aim of this work is creation of ontology prototype of subject domain «Optics» in a historical retrospective representing visual transformation of optician ideas in time and space. Subsequently the created ontology model should be integrated into ontology of subject domain «Optics». The work on prototype creation was divided into three basic stages: representation of subject ontology structure; formation of spatial and chronological information components of subject ontology.

Новые методы обучения

В статье рассматривается задача формирования практических навыков в области промышленного программирования у студентов университетов, обучающихся по IT-специальностям. Решать эту задачу нужно, внедряя в образовательный процесс специальные упражнения и задания, позволяющие студентам овладеть практиками, актуальными в промышленности. При этом стандарты образовательных программ в этой области лишь фиксируют знания и компетенции, которыми студенты должны овладеть, оставляя вопрос о построении учебного процесса открытым. В данной статье обсуждается идея организации студенческих проектов и летних школ по программированию как способа сближения классического университетского образования и индустрии. Приводится обзор и анализ летних школ и студенческих проектов, проводившихся на базе кафедры системного программирования СПбГУ. Обсуждаются особенности организации серии исследовательских студенческих проектов на примере проекта QReal. Описываются задачи, решаемые в летней школе, проводимой в проекте QReal в 2011 году.

The paper examines the problem of gaining software engineering skills by students of universities' IT departments. This problem should be solved via embedding special tasks and exercises into educational process, that help students to gain skills useful in industrial practice. But educational standards only mention skills and describe knowledge that students must acquire, leaving the question of how it should be exactly done open. This paper discusses the idea of student projects and summer schools organization as a way to bring university education and industry closer to each other. Student projects and summer schools that were organized by software engineering chair of St. Petersburg state university are described and analysed. The paper also discusses organization of a series of student research projects using QReal project as an example. Task and problems that were solved during QReal summer school in 2011 are described.