14results about How to "Efficient verification" patented technology

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

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.

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.

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.