Theoretical and applied problems of informatics: novel approaches and solutions

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.

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.

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

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.

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.

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.