9 results about "Mathematical logic" patented technology

The invention discloses a business process multi-dimensional logic verification method and system based on a dynamic knowledge graph, and relates to the technical field of artificial intelligence and financial risk control. The method aims at solving the technical problems that a traditional rule engine cannot process unstructured data, and a large generative model has logic illusion and privacy risks. The method comprises the following steps: constructing a rule knowledge graph containing parameterized logic constraints (such as time sequence, mutual exclusion and numerical accumulation); converting the unstructured business operation record into a feature vector by using a locally deployed semantic model; performing global sequence alignment optimization by constructing a global semantic consistency objective function, mapping operation records to a theoretical decision path derived from a graph, and eliminating local matching ambiguity; and finally, on the basis of a mapping result, calling deterministic parameters in map edge attributes to execute strict mathematical logic verification (including complex workday calculation, mutual exclusiveness check and the like). According to the method, a'nerve-symbol 'dual architecture is adopted, accurate understanding of fuzzy semantics is achieved, logic verification certainty and data privacy security are guaranteed, and the method has a hidden process discovery capability.

This application proposes a problem classification method, a problem classification device, and a computer storage medium. The problem classification method includes: acquiring mathematical problem information; extracting mathematical features from the mathematical problem information, wherein the mathematical features include text features, formula features, and / or graphic features; performing logical reasoning on the mathematical features according to a preset mathematical logic chain; inputting the logical reasoning result into a multi-task output branch to determine the problem classification result of the mathematical problem information. This problem classification method achieves end-to-end multi-label classification of mathematical problems.

The invention discloses a dynamic optimization control method and system for operation of a waste heat boiler, and relates to the technical field of transmission security. According to the method, binary conversion operation is executed on real-time operation data of the waste heat boiler, and a plurality of plaintext arrays cut each time are determined based on the grouping length of a selected encryption algorithm; the method comprises the following steps: creating a reference chain table of each time of cutting in combination with an encrypted document, traversing a plaintext array of each time of cutting to determine all cycle numbers corresponding to each node in the reference chain table so as to determine a last node and a last subscript of each time of cutting, and dynamically cutting running plaintext data according to the last node and the last subscript. The dynamic plaintext data can be supplemented by characters 1 and 0 randomly based on the packet length, so that the data encrypted by the encryption key is dynamic and contains verification logic while the underlying mathematical logic and packet length requirements of the encryption algorithm are not damaged, and the data tampering difficulty is improved.

This invention discloses a control method for UAV spraying operations on columnar or quasi-column structures, belonging to the field of UAV operation and surveying technology. Targeting the surface characteristics of different types of quasi-column structures, this invention constructs a complete mathematical logic system through three-dimensional data acquisition, optimal fitting of a reference cylinder, construction of a reference cylinder-assisted latitude and longitude positioning system, resampling of the reference cylinder's surface grid, unfolding the cylinder to a two-dimensional plane and completing pattern design, and point calculation for UAV spraying. This achieves precise projection transformation of the planar design pattern onto the structure's surface, providing industrial mathematical support for UAV spraying trajectory planning, attitude control, and parameter adjustment. This invention features high design accuracy, simple control logic, and good visual effects, effectively solving the problem of pattern deformation on curved surfaces of columnar or quasi-column structures. It is applicable to automated UAV spraying operations on various columnar or quasi-column structures such as TV towers, giant chimneys, angular TV towers, and water towers.

This invention belongs to the technical field of industrial control, and more specifically, relates to a data-driven modeling method based on DCS logic autonomous exploration. The method includes: collecting real-time data and preprocessing it, then calculating the time delay relationships of various influencing factors under different operating conditions; constructing a dictionary library, encapsulating the mathematical logic of basic algorithm blocks from the DCS algorithm block function library into basic units in the dictionary library, serving as the basic units for building the required model; using machine learning algorithms to train and explore mathematical model structures that match the dictionary library for various influencing factors and temperature changes; and executing deployment based on the DCS system and the generated mathematical model structure. This invention solves the problems that while neural network prediction models can make predictions, they cannot be directly converted into DCS logic execution structures; and that current mathematical modeling methods require manual selection of function structures, which cannot adapt to complex systems, often resulting in a disconnect from the DCS structure and hindering engineering implementation.

The invention discloses a hardware acceleration system for anomaly detection of an isolated forest algorithm based on an FPGA (Field Programmable Gate Array), and belongs to the technical field of electronic information. The hardware acceleration system for anomaly detection of the isolated forest algorithm based on the FPGA comprises an algorithm implementation module, a read-write module, a register module and a mathematical calculation module, the algorithm implementation module is used for building trees and forests in an isolated forest algorithm, calculating and recording abnormal scores and judging; the read-write module is mainly used for interacting with an external system, reading and writing data, and reading, writing and processing complex data by using a plurality of interfaces; the register module is used for storing the generated tree, forest and calculation data; and the mathematical calculation module is used for assisting the algorithm implementation module to package and integrate complex mathematical logic and functions. The system is innovated in hardware and algorithm aspects, so that the system is lower in cost and wider in application scene and range.

The invention discloses a configuration solving method and device based on multi-normal-form analysis and electronic equipment, and relates to the field of data processing. The method comprises the following steps: acquiring various types of constraint formulas; according to the type of the constraint formula, extracting a corresponding variable set, a value domain set and a constraint set to form a basic logic expression; performing standardization processing on the basic logic expression to obtain a standardized logic expression; based on the standardized logic expression, a logic syntax tree is constructed, and the logic syntax tree comprises a logic structure and a variable relation of a constraint formula; converting the constraint formula in the logic syntax tree into a standard normal form formula by utilizing a mathematical logic identical equation; inputting the standard normal form formula into a preset SAT solver based on conflict-driven clause learning to generate a solving result; and according to a solving result, generating effective configuration options meeting constraint conditions. By implementing the technical scheme provided by the invention, the accuracy of the configuration solution result is improved.

The application discloses a multiplication table learning device, which comprises a machine body, a first button group, a second button group and an intermediate area are arranged on the front of the machine body, the intermediate area comprises 81 physical buttons of the same size arranged according to a 9*9 array, each physical button corresponds to a number button of the first button group and the second button group, and each physical button can be separately lighted and pressed, a circuit board electrically connected with the physical buttons is further arranged in the machine body, a voice module and a function module are arranged on the circuit board, and a first function button, a second function button and a third function button electrically connected with the function module are arranged on the front of the machine body. The application has the effect of reverse memory and learning, helps children understand the mathematical logic behind the multiplication table, and assists them to more quickly remember the multiplication table. In addition, the function module is diversified, can enhance the interactivity from different angles, and thus improves the interest and the learning efficiency.

The invention relates to the technical field of oil and gas field development, in particular to a tight gas reservoir gas well production allocation method based on an indication curve and electronic equipment, and the method comprises the following steps: selecting a pilot production well to carry out productivity well testing, establishing a three-term equation, and drawing a novel indication curve to obtain a relational expression of daily gas production and yield loss ratio; establishing a relational database of the reasonable yield and the yield loss ratio of the pilot production well according to the production dynamic data of the pilot production well; a new well is selected to carry out productivity well testing, and a novel indication curve is drawn; the gas well closest to the new well in position is searched, and the yield loss ratio corresponding to the reasonable yield of the closest gas well is obtained in the database and serves as the yield loss ratio upper limit of reasonable production allocation of the new well. The method depends on static data and dynamic data in gas well production data, the reasonable production allocation upper limit of a new well is effectively picked up, the defect that mathematical logic errors exist in a traditional indication curve method based on a productivity equation is overcome, and the stratum energy utilization rate and recovery efficiency are improved.