8results about How to "Efficient verification" patented technology

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.

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 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 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 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.

Embodiments of the present application provide a software verification method and device, a medium and a program product, and relate to the technical field of software engineering. The method comprises: downloading a description file containing verification parameters of a plurality of data blocks, the plurality of data blocks being obtained by block division of to-be-verified software; receiving the plurality of data blocks and, after transmission of any data block is completed, executing an asynchronous verification task on any data block according to the verification parameters in the description file; and in the asynchronous verification task, verifying the plurality of data blocks one by one and recording identification information of a data block that fails verification. Based on the method, the real-time performance and flexibility of the verification process can be improved, the centralized consumption of system resources can be reduced through asynchronous verification logic, and efficient, real-time and error-locatable verification can be achieved.

This invention proposes a multi-operating-point electric propulsion beam control verification system, belonging to the field of aerospace electric propulsion technology. It solves the problem that the electrical coupling relationship between the shield, anode, and accelerator cannot be simultaneously simulated under non-ignition conditions, forcing beam control verification to rely on actual ignition. It includes an anode current AD acquisition module, which acquires the anode power supply current value and transmits it to a processor for processing via an internal communication module; an anode configurable load module, which configures the anode load resistance value based on the anode resistance configuration result generated by the processor, thereby adjusting the anode power supply voltage; a shield configurable load module, which configures the current of the shield load based on the shield current configuration result generated by the processor; an accelerator configurable load module, which configures the current of the acceleration load based on the acceleration current configuration result generated by the processor; and a storage module, which stores the anode power supply current value and each configuration result.