23results about How to "Reduce verification time" patented technology

The invention provides a system software design method and system for manufacturability verification of an integrated circuit, and relates to the technical field of integrated circuits, and the method comprises the following steps: constructing a multi-level verification model based on integrated circuit design data, carrying out parallel computing processing on the multi-level verification model, generating a manufacturability prediction result, and identifying potential manufacturing defects. Based on the potential manufacturing defects, an optimization suggestion is automatically generated, and the optimization suggestion comprises a layout modification scheme and a process parameter adjustment scheme; applying the optimization suggestion to the integrated circuit design data to generate optimized design data; iterative verification is carried out on the optimized design data until preset manufacturability indexes are met, and the manufacturability indexes comprise the yield, reliability and performance parameters; and transmitting the integrated circuit manufacturing data packet to a manufacturing execution system for guiding the actual manufacturing process of the integrated circuit.

The invention discloses a novel power system network security protection and verification method and system. The method comprises the following steps: monitoring network traffic and log data, forming a network space behavior analysis rule by using a machine learning algorithm or a path search algorithm, and generating an attack path from an attacker perspective; constructing a network attack behavior event association model oriented to an attack and defense scene of the power system based on an analysis result of the attack path, and automatically identifying a network threat; aiming at the identified network threats, integrating power network security domain knowledge, a power monitoring system network plan and an on-site disposal scheme by utilizing a knowledge graph technology, and automatically generating a protection strategy; comprehensively evaluating the protection effect of the protection strategy through a pre-established evaluation system, and verifying and optimizing the protection effect by simulating a real attack and defense scene. According to the scheme of the invention, the accuracy and timeliness of threat identification are improved, and the verification process of a protection strategy is simplified.

The embodiment of the invention relates to the field of user risk information identification, in particular to a user risk information identification method and computer equipment. A specific embodiment of the method comprises the following steps: in response to determining that a target user account has logged in a user information processing end, performing key content extraction on page content corresponding to a user information verification page in the user information processing end to generate user information page key content; according to the user information page key content generated by the user information processing end and the user portrait information correspondingly set by the target user account, generating user risk identification information for the user information page key content by using a pre-trained user risk information identification model; and sending the user risk identification information to a user information processing end to execute risk early warning operation for the target user account. According to the embodiment, multi-dimensional risk identification can be carried out on the user, the risk user is discriminated and intercepted in real time in the insurance buying process, and the verification time is shortened.

This application relates to a scheduling method, apparatus, computer equipment, storage medium, and computer program product for power operation tickets. The method includes: dividing the fields to be verified in the power operation ticket into regions based on the correlation characteristics between them and their location characteristics; verifying the fields in each region to obtain a verification result for each region; weighting the verification values ​​of each result according to the type of the result and the order of the regions to obtain a weighted verification result for the power operation ticket; and distributing power operation tickets according to the operation objects matched by the weighted verification values ​​in the weighted verification result. This method eliminates the need for manual verification of the fields to be verified, reducing the verification time for power operation tickets and thus improving the efficiency of power system maintenance.

The invention relates to a western blot transmembrane monitoring method based on protein endogenous fluorescence imaging. The western blot transmembrane monitoring method comprises the following steps: S1, building a gel electrophoresis imaging system; s2, the PAGE gel obtained after protein gel electrophoresis is completed is attached to an imaging flat plate, imaging of a protein zone in the gel is carried out after exhausting, and a IFI map is obtained; s3, carrying out WB film transfer treatment on the imaged PAGE gel; respectively pasting the solid-phase support before and after film transfer on an imaging flat plate, and after exhausting, carrying out intra-film protein zone imaging to obtain a corresponding IFI atlas; s4, exhausting the PAGE gel subjected to membrane transfer again, imaging a protein zone in the gel to obtain a IFI map, and qualitatively judging whether membrane transfer succeeds or not; and S5, converting the IFI maps in the S2 and S4 into chromatograms, and quantitatively evaluating the membrane transfer efficiency. Compared with the prior art, the western blot membrane transfer monitoring method disclosed by the invention can quickly and accurately evaluate whether the protein is successfully transferred to the membrane or not and monitor the effect of the membrane transfer process in time under the condition that additional dyeing is not needed.

The present invention provides a continuous gas analysis system and a continuous gas analysis method for shortening the time for calibration or verification of an analyzer for analyzing a sample gas containing an adsorptive component, the continuous gas analysis system comprising: a main flow path through which the sample gas containing the adsorptive component flows; an analyzer for analyzing an adsorptive component in the sample gas flowing through the main flow path; a standard gas flow path for supplying a standard gas for calibration or verification to the analyzer; and a purge gas flow path that supplies a purge gas containing moisture to the analyzer, introduces the sample gas into the main flow path, continuously analyzes the sample gas by the analyzer, supplies the purge gas from the purge gas flow path to the analyzer during the continuous analysis, and purges the analyzer. Standard gas is supplied from the standard gas flow path to the analyzer to correct or verify the analyzer.

The application discloses a kind of compressor simulation control methods, comprising: obtaining the valve opening of anti-surge valve and Cv value curve;Valve opening and Cv value curve are polynomial fitted, and the valve opening of anti-surge valve and Cv value polynomial are obtained;Combining valve opening and Cv value polynomial, valve before and after pressure and valve before and after temperature, establish valve opening and valve flow polynomial;Obtain compressor performance curve, and the polynomial fitting of compressor performance curve is carried out, and the inlet flow and outlet pressure polynomial corresponding to each preset speed based on compressor are obtained;According to valve opening and valve flow polynomial and inlet flow and outlet pressure polynomial, compressor simulation control is carried out.The application shortens the verification time of compressor project factory program, improves work efficiency, saves cost.The application also discloses a kind of compressor simulation control device, equipment and storage medium, with corresponding technical effects.

The utility model discloses a lithium battery automatic spot welder with positioning correction mechanism relates to lithium battery production technical field, including work table, the top fixedly connected with the fixing frame of work table, the one side swing connection of work table has the cabinet door, the top of work table and the bottom of fixed frame between equidistance fixedly connected with first mounting plate, the one side sliding connection of first mounting plate has the vertical baffle, the one side of vertical baffle is provided with spot welder body, the one side fixedly connected with the connecting frame of vertical baffle, the inside sliding connection of connecting frame and the outside of first mounting plate, the top of work table is provided with positioning assembly, and the one side fixedly connected with the placing plate of work table, positioning assembly includes first positioning frame. The utility model discloses a lithium battery automatic spot welder with positioning correction mechanism can be firm the position of mould through introducing positioning assembly, ensures that the welding point accurate correspondence is preset position to avoid the welding defect caused by deviation to improve the welding quality.

The application discloses a novel electric buffering circuit for an electric motorcycle, which is connected in series between a battery pack and a motor controller, and comprises a high-temperature fuse resistor assembly, a controlled switch, a detection circuit and a processing circuit. The high-temperature fuse resistor assembly is composed of a high-power wire-wound resistor and a constant-temperature thermal fuse, and the controlled switch is connected in parallel with the high-temperature fuse resistor assembly. The processing circuit disconnects the controlled switch to perform current-limiting pre-charging when the circuit is initially powered on. When an abnormal signal is monitored, the controlled switch is disconnected and a preset time window is started to verify the anti-mis-triggering. If the abnormality disappears within the window, it is determined to be a transient disturbance and the switch is re-closed. If the abnormality persists, the switch is locked off, and the high-temperature fuse resistor assembly is irreversibly fused by actively using a large fault current. The application effectively filters out transient disturbances under complex road conditions, avoids unexpected vehicle breakdown, and realizes absolute safe physical-level electrical isolation at low cost in the case of hard failure.

The invention discloses a universal method for accelerating EDA (Electronic Design Automation) simulation speed, which comprises the following steps: S1, preparing information required by chip simulation or verification, the information comprising a design file, a process file and last-round simulation or verification data; s2, after the information preparation is completed, according to a simulation or verification type needing to be performed, determining a proper EDA tool, starting the tool, and reading information including a design file, a process file and previous simulation or verification data so as to perform chip simulation and verification; and S3, exporting a simulation or verification result, and exporting simulation or verification data of the round. The invention discloses a universal method for accelerating EDA (Electronic Design Automation) simulation speed, which is a new method for accelerating calculation or reducing calculation amount by introducing previous-round simulation or verification data in a current-round simulation or verification process, and exporting a database for accelerating next-round simulation or verification in the current-round simulation or verification process. And the simulation or verification time is greatly reduced.

The present application relates to a verification method, device and computer equipment for a secondary cache module. The method comprises: using the memory model UVM_MEM method in the universal verification methodology to construct a storage model corresponding to the storage area of ​​the target secondary cache module; performing read and write operations on the target secondary cache module to obtain target read and write data and target read and write addresses; performing backdoor read operations on the storage model to obtain various types of storage data in all storage class models inside the target secondary cache module; wherein the read and write addresses corresponding to the read and write operations are consistent with the read and write addresses corresponding to the backdoor read operations; based on the target read and write data, the target read and write addresses and the various types of storage data, the target secondary cache module is verified to obtain the verification result of the target secondary cache module. The use of this method can improve the verification efficiency of the secondary cache module.

The embodiment of the invention provides an agent deployment method and device, and the method is applied to a configuration center, and comprises the steps: receiving registration information sent when an atomic power service and an application service are started; receiving service dependency information sent by the application service; constructing a service dependency relationship graph according to the service dependency information, and determining configuration dependency coverage according to the service dependency relationship graph, the service access address and the service configuration information; and when it is determined that the configuration dependency coverage meets a preset coverage threshold, determining that deployment of the target agent is completed. According to the method, full-process automation from parameter configuration to state verification is achieved, the operation and maintenance threshold is remarkably reduced while efficient and accurate agent deployment is guaranteed, and technical support is provided for intelligent transformation of enterprises.

The invention discloses an abnormal data display method and device, equipment, a medium and a product. The method comprises the following steps: acquiring a plurality of power grid data tables; based on a plurality of splicing rules, splicing part of the power grid data tables in the plurality of power grid data tables to obtain a plurality of target tables; according to the exception detection rule corresponding to each target table, extracting exception data in each target table; generating an abnormal data display interface based on the abnormal data in each target table; the abnormal data display interface is displayed in the first area in the main interface, and the identification information of the abnormal data display interface is added to the menu list of the main interface, through the technical scheme, the abnormal data can be displayed, an inspector can directly check the abnormal data, and the inspection efficiency is improved. The checking time of inspectors is greatly shortened, and the inspection accuracy is improved.

The utility model discloses a verification power supply of an electroscope. The electroscope verification power supply comprises a housing, and a battery module, an AC / DC buck-boost module, an AC / DC switching module and an electroscope jack which are disposed in the housing. The battery module is electrically connected with the AC / DC buck-boost module and the AC / DC switching module. The AC-DC buck-boost module comprises an AC buck-boost circuit, a DC buck-boost circuit and a buck-boost control circuit; the output end of the buck-boost control circuit is electrically connected with the input end of the AC buck-boost circuit and the input end of the DC buck-boost circuit. The AC-DC switching module is electrically connected with the AC boost-buck circuit and the DC boost-buck circuit. The voltage output end of the AC / DC switching module is electrically connected with the electroscope jack. The voltage of the battery is adjusted and converted, the alternating voltage and the direct voltage required by verification are output, the verification time of multiplied electrified equipment is shortened, and the safety and the accuracy of electricity verification are improved.

The invention relates to the technical field of document automatic processing and anti-counterfeiting verification, and discloses a contract signature automatic checking machine and a checking method thereof.The contract signature automatic checking machine comprises a device body, an image acquisition port, an electronic contract input port, a paper outlet and a display screen, and the image acquisition port, the electronic contract input port, the paper outlet and the display screen are arranged on the device body; a main control module is also arranged in the equipment main body; the main control module is respectively in communication connection with the image acquisition port, the electronic contract input port and the display screen; and the main control module is used for executing the following operations: receiving paper contract scanning image data transmitted by the image acquisition port, performing image preprocessing and signature feature extraction on the scanning image data, and comparing the scanning image data with a pre-stored sample. By arranging an image acquisition port and an electronic contract input port and cooperating with a logic judgment unit in the main control module, bimodal compatible processing of a paper contract and an electronic contract is realized.

The application provides a lightweight certificateless aggregation signcryption anonymous authentication method and system for Internet of Vehicles, belongs to the technical field of Internet of Vehicles, and aims at the problems of large calculation cost, high communication delay and privacy leakage in the security authentication of Internet of Vehicles, and proposes a lightweight certificateless aggregation signcryption anonymous authentication method, improves the signature and authentication mode in the existing scheme, generates a unique identifier by using the tiny difference characteristics of the physical structure of the on-board unit (OBU), combines a dynamic challenge-response authentication protocol and a pseudonym updating strategy, realizes the anonymous session authentication mechanism of "one-time one-micro", ensures the anonymity and untraceability of the user identity, effectively reduces the verification time by using the certificateless aggregation signcryption, and proves by the security analysis and efficiency comparison that the method can ensure high security, significantly reduce the authentication cost, improve the message authentication speed, and meet the efficient, safe communication demand and user privacy security in the Internet of Vehicles environment.

The invention belongs to the technical field of power system relay protection and automation, and particularly relates to a line uninterrupted power transformation system and method. The system comprises a hardware platform which comprises a sampling accessory used for collecting current and voltage signals of a line, and an input / output and operation plug-in; a built-in program of the software platform comprises a protection program module and a communication service process module which are mutually independent; the protection program module is used for executing protection calculation and logic judgment and writing a result into the shared data area; and the communication service process module is used for reading the data from the shared data area according to the configuration file, assembling the data into a standard communication message and uploading the standard communication message. The sampling accessory used for collecting the line current comprises a straight-through current transformer which is used for being clamped and sleeved on an original CT secondary wire to sense proportional current. The sampling accessory used for collecting the line voltage comprises a jack type lead with a protection elastic sheet, and a jack of the jack type lead is used for being clamped on a screw of a PT voltage terminal strip.

The present invention discloses a verification system and method for an AXI-PCIE outbound data path, including: an IATU configuration component: used for configuring an IATU outbound register; a TLP2AXI conversion data component: used for converting a random TLP data packet intermediate generated by a verification component into an AXI data packet, and sending the AXI data packet to a driver module of the verification component; a driver module: used for driving an AXI data packet from a verification system to a DUT, and the DUT generates a TLP data packet to an upstream RC detection module according to the configured IATU outbound register; a detection module: used for comparing the TLP data packet received by the RC with the TLP data packet intermediate generated by the verification system, and if the comparison is passed, it proves that the EP TLP data packet is successfully sent. Applied to the verification of the outbound data path of a PCIE module, it can solve the problems of difficult verification of the outbound data path, complex comparison, incomplete verification and long verification cycle; it contains functions such as excitation, driving and verification, and supports most verification scenarios.

The invention provides a privacy protection verifiable matrix multiplication method and system with a lower critical dimension, and relates to the technical field of privacy protection. The method comprises the following steps: a user generates public parameters and a key; generating a decoding key, an evaluation key and a verification key according to the public parameters, the key and the function family; generating a ciphertext, a decoding key and a verification key of the matrix according to the key and the matrix; the service provider obtains an encrypted calculation result according to the evaluation key and the ciphertext; the user verifies the correctness of the encrypted calculation result according to the evaluation key and the evaluation key; and if the verification result is correct, the user inputs a decoding key, the decoding key and the encrypted calculation result, and decodes the encrypted calculation result to obtain a final calculation result. The improved private LHE provided by the invention has the advantages that the decryption realization is simpler, the reduction of critical dimensions is facilitated, and meanwhile, the ProbGen time is reduced due to the shorter ciphertext, and the initialization burden is relieved.

This application provides a field query method, apparatus, device, medium, and product, comprising: receiving a query request sent by a blockchain light node; parsing the query field from the query request; determining the field's popularity and whether it meets a preset index construction trigger condition; if so, parsing the query type from the query request and determining the target index structure from a preset set of index structure types; performing a query operation on the query request to obtain a query result; further generating verification information; compiling the verification information into a Boolean circuit; and generating a zero-knowledge proof based on the Boolean circuit; and sending the query result and the zero-knowledge proof to the light node. Thus, while improving query efficiency, it effectively controls verification and communication overhead and enhances the long-term stability of the blockchain system.

The present specification relates to the technical field of blockchains, and can be applied to the financial field, in particular to a financial data transmission path optimization method and device and a storage medium, comprising: obtaining multiple groups of transmission paths composed of multiple transmission nodes, the transmission nodes including routing nodes with routing functions, and verification nodes with routing functions and verification functions, the routing functions being used for forwarding financial data, and the verification functions being used for forwarding the financial data while consensus verifying the financial data; calculating, for each group of transmission paths, a transmission performance score of each group of transmission paths according to routing performance of each transmission node; determining a number of verification nodes in each group of transmission paths, and determining a multiplexing score of each group of transmission paths according to the number of verification nodes; and ranking each group of transmission paths according to the transmission performance score and the multiplexing score and determining a final transmission path, which can realize optimization of a financial data transmission path, reduce a loss value of financial data, and significantly improve a financial data transmission speed.

The invention relates to the technical field of data processing, in particular to a block chain power transaction performance data storage method, which comprises the following steps: preprocessing collected power transaction performance data to output a power transaction data packet, performing hash operation on the power transaction data packet to generate a corresponding hash value, and storing the hash value into a database; generating a data block with a timestamp according to the power transaction data packet and the corresponding hash value; verifying the data block through a consensus algorithm of the block chain to confirm the validity of the data block, and writing the verified data block into a preset position in the block chain to form a performance data block chain; determining whether the storage redundancy of the power transaction performance data needs to be increased; determining whether the Hash operation proof submission frequency under the performance data block chain needs to be reduced or not; and determining the capacity upper limit of the data block Gas based on the packet loss rate of the power transaction performance data communication. According to the invention, the updating real-time performance of the power transaction performance data is improved.

This invention discloses a communication interface testing method and system based on timing variation and closed-loop verification, including static analysis, timing variation, simulation execution, and closed-loop optimization. It automatically extracts all timing control counters by parsing the RTL code of the device under test (DUT) and calculates the longest execution cycle, avoiding the waste of resources by blindly setting millions of clock cycles. Furthermore, it designs a refined timing variation operator library for the communication interface, directly acting on the timing dimension of the test sequence, and systematically exploring the establishment or maintenance of time margin boundaries. This invention employs a two-stage verification process: first, static analysis determines the optimal test length; then, timing variation is used for in-depth exploration, solving problems such as difficulty in covering timing boundaries and wasted simulation resources. It efficiently uncovers timing defects with limited resources, significantly improving the quality and efficiency of chip communication interface verification.