39results about How to "Efficient and safe operation" patented technology

The present invention provides a formalized modeling and security verification method of a block chain PBFT consensus algorithm based on the Event-B method. According to the operation mechanism of the PBFT consensus algorithm on the block chain, it is realized by the Event-B modeling platform Rodin The PBFT consensus algorithm on the blockchain formally verifies the functional security of the PBFT consensus algorithm, including determining the core elements of the model, converting them into constants and variables of the Event-B model according to the structure and properties of different elements, and defining the constants Corresponding axioms, defining corresponding invariants for variables to ensure the establishment of structures and properties; establishing an abstract model, mapping the algorithm execution process into specific events; performing hierarchical refinement by module, adding invariants to express the security properties of the blockchain , generating a proof obligation to verify the functional safety of the algorithm. The present invention realizes the formal modeling of the block chain PBFT consensus algorithm based on model refinement technology, uses the formal method to verify the functional safety of the algorithm, and supports the refined verification of different block chain consensus algorithms.

An embodiment of the present invention provides a method for dismantling the hinged cylinder of a shield machine, including: constructing a propulsion cylinder bracket and a hinged cylinder bracket; driving the segment assembly machine to move the hinged cylinder bracket to the position of the hinged cylinder The lower part and fix the two together; remove the pin shafts at both ends of the hinged cylinder to separate the hinged cylinder from the shield machine; recover the red and blue cylinders downwards so that the hinged cylinder moves down with the bracket of the hinged cylinder; drive the segment assembly machine Slewing mechanism to drive the red and blue oil cylinder and its upper lifting plate, propulsion cylinder bracket, hinged cylinder bracket and hinged cylinder to rotate around the walking beam of the segment assembly machine; when the hinged cylinder on the hinged cylinder bracket rotates to When the segment assembly machine is under the walking beam, disassemble the hinged oil cylinder fixing device, and unload the hinged oil cylinder on the transport trolley on the bottom track. The hinged oil cylinder can be dismantled through the dismantling method provided by the invention, which can be operated quickly, efficiently and safely, and is easier to operate and implement.

The invention provides a self-power-supply-based carrier wave wireless dual mode communication tunnel illumination control system. The self-power-supply-based carrier wave wireless dual mode communication tunnel illumination control system includes lamps, terminal controllers, an integrated controller, a host computer and a water flow pipe TEG (Thermoelectric Generation) module, wherein the self-power-supply-based carrier wave wireless dual mode communication tunnel illumination control system has a plurality of lamps and terminal controllers; one terminal controller is arranged on each lamp;a switch for controlling the lamps feeds back the corresponding data to the integrated controller; the integrated controller feeds back the acquired data to the host computer by acquiring the vehicleflow data in the tunnel and the internal and external luminance of the entrance of the tunnel, and issues a command of the host computer to the terminal controllers, so as to complete setting of the working state of each lamp; and the water flow pipe TEG module is the power supply of the whole system. The self-power-supply-based carrier wave wireless dual mode communication tunnel illumination control system can realize real-time monitoring, control and management of lamps in the tunnel, can record and analyze the operating data of each equipment so as to guarantee efficient and accurate operation of the lamps in the tunnel and safe operation of the tunnel, and has preferable application prospect and market value.

The present invention provides a method and device for merging fault diagnosis results, wherein the method includes: obtaining various fault diagnosis results obtained by various diagnosis methods; wherein each diagnosis method corresponds to a fault diagnosis result; The fault diagnosis results corresponding to the method are converted into individual matching degrees according to the individual matching degree matrix; the individual matching degree represents the degree of trust in the fault diagnosis results given by each diagnostic method; according to the converted individual matching degree, the pre-established confidence rule base, Determine the confidence of multiple fusion results of multiple fault diagnosis results; the confidence rule base is pre-established based on multiple fault fusion samples, and the confidence represents the degree of trust for each fusion result; according to the confidence of multiple fusion results, determine Final fault diagnosis results. The above technical solution improves the accuracy of the fault diagnosis result and ensures the efficient and safe operation of the equipment.

The invention relates to a four-wheel independently driven electric vehicle torque distribution control method and a four-wheel independently driven electric vehicle torque distribution control system. The method comprises the following steps of (1) acquiring a driver operation action signal and vehicle driving parameters in real time, and after pre-processing the acquired data, storing the data; (2) according to the data acquired in the step (1), identifying the current driving intention of a driver; (3) according to the driving intention identifying result, adopting a corresponding control policy to control, and according to the control policy, sending a torque control order to each driving motor. The system comprises a data acquiring module, a driving intention identifying module and a torque distribution control module which are sequentially connected. Compared with the prior art, torque can be reasonably distributed to four wheels according to the driving intentions of the driver, such as ordinary acceleration, fast acceleration and turning driving, the energy utilization of the finished vehicle is improved, meanwhile, the driving stability of the vehicle under a limited condition can also be improved, and the advantage of independent driving is fully played.

The present invention relates to a control method of an engine operation mode. The control method comprises: acquiring engine operation parameters, calculating an operation index by using the parameters, comparing the operation index with a preset index, and then selecting a working condition; Parameters include SCR inlet temperature, exhaust gas mass flow M, actual urea injection volume M ad , upstream NO x concentration, downstream NO x Concentration, running time t i , post processor back pressure and fault information. Through the selection and calculation of specific parameters, the efficient switching of various operating modes of the engine is realized in the development and design stage of the engine, and the engine operating mode can be switched according to the actual road spectrum of the vehicle, that is, the common operating conditions of the engine. Crystallization risk and NO x The low conversion efficiency operating condition identification method switches the engine operating mode for these two operating risks, so as to realize the efficient and safe operation of the engine.

The invention discloses a distributed container cluster image management master node, a slave node, a system and a method. The master node includes: a mirror database, which is a distributed database, and is used to store node information of all nodes in the system; a request input module, which is used to receive request content including request targets and command execution content; a mirror management module, which is used for communication passwords and Verify whether the request content obtained by the request record input module is legal, and judge whether the request target in the request content is a specified single slave node or a group of slave nodes, then send the communication password to the IP address corresponding to the slave node and include the pull operation, Command execution content of update operation, delete operation and cleanup operation; receive status feedback content sent by slave nodes. The invention realizes the flat management of the container cluster image, improves the management efficiency of the cluster container image in the distributed system, and improves the high reliability and security of the entire cluster.