Constructions For Objects Research Articles

The torsion of real toric manifolds

In view of various results and the nature of their constructions for real toric objects, it is an interesting and also natural problem to know how much torsion can be contained in their cohomology groups. The aim of this paper is to answer this question by explicitly constructing examples of real toric objects to show the richness of torsion which can appear in the cohomology groups with coefficients in a locally constant presheaf. That is, we show that a real quasitoric manifold (or small cover) which plays an important role in the category of real toric objects can have an arbitrary amount of torsion in its cohomology groups with coefficients in a locally constant presheaf. This will be achieved by crucially using the Torsion Theorem for links of Bosio and Meersseman.

Computational Model of the Tangled Web

In this paper we attempt to build computational models of entanglement among the event-driven computations. The proposed model operates on the notion of dynamics of the events. This allows selection of entanglement zone that characterizes the area of risks where possible vulnerability and, as a consequence, security violations of web application arise. All constructions for objects are treated as virtual objects. The stated range of issues focuses on computational technologies used scripts, though other explanatory systems are admissible as well but within other appropriate contexts.

Инженерная защита опор эстакад на оползневых склонах города Сочи

The need for construction at arduous mountainous areas with difficult engineering-geological conditions on landslide slopes has appeared due to the expansion and increase in transport infrastructure of the city of Sochi in the course of preparation for the 2014 Olympic Games and also with the development of new land sites. The construction of transport trestles is often only possible option of highways building at the mountain areas. However, ensuring their safe operation at landslide slopes requires building the protective constructions. At the same time, the measures of active protection against landslide deformations (which are completely bearing the landslide mass) often are very costly. The known methods determine considerable errors when designing landslide protection constructions owing to the simplifications and assumptions accepted in them. Safety and reliability of work for such designs at the same time is provided by acceptance of high coefficients of an inventory. It leads to increase in a material capacity, labor input of building the protective constructions and decrease in their cost efficiency. The settlement scheme for streamline construction is implemented in the geotechnical program complex Plaxis is developed for building cost-efficient protective constructions on the pile basis and also the methods of their calculation is optimized. The optimal constructive solution of streamline protective constructions on landslide slopes is developed from such conditions: not occurring breakdowns of soil in interpile space, an identical load of all pile elements among the row; the decrease of pressure applied to the construction. Results of numerical experiments for soil interaction with streamline pile constructions have been used in designing protective constructions for essential geotechnical objects of Krasnodar region. Researches results have received display in industry road documents IRD 218.2.050-2015 и IRD 218.2.033-2013.

Про однозначність обчислення наближень багатошарових густинних контактів

The goals of the paper are to obtain mathematical constructions for geological objects, such as synclines and anticlines; to substantiate the uniqueness of the inverse problem when renovating analytical models for the horizontally layered geological media with several density interfaces in contact surfaces predefined by Chorniy; and to try the techniques developed for their iterative calculation. A combination of these two models develops a new and more accurate approach to gravimetric inverse problems for the contact interface. This becomes necessary to improve standard fit procedures when solving inverse problems in gravity and magnetic fields. The inverse problem of the density interface in the horizontally layered geological media with several density interfaces is confined to the solution of the nonlinear integral equation that describes the contact surface restricted by the given constant asymptotes within the planar region. Still, this makes computation more complicated because of the problem of equivalency solutions. Two field separation theorems are proposed for this model – one for several 1-connected volumes and another one for the non-crossed layers. The theorems of uniqueness are built on the theorems of field separation enabling the solution of the inverse problem by the summary external gravity field of n objects (ore bodies, layer interfaces etc.) through the solution of the inverse problem for separate objects – by the appropriate field values from these geological objects. The numerical schemes for the definition of the initial approximation of the density interface in the multilayered geological media are stated. These algorithms formally coincide within the first iteration. There are also proposed analogical techniques based of the Chebyshev iteration construction for the iterative specification of the behavior of the contact asymptotes. There were modeled synthetic initial approximations of synclines and anticlines by these algorithms. An alternative calculus method for it is pointed out, which is based upon the definition of the different moments of the interface curves. For the integral calculation there is obtained an appropriate expression in the finite quadratures. Modeling data show that new analytical constructions for the calculation of the multilayered contact interfaces within their Newtonian numerical approximation converge more quickly in comparison with classic techniques for the contact definition. Their invariability for the big dimension field data should be tested on the real measurements. No attempts to apply rough approximations were successful: convergence was considerably less than in previous cases, and, besides, there was a rather ambiguous geological maintenance.

Universal constructions for large objects

We present lock-free and wait-free universal constructions for implementing large shared objects. Most previous universal constructions require processes to copy the entire object state, which is impractical for large objects. Previous attempts to address this problem require programmers to explicitly fragment large objects into smaller, more manageable pieces, paying particular attention to how such pieces are copied. In contrast, our constructions are designed to largely shield programmers from this fragmentation. Furthermore, for many objects, our constructions result in lower copying overhead than previous ones. Fragmentation is achieved in our constructions through the use of load-linked, store-conditional, and validate operations on a "large" multiword shared variable. Before presenting our constructions, we show how these operations can be efficiently implemented from similar one-word primitives.

Efficient test&set constructions for faulty shared memory

The paper considers the effects of failures of shared objects in distributed systems. It presents efficient constructions for reliable test&set objects, which are composed of unreliable components. These improve previously published constructions, both in terms of the number of components needed in order to implement an object, and also in terms of the number of processors that can share it.