Laser Projection Positioning Improving at a Machine- Building Manufacturing Enterprise Method

The goal of this work is to research a possibility of laser projection system adaptation to a machine-building manufacturing enterprise. A model example of the use of a computer vision system in production is the task of reducing the labor intensity of installing welded elements on a product, reducing the production time, and reducing the cost of work. A formal statement of the problem is given - to use a laser projection system in the conditions of assembly and welding production for positioning welded elements on the main product with respect to dimensional accuracy. For experimental research, a section of a machine-building production enterprise with a pre-defective product and welded elements was used. The research took place in two stages. As a result of the research, the results were obtained, confirming the efficiency of the method.

COGNITIVE AND PRAGMATIC ASPECTS OF SPEECH ACTIVITY EVALUATION IN DIALOGUE

The article deals with the issues of cognitive and pragmatic aspects of assessing speech activity in a foreign language dialogical speech. The authors investigate the advantages of criteria-based assessment, which include: the ability to track students’ individual achievements in the educational process (as opposed to the formal statement of the result based on standard reference norms); the possibility of informal expert assessment of educational results, for example, by employers, parents, teachers, as well as independent and mutual assessment (as opposed to assessment only by the teacher); focus on the student's achievements, on what he knows and is able to, that is, the presence of the “success effect” (as opposed to the “loser effect”, which states that the student is not able to); qualitative, rather than quantitative (normative) assessment of the achieved learning outcomes; visual presentation of the achieved learning outcomes and personal achievements in the form of project products, presentations.

ALGORITHM OF SOLVING GOAL IN TOURISM FOR HIERARCHICAL MANAGEMENT WITH LIMITED NECESSARY RESOURCES

This paper is concerned to the development of tourism companies, which occurs through their merger and the creation of a complex branched structure. Management should be carried out with a scientific justification of the merger processes. This situation requires the development of new approaches to the management of such companies to build management using digital technologies. Since in recent years, tourism in Kazakhstan has become one of the fastest growing sectors of the economy, and has become more leading, it is necessary to coordinate the actions of the structure on the basis of developed digital methods based on the construction of mathematical management models, which taking into account the various structural components of business processes. Thus, to analyze the state of tourism in Kazakhstan, it is necessary to justify the use of numerical methods and, above all, mathematical approaches to many processes of the tourism business, the algorithm of hierarchical management decisions in the case of limited resources needed for the tourism industry, to give a general description of the content and a formal statement on the allocation of resources.

The methodology for choosing solutions by developing an optimal topology of power supply system

The development of the optimal topology of power supply systems for various purposes is an intractable problem that cannot be formalized as a single task. This problem can be considered as a complex of tasks having a hierarchical structure – the hierarchy is present both at the functional and at the territorial levels. The main typical tasks arising in the process of developing of the optimal topology of the power supply system in a city microdistrict are highlighted, a formal statement of tasks is given, methods for their solution are proposed and demonstrated. Approaches to solving typical problems are built on the theory of combinatorial analysis, methods of heuristic modeling, genetic programming, methods for solving optimization problems on graphs.

Eigensolutions of Partially Reliable Decision Preferences Described by Matrices of Z-Numbers

Eigenvalues and eigenvectors are widely used in various applications. Particularly, these concepts underlie analysis of consistency of a decision maker’s (DMs) preference knowledge. In real-world problems, DMs knowledge is inherently associated with imprecision and partial reliability. This involves combination of fuzzy and probabilistic information. The concept of a Z-number is a formal construct to describe such kind of information. In this study, we formulate the concepts of Z-number valued eigenvalue and eigenvector for matrices components of which are Z-numbers. A formal statement of the problem and a solution method for computation of Z-number valued eigensolutions are proposed. Numerical examples and an application devoted to foreign market selection problem are provided to show the usefulness of the proposed approach.

Asymptotic Convergence of Soft-Constrained Neural Networks for Density Estimation

A soft-constrained neural network for density estimation (SC-NN-4pdf) has recently been introduced to tackle the issues arising from the application of neural networks to density estimation problems (in particular, the satisfaction of the second Kolmogorov axiom). Although the SC-NN-4pdf has been shown to outperform parametric and non-parametric approaches (from both the machine learning and the statistics areas) over a variety of univariate and multivariate density estimation tasks, no clear rationale behind its performance has been put forward so far. Neither has there been any analysis of the fundamental theoretical properties of the SC-NN-4pdf. This paper narrows the gaps, delivering a formal statement of the class of density functions that can be modeled to any degree of precision by SC-NN-4pdfs, as well as a proof of asymptotic convergence in probability of the SC-NN-4pdf training algorithm under mild conditions for a popular class of neural architectures. These properties of the SC-NN-4pdf lay the groundwork for understanding the strong estimation capabilities that SC-NN-4pdfs have only exhibited empirically so far.

Blowing Hot and Cold: The Role of Estoppel

This chapter provides a detailed account of a particular kind of estoppel. It argues that the law knows of a doctrine of “formal estoppel,” as contrasted with other, more familiar, variants. Formal estoppel is an extension of estoppel by deed, whereby a person who makes a formal statement as to their rights is estopped from subsequently denying that statement. It explains the nature and normative significance of formal estoppel in terms of the personal authority wielded by right-holders over the determination of their rights. Part of what it means to have a private right, as this chapter shows, is for the right-holder to have personal authority in relation to others’ understanding of their rights. The exercise of this authority extends to public statements made in respect of an individual’s rights. Statements by right-holders are an important way in which clarity can be reached in what an individual owes another. Recognition of the authority and responsibility of right-holders for public statements as to their rights implies that the law should treat them as binding and final. Formal estoppel is, then, the means by which courts recognize a question as to private rights as having been irrevocably decided by the right-holder.

Face Constituting Theory

Connection with and separation from one another is a productive alternative conceptualization of what is known cross-culturally and in the social sciences as “face.” It follows that conceptualizing relating as conjointly co-constituting operative interpretings of both connection and separation is equivalent to conceptualizing relating as conjointly co-constituting face. Constituting connection with and separation from one another is a viable culture-general conceptualization of face, as apparent in considering the culture-specific construals of the dialectic in several cultural groups. Chapter 8 provides a formal statement of Face Constituting Theory, and against that background examines how researchers go about “finding face” in social practices in everyday interacting, compares the theory with six prior accounts of face, and considers participants’ evaluations of their interpretings of relating and face, of threat, and of im/politeness.

Hydrology objects monitoring system

The article deals with the results of the development of monitoring system of potentially dangerous hydro-objects. The formal statement of the problem, models of the monitoring scene and its participants are presented. The scene is initially focused on the gradual replacement of participants-people on systems with artificial intelligence. The models are unified and can be refined to the level of program code. On the basis of models the proactive algorithm of monitoring providing fixing of dangerous situations at an initial stage of their emergence and operational synthesis of the corresponding managing decisions is constructed. The algorithm uses a knowledge base containing formalized expert knowledge about the features of the observed objects and resources of the regional administration to combat catastrophic phenomena.To automate the solution, a hardware and software system using domestic intelligent sensors has been developed. Programs are written in the console version, require a minimum of computing resources. The peculiarity of the system is to minimize the time of decision-making and reducing their subjectivity by reducing the role of the human factor.The complex is intended for use in areas where possible floods of water bodies with disastrous consequences.

CONCEPTUAL MODEL OF INFORMATION SECURITY AUDITOBJECT

The holder of information to protect the information must identify and manage numerous activities to ensure information security. The efficacy of decisions depends on the completeness, reliability and timeliness of information on the situation of information security, which is extracted in the course of the audit. Currently, the information security audit is carried out on the basis of generalization of empirical knowledge and experience, which are enshrined in practical recommendations and standards. However, the achievements of fundamental science for these purposes are not applied in full, in the absence of theoretical research in this area. The article presents a conceptual model of audit that contains aggregated and detailed diagrams and formal statement of task: conclusion of the audit evidence and the conversion of audit evidence in the audit report. Finally, it provides recommendations for the practical application of the results obtained and directions for further research.