218results about How to "Reduce verification costs" patented technology

The invention provides a remote data completeness verification method facing cloud storage. According to the method, the aggregate signature and specified certifier signature technology is utilized, the verification function on the user data completeness by users and the third party auditors is realized, and meanwhile, the information of users for data completeness is enabled not to be leaked; the verification information transparency control is realized through the zero knowledge proving technology, and when the dispute exists between the users and a server, the third party auditors can generate the undeniable high-confidence-degree proving through the non-interactive zero knowledge proving technology. According to the method, under the condition that a cloud storage service provider is incredible, the accuracy of the cloud data completeness verification can also be ensured, and the method provided by the invention has the advantages that the realization is easy, the cost is low, the data protection performance is high, the third party audit is supported, the privacy protection mechanism is flexible, and the like.

The present invention has been made to provide a software verification program, a software verification apparatus, and a software verification method capable of reducing verification cost of concurrent / parallel software.A software verification program allowing a computer to execute verification of software including a library 11 and a program that uses a library 21 to operate in a concurrent or parallel manner, comprises: a shared element utilizing part extraction step that extracts a part at which a shared element, which is an element that is defined in the library 21 and which can be used by the program 22, is used in the program 22; and a condition verification step that verifies based on a thread-safe condition defined in the library 21 for the each shared element whether a shared element in the shared element utilizing part extracted by the shared element utilizing part extraction step satisfies the thread-safe condition.

In a computer system in which personalization data for an ASIC is stored in latches, this data is susceptible to soft errors. Many computer systems require high levels of error detection, error correction, fault isolation, fault tolerance, and self-healing. In order to complete an ASIC design and release it to a foundry, it must first be verified that the design meets the frequency requirements of its specification. A fault tolerant, self-correcting, non-glitching, low power circuit is described which meets all the requirements for reliability, while also eliminating any requirement to add area or power to the ASIC in order to meet the frequency specification for personalization latches. By using the circuits as a repeatable structure, the verification of the self-healing property is simplified relative to a collection of Error Correction Code usages of various bit widths.

A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.

The invention discloses a method and device for simulating an elevator scene, a computer device and a storage medium. The method comprises: generating an elevator simulation scene according to a set scene simulation parameter; and transmitting an elevator simulation operation signal generated when an elevator simulation scene state changes to an elevator controller to be tested, and responding toa feedback instruction of the elevator controller to be tested to the elevator simulation operation signal; and evaluating the scheduling of the elevator controller to be tested based on operation data of the elevator simulation scene. According to the method and device for simulating the elevator scene, various situations and load situations of the elevator scene can be simulated, an elevator scheduling algorithm is accurately verified, the scheduling algorithm verification cost is reduced, the scheduling algorithm verification efficiency is improved, the coverage and fitness of the scheduling algorithm verification are improved, and simulation effects are close to the reality.

The invention discloses a method and device for testing a program. The method comprises the steps that a testing request sent by a client side is acquired by a virtual testing system, wherein the testing request is used for requesting for executing a target test case; the virtual testing system and the client side execute the target test case, wherein the target test case is used for testing whether a client side executing resource transfer event meets an executing rule or not; the virtual testing system records operating information of the client side and determines whether the client side executing resource transfer event meets the executing rule or not based on the operating information, wherein the operating information comprises an operating behavior occurring in the process that the clients side executes the target test case and a generated operating result. By means of the method and device, the problem that due to the fact that true resources are used for resource transfer verification in the prior art, verification cost is high is solved, and therefore verification cost is reduced.

The invention provides an automatic planning land checking method. The automatic planning land checking method comprises the steps of: performing graphic layer management, obtaining a remote sensing image as the underlying graph, and establishing a graphic layer coordinate system through the underlying graph; performing planning data loading, loading planning data in the graphic layer coordinate system, separating point, line and surface elements of the planning data into different vector graphic layers, and loading to the underlying graph; performing track management, obtaining the position point generated by a real-time GPS signal, drawing a track curve in a track graphic layer according to the position point, fitting the terrain contour in the underlying graph through the track curve, generating the surface element from the closed track curve, and storing the surface element in a new track graphic layer; and performing automatic checking, and calculating the difference size and thedifference position of the surface element of the planning data graphic layer and the surface element generated by the track curve. By means of the automatic planning land checking method, the electronic device, the storage medium and the system provided by the invention, the planning land checking efficiency can be effectively increased; the checking cost can be reduced; and thus, effective technical support is provided for checking the planning land in our country.

The embodiment of the invention provides an original data checking method and device, electronic equipment and a storage medium, and relates to the technical field of data processing. The method comprises the steps that the data of the same patient in the original data and the fill-in data of a case report form are acquired based on the master patient index; the unified code of the data of the same patient in the original data and the fill-in data is established through the preset standard; the corresponding fields of the data of the same patient in the original data and the fill-in data are identified based on the unified code; and the identified corresponding fields of the data of the same patient are compared through the preset mapping rules and prompting is performed when the comparison result is inconsistent. According to the technical scheme, SDV checking can be automatically performed so that the SDV checking cost can be reduced and the SDV checking efficiency can be enhanced.

The invention discloses a verification platform for a field effect transistor SOA curve. The verification platform comprises a control unit, a monitor unit and a power source. The control unit comprises a single-chip microcomputer, a switch, a first operational amplifier and a second operational amplifier which are sequentially connected, and a precise power resistor which is connected with the source electrode access end of a device to be tested and has the resistance value 1R. The input end of the monitoring unit has access to the drain electrode voltage and the voltage drop of the precise power resistor. The serial input port of the single-chip microcomputer is connected with the switch with one end grounded, and the serial output port of the single-chip microcomputer is connected with the reverse input end of the first operational amplifier through a second resistor. The output end of the first operational amplifier is connected with the reverse input end of the second operational amplifier. The output end of the second operational amplifier is connected with the grid electrode access end of the device to be tested through a seventh resistor. The output end of the first operational amplifier is connected with one fixed end of a variable resistor, and the other fixed end of the variable resistor is grounded. The adjustment end of the first operational amplifier is connected to the reverse input end of the second operational amplifier through a fourth resistor. A test method for the SOA curve based on the verification platform includes the following steps of presetting values and carrying out the test.

The invention discloses an air braking system simulation device of a goods train, comprising a memory, a display device, an input device and a processor, wherein the memory is used for storing air braking system simulation programs of the goods train; the display device is used for displaying simulation results and analyzing air braking force; the input device is used for inputting external operating commands; the processor is used for calculating and outputting the air braking system simulation programs of the goods train; and the memory, the display device and the input device are respectively connected with the processor. The invention also discloses an analogy method based on the air braking system simulation device of the goods train. The air braking system simulation device of the goods train and the analogy method thereof, which are disclosed by the invention, can provide a circumstance for the simulation calculation of an air braking system of the goods train through an analog mode, thereby calculating and analyzing the air braking system of the goods train.

The invention belongs to the technical field of information processing, and discloses an agricultural product traceability information processing system and method based on a block chain, and the system comprises: a data collection module which is used for collecting production enterprises, production links, logistics information, consumption features and related information; a data processing module which is used for generating a Merkel tree based on a block data processing technology and series hash, stamping a timestamp and processing the data by an asymmetric encryption technology; a dataverification module which is used for performing data verification on the authentication node of each link through a consensus mechanism; and a data feedback module which is used for feeding back datato a production enterprise and performing agricultural product traceability and logistics management at the same time. The invention discloses a set of data structure conforming to agricultural product traceability, which takes agricultural product production enterprises as main data sources and is matched with logistics tracking information and sales information to ensure that reliable information traceability from farmland to dining tables is provided for consumers.

The invention provides a data processing method and device, computer equipment and a storage medium, and the method comprises the steps: sending the identity information of a first user side to a keygeneration system, receiving a user private key returned by the key generation system, wherein the key generation system generates the user private key according to the identity information and a system main private key; obtaining a preset system number, signing each natural number which is smaller than the preset system number according to an SM9 signature algorithm and a user private key, and sending the obtained signatures to a second user side; receiving a commitment value sent by a second user side, the commitment value being generated by the second user side according to the target object; receiving a blind value returned by the second user side, the blind value being generated by the second user side according to the plurality of signatures and the target object, and the system mainpublic key being generated by the key generation system; and verifying the target object according to the commitment value and the blind value. According to the scheme, high certificate management expenditure is avoided, and the cost is effectively reduced.

The invention discloses a long-distance automatic verification system of a digital display type temperature indicating instrument. According to the invention, a communication module at a field end is communicated with an upper computer at a long-distance end, wherein one path of a standard source at the field end is connected with the communication module through an RS232 (Recommend Standard 232) and a GPIB (General Purpose Interface Bus) and the other part of the standard path is connected with a multi-way switch; a stepping motor is connected with an image collection module and the stepping motor is connected with the communication module through a PLC (Programmable Logic Controller); one way of the multi-way switch is connected with the PLC and the other way of the multi-way switch is connected with an instrument to be verified; and the image collection module is connected with the communication module and the image collection module is used for collecting readings of the instrument to be verified. According to the invention, by utilizing a network technology, the separation of data collection and data treatment of the verification of the digital display type temperature indicating instrument is realized, and the instrument to be verified can be verified by a verification mechanism without being transported, thereby providing a solution for tracing to the verification mechanism with a higher grade; and meanwhile, the automatic verification of a plurality of the digital display type temperature indicating instruments can be finished at the same time, so that the verification cost is reduced and the verification efficiency is improved.

The invention presents an information verification method including the following steps: (1) a client sends user registration information to a server to request for user identity verification, the server is used for verifying user identity, and the server generates a key container file corresponding to the client according to the user registration information after verification succeeds; (2) the client downloads the key container file from the server or gets the key container file by updating, wherein the key container file contains to-be-matched information and the public-private key pair of asymmetric keys or symmetric keys, and the information is bound to the key container file for client authentication; and (3) after actual information in the client is matched with the to-be-matched information, when the application service of the client requires user identity authentication, the client and the server conduct two-way authentication based on the asymmetric keys or one-way authentication based on the symmetric keys. The process of verification is simplified greatly and the cost of verification cost is lowered while the reliability and safety of verification are improved greatly.

Embodimentsof the invention provide a registration risk identification method and device, electronic equipment and a storage medium, and relates to the technical field of network security. The methodcomprises the steps: receiving a registration request, and extracting characteristics of the registration request; predicting the risk of the registration request through a risk prediction model according to the characteristics of the registration request to obtain a prediction result; selecting a corresponding verification mode based on the prediction result to verify the registration request toobtain a verification result; and adjusting the risk prediction model based on the verification result. According to the technical scheme of the embodiments of the invention, the risk identification strategy can be automatically adjusted, so that malicious registration can be accurately identified and prevented, and meanwhile, the use experience of a normal registration user can be ensured.

The invention discloses a method for certifying the out floating upright canister with liquid, which divides the volume of the canister into several parts and certifies individually, get the corrected value's algebraic sum. The measuring comprises outer measuring, inner measuring when the out floating roof fall on the bottom completely, inner measuring when the out floating roof floats completely, reference height measuring, the total height of the tank, the accessories in the tank. The diameter of the girth sheets can be measured through circumference by perisphere ruler or through the radial missing of the girth sheets relative to the base circle based on the measured diameter of the base circle. The measuring of tank bottom is through pulling supporting leg out and setting target on the floating roof. The measuring of reference height can use annular tube ruler with clean function.

The invention discloses a radar echo semi-actually-measured data simulation method, belonging to the technical field of radars. The semi actual measurement simulation is a simulation method between pure digital simulation and physical simulation, and can implant a designed radar transmitted signal into a real radar signal echo. Take the actually measured radar data with a transmitted signal as anLFM signal as an example, all the actually measured data, whether it is a target or clutter, is echoes of the LFM signal, and contains information of LFM. If a signal is newly designed, the newly designed radar signal is expected to be implanted into the actually measured radar echo to obtain an echo of a new transmitted signal in a complex environment, thereby being beneficial to investigating signal processing and target extraction performance of a radar receiving module under the signal system. The radar echo semi-actually-measured data simulation method can utilize the existing signal actually measured data echo to complete semi-actually-measured radar echo simulation of the newly designed signal.

The invention relates to a method for identifying offline consumption based on Internet electronic commerce. By the cooperation between a transaction certificate code formed by user ID, seller ID, and order ID information and a corresponding identification pairing flow, the security of consumption identification of ordering information is enhanced. Therefore, user identities and ordering information can be safely and effectively identified; verification cost of consumption certificate is effectively decreased; industrial chain cost is decreased; and cost investment of online electronic commerce and offline consumption is reduced. The method achieves seamless connection between information and entities, between online and offline, and between actual shops.

The invention discloses a lysine acetylation site prediction method based on a modular dense convolutional network, and the method comprises the steps: introducing the structural characteristics of aprotein, and combining the structural characteristics with the original sequence of the protein and the physicochemical attributes of amino acids to construct a site feature space; adopting a modulardense convolutional network to capture characteristic information of different hierarchies, and reducing information loss and information crosstalk in the characteristic learning process; and introducing a compression-excitation layer to evaluate the importance of different characteristics, so that the abstraction capability of the network is improved, and the potential lysine acetylation sites are identified. The method can effectively solve the problem that an existing method only considers protein sequence level information and is low in characteristic learning efficiency, potential lysineacetylation sites are more accurately predicted, the verification cost of the lysine acetylation sites is reduced, and the research efficiency of lysine acetylation modification is improved.

The invention discloses a digital electrocardiograph calibration method and system. The digital electrocardiograph calibration method is used for intelligently calibrating a digital electrocardiograph. The digital electrocardiograph calibration method includes receiving electrocardiographic data outputted by the electrocardiograph to be calibrated by an access module, transmitting the received electrocardiographic data to an identifying module, identifying a calibration term which the received electrocardiographic data belongs to by the identifying module, judging whether the received electrocardiographic data is qualified or not by means of calibration standard by the identifying module according to the identifying results. By the digital electrocardiograph calibration method and system, intelligent calibration of the digital electrocardiograph can be realized, calibration efficiency is improved, manual error is reduced and calibration accuracy is improved. Meanwhile, the digital electrocardiograph calibration method and system is applicable to existing calibrators.

The invention discloses a two-factor authentication method. The two-factor authentication method comprises the following steps of: performing two-factor authentication; an account number of the user is detected to log in the platform; when the UKey equipment is connected with the terminal where the platform is located; determining a target login certificate and a target private key in the UKey device, wherein the UKey device stores a plurality of login certificates and private keys corresponding to the login certificates, hardware of a manufacturer corresponding to the UKey device supports thePKCS # 11 standard, and the login certificates and the private keys in the UKey device are imported into the UKey device through a tool supporting the PKCS # 11 standard; performing first login verification on the account according to the target login certificate and the target private key; after the first login verification is passed, obtaining an input password, and performing second login verification on the account according to the password; and after the second login verification is passed, determining that the account login is successful. The invention further discloses double-factor authentication equipment and a computer readable storage medium. The verification cost of the two-factor authentication is low.

The invention discloses a simulation verification method and system based on combination of a virtual platform and an FPGA, and the method comprises a verification step: constructing a first conversion model, receiving a simulation request of a host model through the virtual platform based on TLM2.0, and converting the simulation request into a first data package; constructing an FIFO switching verification model according to a third-party PCIe DMA method, and simulating a data transceiving channel; constructing a second conversion model, receiving the first data packet, performing analysis according to a preset protocol, and sending an analysis result to an RTL design DUT according to an AHB / AXI protocol; and a simulation step: generating an executable file according to the host model andthe second conversion model, storing the executable file in an upper computer for simulation, generating a burning file according to a third-party PCIe DMA method, the first conversion model and RTLdesign DUT, downloading the burning file to the FPGA, and enabling the upper computer to run the executable file to be connected with the FPGA for joint simulation. According to the method and system,the economic cost and the verification cost of simulation are greatly reduced, and a user can conveniently and flexibly optimize and modify according to actual requirements.

A CPU of a navigation apparatus stores public keys to which priorities are set and which are published by an information distribution center in a public key storage section. The CPU of the navigation apparatus extracts an electronic signature of distribution data which is distributed from the information distribution center and verifies the electronic signature by using only ‘valid’ public keys among the public keys in order of the priorities. The CPU of the navigation apparatus determines that the distribution data is valid information which is distributed from the information distribution center when the electronic signature passes verification.

The embodiment of the invention provides a certificate identification method and device, an electronic device and a computer readable storage medium. The method comprises the following steps: based onvideo information collected in the relative movement process of a target certificate and a collection device, determining each frame of to-be-processed image information comprising the target certificate, performing reflected light detection on each frame of to-be-processed image information to obtain a reflected light detection result, judging whether the material of the target certificate is the material of a preset certificate based on the reflected light detection result, and determining the authenticity of the target certificate according to the material judgment result of the target certificate. According to the embodiment of the invention, the authenticity of the certificate is verified from the perspective of the physical material of the certificate. The certificate verification accuracy is improved, the reflected light detection means does not need to be assisted by high-cost hardware equipment, the verification cost can be reduced while the verification accuracy is guaranteed, and the requirements for low cost and high verification accuracy of certificate verification in the financial industry, the communication industry and the like are met.

The invention provides a hardware fault verifying method, device and client. The method comprises steps of acquiring original verifying codes of a verifying target, writing preset hardware fault verifying codes in a designated position of the original verifying codes, executing the hardware fault verifying codes when a verifying executing event set in the original verifying codes is triggered, and restoring the original verifying codes of the verifying target when the hardware fault verifying codes are executed. By the utilization of each embodiment, whether a business system takes corresponding measures as expected is verified via simulation of a hardware fault via software, so device, human resource and time for hardware fault verification can be reduced and hardware fault verifying efficiency can be improved.

The invention provides a calibrating device for a fluid metering instrument. The calibrating device is composed of a pressure stabilizing device, a flow rate adjusting device and at least one sampling timing unit. A fluid used for detection is pressurized by means of the pressure stabilizing device and passes through a detecting pipeline and sequentially flows through at least one detected instrument, the flow rate adjusting device and finally flows out of the detecting pipeline. Each detected instrument is provided with a pulse time difference unit. The flow rate adjusting device and sampling timing units are connected by means of data communication lines. The calibrating device for the fluid metering instrument has following beneficial effects: the invention brings forward the calibrating method for the fluid metering instrument more suitably applying electronic technology such that automation degree of the calibrating device is increased, calibrating speed is improved and calibrating cost is decreased; the invention is not only used for calibration of water meters but also applied to calibrating devices of a gas meter, an oil meter, a fluid flowmeter, a gas flowmeter and other metering instruments.

The invention discloses an on-orbit closed loop verification system for a satellite control system. The on-orbit closed loop verification system is suitable for on-orbit verification on new technology and products of the satellite control system. Close loop work conditions for the new technology or products to be applied to the satellite control system are established by running a satellite dynamics and kinematics calculation module, an executing mechanism control force or torque calculation module and a sensor measured value calculation module in a control computer. By the adoption of the on-orbit closed loop verification system, under the condition of lack of an executing mechanism, a sensor and even a controlled object, on-orbit real-time closed loop verification on new technology and products of the satellite control system can be achieved, and the authenticity of on-orbit verification on the new technology and the new products is remarkably improved.

The invention discloses a method of verifying RAS performance of a server system. According to a hardware address and an error type input by the user, error information of the error type can be injected to the hardware address, and then whether RAS performance verification of the server system is successful can be judged according to whether the server system executes a preset operation corresponding to the error information. Therefore, the method can realize RAS performance verification on the server system simply without the need for hardware equipment, and effectively reduces verification costs. The invention also provides a device of verifying the RAS performance of the server system and a computer storage medium, of which effects correspond to effects of the above-mentioned method.