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.

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 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 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 relates to the technical field of airplane part strength dynamic airworthiness testing, and especially relates to an aviation replaceable cushion dynamic airworthiness testing device and testing method. The testing device comprises an impact testing bench used for applying a preset impact load to a tested device so as to carry out a preset impact test; a rigid seat, wherein a replaceable cushion is fixedly arranged on the rigid seat; a testing clamp used for fixedly installing the rigid seat to the impact testing bench according to a preset installation mode; a dummy fixed on the replaceable cushion; a load sensor arranged in the dummy; and a light measuring device used for monitoring the motion attitude and the deformation of the tested device arranged on the impact testing bench in the testing process. According to the invention, the rigid seat is utilized to simulate a practical elastic seat, the testing condition is simplified, the testing cost of aviation seat cushions is greatly lowered, and the cost for purchasing the cushions is lowered for an aviation company.

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 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 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 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.