35results about How to "Quick verification" patented technology

The invention provides a method, device and equipment for verifying the function coverage rate of a chip and a medium, and the method comprises the steps: carrying out the data processing and extraction of a to-be-tested chip through a script containing a set parameter, and generating a corresponding function coverage rate file; and integrating the function coverage rate file into a verification environment through the script so as to verify the coverage rate of the chip to be tested. According to the technical scheme, the register signal of the chip to be tested is extracted by adopting the script containing the set parameters, the corresponding function coverage file is generated and integrated into the verification environment, automatic collection and verification of the function coverage can be rapidly and accurately carried out, and compared with a verification mode needing understanding of verification personnel in transmission verification, the verification efficiency is greatly improved. By adopting the script, standardization of function coverage rate verification of the chip can be realized, and real function point verification completeness can be reflected through the register function coverage rate.

The invention belongs to the related technical field of vehicle charging scheduling, and provides a vehicle charging dynamic scheduling method and system for a charging pile fault in order to solve the problem that a charging device cannot respond in time after a fault occurs, and the method comprises the following steps: monitoring the operation state of each charging pile in the execution of an initial charging scheduling scheme in real time; identifying a target vehicle set influenced by the charging pile fault; calculating an emergency priority score of each target vehicle according to the residual electric quantity and the planned departure time of the target vehicle; constructing a dynamic resource profile of the available charging pile based on the residual available power of the available charging pile, and screening a feasible candidate pile set; and according to the vehicle priority queue, reallocating available charging piles to each target vehicle in sequence by taking the minimum cost as a target, and generating a rescheduling scheme. According to the invention, charging of the vehicle at the valley point of the electricity price can be guaranteed to the greatest extent, and the reliability, economy and adaptive capability of charging are remarkably improved.

The embodiments of the present invention provide a method, apparatus, fault reproduction device and storage medium for reproducing fault information, including: obtaining fault information to be reproduced; searching for a target business corresponding to the fault information from a pre-established reproduction problem library; determining a fault reproduction instruction corresponding to the target business; sending the fault reproduction instruction to a visual network device, so that the visual network device reproduces the fault according to the fault reproduction instruction. In this way, faults that occur in visual network devices during the testing process or user use can be quickly reproduced and then repaired, and the repaired faults can be quickly verified, thereby improving the testing efficiency and effectively ensuring the stable operation of visual network services.

The application relates to an FPGA prototype verification method and system of a smart meter chip, and belongs to the field of integrated circuit testing and electric power metering. The method aims to solve the problems of ASIC design transplantation to an FPGA platform, large difference between a verification environment and a real power grid, and lack of a real-time closed-loop verification mechanism. A technical scheme efficiently transplants the design to the FPGA by optimizing ASIC front-end synthesis constraints and adopting a netlist-level IP replacement strategy; a hardware-in-the-loop system is constructed, which comprises a real power grid signal source, a separation device simulation front end, an FPGA verification board, a high-precision standard electric energy meter and a host computer. The system can generate a real power grid excitation and realize synchronous collection of prototype output and the standard meter, real-time error analysis and dynamic adjustment of parameters, thereby forming a closed-loop verification. The application significantly improves code transplantation efficiency, provides a highly consistent real power grid verification environment, and greatly improves verification iteration and defect positioning speed.

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.

The present invention provides a heterogeneous data comparison method and device, which belongs to the field of financial technology or other technical fields. The heterogeneous data comparison method includes: obtaining two data tables according to a data comparison instruction, summing and comparing the records in each column of the two data tables according to the data type of the records in each column of the data table; determining the data comparison strategy according to the comparison result of the sum comparison, the unique identifier of the data table and the data volume; splicing the records in the data table into corresponding target strings according to the data comparison strategy, and comparing the target strings of the two data tables to generate data table comparison results. The present invention can quickly verify the data table after the migration or synchronization of heterogeneous data sources, solve the performance bottleneck, and improve the comparison efficiency.

The present invention relates to the field of chip testing technology, and discloses a bitstream verification method, device, equipment and medium for HardIP, the method comprising: obtaining parameter types and parameter constraints of the HardIP to be tested; generating an RTL file set based on the parameter types and parameter constraints, wherein the RTL file set includes a plurality of RTL files; obtaining a bitstream file and a reference file based on the RTL file, wherein the bitstream file is generated by EDA software, and the reference file is generated based on the RTL parameters in the RTL file; comparing the bitstream file and the reference file, and obtaining a bitstream verification result based on the comparison result. The present invention can reduce the computing resources required for HardIP bitstream verification.

The invention discloses a method and a system for rapidly measuring UWB positioning dynamic precision under a mine. The method comprises the following steps: erecting a positioning substation of a UWB positioning system, and setting a distance D of which the dynamic precision needs to be tested; calibrating a test point A, wherein the distance between the test point A and the positioning substation is D; modifying the positioning terminal to control alarm when the positioning distance between the positioning terminal and the positioning substation is not less than D; placing the positioning terminal under the positioning substation, moving from the lower part of the positioning substation to the direction of the test point A until the positioning terminal gives an alarm, and marking the position B of the positioning terminal when the positioning terminal gives the alarm for the first time; measuring the distance between the point A and the point B, wherein the distance is a dynamic positioning error d obtained by the test; repeating n times, calculating the average value of d obtained by n times of tests, and obtaining UWB positioning dynamic positioning precision; according to the method and the system for rapidly measuring the UWB positioning dynamic precision under the mine, the measurement of the dynamic precision can be completed only by matching one positioning terminal with the positioning substation, and the method and the system have the advantages of simplicity, convenience, rapidness, wide application range and the like.

The present invention relates to the technical field of computer-aided drug design, and specifically discloses an integrated regression model and a generation method and a prediction method for molecular virtual screening. The generation method comprises: randomly selecting K molecules from a super-large-scale compound library as a training set; training a regression model; using the trained regression model to predict the molecules not selected in the super-large-scale compound library to obtain a comprehensive prediction result; selecting K molecules with the highest prediction score and the largest standard deviation from the positive prediction pool of the comprehensive prediction result, and adding them to the training set; training the regression model again; when the number of training times reaches the number of iterations, selecting multiple regression models with the best prediction performance to obtain an integrated regression model. The present invention selects the compound with the largest standard deviation of the prediction value from the compounds with the highest score for annotation, so as to focus on the most challenging or uncertain samples, thereby improving the annotation efficiency and model performance.

The invention discloses a vehicle-mounted model safe online federated distillation method for automatic driving. The method comprises the following steps: 1) registering; 2) identity verification and authorization; 3) grouping vehicles; and 4) online federated distillation training, including 4.1) federated aggregation, 4.2) knowledge distillation and 4.3) credit value and service charge calculation. According to the method, the double-chain architecture of the main chain and the auxiliary chain avoids repeated identity verification of the vehicle, and potential threats such as Sybil attacks and DDoS attacks are defended with real and credible identities. The federal distillation provides two learning ways of multi-vehicle cooperation and teacher guidance for the vehicle-mounted model, so that all vehicles share the model and local model characteristics are reserved at the same time. The contribution degree and the reputation value are automatically recorded and managed based on an incentive mechanism of the smart contract, so that the vehicle is encouraged to provide a high-quality model and suppress hostile attacks through reasonable reward and punishment. The safety, feasibility and superiority of the method are verified through safety analysis and simulation experiment results.

The application provides a local three-dimensional tile data browser loading method and system based on ServiceWorker interception, and belongs to the technical field of browser offline loading schemes of 3DTiles format tile data. The method comprises the following steps: listening to a browser page loading event, registering a ServiceWorker and waiting for an active state, performing a query operation on a CacheAPI after activation, detecting whether a three-dimensional tile set entry file cache entry exists, and generating cache detection result data; a browser security mechanism restricts direct access of a webpage to a local file, and a three-dimensional engine (such as Cesium) requests a tile through an HTTP protocol. Through the technical combination of ServiceWorker interception of an HTTP request, CacheAPI caching of a local file and virtual URL path mapping, the three-dimensional engine can access the local file through a standard HTTP request format, and the sandbox restriction is broken while no native layer bridge is introduced.

A portable national secret card reader comprises a shell and a cover plate, a containing cavity is formed in the shell and the cover plate after the shell and the cover plate are connected through screws, and the portable national secret card reader is characterized in that a loudspeaker, an access control panel, a card reader board card and a storage battery are arranged in the containing cavity; the storage battery is mounted at the bottom in the accommodating cavity; an access control panel is mounted above a storage battery, and the storage battery is electrically connected with the access control panel through a wire; the loudspeaker and the card reader board card are located above the access control panel, and the loudspeaker and the card reader board card are electrically connected with the access control panel through wires respectively; a voice module is arranged in the loudspeaker; the loudspeaker faces the cover plate; the card reader can facilitate spot check of on-site security personnel on personnel in key areas; the card reader is used for quickly verifying the access authority under the emergency condition of access control power failure, and the card reader body is free from fixed installation and is convenient to carry and move; a voice module is arranged, so that access authority of personnel can be conveniently and directly prompted; a switch button is arranged, so that equipment can be conveniently started / stopped at any time; and the security personnel can quickly verify the passing authority of the passengers without getting off the bus.

The utility model relates to the technical field of new energy automobile motors, in particular to a hybrid transmission oil-cooled motor monomer testing device, which comprises a testing machine, and the testing machine comprises a motor front shell, a motor rear shell, a motor stator, a motor rotor, a magnetism isolating cover, a rotary transformer and a cooling lubricating pipe. The utility model has the beneficial effects that the differential oil supply of the stator and the rotor can be realized by adjusting the flow supply of the external dynamic oil pump, and the distribution proportion of different oil inlets can be dynamically and quickly adjusted; the internal spraying effect can be observed through the observation window, and analysis and design are facilitated; a signal shielding structure of the rotary transformer can be quickly switched, the distance between the rotary transformer and a motor rotor can be adjusted, and quick verification is realized; a large number of thermocouples can be arranged inside, and the thermal management state of the motor can be analyzed conveniently.

The invention relates to the field of aircraft cooling structure design, in particular to a verification method for cooling structure design, a cooling structure is divided into a simple channel and a complex channel, the simple channel is equivalent to a circular tube, and the complex channel is independently manufactured. The simple channel and the complex channel are connected to build an equivalent verification test piece for flow resistance test or separately perform flow resistance test, the structural design is optimized according to the test result, and the optimized simple channel or complex channel is directly replaced into the equivalent verification test piece, so that the processing time is saved, the cost is reduced, and the test efficiency is improved. And the verification of the iterative updating of the cooling structure in the later period is facilitated.

The application discloses a deep learning-based line vector map data zero watermark method, comprising the following steps: learning deep features of line elements based on a transformer network, and extracting high-dimensional features of line elements in a line vector map data set; aggregating the high-dimensional features of all line elements into a global feature through a feature aggregation network; converting the global feature into a binary hash code through forward propagation of a hash layer; generating a zero watermark based on XOR operation between the binary hash code and a copyright image, and storing the zero watermark in a database of a copyright center. The application learns deep features of data as digital fingerprints in a manner of simulating human cognition, realizes strong differentiation, high robustness of copyright authentication of line vector map data under the premise of ensuring zero distortion of original data, and has the advantages of absolute non-loss, strong differentiation ability, excellent robustness, high security and good practicability.

The invention relates to the technical field of aviation launching, in particular to a rocket launching site large-scale building and network access verification method and device and a storage medium. The method comprises the following steps: demand analysis and site selection; a launching site is divided into a plurality of functional modules to be established, and a standardized interface of each functional module is designed, so that compatibility and interchangeability among the modules are ensured, and rapid assembly and disassembly are facilitated; establishing a real-time monitoring system; developing an equipment debugging and maintenance system; an intelligent task scheduling system is developed through a multi-task scheduling algorithm, so that parallel operation of multiple launching platforms is realized, and distribution and management of launching tasks are optimized; and assigning a network security policy, establishing an automatic network access verification system, identifying the launching site equipment through the automatic network access verification system, and performing network access verification. The launching efficiency and safety of the launching site can be improved.

The invention provides a verification method and a verification device for an arbitration mechanism of a multi-channel I2C controller, and a storage medium. The multi-channel I2C controller works on the same bus. Any I2C controller is set as a main receiver, and each of the other I2C controllers is set as a main transmitter; any main transmitter is controlled to first transmit data to the main receiver for the first transmitter, and the data transmitted by each of the remaining main transmitters is set to be different data; according to the I2C controller arbitration method and the I2C controller arbitration device, the verification environment is simple, the arbitration functions of the multiple I2C controllers can be rapidly verified, the verification efficiency is improved, and the user experience is improved.

The invention relates to the field of power transaction settlement, in particular to a power transaction settlement model version comparison and cross validation method and a storage medium. A directed acyclic graph of a plurality of versions of power settlement models is established, input nodes, output nodes and operation nodes are used as constituent parts of the directed acyclic graph, the input nodes, the output nodes and the operation nodes are defined respectively, node levels of all the nodes are defined through calculation, and under the dimension of the same node level, the node levels of all the nodes are calculated. According to the method, input nodes, output nodes and operation nodes are compared, all the nodes are classified into paired identical nodes and unpaired isolated nodes, the difference of different power settlement models is visually observed, and the purpose of comparing the difference between the different power settlement models is achieved; the problems that when multiple versions of electric power settlement models coexist at present, settlement results are likely to be different, and it is difficult for business personnel to compare the differences between different electric power settlement models and verify the settlement results are solved.

The invention provides an intelligent substation system configuration description file-oriented access control implementation method, which relates to the technical field of data processing, and comprises the following steps of: analyzing a business process of an intelligent substation system, and determining various roles of a configuration description file SCD needing to be accessed; defining roles required in the intelligent substation system, and defining responsibilities and permissions for each role; determining mutually exclusive roles and setting cardinality constraints; determining the comprehensive authority of the user in a configuration description file SCD part; and judging whether the role has the authority of reading, writing, modifying or managing the configuration description file SCD or not according to the comprehensive authority of the user in the configuration description file SCD part. According to the invention, the problem that the traditional access control method cannot carry out fine access control on the configuration description file SCD is solved.

The invention relates to the technical field of video game editing methods and systems (A63F), in particular to a response type game skill editing method and system. Comprising the following steps: S1, skill analysis: analyzing basic information, trigger information and target information of a skill; s2, user trial: the game user tests the analyzed skills; s3, feedback collection: skill interaction parameters including trigger parameters and target parameters are collected; s4, skill comparison: constructing a skill parameter matrix based on the trigger parameters and the target parameters, and performing skill performance indexing and comparison; and S5, skill optimization: optimizing a skill triggering condition and a target effect based on the skill parameter matrix. By means of the method and device, real-time response and dynamic optimization of skill design are achieved, balance and diversity of skills are improved, the development process is simplified, and the method and device are suitable for skill design and adjustment of complex game scenes.

The invention discloses a verification method, device, equipment and medium for a live-action model of electrical secondary equipment, and the method comprises the steps: determining a to-be-verified live-action three-dimensional model corresponding to a target substation, and determining a to-be-verified secondary equipment model according to the to-be-verified live-action three-dimensional model; obtaining design drawing information corresponding to a target substation, and determining real drawing information data of the to-be-verified secondary equipment model according to the design drawing information; and determining a verification result corresponding to the secondary equipment model to be verified based on the real graph information data. Based on the above technical scheme, the drawing experiment verification is performed on the secondary equipment in the target transformer substation according to the design drawing information of the transformer substation, the rapid verification of the electrical secondary equipment is realized, and the efficiency of the drawing experiment verification of the secondary equipment is improved.

The invention belongs to the technical field of insoles, and discloses a tenon-and-mortise spliced modular 3D corrective insole which comprises a base divided into a tiptoe section, a sole section and a heel section, a plurality of bolt blocks are mounted at the bottom of the tiptoe section, and a plurality of bolt columns are uniformly mounted at the bottoms of the sole section and the heel section; a soft cushion layer is mounted at the top of the base; the tiptoe section is provided with a tiptoe plate in a matched mode through the plug pin block, and the tiptoe plate is matched with the tiptoe section in shape. The foot plate section is provided with a first foot plate block and a second foot plate block in a matched mode through the plug pin columns, the first foot plate block is provided with first plug pin holes, the second foot plate block is provided with second plug pin holes, the first plug pin holes and the second plug pin holes are matched with the plug pin columns in number and specification, the first foot plate block is provided with mortise grooves, and the second foot plate block is provided with mortise grooves. The second foot plate block is provided with a tenon block; the heel section is provided with a heel block in a matched mode through the plug pin column, and the heel block is provided with a third plug pin hole.

The invention discloses a three-phase circuit breaker mechanical state intelligent diagnosis and fault prediction method and system, and relates to the technical field of power equipment state monitoring and intelligent operation and maintenance. The method comprises the following steps: synchronously acquiring three-phase vibration and acoustic signals in a same opening / closing window, performing stage segmentation after preprocessing, constructing stage fusion features, and obtaining three-phase characterization vectors of all stages through a shared characterization encoder; inter-phase comparison self-supervised learning is carried out only by using health data, and inter-phase consistency constraints are introduced. Inter-phase mismatch is calculated on line, a stage-phase anomaly score and a total anomaly score are obtained based on a health statistical model, an abnormal phase and an abnormal stage are output when a threshold value is exceeded, and key time slice / frequency band evidence is generated; and constructing a health index sequence according to the total abnormal score and predicting the residual life. According to the invention, fault label dependence can be reduced, abnormal positioning interpretability and cross-working-condition stability are improved, and predictive maintenance is supported.

The utility model discloses a multifunctional lifting all-in-one machine which comprises a barrier gate box, an RSU, a first induction coil and a second induction coil, the barrier gate box is fixed on a toll island, an intercepting device is arranged on the barrier gate box, the intercepting device comprises an intercepting height limiting rod and a road closing rod, two motors are arranged in the barrier gate box, and the two motors are connected with the first induction coil and the second induction coil. According to the multifunctional lifting and falling all-in-one machine, the barrier gate box integrates the camera shooting function, the warning function and the display function, and the intercepting height limiting rod has the height limiting function and the ETC rubbing prevention function at the same time when the intercepting height limiting rod lifts the rod.

This invention develops a control plane policy verification method based on GNN fault model learning: It acquires network topology information, uses K-Means clustering to divide equivalence classes, and generates corresponding fault models; designs a GNN fault learning model based on a message-passing mechanism; trains a message-passing-based GNN fault learning model for each equivalence class; constructs a network policy graph conforming to network topology characteristics; preprocesses the directed policy graph, extracts feature data, and inputs it into the trained GNN model to generate an accurate network environment; and verifies network policies according to their categories. This invention considers the existence of faults in real-world networks, using GNN-assisted fault models to infer the actual network environment corresponding to the network policy to be verified. It uses K-Means clustering to divide equivalence classes, reducing network size and improving verification speed. The addition of a data augmentation module gives the trained GNN a certain generalization ability, enabling accurate and rapid verification of multiple network policy types.

Embodiments of the present application disclose a chip verification method and device, system, electronic equipment and storage medium, and relate to the technical field of electronic design automation, which can give full play to the large-scale and rapid verification advantages of a hardware verification platform while facilitating defect detection. The method is based on a hardware verification platform and includes: running a hardware simulation program of a chip to be verified; sending behavior information and behavior result information of the chip to be verified in program running to a software verification platform according to a preset strategy, so that the software verification platform verifies and reviews the chip to be verified according to the behavior information and the behavior result information. The present application is applicable to various chip verifications.

The invention discloses a simulation system modeling lightweight substitution method for high-end equipment manufacturing whole process rapid verification. The method comprises the steps that 1, multi-field simulation data and test data of typical parts of high-end equipment are collected; 2, performing normalization and standardization preprocessing on simulation data, and constructing a data set; step 3, fusing model network architecture design and initialization training of a physical mechanism, introducing a physical information neural network and embedding a physical equation constraint operator; 4, reducing the model calculation amount based on a parameter compression and self-adaptive advanced exit mechanism of similarity evaluation; and step 5, constructing a lightweight simulation system substitution model, exporting and integrating the model into a system model through a standard format, and supporting rapid verification of the whole process of high-end equipment manufacturing. According to the method, deep learning and a physical mechanism are fused, the calculation time is remarkably shortened while the calculation precision and the generalization ability are improved, the system-level verification period is shortened, and agile development of aerospace and other high-end equipment is effectively supported.

The present invention discloses a method for planning the path of movement of people in a building in the field of pedestrian flow simulation, including importing architectural drawings, constructing a navigation grid-based architectural data model; adding people to the architectural drawing data model, the people are provided with action logic, the generation of action nodes of people in the architectural scene is based on a number of points selected in the navigation grid and interaction rules, and the shortest path nodes between adjacent points are generated in sequence; the movement of people between nodes is based on the steering force algorithm of steering force pathfinding combined with the ORCA optimal mutual collision avoidance algorithm, the movement route of people is a path area with width, the path area is generated between each node according to the width passed, the path area generated at the adjacent edge of the navigation grid is provided with a deviation value, the people move in the direction of the nearest node one by one, the action of people is simulated through the architectural data model, and the path planning is optimized according to the simulation result. The scheme can simulate the action of people more realistically.

The present invention discloses a fast verification method and device for partial subset calculation of vector commitment, wherein the proving party obtains a subset of the public keys of the signed third parties according to several signed third parties corresponding to the aggregate signature, performs calculation based on the public key subset, obtains a first aggregate public key, generates a certificate based on the public key subset of the signed third party, the public key non-subset of the unsigned third party and the first aggregate public key, and sends the first aggregate public key and the certificate to the verifying party, wherein the certificate is used to prove that each public key in the public key subset is included in the Merkle tree, and proves that the first aggregate public key is calculated from the public key subset, and the Merkle tree is constructed based on the public keys of all third parties; the verifying party verifies the first aggregate public key based on the certificate. By verifying the partial subset calculation result (i.e., the first aggregate public key), the verifying party can further verify the corresponding aggregate signature based on the first aggregate public key, thereby realizing fast verification of the corresponding transaction.

The present invention provides an interactive boundary setting module design method, a simulation software construction method and a device, wherein the design method of the interactive boundary setting module includes: determining the functional architecture of the interactive boundary setting module based on the boundary condition setting function requirements; designing a visualization framework based on the boundary condition display logic of the interactive boundary setting module, for visually displaying the visualization model after the boundary conditions are applied; and differentially storing the boundary information of the boundary conditions and the visualization model. The present invention uses a functional framework to sort out the complicated selection process and the changeable condition types, improve the accuracy of the boundary setting module, and design a visualization framework to help users quickly verify and adjust the settings, thereby enhancing the user's interactive experience. In addition, by differentially storing the boundary information of the boundary conditions and the visualization model, it is ensured that real-time updates under complex interactive logic are supported.