37results about How to "Simplify verification operations" patented technology

A system for implementing secure transactions includes a mobile communication network, a service provider communicating with the mobile communication network and a mobile station communicating with the mobile network and, through the network, with the service provider. A subscriber identity module, in which an executable service application is stored, is associated with the mobile station. The system further includes means for transferring the material needed in implementing the transaction into the mobile station, means in the mobile station for presenting the transferred material to the user, means for requesting the user's acceptance of the presented material for digital signing, means for activating a PIN inquiry if the user accepts the material, means for checking, in the subscriber identity module, the correctness of the PIN code entered by the user, and means for encrypting and/or digitally signing the transmitted material using the service application stored in the subscriber identity module if the PIN code entered by the user is correct.

The invention provides an information platform for the logistics industry based on an alliance blockchain, and the system comprises a layered architecture which comprises an application interaction layer and a blockchain consensus layer. The application interaction layer is used for packaging the user data and an operation into a data asset according with the standard and then transmitting varioustypes of requests to a blockchain node in a pre-defined standard transaction mode so as to complete the user operation, and finally storing the data on the blockchain. The blockchain consensus layercomprises a P2P node network for maintaining the blockchain, and a unique blockchain which is jointly maintained through the nodes in the system. The nodes in the P2P node network comprise an endorsement node, an organization node and a submitting node, wherein any node has the capability of updating the blockchain.

The invention discloses a process algebra-based real-time protocol analysis and verification system. The system comprises a mathematic modeling module, a code generation module, a simulation verification module and a verification result processing module, wherein the mathematic modeling module is used for carrying out modeling by utilizing process algebra, carrying out formalized expression on a real-time protocol, establishing a real-time protocol model and carrying out formalized expression on a protocol requirement; the code generation module is used for generating a high-level language code according to the real-time protocol model; the simulation verification module is used for carrying out simulation execution on the real-time protocol model according to a semantic meaning of a process algebra description language, and analyzing and verifying the properties satisfied by the real-time protocol model according to the formalized expressions of the rea-time protocol and of the protocol requirement output by the mathematic modeling module; and the verification result processing module is used for carrying out statistic and classification on analysis and verification results output by the simulation verification module and providing evaluation for protocol property. The system disclosed by the invention provides a protocol execution process which does not satisfy the protocol requirement, and provides integral evaluation for the protocol property, so that the efficiency of optimizing the protocols by the developers is improved.

The invention discloses a verification method and device for returned parameters of an interface, equipment and a readable storage medium. The method comprises the steps of obtaining multiple returnedparameters returned by the interface to be verified and corresponding expected parameters; storing an actual key-value pair formed by an actual path and a returned value which are included in the returned parameters and an expected key-value pair formed by an expected path and an expected value which are included in the expected parameters in a hashmap; traversing the hashmap to compare the actual path with the expected path, compare the returned value with the expected value and compare all the returned parameters and the expected parameters one by one; when all the returned parameters are compared with the expected parameters, verifying the returned parameters of the interface to be verified. According to the scheme, the hashmap is traversed to compare the returned parameters with the expected parameters, and the returned parameters of the interface to be verified are verified. The situation that verification codes are written for verification is avoided, the testing workload is reduced, the verification operation is simplified, and the testing efficiency is improved.

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

A cross-platform database access method comprises the steps that UQL is initialized; UQL statements are written; the UQL statements are preprocessed; whether grammar judgment is conducted is determined; formalization packaging is conducted on corresponding grammars, and XML expressions are generated; the XML expressions are analyzed to obtain corresponding parameters; according to the obtained parameters, target database types of the UQL statements and access types of the UQL statements are extracted, and parameter filling and executing are conducted on a selected corresponding basis module; formalization packaging is conducted on an executed result, and return is conducted. According to the method, the inner service method is no longer a target specific method but is a simple procedure in which a universal analysis executing module omits a service direct calling method in past at an iOS client, and the purpose of data access is achieved through data access statements.

The invention discloses a formal analysis and verification method for a real-time protocol. The method comprises a mathematical modeling step for carrying out formal expression on the real-time protocol through process algebra modeling, establishing a real-time protocol model, and carrying out formal expression on a protocol demand; a code generation step for generating high-level language code according to the real-time protocol model; a simulation verification step for carrying out simulation performance on the real-time protocol model according to semantics of a process algebra description language, and analyzing and verifying requirement property satisfied by the real-time protocol model according to the formal expression of the real-time protocol and the formal expression of the protocol demand output by the mathematical modeling step; and a verification result processing step for carrying out statistics and classification on analysis and verification results output by the simulation verification step and providing evaluation of protocol property. According to the method, the protocol performance process not satisfying the protocol demand is provided, the integrated evaluation of the protocol property is provided, and the efficiency of optimizing the protocol by a developer is improved.

The disclosure relates to a data transmission method and device. The method comprises the following steps: acquiring a unique identifier and a private key of a data transmitting end, and a public key of a data receiving end; encrypting first data to be transmitted by using the public key of the data receiving end to obtain encrypted second data; signing the second data by using the private key of the data transmitting end to obtain a first signature value; generating a random character string including current time; signing the second data, the first signature value and the random character string by using the unique identifier of the data transmitting end to obtain a third signature value; and transmitting the second data, the first signature value, the random character string and the third signature value to the data receiving end. Through adoption of the data transmission method and device, the data security in a data transmission process is enhanced.

The present invention relates to the unmanned aerial vehicle technology field, especially to an electronic speed control calibration method. The method comprises the following steps: after an unmanned aerial vehicle complete assembling and is electrified, a remote controller is calibrated to obtain the standard stroke of the remote controller; an unmanned aerial vehicle flight control module obtains electronic speed control calibration request signals transmitted by the remote controller and generates an electronic speed control calibration instruction according the electronic speed control calibration request signals; after outage is performed and then power-on is started, the unmanned aerial vehicle flight control module reads the electronic speed control calibration instruction and determine that an electronic speed control calibration mode is accessed; and the unmanned aerial vehicle flight control module enters the electronic speed control calibration mode and takes each electronic speed control throttle stroke as the standard stroke of the remote controller. The electronic speed control calibration method and system simplify the operation process and complete calibration of each electronic speed control at one time so as to save the calibration time, overcome the problem of the complex operation caused by electronic speed control calibration step by step in the current operation method and simplify the operation with no need for extra calibration devices.

The invention discloses a data processing method and system based on identity authentication. The data processing method based on identity authentication comprises the following steps of: sending imitating information; acquiring a picture of feedback motion given by a user according to the imitating information; matching the imitating information with the picture and outputting a matched result used for authenticating an identity. The data processing method based on identity authentication compares the sent imitating information with the acquired picture of the feedback motion given by the user according to the imitating information in order to authenticate the identity of the user, and has advantages of reliable data transmission, simple authentication operation, and high authentication efficiency compared with conventional double-line video and single-line video authentication methods.

The invention provides a forced-sealing ball valve and a valve ball height adjusting mechanism thereof. The forced-sealing ball valve comprises a valve body and a valve ball, wherein the valve body is provided with a valve seat, and the valve ball is in sealing fit with valve seat. The valve ball height adjusting mechanism comprises a height adjusting part which can be fixed relative to the valve body in a vertical direction. The lower portion of the valve ball is provided with an adjusting hole extending from bottom to top. The adjusting hole is matched with height adjusting part and communicated with the channel of the valve ball so as to allow a tool to act on the height adjusting part through the channel to allow the height adjusting part to move along the adjusting hole to change the height of the valve ball. The forced-sealing ball valve and the valve ball height adjusting mechanism thereof have the advantages that the height of the valve ball can be adjusted under the condition that the accumulated tolerance of each part is fixed, operation simpleness and convenience are achieved, and assembling and debugging efficiency is increased greatly; after assembling, the tool acts on the adjusting part to compensate machining and assembling tolerance, the valve does not need to be mounted and demounted repeatedly, adjusting efficiency is increased greatly, and the valve ball height adjusting mechanism is easy to implement.

The present invention relates to the technical field of automobile maintenance and device calibration, and discloses a device for calibrating a vehicle mounted night-vision video recording apparatus, the device for calibrating the vehicle-mounted night-vision video recording apparatus including a holder assembly and a calibration member. The calibration member is mounted on the holder assembly, the calibration member may move relative to the holder assembly to adjust a height of the calibration member, and the calibration member includes a calibration rod, the calibration rod being disposed horizontally for calibrating the vehicle-mounted night-vision video recording apparatus. In the device for calibrating the vehicle-mounted night-vision video recording apparatus of the present invention, the height of the calibration member is adjustable, and the calibration member includes the horizontally disposed calibration rod. Through observation of an vehicle-mounted night-vision display screen interface and adjustment of depression and elevation angles of the vehicle-mounted night-vision video recording apparatus, a horizontal line of an vehicle-mounted screen and the calibration rod overlap, so that calibration of the vehicle-mounted night-vision video recording apparatus is completed. The device for calibrating the vehicle-mounted night-vision video recording apparatus may calibrate different types of vehicle-mounted night-vision video recording apparatuses with simple calibration operations.

The invention discloses a composite material temporary fastener verification device and a use method thereof, and belongs to the technical field of mechanical assembly. The composite material temporary fastener verification device comprises: a bottom plate; an air gun which can slide on the bottom plate; a torque sensor which can slide on the bottom plate, wherein the torque sensor is connected with an output shaft of the air gun, and the torque sensor is used for detecting the torque of the output shaft of the air gun; an installer, wherein one end of the installer is connected with the torque sensor, the other end of the installer is provided with a composite material temporary fastener, and the air gun is used for driving the installer and the composite material temporary fastener to slide on the bottom plate so as to install the composite material temporary fastener into the composite material plate; a pressure sensor which is used for detecting the clamping force generated when the composite material temporary fastener is installed on the composite material plate, wherein the composite material temporary fastener, the installer, the torque sensor, the pressure sensor and the air gun are coaxial. The device has the advantage that the composite material temporary fastener can be accurately mounted.

The invention discloses a verification method and device for the vertical installation reliability of a double-sided assembly. The verification method comprises the steps that a verification device isarranged on the double-sided assembly, a thermocouple temperature measuring line, a photosensitive sensor, a light source and a strain gauge of the device are respectively arranged on the double-sided assembly, and then temperature change data, surface deformation data and wind pressure data on the double-sided assembly are respectively measured by utilizing the thermocouple temperature measuringline, the photosensitive sensor and the strain gauge and are transmitted to an industrial personal computer through a data collector; and an alternating-current distribution box and a photovoltaic inverter respectively transmit the generated energy data of a photovoltaic power supply generated by a photovoltaic module to the industrial personal computer. According to the verification method, thethermocouple temperature measuring line is adopted to directly collect real-time temperature changes of the surface of the assembly, the verification operation is simplified, the strain gauge, the photosensitive sensor, the photovoltaic inverter and the alternating-current distribution box are utilized to monitor wind pressure borne by the double-sided assembly outdoors, assembly surface deformation and generating capacity data in real time, and the accuracy of reliability verification is improved.

The embodiment of the invention provides a structured data and electronic menu verification method and intelligent cooking equipment. According to the method, basic structured data is obtained, and the basic structured data comprises basic operation steps needed by the intelligent cooking equipment for executing a cooking task and basic operation information corresponding to the basic operation steps; obtaining target structured data to be verified; and based on a target operation step in the target structured data and target operation information corresponding to the target operation step, judging whether the target structured data is matched with the basic structured data to obtain a first verification result of the target structured data. The structured data verification mode in the method greatly simplifies the verification operation process, the verification efficiency of the structured data is improved, and richer operation requirements can be met.

The embodiment of the invention relates to an optical fiber temperature sensor calibration method and device, computer equipment, a storage medium and a computer program product. The method comprises the following steps: acquiring a Stokes curve and an anti-Stokes curve of an acquisition signal of a to-be-calibrated optical fiber and temperatures at a plurality of loss points of the to-be-calibrated optical fiber; according to Stokes curve values and anti-Stokes curve values corresponding to front and rear sub-optical fibers of the loss point, a proportionality coefficient corresponding to the loss point is determined, and the sub-optical fibers are obtained by segmenting the optical fiber to be calibrated according to the plurality of loss points; and according to the proportionality coefficient and the temperature, determining a linear relationship between the measured temperature of each section of sub-optical fiber in the sub-optical fibers and the collected signal of the sub-optical fiber. The method can simplify the calibration operation process of the optical fiber temperature sensor, saves the workload, and improves the calibration efficiency.

The invention discloses a function inspection method for a filter stick forming machine, which has the main design conception that main functions such as opening, glyceride application, ODM diameter control, filter stick removal and groove verification are combined with working links of the split filter stick forming machine in sequence, and specific inspection and acceptance objects and modes corresponding to each link are provided. Inertial dependence on experience can be effectively reduced, and the problems of energy and raw material loss, overlong process verification time, uncontrollable progress and the like caused by lack of a standardized function inspection process for the filter stick forming machine in the field are solved. The comprehensively refined verification process provided by the invention has the characteristics of standardization and quantifiability, the verification efficiency can be remarkably improved, the verification operation is simplified, and the progress is controllable.