MANAGEMENT TECHNIQUES FOR IMPROVING THE QUALITY OF DECISION-MAKING BY OWNERS OF APARTMENT BUILDINGS ON THE CHOICE OF MANAGEMENT ORGANIZATION

The procedure for choosing the organization managing the apartment building is regulated in detail by legislation. However, the law, formally conforming to market principles, leaves the owners of residential premises in the house without any reasonable selection criteria. The wrong choice of a management company is fraught not only with economic losses, but also with safe living. At the same time, the ratings proposed for state accounting or statistics cannot be applied by owners to select the best candidate, since they have other goals. The limited applicability of these ratings and criteria systems has been argued in the article, and also well-grounded approaches and a new system of criteria necessary to resolve the selection problem have been proposed

MANAGEMENT TECHNIQUES FOR REDUCING ADMINISTRATIVE BARRIERS WHEN PROVIDING STATE AND MUNICIPAL SERVICES IN THE RUSSIAN FEDERATION

The subject of the study is administrative barriers in the provision of public services to individuals and business entities in the Russian Federation. The article proposes methods of analysis of the quality of providing public and municipal services to the population and economic entities. The paper investigates the degree of openness of public authorities. The authors propose a systematic approach to the study of the causes and conditions of administrative barriers, as well as an effective universal system of measures designed to eliminate such barriers and improve the quality of the state’s response to public requests. The paper studied methods of combating administrative barriers in a practical application with the establishment of the main techniques and methods of public administration, the methodology for eliminating administrative barriers. The authors analyze the role of self-regulation, professional communities and social networks in removing administrative barriers

Hot deformation and dynamic recrystallization of 18%mn twinning-induced plasticity steels

The deformation behavior of 18%Mn twinning-induced plasticity (TWIP) steels with 0.4%C or 0.6%C is studied by means of isothermal compression tests in the temperature range of 973-1373 K at the strain rates of 10³-10¹ s¹. The hot working is accompanied by the development of discontinuous dynamic recrystallization (DRX), which is commonly advanced by an increase in deformation temperature and/or a decrease in strain rate. A decrease in the carbon content promotes the DRX development, though the flow stresses scarcely depend on the carbon conten

Interpolation Properties and SAT-based Model Checking

Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking techniques based on interpolation require collections of interpolants to satisfy particular properties, to which we refer as "collectives"; they do not hold in general for all interpolation systems and have to be established for each particular system and verification environment. Nevertheless, no systematic approach exists that correlates the individual interpolation systems and compares the necessary collectives. This paper proposes a uniform framework, which encompasses (and generalizes) the most common collectives exploited in verification. We use it for a systematic study of the collectives and of the constraints they pose on propositional interpolation systems used in SAT-based model checking

Effect of rotary swaging on structure and properties of low-carbon steel

The structural transformation and mechanical properties of a low-carbon 0.2% C steel and a 0.09% C-Mn-V steel in coarse- and ultrafine-grained (UFG) states were studied. The UFG structure with structural elements about 210-375 nm in size was obtained by rotary swaging (RS) and equal-channel angular pressing (ECAP). ECAP was used to compare the influence of the industrial deformation and SPD methods on the microstructure and properties of low-carbon steel

The influence of ultrafine-grained structure on the mechanical properties and biocompatibility of austenitic stainless steels

In this study, equal-channel angular pressing (ECAP) of austenitic 316L and Cr-Ni-Ti stainless steels was carried out. Effect of ECAP at 400 °C on the evolution of the microstructure, mechanical properties, and biocompatibility of these steels was investigate

Comparative analysis of the antineoplastic activity of C60 fullerene with 5-fluorouracil and pyrrole derivative in vivo

The antitumor activity of pristine C60 fullerene aqueous solution (C60FAS) compared to 5-fluorouracil (5-FU) and pyrrole derivative 1-(4-Cl-benzyl)-3-Cl-4-(CF3-fenylamino)-1H-pyrrol-2.5-dione (MI-1) cytostatic drugs was investigated and analyzed in detail using the model of colorectal cancer induced by 1.2-dimethylhydrazine (DMH) in rat

Microstructure and mechanical properties of AISi 304l austenitic stainless steel processed by various schedules of rolling

The paper studies various rolling schedules implemented at 500°С (incl. direct, reverse, and cross rolling) and their effect on the structure formation and mechanical properties in AISI 304L stainless steel samples. Both TEM and SEM research techniques were applied. An ultrafine grain-subgrain microstructure was found to be formed inside elongated original grains. Rolling-processed microstructural elements were close in their size with the minimum value observed after a reverse rolling (240 nm

Generating Non-Linear Interpolants by Semidefinite Programming

Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose hardest part is how to synthesize interpolants. Various work for discovering interpolants for propositional logic, quantifier-free fragments of first-order theories and their combinations have been proposed. However, little work focuses on discovering polynomial interpolants in the literature. In this paper, we provide an approach for constructing non-linear interpolants based on semidefinite programming, and show how to apply such results to the verification of programs by examples.Comment: 22 pages, 4 figure