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

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.

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.

The invention discloses an information verification method, which comprises the following steps. Analogue information is collected to generate verification information; the verification information as well as the first information and the verification code corresponding to the verification information is stored; the verification information and the first information are sent to the user terminal; the data fed back by the user terminal are received and then are compared with the verification code. If the data coincide with the verification code, verification is then passed. As the verification information of the invention is quite irregular data generated form analogue information, user can give correct feedback easily according to the question hinted by the first information but present anti-verification method has difficulty in identifying. Therefore, veracity and reliability of information verification are greatly improved.

The invention discloses a security vulnerability automatic verification system based on a crowd testing platform. The system executes the following steps of 1, collecting the verification information;2, implementing the authentication information encapsulation, classifying all kinds of vulnerabilities collected by security vulnerability automatic verification system according to their types, extracting the key information from vulnerability detection results for each type of vulnerabilities, taking the key information as the necessary field data to submit the vulnerabilities, collecting the required data according to the fields, and packaging the data in a unified interface modularly; 3, searching for an authentication strategy, and selecting an appropriate attack script template and a vulnerability utilization tool according to suspicious vulnerability identification and type information; 4, carrying out automatic vulnerability verification; 5, clearing the verification trace; 6, generating a scanning report.

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 student behavior information verification system based on a blockchain technology. The characteristics of distributed structure, automatic trust establishment, tamper-proofing, anti-counterfeiting, traceability and the like are used to solve the problems of high information verification cost, low efficiency, insecure security and the like, which are caused by damage or loss of student behavior information supporting materials. The system consists of a blockchain technology module, a registration / login module, an information release module, an information audit module,an information sending module and a query verification module. A relatively complete student behavior information chain is formed, and a unified interface service is provided for external parties. Onthe basis of ensuring the validity and reliability of student behavior information verification, the system greatly improves the work efficiency of tedious self-certification and verification of students, school management departments, enterprises, institutions and the like, and reduces the human resource cost of student behavior information maintenance.

The invention provides a form verification method which comprises obtaining a corresponding verification regulation from a preset configuration text in a server according to an input frame identification (ID) in a form submitted by a user; verifying an input value in the form according to the obtained verification regulation, and displaying an error prompt message to the user if the verification fails. The invention further provides a form verification system. The form verification method and the form verification system can be used for automatic verification of forms, and verification efficiency of the forms is improved.

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 a method for improving functional verification efficiency of an embedded processor. The method is realized through a simulation flow control table and a verification platform. The simulation flow control table is in charge of setting up a self-testing platform and a module level verification platform or a system level verification platform, carrying out working directory conversion and starting simulation; the verification platform is in charge of generating random excitation and calling a compiler to carry out compiling, reference model operation and simulation result comparison on orders which are randomly generated.

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.

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 a recording processing method and device based on business information of biological recognition and a computer device. The method comprises the steps of receiving a double-recording request sent by a terminal, obtaining corresponding configuration information according to service information carried by the double-recording request, and sending the configuration information to the terminal; Obtaining a preset frame picture in the video information recorded by the terminal in the double-recording process, and obtaining a client face image and a salesman face image fromthe preset frame picture; Respectively carrying out identity verification on the client face image and the salesman face image according to the service information; After the identity verification ispassed, extracting audio information in the video information, and identifying the audio information to obtain identified audio information; Performing rule verification on the identified audio information according to the configuration information; And after the rule verification is passed, receiving the double-record file uploaded by the terminal and storing the double-record file. By adopting the method, the data in the recording process can be effectively processed so as to effectively improve the double-recording verification efficiency.

The invention discloses a random verification method and a device for verifying a processor chip after manufacturing. The method comprises the following steps: adding constraints related to a reserved register and a reserved memory address in a command template; adding a register initializing program generator, a memory initializing program generator and a command counter; modifying a random program generating engine, removing an original register initializing file generating mechanism and an original memory initializing file generating mechanism and changing the original command sequence generating and terminating conditions; adding a random generating program recorder, a register comparison program generator and a memory comparison program generator; converting a file generated by using the random command generating method for verifying the processor chip after manufacturing into a file format which can be dispatched by a software platform; assigning initial positions at which different program code segments are loaded in the memory; and loading the program code segments converted into the file format which can be dispatched by the software platform into the corresponding memory addresses according to the assigned initial positions.

The invention provides a checking method of a BIM model. The checking method includes the steps of firstly, building a BIM standard data module; secondly, reading the attribute information of BIM model elements to form a first data list, and reading all the attribute information in the BIM standard data model to form a second data list; thirdly, matching the attribute information in the first data list and second data list, performing the fourth step is the matching succeeds, and performing the fifth step if the matching fails; fourthly, performing a conformity check, outputting information that the elements conform to standards if all the elements conform to the standards, and ending the checking; performing the fifth step if elements not conforming to the standards exist; fifthly, outputting information that elements not conforming to the standards exist, feeding a checking result back to the BIM model, displaying the elements not conforming to the BIM technical standards, and ending the checking. By the checking method, automatic checking of the BIM model can be achieved, and high checking efficiency and accurate checking result are achieved.

The present invention discloses a resource publishing method, a resource downloading method and a data verification system, which belong to the technical field of communication. The resource publishing method comprises the following steps: fragmenting the resources to be published according to the fragment rule, and obtaining a plurality of fragment data; calculating a verification value of each fragment data, then generating a seed file which includes all verification values of the fragment data and the fragment rule; calculating the verification value of the seed file, and uploading the seed file as well as the verification value of the seed file. When in use, the resource publishing terminal generates a seed file including all verification values of the fragment data and the fragment rule, then calculates the verification value of the seed file, and uploads the seed file as well as the verification value of the seed file, thus, the resource downloading terminal can verify the seed file in advance according to the verification value of the seed file, then download and verify the fragment data in the precondition that the seed file is correct, consequently, the correctness of the download resource is ensured, and the data verification efficiency is also improved.