5 results about "Hybrid logic" patented technology

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.

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

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.