Informatics in research and education

Edited by prof. V.N. Kasyanov
Novosibirsk 2012

This volume is the twenty first in the series on the problems of program construction and optimization, published by the A.P. Ershov Institute of Informatics Systems. The volume is devoted to actual problems of application of system informatics to research and education.

It may be of interest to system programmers, students and postrgraduates specializing in the area of system and theoretical programming, as well as all those interested in modern informatics and programming.

The articles are available in Russian only as PDF document


Graph ML language for graph presentation: basic means
The paper deals with the current state of the GraphML project, initiated by the graph drawing community in 2000 with a view to developing a standard graph description language based on XML format. Basic GraphML concepts sufficient for graph models presentation in most applications are described.

The paper is available in Russian only as PDF document


Graph ML language for graph presentation: additional functionalities
The paper deals with the current state of the GraphML project, initiated by the graph drawing community in 2000 with a view to developing a standard graph description language based on XML format. Additional functionalities of GraphML like nested graphs, hypergraphs and ports are described.

The paper is available in Russian only as PDF document


Tools for graph application support in informatics and programming
The paper is devoted to tools for supporting the application of graph-theory methods in informatics and programming which are under development at A.P. Ershov Institute of Informatics Systems. The WikiGRAPP, WEGA, Higres and Visual Graph systems are considered.

The paper is available in Russian only as PDF document


Cloud service for research computing and education

Cloud services, offering various capabilities to potential users, are becoming increasingly popular. Of course, often "cloud" service appears due to rebranding. According to the latest definition found in the Russian Wikipedia, cloud service is just a service which can be used without any knowledge of its internal structure and which is available via the internet.

Our system has two purposes: research and educational. Scalability is more significant for research and availability is critical for education. We suppose that it would be wrong to use just one input language for this system, because there is no single opinion about the best computer language for educational purposes. Scalability requires universality of parallelism description, which means that the program should not be adapted to the structure of a specific computing system. According to A.P. Ershov’s works, this is achieved when the language is closer to the task definition language and not to the algorithm language. At our institute, we are developing the dataflow programming language Sisal which sets the same aims.

The paper is available in Russian only as PDF document


Parallelism in JavaScript
The advantages of parallel programming are well known today and there is no need to describe them in detail. The current trend is that even cell phones can contain multi-core processors. Another trend is a rapid growth of browser applications. This paper briefly overviews different approaches to concurrency implementation in JavaScript.

The paper is available in Russian only as PDF document


Bioinformatics: development and prospects
This paper deals with the history of origin, development and prospects of the new science of bioinformatics. The paper provides the definition of bioinformatics, enumerates its fundamental fields of research, and determines its place among other areas of biological research.

The paper is available in Russian only as PDF document


Information technologies in humanities research and education
The authors review the use of information-communication technologies used in humanities research and education.

The paper is available in Russian only as PDF document


Testing of changes in a software system on the basis of source code coverage

The development of complex software systems usually requires extensive precommit testing of every change in the source code. The duration of the precommit testing is one of the factors limiting the speed of working on the software project. This paper describes an approach to the testing volume reduction based on comparison between the source code changes and the source code coverage.

Keywords: source code coverage, pre-commit regression testing optimization.

The paper is available in Russian only as PDF document


Information system for the support of research based on literary sources
The paper presents an approach to the automation of research based on literary sources. For a local textual document collection, the proposed method constructs a topic interrelation graph. The prototype of the information system based on this approach is described. The system is designed to be able to play the role of a research assistant in finding potential solutions for research problems. Test results showing good performance of the method described are listed.

The paper is available in Russian only as PDF document


Graph visualization using the program tool Visual Graph
The paper considers visualization of attributed hierarchical graphs with the interactive system Visual Graph. Several illustrations showing a general view of the system as well as its separate parts are presented.

The paper is available in Russian only as PDF document


Graph algorithm visualization: interpretation of an algorithm as a program
This paper describes a new method of graph algorithm visualization based on a dynamic approach. By graph algorithms we mean graph processing algorithms. The main advantages of this approach are the possibility of setting an algorithm in a textual form as an input parameter, of setting a graph as an input parameter, and of adjusting visualization flexibly. Visualization of algorithms is carried out by means of a set of configurable visual effects. The class of hierarchical graphs is used as input parameters. This allows us to use input graphs of any type and to represent additional data appearing during the algorithm run as a part of a single visualized graph model. This approach can be used both for research and educational purposes.

The paper is available in Russian only as PDF document


Automated identification of a document’s topic map
The paper considers an approach to convenient organization of textual resources and quick access to information on the basis of automated identification of a document’s topic map using lexical chains. The concepts and associations selected together form a topic map. Thus, the ontology and topic maps are integrated for further development of the information system on program transformations.

The paper is available in Russian only as PDF document





You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.