This work is devoted to the automatic generation of verification sets of test procedures; the proposed and developed algorithm for selecting trial solutions for solving the problems of satisfiability of Boolean formulas.

Keywords: test sets, automatic generation, solver, Boolean constraints

The article presents the analysis of the grain market in the Russian Federation. Data are given on grain yield of crops for crop years 2016 and 2017. Considered the technology of grain terminals in Novorossiysk sea commercial port. The scheme of the grain. The analysis of the importation of grain cargoes by railway and motor transport.

Keywords: Grains cargoes, analysis of the market of grain exports, the port, grain terminals, rail transport, road transport

in the article the questions of modeling of thermal effects in vortex tubes with application software, for example, CFD-complex is Studied. Discusses the practical applications of thermal effect in vortex tubes, is proposed using the process of refrigeration in vortex tubes for climate control in vegetable stores with the aim of improving the safety of the products. This article is of interest to a wide circle of readers, dealing with issues of simulation software packages.

Keywords: heat effect, cooling, heating, microclimate, modeling, CAD software program, 3D model. CFD-complex is Studied, FlowVision

The study of the method errors depending on the choice of numerical approximation of the linguistic variables used is proposed. It is obtained that the necessary condition for the absence of objective (independent from the opinions of experts) reasons for the inconsistency of paired comparison matrices is the closure of the numerical scale relative to the composition of estimates. . In particular, for the classical Analytic Hierarchy Process coming from the works of A. Saati, such a scale is not closed. When the criteria of one level of hierarchy are not the same in terms of priorities relative to the overlying goals (and this situation often happens), even one expert Advisor, in principle, cannot give a consistent matrix of paired ratings. What, in fact, is due to the great attention in the classical considered technology to the methods of estimating inconsistency of the matrix of paired comparisons and its minimization. As the number of experts increases, this effect increases. A closed evaluation scale can be obtained from successive degrees of one any number. For purposes of powers of a number is 1.5, although not ruled out another choice. Для таких шкал объективные причины возникновения несогласованности матицы парных сравнений отсутствуют, а субъективные, связанные с несогласованностью мнений эксперта, могут быть устранены в процессе формирования оценок. The proposed method is explained by a concrete example of the use of the hierarchy analysis method in the assessment of personnel risks in small non-commercial projects.

Keywords: Analytic Hierarchy Process, expert evaluation, evaluation scale, matrix of paired comparisons, violation of transitivity, objective reasons for inconsistency, isolation relative to the composition, AT-projects, personnel risks

The article examines factors evaluation of level of competitiveness of a specialist in the field of communications, in three groups, physiological, personal and professional-qualification potential. Assessment of competitiveness of the personnel included: the formation of complex indicators of competitiveness assessment of staff taking into account specificity of activity; determination of the relative weight of importance of parameter groups; definition of the integral index of competitiveness of the personnel in comparison with the "ideal basis of comparison." A comparison of key parameters of competitiveness of civil servants and experts in the field of communications and the commercial sphere.

Keywords: personnel competitiveness, assessment of competitiveness of the personnel, the factors of competitiveness of a specialist sphere of communications

This paper presents an analysis of domestic and international experience in the construction of modern non-rigid pavements. An assessment of existing structures on roads with high traffic volume; designated directory structure of non-rigid pavements, developed on the basis of the research.

Keywords: construction, non-rigid pavement, structural layers, the total number of rated load applications, traffic load class

In the article a method for analyzing the characteristics of materials is considered, with the possibility of more accurate measurement by typical measuring instruments. Modled computer models of tees with different types of wave propagation are considered. Also talk about the design of the models created and an analysis of the results obtained on the study of the characteristics of materials, with the possibility of more accurate measurement by typical measuring instruments.

Keywords: Microwave, VHF wave, the centimeter wave range, waveguide tee, coaxial tee, resonance method

Based on our own, as well as literary experimental data, the analysis of the Influence of a barrier material used to create heterogeneous composites based on La0.7Sr0.3MnO3 on their magnetoresistive properties is carried out. Such composites differ in existence of an isotropic negative magnitorezistivnost (MR) connected from backs - dependent tunneling of carriers in magnetic field. The largest value MR up to 15% in the field of 15 kOe are shown when using glass-like GeO2 oxide at a percolation ratio of components.

Keywords: lanthanum strontium manganite, composite material, ceramics, one-step synthesis, magnetoresistance, percolation threshold, dielectric constant, barrier layer, tunneling, spin polarization

The Smart City concept, which appears at the confluence of two modern mega-trends of urbanization and digital revolution, essentially rests on digital technologies which allow managing processes of the city life. A smart city obtains data from various sources, derives information from them and converts the information to knowledge, which is used in decision making. The DIKW model shows, that it may be sensible to distinguish the notions of data, information, and knowledge. Black & Veatch company’s 3M model of a smart city is based on the concept of, «measuring, moving and managing» data. The model reflects fundamental stages of urban environment data handling. The paper points to three essential digital technologies, which play a significant part in implementation of ICT & Data infrastructure in a smart city. They are broadband networks, internet of things and big data

Keywords: DIKW model, information and communication technologies, smart city model, digital technologies, digital revolution, digital economy, broadband networks, internet of things, big data, SMAC

There are considered approaches to mining association rules of hybrid intelligence systems. A well-known algorithm for mining association rules is the Apriori algorithm, it can be used to process large items of quantitative values. The article presents modern methods of fuzzy data mining: with predefined membership functions, Aprior-based algorithms provide an easy way to analyze and describe the fuzzy association rules. FP-tree-based algorithms are particularly suitable to work with big data. Some types of fuzzy genetic algorithms are considered in detail, allowing to find both membership functions and fuzzy association rules.

Keywords: genetic fuzzy systems, hybrid intelligent systems, assosiation rules, data mining, genetic fuzzy data mining

The questions of decision-making are considered at the development of a complex tourist product, which includes places of leisure and recreation, relocations, places of residence and others. The multicriteria problem of choosing the optimal variant of the tour with the given criteria and user ratings has been set and solved. The proposed model can be used to build a decision support system for the development of tours around Russia.

Keywords: decision theory, expert assessments, the theory of formal languages ​​and grammars, optimization, intellectual systems

The growing interest in travel around Russia and the lack of information support determine the relevance of developing decision support systems in the tourism industry. The work presents the results of information modeling of such a system that allows, based on monitoring of thematic Internet resources, to create a database of tourist sites and events, places of residence, transport routes and based on user estimates, form a completed tourist product that appropriate the requirements. The obtained models are the basis for the development of the software environment.

Keywords: information modeling, universal modeling language UML, decision support system

The work is devoted to the further extension of the Analytic Hierarchy Process (AHP). In its classic version, the hierarchical structure of goals, factors, criteria and alternatives is set in advance. The calculation of priorities at each level is based on the matrices of paired comparisons obtained by the expert method. The paper proposes to build a table of the hierarchy of priorities directly by using measurements carried out in the target audience. For this purpose on the basis of the primary data received by questioning, the consecutive hierarchical factorization developed earlier by authors is carried out. As a result of this procedure, the full hierarchical structure of goals, factors and criteria is revealed, starting with the primary features and ending with the integral target factor of the whole task. In addition, for each identified level determined by the matrix of factor loadings, allowing to calculate the local priorities of the factors. Their global priorities with respect to the goals defined on the basis of the principle of the synthesis of the AHP. The proposed technique is illustrated by the example of the analysis of students ' perception of the educational process, which was conducted on the basis of extensive questionnaires in 2015 in SFEDU.

Keywords: Analytic Hierarchy Process, a survey, a consistent hierarchical factorization, table of hierarchy of factors, local priorities, a synthesis of the AHP global priorities, the perception of the educational process

The article deals with the stages, causes of origin and actual problems of high-rise construction in Rostov-on-Don. Examples of successful development of high-rise buildings in Russia and abroad are given. The problematic aspects are analyzed, possible ways of solving on the basis of the experience of other cities in the construction of unique buildings are shown.

Keywords: high-rise construction, town-planning, skyscraper, design, architecture, number of storeys, Rostov-on-Don, development, zoning, world practice, normative and legal documentation

The article deals with the question of injury to the enterprise "Rostvertol" for the period from 1999 to 2010. Discusses some indicators of the status of labour conditions and safety of employees. The analysis of data on the number of injured in accidents at work by gender, age and length of service in the organization. As well as the number of injured by type of accident and by profession. Analyzed data on the number of victims for reasons that have led to an accident in the workplace. On the basis of the study there are several main reasons. Such as the unsatisfactory organization of work and production violation of labor discipline.

Keywords: labor protection, labor conditions, injury, accident, industrial injuries, mechanical engineering enterprises mechanical contact