23 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.

The invention relates to a multi-unmanned aerial vehicle (UAV) search strategy optimization method based on genetic programming (GP), which is characterized in that under a distributed model predictive control (DMPC) framework, each UAV is guided by a target function to realize a search trajectory optimization process, and essentially, a search strategy is converted into a mathematical logic mapping relation. In a traditional method, objective function construction mainly depends on a design thought dominated by artificial experience, and the fixed search mode based on subjectivity has the limitations of insufficient environmental adaptability, weak strategy generalization ability and the like in a complex dynamic environment. In order to solve the problem, the invention provides a search strategy optimization method based on a genetic programming algorithm, and online dynamic evolution and parameter adaptive adjustment of a search strategy are realized by establishing a dynamic mapping model between a strategy parameter space and a search performance index.

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.

The present application provides a large model calibration method. The method comprises: obtaining a preset original learning data set for a large model; and on the basis of at least one of a preconstructed geometric logic learning module, a preconstructed mathematical logic learning module, and a preconstructed agent instruction learning module, calibrating an algorithm and the original learning data set. Learning data is subjected to multi-dimensional calibration via one or more learning logics, meeting current requirements for output accuracy of large models in the field of artificial intelligence and enabling the trained large models to satisfy iterative learning demands, thus enhancing applicability. In addition, through learning and calibration of the agent instruction learning module and other promote modules, in each large model iteration, the processing logic or input requirements of external agents can be met, and a plurality of external agents can be interfaced to form designated internal and external loops and sequential logical inferences, leveraging the advantages of various agents and external software to support diverse outputs.

The invention discloses a text data processing method and system based on mathematical logic and propositional logic. The method comprises the steps of firstly obtaining text data and endowing the text data with weights to generate bottom layer data; thirdly, converting the natural language statement into an operable rule system entry by utilizing a pre-constructed mathematical logic and propositional logic framework, and generating a basic value; a logic item set, a positive control item and a negative control item which are input by a user are introduced into bottom layer data, and weight balancing processing is carried out. And finally, according to the matching degree of the items after weight balancing and the basic values of the items, scores are calculated, and the item with the highest score is selected as response data. According to the method, the response data are ensured to completely meet user requirements and system logic in the error-tolerant field, and the method has high accuracy and reliability.

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 application provides a mathematical description language large model establishment method, medium and system, belonging to the technical field of computer model, which first acquires corpus information through constructing a training data set, then carries out word segmentation and feature extraction on natural language description text, constructs an inexact description matrix, and carries out structured processing on standard mathematical description language text to form an accurate description matrix. On this basis, a display memory pool is established and training resources are pre-allocated, and a multi-level mathematical logic reasoning network model is constructed. Through contribution value evaluation and accuracy calculation, resource optimization allocation based on importance is realized, and a display memory pool management mechanism is adopted to ensure efficient use of resources. Through the quantitative evaluation mechanism and dynamic optimization strategy, the efficient training of the mathematical description language conversion model is realized, and the technical problem of low utilization of computing resources caused by unreasonable allocation of display memory in the training process of the mathematical description language large model in the prior art is solved.

The invention discloses a multifunctional interdisciplinary playing card teaching appliance and a storage piece, and relates to the field of card teaching, and the multifunctional interdisciplinary playing card teaching appliance comprises a plurality of first cards, at least two four-color sunshine music score symbol areas which are arranged on the surfaces of the first cards and are located at the left upper corners and the right lower corners of the surfaces of the first cards, and at least two music rhythm symbol areas which are located at the left lower corners and the right lower corners of the surfaces of the first cards. According to the multifunctional interdisciplinary playing card teaching appliance and the storage piece, through various card teaching modes, music rhythm, mathematical logic and artistic design are fused, so that students can improve artistic literacy, logical thinking and collaboration ability in games, music is not abstracted any more, mathematics is not dull any more, and art is not isolated any more; the learning becomes an exploration, growth is stained with sunlight temperature, each child can find light belonging to the child in card teaching, the learning seems like sunlight, knowledge is rooted in games, rhythm and logic dance is achieved, and rationality and creativity are made to be at the same time.

The invention discloses a structure response rapid prediction method based on a physical coding graph network. The method comprises the following steps: constructing the physical coding graph network; inputting the physical parameters of the target structure into a physical coding graph network for coding; message passing is carried out on the coded physical parameters, message passing comprises node mapping and edge mapping which are carried out in sequence, and data flow of message passing conforms to mathematical logic; and decoding results of node mapping and edge mapping to obtain a displacement prediction result and an internal force prediction result. According to the invention, through constructing the physical coding graph network, multi-working-condition structure response rapid prediction is realized; the encoding, message passing and decoding processes are matched with complex structure parameters, accurate prediction of displacement and internal force is completed through node mapping and edge mapping in a labor division mode, the problem of repeated calculation of a traditional method is solved, the digital twinning real-time interaction requirement is met, rapid iterative design and real-time performance evaluation are efficiently supported, and a better solution is provided for structural engineering calculation.

The invention provides an English word and mathematical logic interaction device, and belongs to the technical field of English word teaching, the English word and mathematical logic interaction device comprises a main body, the main body comprises a central processing unit, a storage unit, an input module, an output module and a communication module; the central processing unit is electrically connected with the storage unit, the input module, the output module and the communication module through the PCB, a word analysis engine is arranged in the central processing unit, and a direct data channel is established between the analysis engine and the storage unit; a partition structure is arranged in the storage unit and comprises a system storage area and a morpheme logical data special storage area, the input module integrates a physical key group and a touch component, and the output module comprises a display panel and an audio playing component. According to the invention, the problem that the vocabulary reasoning ability and memory efficiency cannot be improved because the essence that English words are combined according to a specific logic rule is neglected in the existing novelty word teaching technology is solved.

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 provides a mathematical description language large model establishment method, medium and system, and belongs to the technical field of computer models.The method comprises the steps that firstly, corpus information is obtained by constructing a training data set, then word segmentation and feature extraction are conducted on a natural language description text, and an imprecise description matrix is constructed; and performing structured processing on the standard mathematical description language text to form an accurate description matrix. On the basis, a video memory pool is established, training resources are pre-allocated, and a multi-level mathematical logic reasoning network model is constructed. Through contribution value evaluation and accuracy calculation, resource optimization allocation based on importance is realized, and efficient utilization of resources is ensured by adopting a video memory pool management mechanism. According to the whole scheme, efficient training of the mathematical description language conversion model is achieved through a quantitative evaluation mechanism and a dynamic optimization strategy, and the technical problem that in the prior art, in the mathematical description language large model training process, due to unreasonable video memory allocation, the computing resource utilization rate is low is solved.

The invention discloses a handwritten mathematical formula identification method, relates to the technical field of optical character identification, and is used for solving the problem of inaccurate handwritten mathematical formula identification in the prior art. The data of the handwritten mathematical formula is obtained and the data receiving type is judged in an offline and online data obtaining mode. And respectively carrying out offline image formula processing and online note formula processing on the data obtained in the offline mode and the online mode. And a convolutional neural network (CNN) and a recurrent neural network (RNN) are adopted to carry out symbol identification and model training on offline symbols and online symbols respectively, symbol analysis is further carried out on the symbols in the formula, and then the symbols form an expression conforming to mathematical logic. And the recognition accuracy of the handwritten mathematical formula is improved.

The invention relates to a graphical general killing chain construction and evaluation method, which comprises the following steps of: constructing a reachability matrix model of nodes in a chain according to a communication relationship among a reconnaissance node, a command node, a firepower node and a target in a closed system of a killing chain, and expressing a reachability matrix as a graticule form; traversing in an anticlockwise mode based on four areas of a target reconnaissance node, a command node, a firepower node and a target to obtain a killing chain combination scheme; and calculating the response time, strike precision and firepower strike capability of the killing chain, evaluating the performance of the killing chain, and determining an optimal killing chain combination scheme. The killer chain construction model provided by the invention has a visual graphical closed-loop form, a mathematical logic framework in a chain construction process is clear, and the method has good solution implementation and result convergence and is beneficial to engineering application.

The invention discloses a digital analysis, research and judgment method based on a K-line form theory, which comprises the following steps of: selecting K-line combination forms of three continuous trading days, and marking the K-line combination forms as K-line bodies of A, B and C days; a price generation track is extracted through four-dimensional K line body diagonal analysis (entity upper and lower diagonal groups and upper and lower leads); the golden section lines are established as price relay positions and intersections, and the golden section lines are determined in the following mode that manual line drawing is replaced with a geometric mathematical model, and traditional K line analysis depends on empirical trend line drawing and is easily affected by subjective judgment. By establishing standardized calculation rules of golden section lines (intersections) and multi-gear pressure / support lines, trend judgment is based on mathematical logic, and personal errors are reduced.

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 kind of structure response fast prediction methods based on physical coding graph network, comprising: constructing physical coding graph network;The physical parameters of target structure are input into physical coding graph network coding;Message passing is carried out to the physical parameters after coding, message passing includes successively carried out node mapping and edge mapping, and the data flow of message passing meets mathematical logic;The result of node mapping and edge mapping is decoded, and displacement prediction result and internal force prediction result are obtained.The application, by constructing physical coding graph network, realizes the fast prediction of structure response in multiple working conditions;Wherein, the coding, message passing, decoding process adapts complex structure parameters, node mapping, edge mapping division completes the accurate prediction of displacement and internal force, solves the problem of repeated calculation of traditional method, meets the real-time interaction demand of digital twin, efficiently supports fast iterative design and real-time performance evaluation, provides better solution for structure engineering calculation.

The present invention discloses a pseudo-dual learning method for automatically solving math problems. During the training and optimization process of the automatic solver for math problems, a pseudo-dual task is introduced to simulate the review process. That is, after obtaining the solution expression, the numbers in the expression are filled back into the original text problem description, thereby improving the automatic solver's ability to capture the number of math problems and its mathematical logic ability. In addition, during the joint training optimization process, the present invention also designs a plan fusion strategy, which uses the correct expression for number filling in the early stage of training, and smoothly transitions to using the predicted expression for number filling in the later stage of training, to solve the problem that the predicted expression is not ideal in the early stage of training and will mislead the pseudo-dual learning. At the same time, the plan fusion strategy can balance the learning of the solution process and the pseudo-dual filling process during the training process. Through experimental research, the present invention significantly improves the performance of multiple representative automatic solvers for math problems.

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 provides a module nesting-based frame structure fabricated building system coordination design method, system and equipment and a medium. The method comprises the following steps: acquiring a standard structure module for forming a fabricated project frame structure system by utilizing a multi-objective optimization algorithm; combining or dividing the functional spaces, and filling the functional spaces into the standard structure module to form a plurality of nested modules; screening the plurality of nested modules to obtain a standard nested module; modular components and modular components are extracted from the obtained standard nested module, and standardized components and standardized integrated component modules are obtained; obtaining a combination coordination relationship between the standardized component and the standardized integrated component module; according to the method, mathematical logic can be established between components and parts which are not associated originally, and potential collision and interference problems are recognized and corrected in advance in the whole process from design to production processing, transportation and field assembly, so that extra energy consumption and emission caused by resource waste and construction errors are avoided.

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.