16 results about "Hybrid logic" patented technology

The invention relates to the technical field of engineering construction progress intelligent control, in particular to an engineering construction progress intelligent control method and system based on digital twinning, and the method comprises the steps: obtaining a preset plan logic relation set; acquiring a real-time process state set of the construction site; determining a plan failure index through real-time logic deviation calculation; in response to the plan failure index being greater than a preset failure determination threshold, determining that the plan fails and switching to a logic emergence mode; in response to the plan failure index being less than or equal to the failure determination threshold, maintaining the plan driving mode; deducing and generating an emergence logic set through emergence logic confidence calculation; determining a failure logic set; reconstructing to generate a hybrid logic model; the prediction completion time is deduced again; outputting a decision support signal; according to the method, the defect that a traditional system cannot judge the failure is overcome, the prediction accuracy is improved, and invalid warning out of reality is avoided.

The invention discloses a PMSM driving system inverter open-circuit fault diagnosis method, and belongs to the technical field of motor driving system fault diagnosis, and the method comprises the steps: obtaining an ideal current value through a pre-constructed hybrid logic dynamic model of an inverter in a PMSM driving system; obtaining an observation current value through a pre-constructed improved super-spiral sliding mode observer; subtracting the ideal current value from the observation current value to obtain a three-phase current residual error; obtaining a fault diagnosis classification variable according to the three-phase current residual error; averaging the three-phase current residual errors in each period to obtain a three-phase residual error average value; obtaining a fault diagnosis detection variable according to the relationship between the three-phase residual mean value and a preset threshold value; and obtaining the fault position of the switching tube through the corresponding values of the fault diagnosis classification variable and the fault diagnosis detection variable in the fault table. According to the method, the problem that the fault rate is increased due to introduction of a sensor is solved, and accurate positioning of various fault types can be realized.

The invention discloses a multi-press line coupling energy consumption optimization method and system. The method comprises the following steps: collecting real-time operation state data and real-time power data of each device of the stamping production line; establishing a hybrid logic dynamic model based on the data, and describing a relation between a discrete working state of the equipment and a continuous energy consumption dynamic state and a material flow sequence constraint; performing event-triggered or periodic-triggered system-level rolling optimization by using an upper coordinator to minimize the total system electricity charge cost including time-sharing electricity-degree electricity charge and demand electricity charge as a target, and solving an optimal working state sequence of each device in a future time domain; issuing the sequence to a local controller of the equipment; and the local controller generates and executes a smooth control instruction based on the equipment dynamics model. The system comprises a sensing layer, an optimization decision-making layer and an execution layer. On the premise that the production takt is guaranteed, the energy consumption and demand peak value of the whole line are reduced, and the energy efficiency management level is improved.

According to the inverter fault diagnosis method and device, fault features are accurately captured through a double-residual mechanism, and the fault diagnosis accuracy and the diagnosis response time can both meet the strict requirements of a power electronic system for real-time performance; residual analysis based on the hybrid logic dynamic model MLD does not need to depend on historical data training, and the problem that generalization ability is reduced due to insufficient data or noise is avoided. And by analyzing the dynamic characteristics of the theoretical residual error, logic distinguishing of fault types is realized, and misjudgment of similar faults by a traditional method is avoided. The method is high in precision, quick in response and high in robustness, does not depend on historical data training, effectively solves the problems that a traditional method is sensitive in noise, poor in dynamic adaptability and the like, is suitable for an embedded system, remarkably reduces hardware cost, and provides reliable guarantee for safe operation of an inverter.

The invention discloses a three-phase inverter cascade switch tube fault diagnosis method based on a two-stage interval sliding mode observer, and belongs to the technical field of three-phase inverter fault diagnosis. The method comprises the following steps: establishing a hybrid logic dynamic model, and designing an interval sliding mode observer considering the fault state of a switching tube; judging a fault phase according to the current residual error; preliminarily judging the type of the fault according to the symbol of the fault phase current residual error, and completing fault diagnosis; the two-stage interval sliding mode observer is set to be in an observation mode corresponding to a fault so as to be matched with an actual state; and the cascade fault diagnosis is repeatedly completed. The hybrid logic dynamic model considering the open-circuit and short-circuit fault states of the switching tube is constructed, and the two-stage interval sliding mode observer is designed, so that synchronous diagnosis of complex working conditions in which the open-circuit fault and the short-circuit fault exist in a mixed manner is realized, and meanwhile, the cascade fault rapid identification capability is realized; and the diagnosis comprehensiveness, the real-time performance and the system operation reliability and safety of the three-phase inverter in a complex fault scene are improved.

The invention discloses a fault diagnosis method for a wind power inverter, and belongs to the technical field of fault diagnosis. The method comprises the steps that a hybrid logic dynamic model is established, decoupling is conducted through matrix transformation, the model is decomposed into two subsystems, and a finite time observer is established; and defining a fault diagnosis variable and a fault diagnosis adaptive threshold, performing fault diagnosis, and then performing fault positioning. According to the invention, the sensor fault and the switch tube fault are separated through matrix transformation, so that the inverter switch tube fault and the sensor fault can be diagnosed at the same time; the accuracy and robustness of fault diagnosis are improved by adopting a residual error and a self-adaptive threshold value; and defining a switch tube fault phasing characteristic value, a positioning characteristic value and a sensor fault positioning characteristic value through the characteristics of the sliding window accumulated value and the sensor fault estimated value, and carrying out combined diagnosis on the sensor and the switch tube of the wind power grid-connected inverter.

This invention discloses a model detection method based on temporal-cognitive hybrid logic APTEL, specifically implemented according to the following steps: Step 1. Obtain the input to be verified; Step 2. Construct a unified semantic model; Step 3. Perform formula parsing and paradigm transformation; Step 4. Construct a cognitive alternating Büchi automaton; Step 5. Perform symbolic model detection; Step 6. Perform model satisfiability determination; Step 7. Generate counterexamples when verification fails; Step 8. Perform formula satisfiability check. This invention also discloses a model detection device based on temporal-cognitive hybrid logic APTEL. This invention achieves unified expression and unified verification of temporal and cognitive properties, enhances the verification capability of complex hybrid properties, improves model detection feasibility, increases symbolic verification efficiency, and supports verification failure localization.

The present application relates to the technical field of computer, disclose a kind of multi-AGV distributed path planning method based on prediction model, comprising: S1, obtain target task;S2, the speed of automatic guided vehicle is discretized, determine global decision variable and constraint, obtain total transport time target function and obtain global hybrid logic dynamic model;S3, based on global hybrid logic dynamic model obtains prediction transport time target function and obtains local hybrid logic dynamic model;S4, based on local hybrid logic dynamic model obtains prediction model, the information of each automatic guided vehicle and its corresponding sub-target task are input prediction model to obtain the path planning of each automatic guided vehicle.The method of the present application has the technical advantages of reducing the amount of calculation, simplifying the calculation process, can obtain the shortest target completion time under the premise of guaranteeing no collision between AGVs, improve efficiency.

The invention relates to the field of clock time service, in particular to a partition enhanced hybrid logic clock time service method and system under a distributed system, and the method comprises the steps: dividing system nodes into a plurality of independent areas, and deploying main and standby area clock service nodes in each area; physical clock synchronization of all districts is achieved through a hardware clock synchronization protocol, a transaction is received, the transaction type is judged, and a mixed logic clock timestamp is requested from a district clock service node; based on the local physical time of the district corresponding to the district clock service node, the time reference value and the logic counter of the associated district, the district clock service node generates a mixed logic clock timestamp of the cross-district transaction; based on the local physical time and the logic counter, the district clock service node generates a mixed logic clock timestamp of the local transaction; and storing the mixed logic clock timestamp, and executing the transaction. The regional architecture effectively balances the global consistency and the local performance, and the main and standby clock nodes guarantee the high availability of the time service.

The invention relates to a T-type three-level energy storage inverter open-circuit fault diagnosis method based on current residual error and data driving, and the method combines a conventional model-based method with a data driving method, and obtains the current residual error through building an inverter hybrid logic dynamic model. And converting the collected current residual error one-dimensional time sequence signal into a two-dimensional image as the input of the two-channel convolutional neural network by using the Grubby angle sum field and the Grubby angle difference field, thereby realizing the diagnosis of the open-circuit fault of the T-type three-level energy storage inverter.

The application discloses a five-phase permanent magnet motor fault diagnosis method based on adaptive sliding mode observation, establishes a hybrid logic dynamic model of the system according to the topology structure of an inverter, the trigger signal state of a switching tube and the current path characteristics, and constructs a sliding mode observer based on the model; the adaptive sliding mode observer with fast convergence characteristics and strong chattering suppression capability is designed to obtain the state space expression of the system; the sliding mode observer is used to obtain the observation values of the phase currents, and the actual measurement values are compared with the observation values to obtain the phase current residual error signals; secondly, the current residual error signals of the phases are normalized and compared with the designed adaptive threshold value; if the current residual error of a certain phase exceeds the threshold value, it is determined that the open circuit fault of the power tube corresponding to the phase occurs.

A model predictive control method applicable to continuously adjustable damped wave energy devices is provided. The predictive control method includes the following steps: S3, analyzing the damping force and current of the continuously adjustable damper, clarifying the constraint boundary of the damping force, and establishing the correlation function between relative velocity, current, and damping force; introducing binary variables to convert the nonlinear constraints of the continuously adjustable damper into a combination of threshold conditions and logic conditions; S3, performing force analysis on the adjustable damped wave energy device and constructing the force dynamic equation of the hybrid logic dynamic system; setting the displacement parameters, velocity parameters, and external wave excitation parameters of the wave energy device as known conditions, and combining them with the system's motion equations to obtain the continuous state-space equation; establishing an objective function to maximize the energy capture efficiency of the wave energy device; updating the state vector of the wave energy device and the external wave excitation parameters at the next time step, constructing an input hybrid system model, and completing the overall model predictive control process.

The invention relates to the field of geological information, and provides a three-dimensional variable temperature field modeling method and system for a hydrate enrichment area. The method comprises the steps of collecting a multi-source heterogeneous original data stream, and performing formatting processing and standardization processing on the multi-source heterogeneous original data stream to obtain a standardized data set; calling a data processing acceleration card to intelligently pre-process the standardized data set to obtain a pre-processed data set; geological modeling is carried out on the preprocessed data set through hybrid logic, and a three-dimensional geological constraint model is obtained; mapping the temperature and pressure data in the preprocessed data set to a three-dimensional geological constraint model, and fusing time sequence data to carry out space-time synthesis on the mapped temperature and pressure data to obtain a three-dimensional variable temperature field preliminary model; and rendering the three-dimensional variable temperature field preliminary model, outputting a three-dimensional visualization result, and performing comparison verification on the trial production monitoring data and the three-dimensional variable temperature field model to obtain a three-dimensional variable temperature field verification model. According to the method, the modeling precision of the hydrate enrichment area model is improved.

The invention provides a combined fault diagnosis method for a three-phase four-leg wind power inverter, and belongs to the technical field of fault diagnosis of power appliances. The method comprises the steps of establishing a hybrid logic dynamic model of a three-phase four-bridge-arm wind power inverter, establishing a reduced-order adaptive gain sliding mode observer to accurately estimate a system state and a sensor fault, and performing switch tube open-circuit fault diagnosis through a residual error and a norm threshold value of the observer. And completing the fault diagnosis of the current sensor by using the sensor fault estimation value and the characteristics thereof. According to the method, the sensor fault and the system state are accurately estimated, the switch tube and sensor faults can be jointly diagnosed, the fault diagnosis time is remarkably shortened, and the accuracy and robustness of switch tube fault diagnosis are improved.

Disclosed in the present application are a logic circuit design method and apparatus, and a storage medium. The method comprises: designing and generating an initial MOSFET-TFET hybrid logic circuit, the MOSFET-TFET hybrid logic circuit comprising several logic gates; in the series branch of the initial MOSFET-TFET hybrid logic circuit, replacing a first type of TFET with a MOSFET; the first type of TFET being directly grounded or connected to a power supply and not directly connected to the output ends of the logic gates. The logic circuit design method of the present application overcomes the defect of excessive current attenuation caused by the TFET in the series branch by replacing the first type of TFET in the series branch of the initial logic circuit with a MOSFET. The first type of TFET is a TFET that is directly grounded or connected to a power supply and not directly connected to the output ends of the logic gates.

The invention discloses a dynamic narrative engine system and method based on state variables, and the system is characterized in that a state management module divides the narrative state variables into three logic layers, namely a core state, a session state and a global state, and executes differentiated storage, updating and synchronization strategies based on state types; the hybrid logic judgment module judges determinacy and fuzziness conditions in parallel narrative nodes based on a symbol logic processing unit of a pre-compilation rule and a semantic reasoning unit of a lightweight large language model; the state repairing module determines and detects logic conflicts in the narrative path according to a judgment result, and executes state consistency repairing based on state distance measurement and a candidate node replacement algorithm; and the media generation module dynamically generates one or more media contents in texts, images and audios according to the replacement narrative node and the current state variable. State types can be quickly distinguished according to real-time states, and expected media content can be generated for users according to user requirements.