1844results about How to "Improve verification efficiency" patented technology

A fully-automatic verification system for intelligent electric energy meters comprises a plurality of verification units for automatic verification of the electric energy meters, main transport lines for connecting the verification units, and a verification management system for coordinating the work of the verification units. The main transport lines comprise upper transport lines for transporting boxes carrying electric energy meters to be verified to the verification units and lower transport lines for transporting the boxes carrying the electric energy meters back to the warehouse. The verification system for electric energy meters can implement fully-automatic verification, thus enhancing the efficiency and the verification accuracy.

A biometrics authentication device identifies characteristics of the body from captured images of the body and performs individual authentication. The device guides a user, at the time of verification, to the image capture state at the time of registration of biometrics characteristic data. At the time of registration of biometrics characteristic data, body image capture state data is extracted from an image captured by an image capture unit and is registered in a storage unit, and at the time of verification the registered image capture state data is read from the storage unit and is compared with image capture state data extracted at the time of verification, and guidance of the body is provided. Alternatively, an outline of the body at the time of registration, taken from image capture state data at the time of registration, is displayed.

A system and method is disclosed for formal verification of software programs that advantageously translates the software, which can have bounded recursion, into a Boolean representation comprised of basic blocks and which applies SAT-based model checking to the Boolean representation.

The invention discloses a biometrics-based device for detecting identity of people and identification, which comprises an omni-directional vision sensor used for acquiring the facial image of an ID card holder, an ID card reader used for reading the photograph information in a bulit-in chip of the second-generation ID card and a microprocessor used for comparing whether the facial photograph imagestored in the built-in chip of the second-genration ID card and the facial images acquired by the omni-directional vision sensor are consistent or not, wherein the microprocessor comprises a data module used for reading photograph image in the ID card, a first facial detecting module, a first facial feature extraction module, a panoramicpicture reading module, a second facial detecting module, animage expanding module, a second facial feature extraction module, an identity detecting module for the biological feature of people and the ID card and a decision-layer voting and processing module.The device adopts biometrics identification technology, can greatly improve the efficiency for validating the ID card, and reduce the working strength and error rate of office personnels.

The simulation consists of a front-end simulation and a back-end simulation. The front-end simulation can use an equivalent model at different abstraction level, or a simulation model for the back-end simulation. The back-end simulation uses the simulation result of front-end simulation so that it can run one or more simulation runs sequentially or in parallel. Alternatively, models at lower level of abstraction are simulated together with a model at higher level of abstraction in parallel using two or more simulators.

The invention provides a method and a system for processing factoring information based on a blockchain. The method for processing the factoring information comprises the following steps: receiving afactoring request transmitted by a user; forming a corresponding factoring smart contract according to the factoring request; identifying user information related to the factoring smart contract on the blockchain; carrying out endorsement verification on the factoring smart contract by an endorsement verification node corresponding to the user information, on the blockchain; when the factoring smart contract passes the endorsement verification, changing ownership information corresponding to the factoring request by the factoring smart contract. The method and the system for processing the factoring information based on the blockchain, provided by the invention, provide fidelity and traceability of service data for all parties participating in factoring service by applying the characteristics of non-deletability, temper resistance, multi-maintenance, account book sharing and the like of blockchain data. Besides, the fulfillment of factoring service is finished by the factoring smart contract, service data cannot be tempered, and the difficulty of information mutual recognition of all the parties participating in the factoring service in the prior art is overcome.

The invention relates to an operation right authentication method and an operation right authentication device and belongs to the technical field of networks. The method comprises the steps that a first terminal obtains a characteristic code generated by a second terminal; the identity of the second terminal is obtained according to the characteristic code; the account information of the first terminal and information to be authenticated are obtained; a right authentication request is transmitted to a server to enable the server to perform authentication, and when the authentication is passed, a right corresponding to the right authentication request is provided for the second terminal. Since the operation right authentication is performed to the second terminal according to the account information of the first terminal and the information to be authenticated and the information input process of the second terminal is transferred to the first terminal, the information input process is enabled to become simpler and more convenient, the operation right authentication process is simplified, the information input time is saved and the authentication efficiency is improved; since a display screen of the second terminal is obviously smaller than a display screen of the first terminal, the information is not apt to disclose and the security is improved.

A biometrics authentication system that performs individual authentication in use of biometrics information facilitates authentication operation and reduces authentication errors. A storage unit stores therein the shape of the body part of the user, of which is captured at the time of registration of biometrics data, and a display unit displays the body part shape from the time of registration when authenticating the user for directly identifying the state of image capture of the body part at the time of registration and for guiding into a state of image capture of the body part similar to the state at the time of registration. The body part can be guided effectively such that the circumstances of body part image capture at the time of authentication and at the time of registration are in agreement, for improved verification efficiency.

The invention relates to an information verifying method and an information verifying device, and belongs to the technical field of networks. The method comprises the steps that a first terminal receives specified operation instructions; according to the specified operation instructions, graphic codes are generated so that a second terminal displays an information input interface through scanning the graphic codes, in addition, information, input by users, to be checked is obtained, an verification request is sent to a server, and the server verifies whether a first terminal is allowed to execute the specified operation or not. The information verifying method and the information verifying device have the advantages that the input process of the information to be checked after the first terminal receives the specified operation instructions is transferred onto the second terminal, so the process for inputting the information to be checked is simpler and more convenient, the information verification process is simplified, the time for inputting the information to be checked is reduced, the information verification efficiency is improved, and in addition, a display screen of the second terminal is obviously smaller than that of the first terminal, the information leakage cannot be easily caused, and the safety is improved.

The invention provides a universal platform of verifying compatibility between an intellectual property (IP) core and an advanced microcontroller bus architecture (AMBA) bus interface, which comprises a functional simulation tool, an AMBA bus infrastructure, a third-party verification IP core, a controller, a driver, a stimulus, a checker, an advanced peripheral bus (APB) bridge, an advanced high-performance bus (AHB) master interface, an AHB slave interface and an APB slave interface, wherein all the modules are connected to form an integrated coordinating verification environment by adopting a verification component and hierarchical packaging and interconnections ways provided by a SystemVerilog language and advanced verification methodology (AVM). The platform can verify the compatibility of different types of IP core interfaces, and the development time and cost of the verification platform and a verification method are reduced. The invention also provides the universal method for verifying the compatibility between the IP core and the AMBA bus interface. In the method, excitation is produced more normatively, scientifically and accurately, unnecessary iteration is reduced and the verification time is shortened.

The invention discloses a computing processing method and device based on a block chain, equipment and a medium, and relates to the technical field of block chains. When the method is executed by trusted computing equipment configured with a trusted computing environment, the specific implementation scheme is as follows: obtaining a computing task sent by a computing task initiator and a blockchain account private key of the initiator; performing calculation processing on the calculation task in a trusted computing environment, and obtaining a calculation result; signing the fingerprint information of the calculation result by adopting the account private key, generating a transaction request, and initiating an uplink operation to a blockchain network; and feeding back the calculation result to the initiator. The problem of computational verifiability of private data is solved.

The invention provides a digital satellite attitude and orbit control algorithm ground simulation verification system. The digital satellite attitude and orbit control algorithm ground simulation verification system comprises a simulation platform, a host computer platform, a data transfer platform, and a satellite control algorithm platform. The simulation platform is suitable for acquiring control information of a satellite attitude and orbit algorithm, and is operated in a preset simulation environment according to a dynamical model to generate an actual attitude and an actual orbit of a satellite, and then is used to output satellite simulation information. The host computer platform is suitable for receiving the satellite simulation information, and based on the setting of the satellite simulation information and parameters related to the dynamical model, and is used to transmit operation information of operating the simulation platform to the simulation platform according to an instruction input by a user. The satellite control algorithm platform is suitable for determining the satellite attitude and orbit algorithm according to the satellite simulation information, and is used to transmit control information of executing the satellite attitude and orbit algorithm to the simulation platform. The linked operation of the satellite simulation verification system is realized, and a satellite simulation integration level is improved.

The invention discloses an integrated circuit front-end verification method, which includes: establishing a verification platform for a top module to be tested, calling the top module of the verification platform through verification scripts, and establishing a simulation environment used in verification; allowing the verification platform to transmit a header file for configuring parameters of the module to be tested before compiling of the top module to be tested, and configuring the top module to be tested according to configuration of the header file when the top module to be tested is compiled; nesting open interface scripts used before and after simulation, and configuring a simulation environment; appointing parameters used by the verification platform through the interface scripts open to developers by the verification platform; passing the scripts in by regression testing according to the appointed parameters for the verification platform and calling a test case to verify the top module to be tested; and covering all covering points of the top module to be tested according to functional coverage. By the method, burden can be relieved for verification engineers, and verification speed is high.

The invention discloses a method of verifying data consistency between multiple platforms. The multiple platforms comprise a first platform and a second platform which is in communication with the first platform. The method comprises the following steps that platform data interaction information of the first platform within a preset time range is collected, and first characteristic parameter information is extracted from the platform data interaction information and written in a first information table; data recording information of the second platform is obtained within the corresponding preset time range, and second characteristic parameter information is extracted from the data recording information and written in a second information table; whether corresponding interaction data characteristic values in the first characteristic parameter information and the second characteristic parameter information are consistent or not is judged. By means of the method, data distributed between the platforms can be automatically obtained and compared, inconsistent interaction data characteristic values between the platforms can be accurately and timely found, human participation is reduced, and waste of resources of the platforms is reduced.

Provided is an anti-counterfeiting method based on random plain and secret code association examination. The anti-counterfeiting method comprises that a unique anti-counterfeiting identity code is randomly generated according to a secret key algorithm, and the anti-counterfeiting identity code is composed of a plain code and a secret code associated to the plain code; anti-counterfeiting 2D plain code and secret code which are generated by binding the plain code to the anti-counterfeiting query domain name are configured on an anti-counterfeiting label, and the secret code is hidden in the anti-counterfeiting label; a mobile phone reads the 2D plain code, so that a web page jumps to an anti-counterfeiting query WAP (H5) page, the plain code is automatically captured, a user obtains the secret code according to prompt of the page, the secret code is manually input to a secret code input field of the page, and a plain and secret associated code composed of the plain code and the secret code is transmitted to an anti-counterfeiting server; and whether the plain and secret associated code satisfies the anti-counterfeiting identity code of the secret key algorithm is verified, and an examination result is provided. The anti-counterfeiting method provides convenience for anti-counterfeiting verification, the using experience of the anti-counterfeiting examination and the verification efficiency are improved, and the safety and the reliability of the anti-counterweighing function are improved.

The invention discloses a consistency physical verification device of a multicore processor Cache, to provide a consistency physical verification device with low cost and high efficiency for the multicore processor Cache. Based on a field programmable gate-array (FPGA) verification platform of a single core processor, the device is embedded with a virtual processor core (103) to verify the consistency of the multicore processor Cache. The virtual processor core (103) can imitate the multicore processor to automatically generate shared memory access request and automatically store the correctness of results. The device can verify the correctness of the consistency of the multicore processor Cache on the FPGA verification platform of a single core processor, which reduces FPGA physical verification cost of the multicore processor and improves the consistency verification efficiency of the multicore processor Cache; synchronously, using such verification method in a simulation verification can reduce the complexity of the simulation verification and increase the speed of the simulation verification.

The embodiment of the invention discloses a method and device for business processing based on authority. Authority management middleware is provided between a client and a business server. The method comprises: the authority management middleware receives a business request emitted by the client, and determines each associated identity of users according to the user information carried in the business request, wherein each associated identity corresponds to at least one authority, business service matching with each associated identity is called according to each associated identity. According to the method, the authority management middleware is provided between the client and the business server to allow the execution logic of the identity identification and authority verification to be completely decoupled with the business logic in the business server, and the method and device for business processing based on authority is suitable for multi-system reuse.

The invention provides a method and a device for verifying interface test results and is applicable to the field of interface test. The method includes steps of receiving verifying requests of the interface test results, wherein the verifying requests include verifying types of the interface test results; acquiring corresponding interface test data according to the verifying requests; matching the interface test data with preset correction result data to obtain verifying results. The corresponding interface test data can be acquired according to the verifying request types and are automatically compared and matched with the correction result data, and compared with existing manual comparison way, the method has the advantages that a great deal of labor can be saved, mistaken verifying rate is decreased, verifying efficiency is improved and cost is reduced.

The invention discloses a method and a device for identifying by using a verification code. The method comprises the steps of: when a request of obtaining the verification code from a terminal is received, generating verification code obtaining information including a verification identifier for the verification, and obtaining an operating object of the verification code and operating mode prompting information; sending the verification code obtaining information to the terminal; receiving a verification request from the terminal, wherein the verification request comprises the verification identifier and a first identification code obtained after operation is performed on the operating object based on the operating mode prompting information. A user is unnecessary to input the verification code manually as the operating object is operated based on the operating mode prompting information of the verification code and the result after the operation is verified. Therefore, the verification mode is simplified, verification failure caused by a manual input error of the user is avoided, the verification efficiency of the verification code is improved, and the user experience is increased.