68results about How to "Fast verification" patented technology

The invention relates to a method for testing a base band chip of a satellite navigation receiver. The method comprises the following steps in turn: receiving a navigation satellite radio-frequency signal and converting the radio-frequency signal into a digital intermediate-frequency signal; acquiring the obtained digital intermediate-frequency signal and converting the digital intermediate-frequency signal into a binary file; storing the obtained binary file; playing back the stored binary file to form the digital intermediate-frequency signal and transmitting the digital intermediate-frequency signal to the tested base band chip; and performing result accuracy judgment on the output of the tested base band chip. The method reduces the expense required for constructing a plurality of test platforms, and facilitates the judgment of the accuracy of the output of the to-be-tested base band chip on finer resolution.

The invention provides a method for sharing environment monitoring information data. The method comprises secure storage of the environment monitoring information data and secure access of the environment monitoring information data. The secure storage of the environment monitoring information data comprises the following steps: (1) carrying out security verification on identity of a storage user; (2) preprocessing the environment monitoring information data; (3) encoding; (4) abstractly centralizing hardware storage resources, mapping to a complete and unified resource pool and carrying out virtualization on a user operation system; and (5) storing the environment monitoring information data in the resource pool in a final code form. The secure access of the environment monitoring information data comprises the following steps: (1) carrying out security verification on identity of the storage user; and (2) reading the environment monitoring information data stored in the resource pool. Through the method, the accessible sharing can be achieved; the memory occupation is reduced; the data calling speed is improved; the security of the environment monitoring information data is improved under the precondition that the convenience is ensured.

Embodiments of the present application provide a method, node and system for executing an intelligent contract, an electronic device, and a storage medium. The method comprises the following steps: acontract execution node in a block chain executes an intelligent contract to be executed to obtain an execution result of the intelligent contract; the contract execution node generates zero-knowledgeproof information of the execution result, and the zero-knowledge proof information is broadcast to a verification node in the block chain, so that the verification node verifies the received zero-knowledge proof information, and it is determined that the intelligent contract is executed successfully when the verification is passed, wherein the verification node is a node other than the contractexecution node in the block chain. According to the scheme of the embodiment of the present application, the execution efficiency of the intelligent contract can be effectively improved.

The invention discloses an NFC mobile phone terminal anti-fake system and method based on time encryption. The NFC mobile phone terminal anti-fake method comprises the following steps: firstly, transmitting system time to an NFC anti-fake label, after the NFC anti-fake label receives the system time, performing one-way data encryption so as to obtain verification data hash, and subsequently transmitting the ID of a product, other information of the product and the verification data hash to a mobile phone client from the NFC anti-fake label through wireless signals; transmitting the ID of the product and the verification data hash to a background data management system; after the background data management system receives the ID of the product and the verification data hash, acquiring verification data hash 0 according to an identical encryption algorithm, and comparing the obtained result hash 0 with a hash value; verifying, and transmitting the data verification result to the mobile phone client. The NFC mobile phone terminal anti-fake system comprises the NFC anti-fake label and the background data management system. The NFC mobile phone terminal anti-fake system is high in faking cost, large in faking difficulty, small in size, low in cost, high in verification efficiency, applicable to multiple products, and convenient to use.

The invention discloses a message sending method, a message verification method, a message sending device, a message verification device and a communication system, and belongs to the field of communication. The method comprises the steps that a sending end obtains to-be-sent target data, wherein the target data is to-be-sent data after a first piece of data is sent in a current sending period; the sending end obtains nodes corresponding to the target data from a hash chain according to the sending serial number of the target data in the current sending period, wherein the number of the nodesincluded in the hash chain is equal to the number of data allowed to be sent in the current sending period; the sending end performs hash operation on the target data and a node corresponding to the target data to obtain a first verification code, wherein the first verification code is used for verifying the target data by a receiving end; and the sending end sends a first message, wherein the first message comprises the target data, a node corresponding to the target data, the first verification code and a sending serial number of the target data. The message transmission efficiency can be improved.

The invention discloses a migration data verification method for a power dispatching automation system. The migration data verification method comprises the steps of selecting a new master station and an old master station corresponding to service migration of the power dispatching automation system, selecting some to-be-verified substation in the old master station, disconnecting a normal communication channel of the to-be-verified substation and the old master station and establishing a corresponding analog substation, enabling remote control points to be selected in the new master station and the old master station for the analog substation and serve as current remote control points, sequentially issuing a remote control selection command, a remote control execution command or a remote control revocation command according to the current remote control points, collecting original data of issued commands of the current new master station and the current old master station through the analog substation, checking and comparing the original data to finish data verification of every remote control point, and finally restoring the normal communication channel of the to-be-verified substation and the old master station. The migration data verification method can guarantee migration of the power dispatching automation system between the new master station and the old master station, and has the advantages of being quick in verification speed, high in verification efficiency, good in verification accuracy, and simple and practical.

The invention discloses a scenario-based processor system-level verification completeness measurement method. The method includes 1), constructing typical application scenarios according to the application field of a processor; 2), constructing scenario testing environment for each application scenario to allow a scenario testing case to test the processor, generating scenario reliability according to test completion state, and taking a weighted average of scenario reliability of all the application scenarios as a system-level verification completeness measurement value; determining whether the completeness of the processor meets the processing requirements of the processor or not according to the system-level verification completeness measurement value; if not, returning to step 2) to test low-reliability application scenarios continuously; and if so, completing test and exiting. According to the scenario-based processor system-level verification completeness measurement method, basis is provided for processing through quantitative description of related verification reliability of the processor, and the scenario-based processor system-level verification completeness measurement method has the advantages of high verification speed, high verification efficiency, high testing environment utilization rate, and short verification time.

The invention discloses an electronic lock and an unlocking method thereof. The unlocking method comprises steps as follows: S1, original image acquisition; S2, original image preprocessing; S3, fingerprint image verification; S4, vein image verification; S5, unlocking. The electronic lock is unlocked through sequential multiple verification including fingerprint image verification, vein image verification and the like, vein image verification can be performed only after a user passes fingerprint image verification, and unlocking can be realized through three-dimensional characteristic data-based living fingerprint verification conducted after the user passes vein image verification, so that the safety performance of the electronic lock is improved; vein image verification overcomes the defect that fingerprint verification is easy to copy, and the safety performance of the electronic lock is further improved.

The invention discloses an Android third party push enhancement method and system, and a related device. The method comprises the following steps: realizing message encryption and signature authentication by using asymmetric encryption; signing and encrypting a message during message transmission, and transmitting the message through HTTPS; receiving the message by a client, decrypting and verifying the message, and meanwhile detecting the repeatability of the message in a character string matching mode, therefore the performance overhead is smaller; and on the respect of client key management, an asymmetric encryption key is stored in a private memory SharedPreferences through symmetric encryption by realizing encryption and decryption logic via a so library. The method provided by the invention has relatively high security, can resist against general message forgery, message leakage, message replay attack and untrusted third party push problems.

The invention relates to a local robustness verification method of a neural network, and the method comprises the steps: inputting the neural network obtained through training, and processing the semantics of the neural network to obtain a model; abstracting semantics of the neural network into operation on an abstract domain (or transformation on the abstract domain) of a mathematical structure based on the abstract interpretation; giving input and tiny disturbance; abstracting input and tiny disturbance into elements in an abstract domain, introducing a symbol propagation method, and converting a neural network local robustness verification problem into an abstract domain operation and judgment problem; and outputting an operation result so as to confirm whether the local robustness of the neural network is verified.

The invention relates to a method and a device for equipment model checking, computer equipment and a storage medium. The method comprises the following steps: determining a first device number, a first device type and first position information corresponding to each piece of equipment according to an equipment model; identifying at least one piece of equipment from an equipment drawing corresponding to the equipment model through a pre-trained equipment shape identifier; determining a second equipment number corresponding to each piece of equipment according to the lead corresponding to eachpiece of equipment; determining a second equipment type and second position information corresponding to each piece of equipment in the equipment drawing; when the first equipment number is consistentwith the second equipment number, obtaining a first matching result of the first equipment type and the second equipment type, and a second matching result of the first position information and the second position information; and based on the first matching result and the second matching result, determining a checking result for checking the equipment model. By adopting the method, the equipmentchecking efficiency of the equipment model can be improved.

The invention provides an automobile navigation information data sharing method. The method comprises a step of secure storage of automobile navigation information data and a step of secure access of the automobile navigation information data, wherein the step of secure storage of the automobile navigation information data comprises the following sub-steps of: (1) carrying out security verification on the identity of a storage user, (2) pre-processing the secure storage of automobile navigation information data, (3) carrying out coding, (4) abstractly and intensively mapping hardware storage resources into a complete and uniform resource pool and virtualizing a user operation system, and (5) storing the navigation information data in the resource pool in a final code form; and the step of secure access of the automobile navigation information data comprises the following sub-steps of: (1) carrying out security verification on the identity of an access user, and (2) reading the automobile navigation information data stored in the resource pool. According to the automobile navigation information data sharing method, the barrier-free share can be realized, the memory usage is decreased, the data calling speed is improved, and the security of sharing the automobile navigation information data is improved under the premise of ensuring the convenience.

A ticket booking and checking system comprises a user ticket booking terminal, a ticket booking server, and a ticket checking terminal. The user ticket booking terminal is used for issuing a ticket booking request to the ticket booking server, prompting a user to input ticket booking data and a checking password according to the response of the ticket booking server and sending the ticket booking data and the checking password to the ticket booking server. The ticket booking server is used for responding to the ticket booking request from the user ticket booking terminal, generating an electronic ticket according to the ticket booking data and the checking password from the user ticket booking terminal and sending the electronic ticket to the user ticket booking terminal, wherein the electronic ticket is provided with plaintext information corresponding to the ticket booking data and a checking code generated by the checking password. The ticket checking terminal is used for prompting the user to input the checking password, scanning and identifying the checking code on the electronic ticket or a paper ticket printed based on the electronic ticket and matching the checking code with the checking password currently input by the user. The ticket booking and checking system is not affected by the condition of network, is quick in checking, safe and efficient.

The invention discloses a safe electronic lock and an unlocking method. The unlocking method comprises the following steps: S1, an original image capture step; S2, an original image preprocessing step; S3, an original image verification step; S4, a finger living body verification step; S5, an unlocking step. According to the unlocking method, in order to realize unlocking of the electronic lock, multiple verifications such as original image verification, finger living body verification and password verification need to be performed successively, and unlocking can only be realized when all the verifications are passed, so the safety performance of the electronic lock is greatly improved; during finger living body verification, pieces of feature data obtained by collection are coupled into three-dimensional data, a fingerprint center point is obtained in the three-dimensional data according to a fingerprint center point location algorithm, and whether a finger is a living body or not is judged by the relative position of the fingerprint center point and a finger vein, thus preventing another person from fabricating a finger and passing verification, and improving the safety performance of the electronic lock.

The invention provides an earth geographic information data sharing method. The method comprises the steps of safe storage of earth geographic information data and safe access of earth geographic information data. Safe storage of earth geographic information data comprises the steps of 1, conducting safety verification on the identity of a storage user; 2, pretreating earth geographic information data; 3, conducting coding; 4, conducting abstract concentration on a hardware storage resource, mapping the resource into a complete and uniform resource pool, and virtualizing a user operation system; 5, storing the earth geographic information data in the resource pool in the form of final code. Safe access of earth geographic information data comprises the steps of 1, conducting safety verification on the identity of an access user; 2, reading earth geographic information data stored in the resource pool. By the adoption of the method, accessible sharing can be achieved, memory usage is reduced, data calling speed is increased, and earth geographic information data sharing safety is improved on the premise that convenience is guaranteed.

The invention relates to the field of energy block chains, in particular to a block generation and transaction verification method suitable for an energy blockchain. An obvious hotspot account is provided for electric energy transaction; an original block generation mode enables a blockchain to verify whether a transaction is legal, and needs the same calculation and storage cost for each account.According to the invention, targeted optimization is carried out on an electric energy transaction scene; according to the method, by modifying the merkle tree organization form, the account with thehigh priority is closest to the root node of the query when forming the block and can be found more quickly, and compared with the prior art, the method can achieve the purpose of reducing the calculation cost and has the characteristics of flexibility, simplicity and high practicability.

Disclosed is a content verification method and device used for accelerating the speed of content verification. The method includes the following steps: a first network device receives a first data packet sent by a second network device, wherein the first data packet carries a first content; if the first data packet carries first symmetrical encryption information and the first symmetrical encryption information is used for verifying the first content in a trusted domain in which the first network device is located, the first network device verifies the validity of the first content carried bythe first data packet according to the first symmetric encryption information; and if the first content is valid, the first network device processes the first data packet according to a transmission path of the first data packet.

The invention provides a meteorological data sharing method which comprises safe storage and safe access of meteorological data. Safe storage of the meteorological data comprises the following steps that (1) safety verification is carried out on identity of a storage user; (2) the meteorological data is pre-processed; (3) coding is carried out; (4) hardware storage resources are abstracted and concentrated, and mapped into a complete unified resource pool, and a user operating system is virtualized; and (5) the meteorological data is stored in the resource pool in the form of a final code. Safe access of the meteorological data comprises the following steps that (1) safety verification is carried out on the identity of an access user; and (2) the meteorological data stored in the resource pool is read. According to the invention, sharing without obstacles can be realized, memory occupation is reduced, the data calling speed is improved, and the safety of meteorological data sharing is improved on the premise that the convenience is ensured.

The invention discloses a computing task processing method and device, a storage medium and a processor. The method comprises the steps: enabling a first computing node on a blockchain to receive a computing task set; under the condition that the computing task set is completed, enabling the first computing node to broadcast a computing result set to a verification node in the blockchain, whereinthe verification node is any one computing node on the blockchain; randomly extracting a part of calculation results broadcasted on the first calculation node; recalculating the calculation tasks corresponding to the generated partial calculation results, and verifying the randomly extracted partial calculation results; if the recalculated verification result is consistent with the broadcasted calculation result, determining that the calculation result issued by the first calculation node passes the verification. According to the method and the device, the technical problems that a large number of calculation tasks exist in the block chain and calculation results cannot be quickly verified in the processing process of the calculation tasks in the prior art are solved.

The invention provides a railway information data sharing method. The method includes secure storage of railway information data and secure access of railway information data; secure storage of the railway information data comprises steps as follows: (1) security verification is performed on a storage user identity; (2) the railway information data are pre-processed; (3) encoding is performed; (4) hardware storage resources are centralized abstractly and mapped to a complete and unified resource pool, and a user operating system is virtualized; (5) the railway information data are stored in the resource pool in the form of final codes; secure access of the railway information data comprises steps as follows: (1) security verification is performed on an access user identity; (2) the railway information data stored in the resource pool are read. With the method, barrier-free sharing can be realized, memory usage is reduced, the data call speed is increased, and the sharing security of the railway information data is improved on the premise that the convenience is guaranteed.

The invention relates to a room model checking method and device, computer equipment and a storage medium. The method comprises the following steps: determining a first room name, first floor information and a first plane position corresponding to each room according to a room model; identifying wall lines and doors and windows in a room drawing corresponding to the room model, and taking a closedarea formed by the wall lines and the doors and windows as a room; determining a second room name and second floor information corresponding to each room in the room drawing, and determining a secondplane position corresponding to each room according to the coordinates of the room angle corresponding to each room; when the first floor information and the second floor information point to the same floor, obtaining a verification result of verifying the corresponding first room name and the second room name based on the first plane position and the second plane position corresponding to the same floor; and determining a check result for checking the room model based on the check result. By adopting the method, the room checking efficiency can be improved.