6results about How to "Simplify the verification process" patented technology

This invention belongs to the field of artificial intelligence technology, specifically disclosing an intelligent rule conflict detection method, system, and program product. By transforming the traditionally tedious and time-consuming manual rule review into intelligent rule conflict detection, it greatly simplifies the verification process for business personnel in rule design and significantly improves the efficiency of rule review. It can comprehensively and deeply analyze the rule system, automatically identifying logical errors, overlaps, and contradictions that are difficult for the human eye to detect, effectively reducing the risk of rule defects and potential financial losses caused by human negligence. It deeply embeds artificial intelligence technology into the business operation process of rule configuration, ensuring the logical validity of rules once they are created, and promoting the upgrade of enterprise rule management from reliance on manual experience to intelligent automatic detection. Furthermore, it can intuitively display potential problems and conflicts between rules, making the entire rule verification process clearer and easier for users to understand and make decisions.

The invention relates to a battery data encryption communication system and method, and belongs to the technical field of encryption communication, the battery data encryption communication system comprises a server, a battery equipment end and a mobile terminal, the server is used for configuring a pre-shared key for the battery equipment end and the mobile terminal; the battery equipment end and the mobile terminal are used for performing identity verification based on the pre-shared key, setting a random number counter value after the identity verification is passed, encrypting data to be transmitted through the random number counter value and the pre-shared key, and generating an encrypted data packet containing an authentication label; and decrypting the encrypted data packet through the shared key, and determining the legality and integrity of the encrypted data packet through the random number counter value and the authentication tag. The battery data encryption communication provided by the invention can meet the core requirements of safety, real-time performance, equipment adaptability and operation and maintenance convenience.

The disclosed cell culture device comprises: a cell culture module comprising a cell culture unit in which an orifice plate, which forms at least one culture space, is attached to a cartridge; a culture solution supply module comprising: a pump unit for forming a supply and discharge flow of a culture solution to the cell culture unit; the culture solution storage chamber is used for accommodating at least one culture solution chamber; and a pair of culture solution tubes made of a flexible material and connecting the culture solution supply module and the cell culture module, which are spatially separated, to form a duct through which the culture solution is supplied and discharged, the cell culture module being placed in a CO2 incubator for creating a warm environment, the culture solution storage chamber creating a low-temperature environment lower than normal temperature, and the culture solution storage chamber creating a low-temperature environment lower than normal temperature. A pair of culture solution tubes exposed between the culture solution supply module and the cell culture module is in a normal-temperature environment.

The application relates to the computer technical field, in particular to a micro-service domain algebra data type construction method based on functional programming, which comprises the following steps: obtaining a variant list of a target business domain; identifying the properties of each variant in the variant list, and determining the type of each variant according to the properties of each variant; combining all the variants in the variant list based on the type of each variant to obtain an algebra data type tree, compiling the algebra data type tree, verifying the compiled algebra data type tree, and performing business processing through the verified algebra data type tree. Therefore, the problems of scattered domain object definition, high coupling degree, lack of clear boundaries and complex and lengthy verification logic in the micro-service are solved, the readability and maintainability of the code are improved, and the overall reliability and development efficiency of the micro-service system are enhanced.

The invention provides a formalized verification method and device based on intelligent model interaction, and relates to the technical field of computer data processing.The method comprises the steps that security constraint conditions input by a tester in a natural language are received, and a user security attribute constraint file is generated according to the security constraint conditions; according to the user security attribute constraint file, generating a source code preprocessing request through the thinking chain template; wherein the source code preprocessing request at least comprises multi-dimensional information of a preprocessing target, code function description, a to-be-processed code text, a thinking chain cue word and a format requirement; according to the source code preprocessing request and a to-be-verified source code, generating a preprocessed source code inserted with a safety assertion through large language model reasoning; performing formalized verification on the preprocessed source code, and generating an intermediate file in the formalized verification process; and according to the intermediate file, performing analysis based on the semantic analysis prompt word template, and outputting a natural language prompt corresponding to the optimization direction to a tester.

The application discloses a testing method for a vehicle brushless blower, which comprises a controller, a brushless motor, an impeller and a volute. The input end of the controller is electrically connected with the output end of a power supply. The output end of the controller is electrically connected with the brushless motor. The impeller and the volute are installed inside an air conditioner box HVAC. The testing method comprises the following steps: a dynamic torque sensor and an encoder are arranged on a transmission rod between the rotor of the brushless motor and the impeller and the volute; the brushless motor is started by the controller to drive the impeller to run; the output voltage and current of the power supply and the three-phase instantaneous voltage and current output by the controller are detected; the output torque of the brushless motor is detected by the dynamic torque sensor, and the rotating speed of the brushless motor is detected by the encoder; the output air volume of the air conditioner box HVAC under a specific static pressure after the impeller is installed inside the air conditioner box HVAC is detected; and the controller efficiency, the brushless motor efficiency, the impeller efficiency and the assembly efficiency of the air conditioner box HVAC system are calculated according to the above test results.