А.Г. Марчук

Dear colleagues,

I’m pleased to present to you our new electronic journal, System Informatics.

Since 1991, our research institute has been publishing the System of Informatics series, which contains surveys and basic research works by Russian and foreign authors covering various aspects of computer science, programming and information technologies. The series has gained popularity with a broad range of specialists including programmers, engineers and mathematicians.

The electronic journal is designed to complement this series by providing prompt publishing of the most recent achievements in these research areas.

Alexander G. Marchuk,
Doctor of Physics and Mathematics,
Director, Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences


Resources and tools for teaching the Semantic Web methods

In recent years, both scientific and commercial organizations have generated a significant amount of structured data. On the basis of this data, numerous applications are being developed, which makes it necessary for modern IT specialists to get acquainted with this trend. This paper discusses the important aspects of the Semantic Web evolution and the experience of teaching the methods and tools of the Semantic Web.

Optimizing transformations in the predicate programming system

The following optimizing transformations: variable gluing, replacement of the tail recursion by a loop, in-line substitution, reduction - are described. Effective imperative program is the result of transformation application. Dataflow analysis of a program is applied to perform transformations.

SoRuCom-2017: International Conference on the History of Informatics

The article presents the results of the 4th International Conference “The development of computer technology in Russia and in the former USSR: history and prospects” (SoRuCom-2017) Zelenograd, Moscow, 3-5 October 2017. Our Institute was among the most active organizers of the Conference. The conference was supported by the Russian Foundation for Basic Research, Grant 17-07-20538, Computer History Museum (USA, CA), and Russian citizen Vladimir Kurlyandchik.

Logical-probabilistic method for controlling modular robots

This work presents a logical-probabilistic method for adaptive control of modular systems based on the use of the modules functional similarity and the logical-probabilistic algorithm of the guided search of rules. The proposed method is based on the joint learning of the control modules, starting with finding the common control rules for all modules and finishing with their subsequent specification in accordance with the ideas of the probabilistic inference. With an interactive 3D simulator, a number of successful experiments were carried out to train four virtual models of robots. Experimental studies have shown that the proposed approach is quite effective and can be used to manage modular systems with many degrees of freedom.

An ontology-based information retrieval method

This paper presents a method of information retrieval based on the ontology of scientific activity. This method makes use of general-purpose search engines to retrieve links to relevant Internet resources using the search queries generated on the basis of the ontology concepts and thesaurus. Search results that do not contain information about scientific activity are filtered using ontology.

Development of automated evaluating systems for programming tasks

The article considers the twenty-year history and experience of creating automated systems for testing knowledge and skills in programming at the Novosibirsk State University. An analysis of the effectiveness or ineffectiveness of methods and means in the knowledge testing systems in use is given. The modern state of the architecture of the NSUts system is described.