70results about How to "Verify correctness" patented technology

The invention relates to a request comparison method and device applied to UVM verification, computer equipment, a computer readable storage medium and a computer program product, and can be applied to the technical field of computers. The method comprises the following steps: creating a transaction class corresponding to a storage access operation; generating an instance message for storing the access operation according to the transaction class, and storing the instance message into an expected queue; under the condition that the to-be-compared storage access request message meets the protocol condition and the design specification condition, comparing the storage access request message with the instance message in the expected queue to obtain a comparison result of the storage access request message; the comparison processing comprises initial address comparison processing and message length comparison processing; the comparison result is used for determining an access verification result for storing the access request message. By adopting the method, the access verification efficiency can be improved.

The invention discloses an unmanned aerial vehicle group distributed management method based on a mobile active secret sharing technology, which supports off-line of a trusted institution and comprises the following steps: the trusted institution TA generates public parameters; a mobile base station MS and an unmanned aerial vehicle UAV participating in communication respectively register with a trusted mechanism in a registration stage, and acquire information such as a secret key and a certificate; the UAV joins the MS and is administered by the MS, and after mutual identity authentication, the MS distributes secret shares to the UAV; performing identity authentication on the unmanned aerial vehicle group; the unmanned aerial vehicles of the two groups share the share, group fusion is achieved, and after a new share is obtained, each unmanned aerial vehicle updates the certificate of the unmanned aerial vehicle. According to the method, the sub-secrets of the unmanned aerial vehicles are autonomously updated through a mobile active secret sharing technology, and fusion of completely decentralized unmanned aerial vehicle groups is realized. Secondly, an efficient certificate self-updating method is designed. The unmanned aerial vehicle can update the certificate only by calculating a threshold signature. Detailed safety certification and comprehensive experiments show that dynamic autonomous management of the distributed unmanned aerial vehicle group can be realized, and the method has good safety characteristics and relatively low calculation overhead.

The invention relates to the technical field of automatic control, in particular to a positive damping frequency modulation control method, system and equipment for power stations and response loads, and aims at power generation of grid-connected hydropower, thermal power, photovoltaic, wind power and other power stations and frequency modulation participated by power grid demand side response loads such as electrolytic aluminum, charging stations and the like. Positive damping primary frequency modulation and AGC superposition frequency modulation control is provided, and a frequency modulation control mode meeting stable operation of a current and future novel power system is formed by superposing final values of a load instruction and a primary frequency modulation positive damping instruction; through a primary frequency modulation load initial value required by a power grid, a primary frequency modulation load instruction final value is formed after positive damping unit negative feedback PID control. According to the invention, the load and frequency of the plant network are controlled by using the operation parameters of the plant station through the positive damping stability rapid control method, the potential major safety and stability problem is solved, the implementation is simple and economical, and the method has an important basic support effect on the safety and stability of the operation of the plant network.

The invention provides an aviation tail thrust clutch system lubrication and cooling performance test verification system which comprises a motor driving module, a lubrication and control module, a flow measurement module and a temperature measurement module and is used for testing an aviation wet clutch to be tested. According to the invention, regulation and control of different rotating speeds, different loads, different working states and flow input can be carried out, the flow of inlet and return lubricating oil and the temperature of return oil are measured so as to carry out a comparative test and the like, and comparative analysis with a simulation result is carried out so as to verify the correctness of a simulation method; the lubrication design is full-system lubrication based on axis oil supply and considering the internal and external spline pair, the multi-piece friction pair and the bearing, key parts can be ensured to be lubricated and are closer to actual requirements, meanwhile, a circulating oil path is designed, oil waste in the test process can be reduced, the cost is saved, and therefore the test efficiency is improved. Good test conditions are provided for the research on the lubricating and cooling performance of the aviation tail thrust clutch system.

The invention discloses a turbulence model for underwater wireless optical communication and a communication system performance calculation method, and the method comprises the steps: building a new turbulence statistical distribution model under the condition of ocean turbulence, and obtaining an expression of a flicker index of the model in combination with model parameters; and a Meijer-G function and a Fox-H function are utilized to obtain a closed expression of the outage probability and the bit error rate under the model condition, so that the influence on the transmission performance of the system under different scene parameters can be researched. Compared with an existing turbulence model, the method is closer to the complex turbulence environment of the ocean, and especially under the complex turbulence scene of bimodal distribution, simulation research on the real ocean environment can be better achieved.

The invention discloses a new energy maximum output power and minimum reactive compensation calculation method and system, and the method comprises the steps: obtaining the theoretical maximum active power transmitted from a new energy converter to an AC power grid under a voltage stability constraint condition through building an analysis model for connecting a Saggowski new energy converter to a weak power grid; introducing a short-circuit ratio used for evaluating the strength of the AC power grid system of the new energy gathering access point, and analyzing and obtaining the maximum generation power influence factors of the new energy; when the network frame topology and the operation mode are fixed, the short-circuit ratio and the impedance ratio are basically unchanged, the ratio of the maximum active power to the rated power of the new energy unit at the voltage instability point is directly related to the reactive power of the new energy station, and the minimum reactive power required by the system is solved when the active power sent by the new energy at the voltage instability point is the rated value. And the minimum reactive compensation capacity quantitative evaluation method meeting the maximum active power output condition is determined and can be used for guiding the reliable operation of an actual power grid.

The invention relates to a six-dimensional force sensor decoupling method based on improved grey wolf algorithm optimization, which relates to the technical field of six-dimensional force sensors, and comprises the following steps: calibrating a six-dimensional force sensor to obtain data under force input in different directions; then, a BP neural network model is established, output voltage signals of six channels serve as input vectors of a BP neural network, and force acting on the sensor serves as an output vector; and finally, a grey wolf optimization algorithm is improved by using three strategies of dynamic distribution parameter adjustment, dynamic weight position updating strategy, diversity threshold setting and diversity-based population re-initialization, and accurate decoupling of calibration data is realized. According to the method, in the improved grey wolf algorithm, the diversity of the population is maintained or improved, so that effective exploration of the algorithm in a global search space is promoted, local optimum is prevented, the probability of finding a global optimal solution is increased, the measurement precision and adaptability of the six-dimensional force sensor can be effectively improved, and inter-dimensional coupling is reduced.

The invention provides a semi-physical simulation model for an excitation converter controller of a large variable-speed pumped storage unit. The semi-physical simulation model comprises a grid-side converter controller semi-physical simulation model and a machine-side converter controller semi-physical simulation model based on an alternating-current excitation system control principle. The model has a unified standard interface to adapt to different unit models; the model can automatically adjust an excitation converter controller algorithm according to working conditions so as to adapt to different operation working conditions of the unit; the excitation converter controller under different operation conditions is modularized to adapt to future unit condition expansion requirements, and later maintenance is flexible and convenient. An MEX packaging model is adopted, so that the model is closed and is separated from controller parameter setting, and achievements of all parties are protected to the maximum extent.

The invention discloses a substation five-prevention locking test method, a storage medium and electronic equipment, and the method comprises the following steps: confirming the configuration of an SCD, and connecting an IED to a test network to check the state of the IED; verifying the GOOSE message through the VLAN, comparing the state value of the locking contact with an expected value, and judging the on-off state of the locking contact; configuring a WI-FI verification cross-interval five-prevention locking logic; optimizing a test system security index and visualizing system security data; and generating a review check report. According to the invention, comprehensive verification of the IED configuration correctness is realized, the GOOSE message is verified through the VLAN, the state value of the locking contact is compared with the expected value, verification of the accuracy of sending and receiving the GOOSE message and the correctness of the state of the locking contact is realized, the cross-interval five-prevention locking logic is verified through configuring the WI-FI, comprehensive verification of the five-prevention locking logic is realized, and the reliability of the five-prevention locking logic is improved. By optimizing the safety indexes of the test system, the safety of the test system is reinforced, and by visualizing the safety data of the system, the safety state of the system is monitored and displayed in real time.

The application provides a large-diameter slurry shield safety stability multi-objective online optimization method and system based on GAT-LSTM-MOMPA, and belongs to the technical field of shield tunnel construction parameter multi-objective online optimization. The method comprises the following steps: obtaining monitoring data of shield construction parameters and preprocessing, and establishing an original sample set; adopting a method combining knowledge driving and correlation analysis, input parameters and output targets of a prediction model are determined; a space-time deep learning network framework GAT-LSTM is built, the mapping relationship between the input and the output is determined, and accurate prediction of the future time step optimization value is realized; through connection with MOMPA and TOPSIS, the historical value of the model is constantly updated, and accurate and effective real-time online optimization is achieved. The GAT-LSTM-MOMPA multi-objective online optimization model established by the application effectively improves the safety and stability of the shield machine operation.

The invention relates to an energy scheduling method for hydrogen production by combining a power grid with photovoltaic power, which comprises the following steps of: analyzing the technical problems of a wind-solar coupled hydrogen production system, establishing a dynamic mathematical model which conforms to each component subsystem of the system, and performing simulation analysis on the model characteristics of the subsystems; on the basis of a system integration model and a control strategy, system characteristic analysis and a simulation experiment of the control strategy are carried out on a built system in a grid-connected operation mode, so that the reliability of the designed system model and the control strategy is checked, the problem of system energy scheduling management in the grid-connected operation mode is solved, the characteristics of the system are well reflected, and the reliability of the system is improved. The method has a fast suppression effect on the power change of the hybrid system, the control effect is better than that of a traditional control strategy based on a state method, the stability and reliability of the system are improved, meanwhile, the power grid and hydrogen production load requirements are met, and power balance of the power grid and the wind-solar coupled hydrogen production system is achieved.

The application discloses a kind of multi-party privacy calculation method, device and system based on blockchain, and the method steps include: in task execution phase, task executor receives ciphertext proof sent by trusted third party, ciphertext proof is generated according to the data fingerprint generated by task executor and task publisher generated task ID, and chain is uploaded with task ID and ciphertext proof;In task result verification phase, task executor provides random sampling data to task publisher, to challenge randomly the data used in execution process, verify whether the execution data of task executor contains sampling data, in random challenge, the data fingerprint of the data participating in task by sampling in task publisher is sent to trusted third party with task ID, after obtaining ciphertext proof from blockchain, verify using challenge key to decrypt ciphertext proof.The application has the advantages of simple implementation method, high safety and reliability, verifiable correctness of task execution result, verifiable task work proof and the like.

The invention relates to the technical field of thermodynamic property testing, and particularly discloses a multipurpose thermodynamic property demonstration method and a body measuring instrument, the body measuring instrument comprises a steel shell and a heat insulation cavity sealing cover, the outer wall of the steel shell is provided with a parameter display screen and an input panel, and the steel shell is internally provided with a storage cavity; the portion, located on the outer wall of the containing cavity, of the interior of the steel shell is filled with a heat insulation filling material. The instrument designed by the invention adopts the principle of the Boyle's law, so that the defects of a method for measuring the volume of an object by a drainage method can be overcome, the volume of the object can be quickly and conveniently measured without using water, and the problem that the volume of an object which is difficult to be soaked in water cannot be measured by the drainage method is solved; therefore, the instrument can also be used as a demonstration instrument for verifying the correctness of the Boyle's law and exploring the relationship between the temperature, the pressure and the volume.

This invention discloses a ground-based experimental system and method for onboard autonomous maneuvering mission planning. It utilizes a ground-based telemetry, tracking, and command (TT&C) simulation module to manage TT&C resource constraints, satellite-ground status, and mission requirements based on the test scenario. An onboard computer equivalent module performs autonomous mission planning based on mission instructions generated by the ground-based TT&C simulation module, generating control commands or mission execution sequences. A spacecraft dynamics simulation module determines the satellite's orbit, attitude, and visibility based on the control commands. A space environment simulation module generates sensor simulation data based on the orbit and attitude. A navigation sensor simulation module initiates or terminates the mission based on control commands and generates measurement data based on the sensor simulation data, sending it to the onboard computer equivalent module. A payload execution simulation module simulates the payload's operation process based on the mission execution sequence. This allows for the simulation and comprehensive verification of the entire mission planning algorithm, from mission injection to execution feedback.

This invention provides a stable transmission method, system, and medium for high-concurrency industrial data streams, relating to the field of data transmission technology. The method includes: dynamically grouping industrial field devices to obtain multiple groups of edge autonomous devices, constructing multiple local self-organizing cell network topologies; forming a globally optimized topology based on inter-group logical coupling relationships; performing distributed collaborative verification to obtain multiple valid data streams; performing cross-cell network data association verification to obtain W verified compliant data packets; after time-series packet encoding, reassembling them into an asynchronous transmission channel sequence according to deterministic transmission delay requirements, transmitting them to a central computing platform, and then performing time-series packet decoding, restoration, and storage. This invention solves the technical problem in existing technologies where industrial data transmission typically employs a centralized architecture, which easily creates bottlenecks in the data transmission path, leading to increased data transmission latency or even data loss, thereby reducing the overall system's response speed and security.

The invention discloses a simulation verification test system for an inter-satellite link of a remote sensing satellite in a stationary orbit. The simulation verification test system comprises an other-satellite terminal simulator, a signal generating and sending module, an inter-satellite channel simulator and a signal receiving and processing module. The astronomical terminal simulator simulates and generates astronomical data; the signal generating and sending module is used for generating the other satellite data into a radio frequency other satellite signal; the inter-satellite channel simulator simulates the time-frequency characteristic of the radio frequency astronomical signal sent to a satellite, and generates the radio frequency astronomical signal with the time-frequency characteristic; the satellite receives and processes an uplink radio frequency other-satellite signal, and outputs the signal to the ground through an inter-satellite link downlink channel; and the ground signal receiving and processing module reanalyzes the radio frequency signal into a baseband signal, and the other-satellite terminal simulator carries out comparison verification on initially generated data and finally reprocessed data. According to the invention, multi-satellite multi-node signal simulation is realized, signal change states during inter-satellite relative motion are simulated, and closed-loop verification of inter-satellite link uplink and downlink data during satellite ground testing is realized.

The invention belongs to the technical field of computer vision, and particularly relates to a video stream dimension lossless deep learning feature enhancement algorithm, which comprises the following steps of: firstly, connecting a feature tensor of a video clip of an input model and an expanded and grouped 3D (three-dimensional) convolution with a 3D space-time attention enhancement module: firstly, carrying out average pooling and maximum pooling on a channel layer; performing non-linear processing on the pooled features through an activation function, and multiplying the pooled features with an input feature tensor; and the space layer and the time layer are subjected to related processing according to the operation. According to the algorithm, a space layer and a channel layer of 3D convolution are expanded, grouping is carried out on a time layer, and the sequence of time dimensions in 3D convolution is not changed, so that original semantic information of a video is not damaged, however, the relevance between front and back frames is enhanced, meanwhile, a 3D space attention mechanism is increased by combining an expanded and grouped 3D convolution structure, and therefore, the video quality is improved. And the understanding capability of the computer on environment information, detail features and semantic logic in the video information is further improved.

The invention discloses a data transmission state remote monitoring method and system, and the system comprises a data coding module, a plurality of independent transmission lines, a network sensor module, a data transmission fault diagnosis module, a check point module, a self-adaptive adjustment module and a log recording module. Redundant coding and serial number addition are carried out through a hash code and a time sequence code; establishing a plurality of independent transmission routes, and starting a standby route when the transmission routes have problems; the state of a transmission link is monitored in real time through a network sensor; carrying out data transmission fault diagnosis by using a partial binary tree twinborn support vector machine algorithm model; setting a check point in a transmission link, and verifying the correctness and integrity of the data by verifying the hash value and the sequence code; transmission parameters are adaptively adjusted and a standby transmission route is started according to a fault diagnosis result and a real-time data analysis result, so that the reliability and the accuracy of data transmission are improved.

The invention discloses a numerical calculation method and system for turbulent combustion difference diffusion of mixed multiple fuels, and belongs to the field of turbulent combustion numerical simulation. Comprising the following steps: establishing a small flame table based on a one-dimensional hedging flame equation, parameterizing a thermodynamic state space into a function of a mixed fraction and a reaction process variable through a mapping algorithm, deducing a difference diffusion term of a multi-fuel component, and establishing and solving a difference diffusion double-equation small flame model control equation suitable for the multi-fuel component under a large vortex simulation framework; discretizing the processing model and coupling a pressure-velocity field; in the process, the same method is used for comparing a small flame model simulation result which does not consider the difference diffusion effect so as to highlight the influence of the difference diffusion effect. According to the method, a difference diffusion two-equation model is expanded to a multi-fuel mixing working condition, dual-fuel turbulence diffusion flame of hydrogen-ammonia mixing combustion is taken as an example, the mass fraction and temperature distribution of main components are compared through a prior method and a posterior method, and the influence of the difference diffusion effect is quantitatively analyzed.

The invention requests to protect an FDFD-TL calculation method for single-conductor electromagnetic coupling under the action of a long-time interference source, and the method comprises the steps: firstly constructing an electromagnetic coupling model of a plane wave irradiation single conductor according to a transmission line equation in combination with an analytical solution of a single-conductor excitation field; then, a transmission line equation is solved by applying an FDFD method, and an FDFD-TL matrix equation suitable for single-wire electromagnetic coupling calculation is deduced; and finally, solving the FDFD-TL matrix equation by adopting a complex conjugate gradient method, and obtaining the current response of each point along the single conductor and the terminating load. The algorithm has the advantages that the problems of later time instability, much time consumption and the like caused by long-time interference source time domain simulation are avoided, and the current response along the single conductor is quickly obtained under the condition that direct modeling of the single conductor is not needed. The correctness and the high efficiency of the FDFD-TL algorithm are verified through numerical simulation of related calculation examples and comparison with a full-wave simulation result of a moment method.

The invention discloses a logic synthesis and verification method based on memristor auxiliary logic, and the method comprises the following steps: S1, logic synthesis: obtaining a gate-level netlist used for representing a Boolean function through employing an ABC, and converting a circuit topology connection relation in the gate-level netlist into a DAG; obtaining an execution sequence of each node in the DAG by adopting the DFS, and calculating a mapping cost value of each node; obtaining an execution sequence of root nodes in the circuit; for each root node, recursively collecting child nodes and obtaining a corresponding execution sequence, sequentially mapping nodes in the execution sequence to the memristor array, and generating a corresponding micro operator; and S2, verification: analyzing the generated micro operator, and carrying out logic equivalence and design rule verification on the micro operator. According to the method, the number of the memristor units is reduced, the increase of the calculation period is very limited, meanwhile, the correctness of the mapping result can be effectively verified, and the time consumed for verification is short.

The invention discloses a target data prediction method and system. According to the method, transverse federal model training and prediction are carried out through a homomorphic proxy re-encryption technology, target data of a model user are predicted, and privacy security of sensitive data such as a participant data set and model parameters is protected; through a safe two-party calculation protocol and a zero-knowledge proof protocol, the correctness of a prediction result is verified on the premise that a target model coefficient and feature data of a model user are not leaked. According to the method, the data privacy is protected, and meanwhile, the balance of system performance is realized.

The invention relates to an execution mechanism program verification method and device, electronic equipment and a storage medium, and the method comprises the steps: obtaining an execution program of an execution mechanism, placing the execution program in a storage area, obtaining a storage program, carrying out verification calculation on the storage program, obtaining a calculation verification value of the storage program, and carrying out verification calculation on the calculation verification value. Obtaining a comparison verification value of the calculation verification value, and determining a verification result of the storage program according to a comparison result of the calculation verification value and a first preset verification value and a comparison result of the comparison verification value and a second preset verification value; according to the method, the accuracy and the reliability of verification of the storage program are improved, on one hand, the integrity and the correctness of the storage program can be verified, and on the other hand, the integrity and the correctness of the calculated verification value can be verified.

The invention discloses a non-contact sleep eye movement detection method and system based on a biological radar, and the method comprises the steps: transmitting a radar echo signal through a transmitter, receiving the radar echo signal through a receiver, and selecting two paths of time sequences in a target distance in the received radar echo signal through a computer, carrying out autocorrelation processing on the two paths of time sequences to obtain an eye movement periodic characteristic enhanced time sequence, solving a phase in the eye movement periodic characteristic enhanced time sequence to obtain a path of real number time sequence, carrying out fast Fourier transform on the real number time sequence to obtain a power spectrum of the time sequence, and meanwhile, carrying out time spectrum analysis on the power spectrum of the time sequence. The electrooculogram measuring platform is used for synchronous detection, the non-contact detection result is compared with the synchronous detection result of the electrooculogram measuring platform, and the correctness and feasibility of the non-contact detection result are further verified on the basis of achieving non-contact detection of the eye movement of the human body.

The present invention discloses a multi-AGV real-time scheduling and conflict resolution method based on a graph structure, including: determining key points on a path according to map data and establishing a graph structure; establishing a global scheduling route; initializing the global scheduling route and an online scheduling route set; assigning the shortest path to an idle AGV car and adding it to the online scheduling route set; the AGV car travels according to the path P; taking the next position of the AGV car from the scheduling route, and performing conflict discrimination with the current position and the next position of other AGV car routes in the online scheduling route set one by one; performing conflict resolution; refreshing the online scheduling route set; repeating the steps until the scheduling is completed. The present invention can effectively resolve conflicts between multiple AGVs, and at the same time can also ensure the scheduling efficiency of multiple AGVs, ensuring that multiple AGVs are collision-free and operate efficiently, and can be fully applied to the real-time scheduling of multiple AGVs in unmanned ports, unmanned workshops or unmanned hatch logistics.

The invention relates to a high-impact teaching appliance with a novel-structure energy absorption device, the novel-structure high-impact teaching appliance is subjected to structural design and parameter design, and design of a nonlinear spring buffer structure in the high-impact teaching appliance is completed through establishment and solution of a motion differential equation of the high-impact teaching appliance. And UG software is used to realize modeling of the high-impact teaching appliance with a new structure. By performing kinematics analysis on the new-structure high-impact teaching appliance, the kinematics performance of the new-structure high-impact teaching appliance and the kinematics performance of a traditional high-impact teaching appliance are compared and analyzed, and the advantages of the new-structure high-impact teaching appliance in kinematics compared with the traditional high-impact teaching appliance are verified. Finite element strength analysis is carried out on the new-structure high-impact teaching appliance, and it is verified that the strength of the new-structure high-impact teaching appliance meets the requirement and is better than that of a traditional high-impact teaching appliance. The correctness of the design of the high-impact teaching appliance with the novel structure is verified from two aspects.

The present application relates to a kind of virtual marshalling system station marshalling and test method of departure function, equipment and medium, the method respectively tests virtual marshalling system in station has waist branch's track and station marshalling function without waist branch's track, and in two kinds of scenes, respectively test train FS mode departure and ATO mode departure function;While in the testing process, respectively from the visual interface of vehicle-mounted DMI, dispatching centralized control system CTC, wireless block center RBC maintenance station and interlocking maintenance station observe each step test result in the process of station marshalling. Compared with prior art, the present application has the scene of station marshalling in virtual marshalling system, greatly improves test efficiency and the like advantages.

The invention provides an electromagnetic compatibility test method for a spaceborne synthetic aperture radar antenna and a data transmission antenna, and provides a method for fixing a waveguide slot unit module on a scanning frame in order to solve the problems that time and labor are wasted and repetition exists when a complete synthetic aperture radar antenna state is constructed in a scheme stage. By moving the scanning frame and adjusting the relative position relation between the data transmission antenna and the scanning frame, the electromagnetic compatibility test of the spaceborne synthetic aperture radar antenna and the data transmission antenna is completed. According to the method, the electromagnetic compatibility condition of the synthetic aperture radar antenna and the data transmission antenna can be obtained without constructing a complete synthetic aperture radar antenna, so that the development cost in a scheme stage is reduced; the electromagnetic compatibility test between the spaceborne synthetic aperture radar antenna and the data transmission antenna can be quickly completed, the correctness of electromagnetic compatibility simulation analysis of the two antennas is verified, and data support is provided for optimizing product design.

The space-time constraint intelligent collaborative guidance method and system based on BP neural network belong to the field of collaborative guidance. It solves the existing intelligent collaborative attack target scenario based on estimating the remaining flight time, which is limited to stationary targets. For the scenario of collaborative attack on highly maneuverable targets, there is a low accuracy of estimating the remaining flight time, which leads to low accuracy of highly maneuverable targets. The present invention takes the ballistic data of a single missile under proportional guidance as a training set, trains the neural network, establishes a mapping from the missile state, the target maneuverability characteristics to the remaining flight time, and inverts the trained neural network in the collaborative guidance law design to form a learning method for the initial scenario and can intelligently predict the remaining flight time online, construct the space-time collaborative guidance law of each missile according to the predicted remaining flight time of each missile flying to the maneuverable target, and realize the collaborative attack task of multiple missiles on the maneuverable target. It is mainly used in the game process between missile groups and maneuverable targets.

This application provides a method, electronic device, and storage medium for testing the correctness of vectorization processing. The method includes: automatically enumerating multiple parameter combinations of test condition items (such as data type, broadcast rules, transpose state, etc.) related to the type of the operator to be tested; automatically generating a corresponding input tensor for each parameter combination; and performing vectorization processing and sequential loop processing respectively. By comparing the differences in the outputs of the two processing methods, the correctness of vectorization processing under all parameter combinations can be systematically verified. This overcomes the limitation of manually writing test cases that cannot fully cover multi-dimensional test conditions, and can efficiently and automatically discover boundary errors and numerical instability problems caused by different parameter combinations, thereby more accurately and reliably determining the correctness of vectorization processing.