810results about How to "Improve verification efficiency" patented technology

The invention relates to the technical field of financial data processing, in particular to a data processing method and system based on financial information bills. The data processing method comprises the following steps: acquiring multi-modal financial information bill data; and performing bill modal decomposition on the multi-modal financial information bill data to generate financial information bill modal decomposition data. Bond information price income prediction needs a large amount of financial data, such as market interest rate, bond expiration date, face interest rate and the like, the data are similar to the data form of bill modal decomposition, and a more accurate model can be obtained through standardization and feature extraction of multi-modal data. Therefore, valuable input is provided for bond price and income prediction. According to the invention, through multi-modal data fusion, counterfeited feature comparison modeling, abnormal bill clustering analysis and dynamic risk assessment, the security and accuracy of financial bill identification are improved.

The invention discloses a cache processing method of heterogeneous equipment, a heterogeneous system, a product, a device and a medium, and relates to the technical field of data storage. And according to the target virtual address access times corresponding to each device in the heterogeneous system, realizing a global data caching mechanism. And determining a file page corresponding to the target heterogeneous device based on the target virtual address access frequency, so that the file system layer has the capability of managing the memory cache of the heterogeneous device. And the predicted file page of the target heterogeneous device is verified, and the file page is moved under the condition that the verification is passed, so that the distribution accuracy of the target heterogeneous device is improved. The file page of the target heterogeneous device is mapped and moved to the memory of the host side, the target heterogeneous device does not need to be accessed, the file page stored in the memory of the processor is directly accessed, the increased access rate of the processor accessing the target heterogeneous device is avoided, the delay of accessing the memory of the target heterogeneous device is reduced, and the access efficiency is improved. And the data transmission rate and the system efficiency of the heterogeneous system are improved.

The invention discloses a vehicle work order verification method and device, and relates to the technical field of computers. A specific embodiment of the method comprises the steps of obtaining a work order picture detection result and a work order text extraction result corresponding to a to-be-verified vehicle work order; carrying out alias conversion processing on the work order text extraction result based on a pre-configured alias library to obtain a converted work order text extraction result; performing data consistency verification based on the work order picture detection result and the converted work order text extraction result to obtain an image-text data verification result; and extracting image features and text features from the image-text data verification result, and determining a reexamination verification result of the to-be-verified vehicle work order based on the image features and the text features. According to the embodiment of the invention, work order verification can be automatically carried out, the verification cost is reduced, and the verification efficiency and the accuracy of the verification result are improved.

The invention relates to a data verification method and device, computer equipment, a computer readable storage medium and a computer program product. The method comprises the steps of obtaining to-be-verified data, and determining a verification priority corresponding to the to-be-verified data based on a data type of the to-be-verified data; dividing the to-be-verified data into a plurality of to-be-verified data sets according to the verification priority; determining a target verification mechanism corresponding to each to-be-verified data set based on the verification priority corresponding to each to-be-verified data set, and determining a target verification strategy corresponding to each to-be-verified data set based on a corresponding relationship between the verification mechanism and a preset verification strategy; and according to the target verification mechanism and the target verification strategy corresponding to each to-be-verified data set, performing data consistency verification on each to-be-verified data to obtain a data verification result. By adopting the method, the efficiency of data verification can be improved.

The invention provides a medical knowledge base verification method and system, a medium and equipment, and the method comprises the steps: obtaining the feedback of a medical professional and a business rule provided by an expert, carrying out the verification and cleaning of structural data corresponding to diagnosis and treatment case data based on the feedback and the business rule, and generating the verified structural data; according to the verified structured data, identifying and extracting a plurality of first entities, determining a logical relationship among the plurality of first entities, and constructing a diagnosis and treatment case knowledge base; and verifying the diagnosis and treatment case knowledge base through a machine learning algorithm to generate a verified diagnosis and treatment case knowledge base. According to the invention, the efficiency of medical knowledge base verification is obviously improved; a large amount of data can be processed more quickly through automatic verification, and the time and labor cost required by manual verification are reduced; and in combination with a machine learning algorithm, the system can identify potential logic errors, inconsistency and abnormal data, so that the verification accuracy is improved, and error omission caused by human negligence is reduced.

The invention discloses a method for verifying a digital circuit module in an integrated circuit, which belongs to the technical field of circuit testing and comprises the following specific steps: I, analyzing functional requirements and performance indexes of the circuit module and constructing a virtual model; iI, identifying abnormity and boundary conditions in the circuit module and generating a test case; iII, performing function verification on the circuit module and evaluating module performance; iV, optimizing the current circuit configuration according to a performance evaluation result; v, carrying out randomness verification on the circuit to detect potential vulnerability and design defects; according to the method, the circuit performance can be remarkably improved, the workload of manual parameter adjustment is reduced, the design complexity and verification difficulty are reduced, the performance of a circuit module in various scenes is improved, an input area which may cause problems can be focused on under limited test resources, the comprehensiveness and verification efficiency of the verification process are improved, and the verification efficiency is improved. And the stability evaluation of the circuit is more accurate, and the verification can be continuously improved.

The embodiment of the invention provides a verification method and device based on a genetic algorithm, and the method comprises the steps: randomly selecting a plurality of groups of initial key parameters from a preset key parameter value range, and calculating the fitness of each group of initial key parameters in a processor verification process, processing the plurality of groups of initial key parameters according to the fitness, a preset selection probability, a preset crossover probability and a preset mutation probability to finally obtain a plurality of groups of target key parameters, taking the plurality of groups of target key parameters as the plurality of groups of initial key parameters, executing the steps again until a preset termination condition is met, and stopping iteration to obtain a plurality of target key parameters; and calculating and outputting a processor verification coverage rate according to the plurality of groups of target key parameters and the key parameter value range. The target key parameters are obtained based on the genetic algorithm, local optimum is avoided, the parameters are continuously optimized in the iteration process, the high processor verification coverage rate can be obtained, and the processor verification efficiency and quality are improved.

The invention relates to the technical field of chips, in particular to a chip verification system based on a code service layer, which comprises the code service layer, a software test library, a driving module, a conversion interface and a to-be-tested chip design which are connected in sequence, the code service layer and the software test library are realized based on software codes, and the to-be-tested chip design is realized based on hardware codes. The conversion interface is realized based on software codes and hardware codes; the software test library comprises N software test library files {F1, F2,..., Fn,..., FN}, Fn is the nth software test library file, and the value range of n is 1-N; the code service layer comprises a global function module, a command packet creating and distributing module, a queue awakening module, a multi-process scheduling module and an operation result checking module, and each module of the code service layer is bound with at least one Fn. According to the method and the device, the generation efficiency of the software test case is improved, so that the chip verification efficiency is improved.

The invention relates to a data consistency verification method and device, computer equipment, a storage medium and a computer program product. The method comprises the following steps: acquiring source data and target data, and determining verification demand information; determining to-be-verified data according to the verification demand information, determining a verification item according to the data type of each to-be-verified data, and determining a traversal sequence according to a target data directory where each to-be-verified data is located; traversing the target data directories according to the traversing sequence, determining corresponding to-be-compared data of the to-be-verified data in the source data in the target data directories, and performing comparison processing on the verification values of the verification items corresponding to the to-be-verified data and the verification values of the verification items corresponding to the to-be-compared data to obtain a consistency verification result of the target data directories; and determining a consistency verification result of the target data according to the consistency verification result of each target data directory. By adopting the method, the data verification efficiency can be improved.

The invention provides a failure probability estimation method and device for an automatic driving system, and relates to the technical field of automatic driving, and the method comprises the steps: carrying out the sampling of a uniform distribution space, obtaining an initial sampling result, and constructing a plurality of initial testing scenes according to the initial sampling result; respectively performing simulation testing on the target automatic driving system in the plurality of initial testing scenes to obtain initial simulation testing results, and constructing an evaluation index prediction model according to the initial simulation testing results and the initial sampling results; determining a solving target for obtaining a reference failure sample based on the evaluation index prediction model, and solving the solving target by using an optimization algorithm to obtain a reference failure sample set; and sampling in the proposal distribution space by using the reference failure sample set, and determining a final failure probability according to a final sampling result. By adopting the method and the device for estimating the failure probability of the automatic driving system, the problems of low verification efficiency and inaccurate failure probability estimation of the automatic driving system in the prior art are solved.

The invention relates to the technical field of big data, and discloses a big-data-based financial account closing method, device, equipment and medium, and the method comprises the steps: collecting various financial related data from a financial system, a business system and an external data source in an enterprise, and carrying out the cleaning and unification processing of the various financial related data, obtaining standard financial data; for the standard financial data, invoice repeated reimbursement checking, tax risk checking, expense overbudget checking and supplier risk checking are carried out in sequence, and if at least one checking result is abnormal, a first-level early warning signal is prompted; and if all the checking results are not abnormal, key feature extraction is carried out on the standard financial data, the key feature extraction is input into a financial checking model, the checking result of the standard financial data is output, and if the checking result is not compliant, a second-level early warning signal is prompted. According to the invention, the problem of low efficiency of account closing review can be solved.

The invention relates to the technical field of electrical equipment verification, and discloses an intelligent high-voltage load equipment verification system, which comprises a main control unit, a high-voltage load simulation unit, a data acquisition unit, a data processing unit, a power supply unit, a power supply unit, a power supply unit and a power supply unit, and is characterized in that the main control unit is used for coordinated operation and data comprehensive analysis of all parts of the system; the parameter acquisition unit is used for acquiring electrical parameters and non-electrical parameters in operation of high-voltage load equipment in real time, the data analysis unit is used for deeply analyzing acquired data, evaluating equipment performance and predicting potential faults, and the man-machine interaction unit is convenient for a user to perform parameter setting, operation control and check a verification result and an analysis report. Various complex working conditions can be accurately generated through the high-voltage load simulation unit, different load characteristics and a wide parameter range are covered, the complex working conditions are truly restored through dynamic load simulation, self-adaptive adjustment and a multifunctional load combination module, the complex working conditions are highly matched with actual working loads, and verification accuracy is greatly improved.

The invention discloses an Internet of Things cross-domain payment method with a privacy protection function. The method comprises the steps of initialization, storage, uploading, verification, cross-chain interaction, settlement and timeout. According to the method, the validity of the content can be verified under the condition of not leaking any content by adopting the zero-knowledge proof technology, the specific position of group members, namely each site, can be hidden by adopting the group signature technology, the position information of a user is hidden, and the position privacy of the user is protected; the anonymous block chain technology hides the transfer relationship between the real user and the corresponding virtual user, so that the user identity privacy is effectively protected; according to the cross-chain channel technology, information transfer between sites on different block chains is realized, the cross-chain interaction efficiency is improved, and the cross-domain payment requirements between different block chains in different industries are met; the intelligent contract, the zero-knowledge certification technology and the group signature technology realize privacy protection and realize distributed automatic verification of information with relatively low chain cost, so that verification efficiency is improved, and computing resources and cost are saved.

The embodiment of the invention provides a verification method, computing equipment and a verification system. The verification method comprises the following steps: acquiring operation information of a to-be-verified processing unit; carrying out convergence anomaly analysis on the operation information, and determining a convergence anomaly operator in the to-be-verified processing unit; based on the operator type of the convergence anomaly operator, a target verification tool corresponding to the operator type is called to verify the convergence anomaly operator, a verification result is obtained, the target verification tool is constructed based on a convergence constraint corresponding to the operator type, and the convergence constraint is used for constraining the complexity of verifying the convergence anomaly operator. The verification quality is effectively improved, and the convergence speed of the verification process can be accelerated by optimizing the verification complexity of the convergence anomaly operator, so that the verification period is shortened, and the verification efficiency is improved. In addition, the innovation scheme provided by the embodiment of the invention can be used for the RISC-V processor.

The embodiment of the invention relates to the technical field of communication, and discloses an analysis message class generation method, a network chip verification method and electronic equipment, and the analysis message class generation method comprises the steps: analyzing message information corresponding to a plurality of message protocols in a message protocol file through a script, and according to the message information corresponding to the message protocols, verifying a network chip according to the message information corresponding to the message protocols; according to the network chip verification method and the network chip verification device, the analysis message classes can be quickly generated, so that the network chip verification efficiency is improved.

The invention discloses a concrete test block anti-counterfeiting system and an anti-counterfeiting method, and belongs to the technical field of concrete detection. Comprising an anti-counterfeiting designation card, and a sample preparation end and a laboratory end which communicate with a server and identify the anti-counterfeiting designation card, the anti-counterfeiting designation card comprises a substrate, an identification code and a direction mark which are arranged on the front surface of the substrate, and a bending pin for fixing the substrate, and the laboratory end carries out anti-counterfeiting verification by identifying the installation direction, angle and distance of the anti-counterfeiting designation card. According to the invention, the anti-counterfeiting security is obviously improved, the reliability is enhanced, the verification efficiency is improved, and the adaptability to the environment is improved; meanwhile, a laboratory and a supervision platform are accessed to realize connection and integration with an existing system; besides, the system is set according to the national building material management standard, is compatible with other quality control systems, is convenient to integrate into the existing management system, promotes the industrial standardization process, and reduces the implementation cost.

The invention relates to the technical field of power systems, in particular to an intelligent substation relay protection secondary circuit verification device. A time synchronization signal in the intelligent substation is received through the time synchronization time synchronization module, after a local clock is calibrated, synchronous connection between the verification device and external time is disconnected, the time of the device is maintained to be stable through the time synchronization high-precision time keeping module, and when a time synchronization signal interface is lacked, the time synchronization signal is provided through the time synchronization time service module; the switching value acquisition and recording module records signal changes of an intelligent terminal device and a primary device mechanism action contact, the detection devices establish data connection with the relay protection tester through the tester communication interaction module and perform communication interaction, and a communication network of the multiple detection devices and the relay protection tester is constructed. By simplifying the verification process and improving the test reliability, a more efficient solution is provided for the power industry, and safe operation and management of the intelligent substation are promoted.

The invention relates to the technical field of communication security, discloses a cross-domain authentication method based on zero-knowledge proof, and aims to improve security and privacy protection in a cross-domain authentication process. According to the method, the advanced zero-knowledge certification technology is used, the user is allowed to certify the certification qualification of the user to the certification server or the service provider under the condition that no personal sensitive information is leaked, the Groth16 zero-knowledge certification protocol is adopted, efficient, safe and anonymous cross-domain certification is achieved, and the method is suitable for application scenes needing high privacy protection and safety.

The invention relates to the field of Bluetooth audio, in particular to a Bluetooth broadcast audio data sending and receiving method and device, and the method comprises the steps: building a BIS connection with a Bluetooth audio device; generating a random number of which the length is a preset first length; inputting an encryption party key and the random number into a preset Hash algorithm to generate a Hash value; according to the hash value and the random number, a random broadcast code is generated, and the length of the random broadcast code is a preset second length; generating and sending broadcast data according to the random broadcast code; receiving confirmation information fed back by the Bluetooth audio equipment according to the broadcast data; and according to the confirmation information, stopping sending the broadcast data, and sending Bluetooth broadcast audio data through the BIS connection. According to the invention, the key verification efficiency is improved, the user experience is improved, and the user interface design of the product is more visual.

The invention discloses a nuclear power station DCS fault simulation method, device, controller and system and a storage medium, the method comprises the following steps: determining at least one fault simulation task according to a historical fault list, the fault simulation task comprising fault deduction demand information, fault processing information and monitoring indexes; starting a nuclear power plant DCS simulation environment according to the fault deduction demand information so as to start a fault deduction simulation task in the nuclear power plant DCS simulation environment, and obtaining deduction data; meanwhile, according to the monitoring indexes, carrying out real-time monitoring on the fault simulation task which is started and deduced to obtain monitoring data corresponding to each monitoring index; and determining parameter change information according to the monitoring data and the fault processing information, and generating a task deduction report corresponding to the fault simulation task according to the parameter change information and the deduction data. According to the invention, the safety and efficiency of fault analogue simulation and fault processing deduction are improved, and the simulation precision, flexibility and reliability are also improved.

The invention relates to an interrupt monitoring module verification system and method based on UVM verification methodology, an advanced verification platform integrating error injection, collection and check of an interrupt monitoring module is built through a SystemVerilog language, and the system comprises a basic test component, an instantiated peripheral, a Cortex-M microcontroller, a storage unit and the interrupt monitoring module to be verified. A real interrupt service program processing process is simulated through interaction of the peripheral and the Cortex-M microcontroller, so that the verification process of the interrupt monitoring module is more in line with a real use scene, meanwhile, the accuracy and completeness of verification of the interrupt monitoring module are guaranteed through combination of multiple scenes such as high randomness of a test case and error injection, and the verification efficiency of the interrupt monitoring module is improved. The synchronization of the interrupt monitoring module to be tested and the verification environment is realized with low configuration cost, and the verification efficiency of the interrupt monitoring module is greatly improved.

The invention relates to an automatic checking method and device for a flow chart, computer equipment and a storage medium. The automatic checking method comprises the steps that global information of the flow chart in a flow engine is recognized and checked; identifying each node path of the flow chart, and starting from a head node of the flow chart, carrying out reachability analysis verification on all nodes of the flow chart based on each node path; according to each node path, carrying out logical verification on a dependency relationship of front and back configurations of each node of the flow chart; and performing logical verification on the node content of each node of the flow chart. According to the method, the flow chart in the flow engine can be automatically checked, manual rechecking and checking are not needed, and the checking accuracy and efficiency of the flow chart can be improved.

The invention discloses a data consistency verification method and device, equipment and a medium. Original data and migration data in the source database and the target database are divided into unit original data and unit migration data through the same division rule; wherein the source database represents a data source of completed data migration, and the target database represents a data migration target of the data migration; calculating k first mapping values of each unit original data through a Bloom filter; based on each first mapping value, assigning 1 to a corresponding position of a binary array coordinate of the Bloom filter; and calculating k second mapping values of each unit migration data through the Bloom filter, determining whether the value of each second mapping value at the corresponding position of the binary array coordinate of the Bloom filter is 1, and if not, determining that the unit migration data is inconsistent data. According to the technical scheme, the verification efficiency of the data consistency after data migration can be improved.

The invention relates to a system and a method for verifying a current receiving module with an SPC in a chip, and the system comprises the steps: constructing a new verification system composed of an SPC controller, a current transmitting assembly, a to-be-tested design and two buf1 assemblies, and controlling a signal path between the SPC controller and a microcontroller, and a signal path between the current transmitting assembly and the microcontroller through the two buf1 assemblies, thereby achieving the verification of the current receiving module with the SPC in the chip. In the EDA verification stage, the current receiving module with the SPC function can be verified, so that the verification of the current receiving module with the SPC function does not need to be realized at a hardware level. Meanwhile, the verification technology can be well compatible with other existing whole chip verification platforms and a traditional tent receiving module verification platform, has good flexibility and reusability, and can greatly improve the verification efficiency.

The invention discloses a full-automatic checking device and method for a low-temperature gas cylinder safety valve, and belongs to the technical field of safety valve checking. The full-automatic checking device comprises a checking table, a to-be-checked feeding area, a checking area and a checked discharging area are arranged on the table top of the checking table, a gas path system and a control system are arranged in the checking table, and the to-be-checked feeding area is provided with a feeding assembly; the verification area is provided with a mechanical arm and a plurality of clamping testing mechanisms, and the detected discharging area is provided with an unqualified product box and a qualified product box. Automatic feeding and discharging in the safety valve checking process are achieved through the mechanical arm and the control system, before checking, the mechanical arm grabs the safety valve from the material disc and places the safety valve on the clamping testing mechanism, after checking is finished, the mechanical arm takes down the safety valve and automatically sorts the safety valve into a qualified product box or an unqualified product box, manual participation is not needed, manual labor is reduced, and the working efficiency is improved. The utilization rate of verification personnel is improved, the safety risk of the verification personnel is effectively avoided, the six clamping test mechanisms can work at the same time, the average verification time of a single valve is greatly shortened, and the verification efficiency is improved.

The invention provides a function verification method and device for hardware design, electronic equipment, a computer readable storage medium and a computer program product, which can be applied to the field of hardware verification, and the method comprises the following steps: building a test platform corresponding to the to-be-verified hardware design by using a meta-model; continuously sending the current excitation data packets to a test platform through a client socket; wherein the current excitation data packet is generated by performing behavior selection based on coverage rate data fed back by an emulator through an intelligent agent in an RL environment; the excitation data packet received by the test platform is utilized to continuously drive the hardware design to be tested; continuously collecting coverage rate data after the to-be-tested hardware is designed and driven by adopting a simulator, and continuously feeding back the current coverage rate data to the RL environment; and when the current coverage rate data meets the verification target condition, stopping driving the to-be-verified hardware design, and completing the function verification target. Therefore, the verification efficiency is improved, and the hardware design period is shortened.

The invention relates to a method for supporting secure transmission and verification of large data files in a cloud environment, and belongs to the technical field of file transmission. The method comprises the steps of a preparation stage, file fragmentation encryption, confusion processing, file uploading and downloading, file decryption and combination and the like. The method is characterized in that a file is divided into a plurality of file fragments, each fragment is symmetrically encrypted to generate file fragment metadata, then confusion fragments and encrypted file fragments are uploaded to a cloud server at the same time, and due to the fact that the encrypted file fragments lose sequence information, the sequence information is encrypted and then stored, and the file fragments are stored in the cloud server. The user needs to access and read; and hiding the sequence information of the file fragments in the graph, obtaining the sequence information by using an algorithm, and finally carrying out file merging, so that the secure transmission of the file is completed. According to the method, under the condition of distributed deployment, the transmission efficiency can be improved, the file transmission safety can be improved, and safe transmission of file data is achieved.

The invention discloses a migration data verification method and device, equipment and a storage medium, and relates to the technical field of data processing, and the migration data verification method comprises the steps: obtaining a data verification range, a data type and a data association condition corresponding to original data and migration data; determining a migration data verification rule between the original data and the migration data based on the data association condition; and on the basis of the data type and the migration data verification rule, carrying out migration data verification on the original data and the migration data in the data verification range. According to the method, the personalized data verification requirement in the data migration process is met by constructing the data verification rule and the verification method with the flexible data verification range, and then the consistency and integrity of the data in the data migration process are verified, so that the accuracy, flexibility and verification efficiency of data verification in the data migration process are effectively improved; and the user satisfaction is improved.

The invention provides a layout and logic diagram comparison LVS verification method, which is applied to a three-dimensional integrated circuit (3D IC) comprising at least two bare chip stacked layer by layer and at least one through silicon via (TSV), and comprises the following steps: acquiring a first netlist file; obtaining a first layout file, wherein the first layout file comprises a circuit layout of the three-dimensional integrated circuit; according to the first layout file, constructing a simplified model of the three-dimensional integrated circuit, the simplified model comprising a connection relationship and a stack structure of the at least two bare chips and the at least one TSV in a circuit layout; and comparing the first netlist file with the simplified model to obtain LVS verification information of the three-dimensional integrated circuit. According to the method, the 3D IC is simplified into a plurality of independent models, and then the models are converted into LVS verification of the 2D stacked model, so that the operation efficiency of the LVS verification is optimized.

The invention discloses an error detection device for electric energy meter metering, and relates to the technical field of electric energy meter calibration, the error detection device comprises a calibration instrument body, a wire and a connector, the calibration instrument body is provided with interfaces at equal intervals, the wire is connected with the connector, and the connector is matched with the interfaces. The calibration instrument further comprises a centralized access mechanism, an opening and closing regulation and control mechanism and a locking control mechanism, the centralized access mechanism, the opening and closing regulation and control mechanism and the locking control mechanism are all arranged on the calibration instrument body, through the arrangement of the centralized access mechanism, the movable sleeve can be pushed in a centralized mode through the elastic reset effect of an elastic telescopic column on a push plate, and the calibration instrument is convenient to operate. The connector is inserted into the interface, so that rapid and automatic insertion of the connector and the interface is realized, the connector is accessed in a centralized manner and managed in a unified manner, human intervention is reduced, a worker does not need to independently operate an electric wire and the connector one by one, errors caused by misoperation or negligence are reduced, and the accuracy of metering error detection and verification data of the electric energy meter is improved.