Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

4 results about "Mathematical logic" patented technology

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

A columnar or columnar-like structure unmanned aerial vehicle spraying operation control method

PendingCN122363287AAttitude controlMathematical logic
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.
Owner:GANSU IND VOCATIONAL & TECH COLLEGE

A data-driven modeling method based on DCS logic autonomous exploration

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.
Owner:SHANDONG DAOHE IOT TECH CO LTD

A nine-nine multiplication table learning device

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.
Owner:LITTLE CIVET DATA TECHNOLOGY (SHENZHEN) CO LTD