9results about How to "Accurate verification" patented technology

The invention provides a vehicle power system suitable for lunar polar region exploration and a verification method, and relates to the technical field of deep space exploration, the system comprises a configurable energy module, a driving motor transmission mechanism, a power conversion management system, a thermal control subsystem and an autonomous driving controller; the energy module comprises a space fuel cell module, a wide-temperature lithium ion battery module, a solar cell panel module and a radioactive isotope battery module, and one or more of the modules can be selected to be combined according to task requirements. According to the invention, full-scene energy supply coverage of the monthly day, the monthly night and the permanent shadow area can be realized, uninterrupted propulsion of detection and transportation tasks is supported, and the task execution efficiency and the detection coverage range are greatly improved; meanwhile, it can be ensured that the driving power is accurately matched with the driving requirement of the complex terrain in the polar region of the moon, the driving power calculation deviation is effectively reduced, and the terrain passing capacity and operation stability of the vehicle are remarkably improved.

This application provides a network channel routing verification method and apparatus. The method constructs a directed graph based on the directed connection relationships of ports in the routing data, and uses graph algorithms to partition connected components and add audit rules based on data dimensions for verification. This allows for rapid and accurate detection of the connectivity and integrity of channel routes. During the verification process, it does not rely on the segment group order attribute in the routing data, avoiding shallow data quality issues that could prevent verification. Furthermore, it can verify the integrity of the channel carrying structure according to the business channel dimension, quickly aggregating all hierarchical channel routing anomaly audit results. For business channels with abnormal aggregated audit results, a secondary verification is performed to ensure the accuracy and reliability of the verification results. This helps vendors rectify data according to the business channel dimension and achieve rapid results.

A ship model for structural mechanics analysis and its manufacturing method are disclosed. The hull is a one-piece molded shell structure, and the hull profile is consistent with the outer shell of the ship structure to be verified. Multiple mass blocks, each with a sheet-like structure, are spaced apart along the length of the hull. The mass distribution of these mass blocks is consistent with the mass distribution of the internal structure of the ship to be verified. A mounting frame is mounted above each mass block. A measuring beam, positioned along the length of the ship, is rigidly connected to the mass blocks via the mounting frame. An optical fiber sensor array is mounted on the measuring beam, arranged along its length on its surface. The optical fiber sensor array measures the strain distribution of the measuring beam. This eliminates the need for segmented ship model design, reduces manufacturing steps, and accurately acquires continuous modal information. This makes the ship model structure suitable for preliminary design and mechanical performance verification of large ships, enabling more precise verification of ship structural reliability.

The twitcher mouse model is a main animal model for researching the pathogenesis and treatment method of GLD disease at present, and the model is caused by a spontaneous mutation of a C57BL / 6 mouse model GALC At present, a commonly used genotype identification method is time-consuming and expensive. In order to overcome the defect, the special identification primer is designed, the PCR method is adopted, and the restriction endonuclease Eco RV is used for single enzyme digestion verification, so that a rapid, efficient and economic genotype identification method is established, and a reference for the genotype identification of the twitcher mouse is provided.

According to the user side software authorization method and device, the electronic equipment and the storage medium provided by the invention, the user identity information sent by the user side is received, and the user identity information is used for logging in the target software on the user side; verifying the user identity information to obtain a verification result of the user identity information for the target software; acquiring an authorized machine code of the user side based on the verification result; performing validity verification on the authorization machine code based on the user identity information and an authorization file library, and determining an authorization result of the user side for the target software; the authorization result is fed back to the user side, so that the user side determines the use permission of the target software based on the authorization result. According to the method, the authorization machine code of the user side is verified at the cloud side, and the authorization information of the user side to the target software is determined according to the verification result, so that the security of software authorization is improved.

This application discloses a data processing method, apparatus, computer device, and storage medium. The method involves acquiring a first image and a second image containing a sliding object, and the control position information of a sliding control in the first image; extracting features from the first image to obtain a feature image; performing image mapping based on the first and second images to obtain a verification code region in the feature image; determining the object region of the sliding object within the verification code region of the feature image, and a candidate matching region corresponding to the object region within the verification code region, based on the control position; matching the object region and the candidate matching regions to determine a target matching region; and moving the sliding object into the target matching region to verify the sliding object. This solution eliminates the need to design a corresponding algorithm based on the shape of the sliding object to determine the required position of the sliding control; it improves the verification pass rate and has good versatility.

The invention relates to an EVM compiler translation verification method and device based on a K framework and computer equipment, and the method comprises the steps: obtaining an EVM byte code sequence and a target machine code sequence obtained through compiling based on the EVM byte code sequence; converting the EVM byte code sequence into a corresponding first K semantics; the first K semantics is formalized description of EVM byte code sequence semantics under a K framework; converting the target machine code sequence into corresponding second K semantics; the second K semantics is formalized description of the target machine code sequence semantics under the K framework; and carrying out equivalence verification on the first K semantics and the second K semantics to obtain a verification result. According to the method and the device, the problem that whether the compiled machine code sequence and the original EVM bytecode sequence are semantically equivalent or not cannot be verified is solved, and whether the compiled machine code sequence and the original EVM bytecode sequence are semantically equivalent or not is accurately verified.

The invention provides a path verification method and device based on a sliding window, equipment and a storage medium. The method comprises the following steps: determining a path set based on a plurality of intermediate nodes between a sending end and a verification end, determining a sliding interval based on the path set, and determining a target path from the path set; the sending end generates an initial verification field, generates a plurality of data messages based on the sliding interval and the initial verification field, and sends the plurality of data messages to the verification end; and the verification end determines an intermediate node through which each data message passes based on the sliding counting parameter in each data message, performs splicing processing on the intermediate nodes through which the plurality of data messages pass to obtain a verification path, and performs verification processing on the verification path based on the target path to obtain a path verification result. Therefore, the accurate verification of the path can be realized while the data processing amount is reduced.

The invention provides a lightweight non-intrusive micro-service non-stop version upgrading method, and relates to the technical field of service operation and maintenance under a micro-service architecture, and the method comprises the following steps: S1, deploying a new-version back-end service, and registering meta information; through a lightweight architecture, only depending on a basic load balancer and a configuration center and without containerization transformation, the version raising cost of a traditional virtual machine / physical machine architecture is remarkably reduced, and through a dynamic flow routing strategy, service zero-code transformation is achieved, second-level strategy updating is supported, service continuity is guaranteed, and non-intrusive control is achieved. A bypass Nginx mirror image verification mechanism and user-level gray level control are provided, a real production scene is covered by 100%, production-level accurate verification is achieved, smooth upgrading without perception of a user is achieved through a dynamic flow routing and version decoupling mechanism, service continuity is guaranteed, meanwhile, accurate verification of a production environment is supported, and service risks caused by version defects are reduced from the source.