One of the trends in the development of information technologies and artificial intelligence is intelligent assistants in the form of chatbots or voice assistants, which are actively beginning to be implemented in var...
One of the trends in the development of information technologies and artificial intelligence is intelligent assistants in the form of chatbots or voice assistants, which are actively beginning to be implemented in various domains. In this paper, the modeling and software implementation of a chatbot to support technical personnel in diagnosing aircraft malfunctions are considered. The models of the dialog, elements of the knowledge base implementation, as well as an example of its operation, are described. The constructed models are considered as content ontological patterns and describe the object of the study, the malfunction, and the relationships between the signs of the malfunction and its causes. These templates are used in the design of a knowledge base, containing logical rules presented in the form of decision tables of a special type. The novelty of the proposed solution is the use as a methodological basis of the principles of model-driven development in the context of creating problem-specific virtual assistants.
A toolset and model data sources for research and developing an environment for Next Generation Sequencing data processing are considered in the paper. The environment is constructed on the base of model transformatio...
详细信息
We propose an approach to finding the roots of systems of quadratic equations in a box. This approach is based on a reduction to an auxiliary optimization problem. The auxiliary problem turns out to be, in general, a ...
详细信息
We address an inverse problem for a dynamical system in the space of probability measures, namely, the problem of restoration of the time-evolution of a probability distribution from certain given statistical informat...
详细信息
We address an inverse problem for a dynamical system in the space of probability measures, namely, the problem of restoration of the time-evolution of a probability distribution from certain given statistical information. The dynamics of the distribution is described by a nonlocal continuity equation in the Wasserstein space of probability measures. For the simplest version of this problem, associated with a toy one-dimensional model of traffic flow, we derive a necessary optimality condition and design, on its base, a numerical algorithm of the type of gradient descent. We also discuss some technical aspects of the realization of the elaborated algorithm, and present the results of computational experiments implementing an eloquent numeric scenario.
This paper presents a complete solution for extraction of textual information and tables from PDF with a text layer. The presented solution consist of two parts: PyTabby is a tool for extracting text and tables from P...
详细信息
The paper discusses the algorithm for the numerical solution of applied optimal control problems in robotics. The proposed algorithm is the Powell method modification, which uses the combined one-dimensional nonlocal ...
详细信息
A constructive logical method for the synthesis of the characteristic matrix of a linear binary dynamical system with a given set of one-point attractors and one-step dynamics of reaching this set from any state is pr...
A constructive logical method for the synthesis of the characteristic matrix of a linear binary dynamical system with a given set of one-point attractors and one-step dynamics of reaching this set from any state is proposed. The problem conditions are written as a quantified Boolean formula with subsequent verification of its truth using the QSAT solver. This solver provide the values of the elements of the required matrix as a certificate. The proposed method implementation is performed using automation tools for constructing and executing composite services in an applied microservices package for solving problems of qualitative research of binary dynamic systems. These tools provide cloud services for getting a quantified Boolean formula in QDIMACS format, verifying its truth, getting a constructive solution to the considered problem, and supporting synchronization of cloud and local data in a hybrid cloud infrastructure using Dew Computing.
The paper presents two software tools (graphical editor and software package). The editor is designed for the formation of a symbolic description of a mechanical system using the Lagrange formalism. A system of the ab...
详细信息
The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science ...
The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science and industry, in particular, socionics, geology, mechanical engineering, and others. Binary synchronous autonomous linear and nonlinear dynamic models with an unknown characteristic matrix are considered. Matrix elements are chosen the way that these binary feature vectors are equilibrium states of the binary dynamic model. The areas of attraction of equilibrium states act as classes. One reference vector corresponds to each class. The classification process consists of constructing trajectories of a logical-dynamic system with a given initial state. It aims to verify the reachability of one of the equilibrium states. A meaningful example of the proposed method is considered.
The computer-aided engineering software modules for decision-making intelligent systems requires the development of specialized methods, algorithms and software. The use of a model-driven approach that implements the ...
详细信息
暂无评论