38results about How to "Efficient verification" patented technology

The invention provides a power distribution network symbiotic simulation system and method based on digital twinning. The system comprises a power distribution network digital twinning simulation platform, a cloud edge hierarchical deployment collaborative architecture and a power distribution network terminal. The digital twinborn simulation platform for the power distribution network comprises a data layer, a model layer, a service layer and an application layer which are covered in sequence by taking a cloud platform as a bottom, and the cloud edge hierarchical deployment collaborative architecture performs hierarchical deployment according to different service functions of the power distribution network. According to the invention, through the constructed full-attribute isomorphic power distribution network digital twinborn simulation platform and the cloud edge hierarchical deployment collaborative architecture, the fusion demand of multi-scene multi-service flow is fully considered, through the symbiotic simulation technology, dynamic feedback and collaboration between the simulation system and a real system are realized, and the highly integrated and collaborative simulation system has the advantages of high simulation efficiency and high reliability. Various changes in the power distribution network can be quickly responded, and a solid guarantee is provided for safe and efficient operation of the power distribution network.

The invention provides a distributed data path combination equivalence verification method and a distributed server, and the method comprises the steps: carrying out the rewriting of two to-be-verified data path circuits, and obtaining two circuit description files with similar circuit structures; constructing a Miter circuit according to the circuit description file; random logic simulation is carried out on the Miter circuit to obtain internal potential equivalent nodes, and the internal potential equivalent nodes are stored in an equivalent node queue; selecting potential equivalent node pairs from the equivalent node queue, extracting fan-in cones of the potential equivalent node pairs, and constructing a sub miter circuit according to two groups of fan-in cones; selecting a verification mode according to the density degree of the XOR block in the sub-miter circuit, and verifying the sub-miter circuit; if verification succeeds, the corresponding potential equivalent nodes and the corresponding fan-in cones are combined, otherwise, other potential equivalent node pairs continue to be verified until verification of all potential equivalent nodes is completed; and the SAT solver is used for executing final equivalence verification and returning a verification result, so that the equivalence verification of the data path combination is efficiently realized.

The invention relates to the technical field of port operation simulation software systems, and particularly discloses a quay crane operation process simulation system and method for port intelligent driving. The quay crane operation process simulation system comprises a data interaction module, a quay crane motion simulation module, a service simulation module, a simulation control module, an operation backtracking module, an analysis and optimization module and a simulation display module. The method has the beneficial effects that a complex port operation process is completely mapped to a digital space through fine dynamic modeling and coding, a port manager can visually observe and analyze the whole operation process in a virtual environment through full-process digitization, and potential problems can be found and solved in time; based on the constructed 3D simulation environment, natural environment data and random events are combined to carry out work process simulation, meanwhile, simulation data are fed back to a simulation system to carry out closed-loop control, simulation errors are reduced, and the work process simulation authenticity is improved.

The invention provides a decentralized cross-chain user identity authentication method based on a password accumulator. The method comprises the steps that a representative node registers a cross-chain system identity for a user; the plurality of representative nodes jointly run a threshold signature protocol to generate an access voucher for the user; the relay chain verifies signature information and member certification information in the user cross-chain request based on the on-chain identity of the user and an accumulator, and if verification is passed, cross-chain transaction is allowed; and the representative node verifies the signature information and the member proof information in the user identity revocation request, if the verification is passed, the representative node and other representative nodes operate a threshold signature protocol together, and the proxy chain management node issues revocation elements and updates the accumulator. By utilizing the scheme of the invention, the user identity can be quickly verified in a decentralized cross-chain transaction scene, and credible access and identity revocation of the user are supported.

The invention discloses a digital-real fusion test digital scene rapid generation method, and belongs to the field of high-end equipment digital test verification, and the method comprises the steps: setting a test overall target, and functions and performance indexes of a to-be-tested object; according to characteristics of a test target and a to-be-tested object, in combination with an object test process, various kinds of basic unit scene data needed by a digital test scene in a digital-real fusion test are prepared; when the data is not enough to meet the requirement of high-precision scene model generation, data enhancement operation needs to be carried out; constructing a unit scene generation model based on deep learning by using the data set and the two-dimensional diffusion model; on the basis of the generated unit scene, constructing a test scene multi-element database and constructing a test rule constraint set; and a comprehensive scene test model is rapidly generated by using deep reinforcement learning, and the complexity and coverage of the generated comprehensive test scene are evaluated and verified, so that the requirement for the overall test target is met.

The invention relates to an AHB interface general verification system and method in chip design, the AHB interface general verification system is constructed by designing a verification means of a code integration AHB assertion check module, an AHB is connected with each component, the integrated AHB assertion check module automatically checks whether each AHB interface function meets an AHB protocol requirement or not after a CPU component starts to work, and the AHB assertion check module is used for checking whether each AHB interface function meets the AHB protocol requirement or not. And when the function of any AHB interface is detected not to meet the AHB protocol requirement, a detection error is generated, so that the problems in the AHB bus design can be found in time, accurately and conveniently. Compared with the prior art, the method has the advantages of being low in threshold, high in adaptability, convenient to position and the like, can be applied to the AHB interface verification environment in the existing chip design in a barrier-free mode, achieves efficient verification of the AHB interface in the universal chip design, and improves the verification efficiency even under the condition that verification personnel are lack of the capacity of building a complex verification environment. And effective AHB bus function verification can also be carried out.

The invention relates to the technical field of computers, and discloses a data persistence method and device, equipment, a medium and a program product, and the method comprises the steps: defining model information corresponding to a single business demand for each business demand; determining a model calibrator corresponding to the single service demand according to the model information corresponding to the single service demand; storing the model verifier and the model information corresponding to each business demand in a target database and a cache according to a corresponding relationship; obtaining a target model calibrator from the cache according to the to-be-persisted data; verifying the to-be-persisted data through the target model verifier; and when the verification is passed, storing the to-be-persisted data in the target database according to the target model information in the metadata warehouse. According to the method, the corresponding model information is defined for each business requirement, different business scenes can be flexibly adapted, the model verifier and the model information are stored in the cache, and the data retrieval and verification speed and the data persistence efficiency can be improved.

The invention discloses an NoC verification method, device and equipment supporting RTL dynamic adaptation, and relates to the technical field of chips, the method comprises the steps that a new RTL version, an IP-XACT file, an NoC design document and a Database file are published together, the IP-XACT file and the NoC design document are analyzed through a pre-created automation tool, AMBA VIP is automatically connected and configured, and an NoC verification platform is updated; analyzing the Database file through the automatic tool, and carrying out content consistency detection on the IP-XACT file, the NoC design document and the Database file; wherein the automation tool comprises a component used for generating the NoC verification platform and a component used for detecting content consistency. According to the invention, efficient verification of complex scenes such as multi-NoC end-to-end communication and cross-NoC access in an SoC verification environment can be realized.

The present application provides an automated connection verification method, device, terminal, medium and program product for a chip interconnection manager, the method comprising: obtaining a design form of a chip design to be verified; performing macro definition processing on the design form to generate a macro definition file for the connection relationship between the modules connected through the interconnection manager inside the chip design to be verified; constructing a test case file according to the obtained target chip design verification requirements and the macro definition file; writing the HEX file obtained by compiling the macro definition file and the test case file into the chip design to be verified and running it, so that the verification platform can perform automated connection verification based on the interconnection manager on the chip design to be verified. The present application can automatically generate a corresponding macro definition file as the version of the chip design is updated, so as to automatically connect the modules inside the chip design during the verification process, making the verification process simple, efficient and intuitive.

The present invention provides a test method for efficiently verifying solid-state storage garbage collection, which is used to further improve the efficiency and verification range of solid-state storage data verification. Before performing data verification, based on the physical capacity, logical capacity and user data amount to be verified of the solid-state storage, the LBA sample set that needs to perform data verification is calculated. After all physical blocks perform at least one erase operation, all LBA associated data in the sample set are verified to ensure that data verification is completed for all blocks involved in data migration. By studying the principle of garbage collection and cleverly designing test loads and steps, the present invention greatly improves the efficiency and quality of verifying garbage collection and realizes efficient verification.

This invention discloses a method and system for verifying the integrity of approval data in a trusted data space, relating to the field of data security technology. The method includes: assessing and determining an approval risk coefficient and an approval urgency index based on the data attribute information and approval-related characteristics of the data to be approved; calculating and obtaining an appropriate approval time limit based on the approval risk coefficient and approval urgency index; using a time limit shorter than the appropriate approval time limit as an efficiency constraint to optimize the initial approval strategy, selecting the combination of approval nodes and the combination of approval node verification depths corresponding to the minimum predicted approval error probability as the appropriate approval scheme; and performing integrity verification on the data to be approved within the trusted data space according to the appropriate approval scheme. This invention effectively improves the integrity, reliability, and processing efficiency of the entire approval data chain in a trusted data space.

The invention discloses a distributed digital identity verification method and device and electronic equipment, and relates to the technical field of blockchains, and the verification method comprises the steps: controlling a registration module of a preset proxy server side to receive a proxy request, determining a preset tag based on an encrypted digital signature sent by each preset certificate issuing server side, and carrying out the verification of the preset certificate issuing server side based on the preset tag; and generating a digital identity certificate, and controlling a verification module of the preset verification server to verify the digital identity certificate based on the public certificate data on each preset certificate issuing server when it is detected that the digital identity certificate is used on the client. According to the invention, the technical problem of low efficiency of verifying a plurality of digital identities at the same time in the prior art is solved.

The invention belongs to the field of distributed control systems, and discloses a trusted distributed control system control logic verification method and a related device, and the method comprises the steps: generating a retrieval condition according to a to-be-verified control logic; retrieving a classic application case library of the expert knowledge base according to the retrieval conditions, and when classic application cases of which the similarity and the retrieval conditions meet preset requirements exist in the classic application case library, taking the classic application cases meeting the preset requirements as classic application cases to be compared; obtaining a control logic file of the classic application case to be compared and comparing the control logic file with the control logic to be verified to obtain a verification result of the control logic to be verified; otherwise, retrieving an expert rule base of the expert knowledge base according to the retrieval conditions to obtain expert rules to be compared; and comparing the expert rule to be compared with the control logic to be verified to obtain a verification result of the control logic to be verified. Accurate verification of the to-be-verified control logic is realized, and the working efficiency of configuration personnel and the correctness of the control logic can be improved.

The present disclosure provides a switch control method, a receiving terminal control method, a self-generating switch, and a receiving terminal, the switch control method comprising: the processor generating and sending a corresponding current control message to a receiving terminal by the wireless communication module, such that the receiving terminal verifies whether a relationship between a current verification identifier in the current control message and a stored historical verification identifier matches a pre-set transformation rule of the current verification identifier, and executing a control event corresponding to current manipulation information when the relationship matches the transformation rule; in one depression manipulation action and one rebound manipulation action which occur successively, for at least one of the manipulation actions, the current verification identifier being also read from the memory, and the current verification identifier being transformed and updated from a first numerical value to a second numerical value with a preset transformation rule, the first numerical value being different from the second numerical value.

The present invention discloses a data twin-driven production equipment layout control system and method, which relates to the technical field related to control systems, including: identifying the fault probability of multiple production line nodes and generating multiple node fault probabilities. Performing node importance analysis and establishing multiple node importance indicators. Determine the first node, obtain real-time equipment layout information, extract the corresponding first local equipment layout information, and determine whether a backup equipment switching mechanism is included. If not, perform mobility backup switching analysis on the first node and establish a first equipment layout optimization plan. Input the first equipment layout optimization plan into the twin production line for switching simulation and generate a switching reliability index; if the switching reliability index is less than the preset index, use the first equipment layout optimization plan to control the equipment layout. It solves the technical problem that the production equipment layout control method in the prior art is difficult to promptly and effectively realize the rapid switching and access of backup equipment after a fault occurs.

The application provides a webpage information verification method and related device, which can be applied to a robot process automation (RPA) platform. The method comprises the following steps: obtaining an original file; extracting to-be-verified information and a query condition corresponding to the to-be-verified information from the original file; querying a webpage according to the query condition to obtain a query result, wherein the query result is used to represent whether the webpage includes the query condition; and when the query result represents that the webpage includes the query condition, determining a verification result of the to-be-verified information according to the to-be-verified information and the query result. According to the to-be-verified information and the query condition extracted from the original file, the RPA platform simulates human operation and interacts with the webpage, webpage information can be safely and efficiently obtained, automatic verification of the webpage information is realized, and the efficiency of webpage information verification is improved.

This invention discloses a permission verification device for smart park management, comprising: a verification request receiving module for receiving verification requests for users sent by smart devices in the smart park; a user information storage module for storing a user database; a verification processing module for comparing the verification request with the information in the user database and determining user permissions based on the comparison result; and a verification result feedback module for feeding back the user permissions to the smart devices. This improves the efficiency and accuracy of user identity and permission recognition, enabling secure and efficient verification of user permissions in smart parks and enhancing the level of intelligent park management.

The invention belongs to the field of food detection methods, and discloses a method for quickly verifying false positive of sulfur dioxide in food. The method for rapidly verifying the false positive of sulfur dioxide in food provided by the invention is simple, rapid, high in sensitivity and reliable in result. When a detection result of the GB 5009.34-2022 acid-base titration method is suspected to be false positive, a titrated solution can be directly taken for rapid verification according to the method, errors caused by the false positive can be rapidly eliminated, and the method has obvious advantages on determination of a substrate interference sample and has a good effect on verification of the false positive. The method can be used for verifying and confirming the false positive of the food, the method is consistent with an acid-base titration method in pretreatment, errors caused by different pretreatment operations are eliminated, time and labor are saved, and the method can be used for rapidly verifying the false positive.

The purpose of the present invention is to provide an automatic recommendation method for electronic signatures based on hospital scene recognition, the method comprising: using a manager's private key to encrypt business operation information to obtain a business operation data block; uploading the business operation data block to a blockchain; processing the scene data in the business operation information by a hash algorithm to obtain a scene summary, and uploading the scene summary to the blockchain; after the signer receives the signature notification, obtaining the scene summary by an attribute private key; generating a business operation seal according to the scene summary and the signer's personal electronic seal; generating a signature result according to the business operation seal; and after the manager receives the signature result, verifying the business operation seal. The present invention can greatly improve the security of data transmission. By using electronic signatures, each medical institution can easily verify the source of the data, ensure that the data used is true, accurate and not tampered with, and also greatly improve the level of medical services and management.

This invention discloses a decentralized digital identity management method, system, and device, belonging to the field of digital identity management technology. The system includes: a user-end module configured to execute a local trusted processing method for digital identity materials; a credential generation service module, communicatively connected to the user-end module, configured to execute a method for generating verifiable credentials; and a credential verification service module, communicatively connected to the user-end module, configured to verify verifiable credentials. This application protects data privacy through localized processing on the client side, ensures the immutability of credentials through blockchain storage, and automatically generates verifiable credentials using smart contracts. It achieves minimized disclosure of user identity data, reliable traceability of sources, and efficient verification at the verification end, constructing a secure, reliable, efficient, and user-controllable new paradigm for decentralized digital identity authentication.

The invention provides a student enrollment qualification input method and system based on government affair big data, and relates to the technical field of education management, and the method comprises the steps: obtaining the basic information of a target student group from a government affair big data platform; performing data cleaning and data correction on the basic information to obtain standardized data; performing text classification on the standardized data based on the context relationship to obtain standardized data of each data category; verifying the standardized data of each data category to obtain verification data, and performing data access control and authority management on the verification data; checking the verification data according to a preset enrollment qualification standard so as to judge whether the student meets an enrollment condition or not; and automatically inputting the verification data meeting the enrollment condition into the student management system of the corresponding school. According to the method, the data quality is improved, the data integration process is simplified, and the integration complexity caused by non-uniform data formats is reduced.

The present application relates to an address data processing method, device, computer equipment and storage medium. The method comprises: obtaining an entry address entered in a business request page based on a user identifier; obtaining a matching result of the entry address in a preset address database, and performing an address validity check on the entry address according to the matching result; when the validity check passes, obtaining a business request generated based on the entry address after the validity check passes; the business request carries the user identifier; querying the user authentication record corresponding to the user identifier from the authentication record platform; and performing an address approval check on the entry address in the business request according to the record address in the user authentication record. The use of this method can effectively improve the verification efficiency of the entry address in the business data.

The invention discloses an application verification method, a task execution method, a system, a device, equipment, a medium and a product, and relates to the technical field of application system release. The method comprises the following steps: when an application publishing task is successfully published, receiving an application publishing parameter sent by a task execution server; constructing an application verification task based on the application release parameters and the application release task; sending the application verification task to a task execution server, so that the task execution server executes the application verification task; receiving a verification execution result of the application verification task fed back by the task execution server; and obtaining a verification logic criterion corresponding to the application verification task, and performing logic calculation on the verification execution result based on the verification logic criterion to obtain an application verification result of the application verification task. According to the technical scheme, the application publishing result can be quickly and efficiently verified, the publishing efficiency is improved, stable operation of an application system is guaranteed, and the method can be flexibly reused in various service systems or publishing scenes.

The invention discloses an electric power spot market and OMS data verification method based on file transmission, and relates to the field of electric power spot market and OMS data verification, and the method comprises the steps: obtaining electric power spot market data and OMS data, carrying out the cleaning, classification and anomaly detection through a long short-term memory (LSTM) network algorithm, generating a data verification rule set, and carrying out the verification of the data verification rule set. And establishing a multi-dimensional data verification model, performing deep fusion and cross validation, generating a verification report, and optimizing a data verification rule set. The method comprises the following steps: acquiring electric power spot market and OMS data, performing cleaning, classification and anomaly detection by using an LSTM algorithm, and generating a data verification rule set; a multi-dimensional data verification model is constructed by applying a graph neural network algorithm, deep fusion and cross validation are realized, a verification report is generated, a data verification rule set is optimized by utilizing a support vector machine algorithm, efficient verification and quality control of data are realized, and data accuracy and reliability are ensured.

The invention provides a semiconductor device layout design device and a semiconductor device layout design method, and the device comprises a judgment device which takes one of a plurality of specification parameters of a second element as an adjustment parameter, adjusts the value of the adjustment parameter, and judges whether the butt joint with a first element is successful or not; and the classification device is used for classifying the adjustment parameters into preset parameters which are not required to be adjusted for the purpose of butt joint and same-value parameters which are required to set the first element and the second element to be the same value for the purpose of butt joint according to the judgment result of the judgment device. According to the invention, in the Pcell verification process, the verification coverage area is kept unchanged, and meanwhile, the combination which cannot be butted between instances is reduced, so that efficient DRC verification is realized.

This invention relates to the field of encrypted transmission and acquisition technology for power trading data, and proposes a method and system for encrypted transmission and acquisition of power trading data. The method includes: obtaining login credentials, creating a singleton instance to initialize a network connection, launching a headless browser to establish a developer tool connection, and obtaining a slider image; inputting the image into a neural collaborative adaptive fusion network, and completing slider verification through neural oscillation synchronization alignment, multi-sensory cortex competitive collaborative evaluation, and prefrontal metacognitive gating fusion; verifying according to the certificate type, injecting a script to input the password for a red certificate, and interactively selecting the certificate and inputting the verification code in a black certificate window; intercepting network requests, parsing the verification results, and generating authorization parameters; and calling the interface to obtain power trading data. This invention achieves an intelligent breakthrough in the multi-security verification mechanism of power trading platforms and enables efficient, stable, and automated acquisition of power trading data.

The embodiment of the invention provides a model verification method and device, electronic equipment, a storage medium and a program product, and the method comprises the steps: inputting a first text into a first text generation model for text generation, and obtaining a first response text of the first text; generating a second text according to the first response text or the first text; inputting the second text into the first text generation model for text generation to obtain a second response text of the second text; and determining a verification result of the first text generation model according to the first response text and the second response text. Therefore, whether the first text generation model is reliable or not can be efficiently verified.

The invention provides an I2C equipment verification method and device, electronic equipment and a storage medium, and relates to the technical field of chip verification. The verification method of the I2C equipment comprises the following steps: acquiring a first signal sequence pair of to-be-tested I2C equipment and reference I2C equipment in a transmission process of test data; wherein the first signal sequence pair comprises a clock time sequence signal sequence on a bus on which the to-be-tested I2C equipment and the reference I2C equipment are mounted, and a data time sequence signal sequence output by a serial data line of the reference I2C equipment, and the to-be-tested I2C equipment and the reference I2C equipment are realized based on the same register conversion stage circuit; performing time sequence adjustment on at least one time sequence signal sequence in the first signal sequence pair in a protocol range supported by the to-be-tested I2C equipment to obtain a second signal sequence pair; and testing the to-be-tested I2C equipment by using the second signal sequence pair. According to the invention, the to-be-tested I2C equipment can be verified efficiently and comprehensively.

The invention provides a document travel management method and device based on a block chain and electronic equipment, and relates to the field of data processing. The method comprises the following steps: acquiring a travel evaluation content uploaded by a user side; encrypting the text travel evaluation content through the merchant public key to obtain encrypted evaluation content; uploading the encrypted evaluation content and the verification code to a block chain system; generating a merchant private key according to obtained second merchant information input by the merchant side and second positioning information of the merchant side; decrypting the encrypted evaluation content through a merchant private key to obtain to-be-verified evaluation content; decrypting the verification code through the user public key to obtain first to-be-verified data; performing hash operation on the to-be-verified evaluation content to obtain second to-be-verified data; and if it is determined that the first to-be-verified data is the same as the second to-be-verified data, issuing the to-be-verified evaluation content. By implementing the technical scheme provided by the invention, the problem of false evaluation of the user on the text travel platform is solved.

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.