Basic concepts and architecture's components which are using in decision of service's choreography problem in the semantic service-oriented architecture are introduse in the article. The decision algorithm of the service choreography problem has been developed, which lets find and integrate service-oriented system's components, necessary to fulfil system's query. The algorithm uses semantic register's model, presented in the form of Petri net and analyzing net's accessibility tree to find the compliance of service's semantic annotations and system's query semantic description.

The main target of this work is the modified Ginzburg-Landau's equation, addresses given in a monograph of G.G. Malinetskii as one of the equations, where blow-up regimes can be possible. Together with periodic boundary conditions this equation forms a boundary value problem. Existence, stability-instability and local bifurcations are the main purposes of this work. It has been shown that in this aspect the results are those that obtained while considering the traditional version of Ginzburg-Landau's equation.
The study of bifurcation problem is based on the method of normal forms and adapted to the assigned boundary value problem.

In the paper the decidability of boundedness problems for counter Minsky machines is investigated. It is proved, that for Minsky machines with two counters the boundedness is partial decidable, but for the total boundedness problem does not even exist a semidecision algorithm. On the other hand, for one-counter Minsky machines all these problems are polinomial (quantitatively of local machine states) decidable.

Considered a task of creating a computing complete enhancement for ODQL [1] object-dynamic query language. The enhancement should be convenient in DIM system objects manipulating. The enhancement syntax description is stated.

The new version of the library for parallel execution of rpC-programs under Win32 is reviewed. This library is a significant part of the RpmShell software for developing recursive parallel programming style.

The new version of the recursive parallel programming shell for Win32 is reviewed.

In works analog of Eiler characteristics for halftone images introduce by the instrumentality of integral expression. Deduced theorem allows to calculate this characteristic by summation of some function defined on halftone fragments of size 2*2. Example and computer model mentioned show that foregoing characteristic is a natural continuation of Eiler characteristics on the set of halftone images.

In this paper we introduce a boundary value problem based on the well known Multiplier-Accelerator model proposed by Paul Samuelson which is an extension of the works of John Keynes. The suggested boundary value problem is to consider spatial effects when studying processes of macroeconomics. For the boundary value problem given, using the Invariant Manifolds method, the method of Averaging and the Theory of Normal Forms we show the existence of stable spatial non-homogeneous invariant tori.

Some approaches to modeling clusters as complex economic systems are considered. At the regional level, it is offered to use a model of cluster development forecasting, based on the interaction of an enterprise with the industrial cluster. The model is recommended to be completed by the functioning efficiency analysis of the formed cluster.