Theoretical and applied problems of informatics: novel approaches and solutions

A school-and-contest of young researchers
Novosibirsk, Akademgorodok
May, 25 – June, 15, 2003

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems at the school-andcontest "Novel approaches and solutions" which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.

The articles are available in Russian only as PDF document

Coalgebraic investigation of bisimulation parallel processes

The aim of this paper is to extend coalgebra semantic and categorical methods to noninterleaving models, in particular, to transition systems with independence and labelled event structures.

The paper is available in Russian only as PDF document

Automatic constructing the net models of SDL specifications

This work is aimed to research the problem of automatic constructing the net models of SDL specifications. In the paper SDL specifications with timers and priorities are considered. These specifications allow to represent a considerable class of communication protocols. Coloured Petri nets extended by priorities and Merlin's time concepts are used as net models.

The paper is available in Russian only as PDF document

The program complex for nuclear oil-wells carotage results processing

Mathematical formulations of several problems appearing at automation of the process of nuclear carotage are described and the methods of their solution are presented.

The paper is available in Russian only as PDF document

The category theoretical characterization of the language equivalence for timed concurrent models

The timed extension of a language equivalence is developed in the setting of timed event structures. As a main result this equivalence is characterizated on the category.

The paper is available in Russian only as PDF document

Statistical Approach to Semantic Structuring of Hierarchical Subject Domain for Natural Language Queries

A new scalable statistical algorithm for automatic semantic structuring of subject domain is proposed. The described methods are specifically oriented on the tasks of question answering and ontology generating. The hierarchy is extracted from the electronic text written in an ordinary natural language, e.g., English. Our implementation is empowered by the natural language interface, which allows conducting experiments within real data. Hierarchy navigation and evaluation the user’s conversance with the subject domain from analyzing the query cope with redundancy, which is common in modern question answering systems, and provide the most comprehensive answers. The results indicate that automatic information retrieval benefits a lot from employing hierarchical subject domain. Furthermore, the proposed principles of automatic subject domain construction are very promising in effective web and email question answering based on the vast amounts of information available in the electronic form.

The paper is available in Russian only as PDF document

Rigid body tracking for real-time system of object’s motion analyses, data obtains from onedimension optical detectors

There are some fixed markers on a rigid body. Also there are one-dimension cameras (detectors) placing around the body. The rigid body is within detector’s fields of vision. The method of detecting the rigid body is described. Data obtains from one-dimensional detectors. The sub- definiteness (lack of data) and over-definiteness (a lot of data) cases are considered. Proposed method can solve the main problem in the area. It can reduce the giant information data traffic (about 3GB per second) are obtaining from 2D cameras.

The paper is available in Russian only as PDF document

Design and implementation of distributed object-oriented integrated information systems for providing building security

In the work a model of multilevel information system is considered that integrates heterogeneous classes of objects of different configuration and complexity range. The architectural solution is suggested that allows dynamical extension of working system by connecting objects both of existing classes and new classes as well. Using distributed architecture improves significantly reliability of the system. There is also considered in the work the experience of practical implementation of the model in form of distributed application and exploitation of the system that includes subsystems of access control, power supply, fire safety, video observation and other subsystems of life support.

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.