New informational technologies in science and education

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 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 presents the mathematical statements of several problems arising in automation of the process of nuclear carotage and the methods of their solution.

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 describes some algorithms of the genetic information visualization and presents information on implementation of some programs and tests.

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.

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.

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

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.

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 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.

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 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 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.