New informational technologies in science and education

Edited by prof. V.N. Kasyanov
Novosibirsk 2003

This volume is the tenth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with using of new information technologies in science and education.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

The articles are available in Russian only as PDF document


To the problem of analysis of texts in a natural language

The article presents an overview of various methods and constructions of mathematical and classical linguistics applied to analysis of texts in a natural language.

The paper is available in Russian only as PDF document


Logical methods of the sense representation for a text in a natural language

The purpose of the work is the development of various algorithms of mapping the predicates and formulas of the first-order predicate calculus to the texts in a natural language. Its results can be used in the computer-aided systems for processing the texts in a natural language, as well as in constructing the theory of the text sense, which is a subject of research, first of all, in linguistics and also in mathematical logic.

The paper is available in Russian only as PDF document


Some problems of automation of nuclear oil-wells carotage

The paper presents the mathematical statements of several problems arising in automation of the process of nuclear carotage and the methods of their solution.

The paper is available in Russian only as PDF document


Virtual museum of informatics history in Siberia: the models of a domain and a user

The paper presents a project of a virtual museum of informatics history in Siberia developed as on-line information retrieval adaptive hypermedia system. It briefly describes the methods and techniques of adaptive hypermedia, the architecture of adaptive hypermedia systems and its components (the models of a domain, a user and adaptation); the problems of constructing the domain ontology, domain model and user model are also considered.

The paper is available in Russian only as PDF document


Visualization of genetic information

The paper describes some algorithms of the genetic information visualization and presents information on implementation of some programs and tests.

The paper is available in Russian only as PDF document


Application of wavelet-transforms to image coding

The paper gives the basis of the wavelet-transform theory and the main applications of wavelet-transforms to image coding, such as wavelet-decomposition, packets of wavelets, zero-tree construction, zero-tree coding.

The paper is available in Russian only as PDF document


Ordered binary-decision diagrams

Ordered Binary-Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic graphs. They form a canonical representation, which makes testing of functional properties, such as satisfiability and equivalence, straightforward. In the paper, the OBDD representations are considered, the algorithms used to construct and manipulate them are described, a survey of applications solved by OBDD-based symbolic analysis is given.

The paper is available in Russian only as PDF document


Algorithms for finding dominators in a flow graph

Some available algorithms for finding dominators in a flow graph are considered and a new linear-time algorithm for finding dominators is presented.

The paper is available in Russian only as PDF document


Program means of automatic generation of a thematic collection on program transformations for shared use

Rapid growth of the world-wide web resulted in the fact that Internet is now the main channel of information exchange of all types, including scientific and technical. So, the problem of accumulation of the scientific documents in collections is becoming actual. The results of investigations in this field allow us to represent a system of scientific communication as an information space and to organize efficient information retrieval through the collections of documents on some specific subject.

This article describes an approach intended for automatic accumulation of documents in collections on program transformations.

The paper is available in Russian only as PDF document


Solving "restore the body position by data from 1D-cameras" problem for a 3D optical system of object movement analysis

Restoring a body position by data from video cameras is a well-known task in computer games and cinema. In the paper, an algorithm of restoring a body position by one-dimensional cameras is suggested. The work is performed for a real-time system.

The paper is available in Russian only as PDF document


High luminosity raster structures for an autocollimation regime

The paper presents an algorithm of constructing high luminosity raster structures for an autocollimation regime with difference autocorrelation functions having very small accessory maximums. The results can be used in constructing raster spectrometers.

The paper is available in Russian only as PDF document


Texture recognition using spatial characterisitics

This paper deals with the pattern recognition problem for textures. Three methods are considered: the distribution analysis for brightness difference, the method that uses the autocorrelation function, and the method based on statistic characteristics of series. The texture analysis of characteristics' properties is described.

The paper is available in Russian only as PDF document


Investigation of variation algorithms applied to MIDI-files

The paper considers the problem of finding a degree of similarity between the transformed melody and the melody-sample and analysis of a degree of modification depending on the melody transformations.

The paper is available in Russian only as PDF document


On complexity of construction of an optimal linear interval

The paper considers the problem of linear interval optimization in the optimizing compiler construction. It discusses the criteria of program optimization and shows that the optimization problem is NP-complete in a general case.

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.