34results about How to "Confirm correctness" patented technology

The present invention relates to a method for automated verification and regression test of a software unit. The method comprises the following steps of: 1) in a use-case design process, constructing a test use-case set; and 2) in a use-case execution process, using the constructed test use-case set to automatically test the software unit. Compared with prior art, the method for automated verification and regression test of the software unit has the advantages of making full use of software / hardware resources, improving work efficiency and the like.

The invention discloses a description method of the automatic test of a relay protection device. An automatic test system is comprised of a relay protection tester and in-situ operation software, which use scripts in accordance with the description method as interfaces and complete automatic test function by analyzing and executing the scripts. The method is characterized in that the description method uses the scripts as carriers and follows the following XATEL grammars: a test process grammar that describes a test method and parameters, which are used in an automatic test process, and is used in a control tester to perform an automatic test; a result data grammar which describes automatic test result data and intermediate state information in the test process and is used in the tester for feeding back information in and after the test process; and an expression grammar which describes dynamic data algorithms uses in the test. The method can perform automation test in any tester supporting the grammar standards by using only one script in order to test the same protection function and realizes the standardization and normalization of the test process.

The invention relates to the field of communication, and discloses a slot selection optimizing method and device which can be used to solve the problem that slot collision occurs during slot selection. The method includes that: a first node selects a sending slot of itself according to FIs sent by other nodes, wherein each FI carries slot state information of M slots which is reported by one corresponding node, and each piece of slot state information includes occupied node information or measurement information of one slot; the first node selects the slot state information of the M slots according to the latest slot state information to generate the FI, and sends the FI when the next sending slot reaches, in this way, the first node can determine the slots which are not occupied and have the maximum collision likelihood according to information interaction between the first node and the other nodes, and can avoid these slots during sending slot selection, so that the collision likelihood of the sending slots can be reduced, resource cost of information interaction can be reduced, and the operation load of a system can be decreased.

The invention discloses a method for guiding cardiac rehabilitation training. The method comprises specific steps as follows: S1, a doctor formulates a rehabilitation exercise scheme; S2, a patient logs in an account; S3, a rehabilitation scheme is transmitted to the doctor through a program, and the doctor checks whether the displayed rehabilitation scheme is consistent with the rehabilitation exercise scheme set by the doctor and then clicks a button 'start training'; S4, the patient takes rehabilitation exercise on a treadmill; S5, the patient clicks a button 'end training' and fills in a table of 'assessment score', data are uploaded to a cloud terminal, and rehabilitation exercise training ends. The doctor formulates the rehabilitation scheme and uses the internet technology, so that the doctor can confirm correctness of the rehabilitation scheme conveniently, the rehabilitation training is more scientific, more efficient and safer, and rehabilitation of the patient is guaranteed. The rehabilitation training data can be uploaded to the cloud terminal, so that the doctor can check the rehabilitation training condition of the patient conveniently and modify the rehabilitation training plan according to the physical condition of the patient easily, and the use effect is good.

The invention provides a case reasoning based mobile crane fault diagnosis system. A user graphical interface module is arranged on an expression layer of the system, a fault case management module, acase reasoning module and a case reasoning engine configuration module are arranged on an application logic layer, a case database is arranged on a data service layer, the fault diagnosis process isconducted as follows: a user realizes the man-machine interaction mode through the data interchange of the user graphical interface module and the case reasoning module; a data acquisition terminal transmits the operation states of various actuating elements of a mobile crane to the case reasoning module, the case reasoning module is combined with the case reasoning engine configuration module anda case reasoning engine configuration file in the data service layer to reason a case; the corresponding data case in the case database is used to judge the case, and the running status of the mobilecrane is reflected through the user graphical interface. Based on the case reasoning, the convenience and the practicality of diagnosis of the mechanical fault of the mobile crane are realized.

The invention discloses a collaborative signature method and device supporting trusted display, and the method comprises the following steps: 1), signature parameters are initialized and public parameters needed in the whole signature process are generated; 2) a calling party and a collaboration party generate a secret key; according to the scheme, it is guaranteed that a complete digital signature can be generated only after a user confirms that the to-be-signed message is correct, and meanwhile it is guaranteed that when data of the collaboration party is lost, an attacker cannot generate the complete digital signature through the collaboration party due to the fact that the data of the collaboration party lacks a sub-private key stored in the calling party.

A medical multi-chamber container using an RFID device, by which the mixing of medicaments can be easily and reliably carried out without depending only on visual inspection and the correctness of medical treatment can be checked without fail; a method for recognizing the mixing of medicaments using same; a system for preventing misuse of a medical multi-chamber container; and a medicaments-containing medical multi-chamber container. Specifically provided is a medical multi-chamber container (10) including a flexible container body (20) which is partitioned into multiple chambers (22, 24) for storing medicaments by a weak-seal portion (26) where the opposite surfaces of the container body (20) are detachably bonded, characterized in that an RFID device (30) and a metal layer (40) are provided in such a manner as to sandwich the weak-seal portion (26) therebetween.

The invention discloses an AHCI interface transmission method and system. A host sends H2D FIS to a device, and the host sends a command request to the device through the H2D FIS; after receiving the command request, the device parses the command request and directly transmits data; and after transmitting all data, the device sends D2H FIS or SDB FIS to the host to report the execution state or result of the command request of the host. The method disclosed by the invention requires no interaction of PIO-Setup FIS. Therefore, data transmission delay can be shortened, and the transmission efficiency is improved; the complexity of the interaction process is effectively reduced, the working efficiency of the host is effectively improved, and the PCIe bandwidth occupied by transmission control FIS can be effectively released to increase the DATA transmission bandwidth, so that PCIe bandwidth resources are utilized more effectively; and D2H reply is designed after the data transmission is completed for reporting the execution state or result of the current command, and the host can confirm the correctness of the received data.

The invention relates to a time synchronization method and system based on a phase difference of voltage on both ends of a line. According to the method and the system, a phase difference of voltage waveforms on both ends of the faulted phase of a line at failure and that before failure are compared. It is manifested that the voltage waveforms on both ends of the faulted phase of the line at failure are not synchronous in time if the phase difference of the voltage waveforms on both ends of the faulted phase of the line at failure is not equal to that before the failure. The voltage waveforms on both ends of the faulted phase of the line at failure are adjusted in order that the time of the voltage waveforms on both ends of the faulted phase of the line at failure are synchronized. The method and the system provides reliable data for correct fault reason analysis, timely fault treatment, and protective system action correctness confirmation, may accurately analyzes the fault by using the voltage waveforms on both ends of the faulted phase of the line at failure so as to improve fault analysis accuracy.

The invention relates to a motorcycle intelligent ignition control system, method and device. The motorcycle intelligent ignition control system comprises a vehicle-mounted human-machine interaction device used for receiving and displaying unlocking information input by a user, a vehicle-mounted communication module connected to the vehicle-mounted human-machine interaction device and used for receiving the unlocking information transmitted by the vehicle-mounted human-machine interaction device and an unlocking controller connected to the vehicle-mounted communication module and used for receiving and verifying the unlocking information transmitted by the vehicle-mounted communication module and powering on an electric door when verification of the unlocking information is passed. The motorcycle intelligent ignition control system, method and device can realize quick start of a motorcycle under the condition that a smart key does not exist.

A wireless power supply device and method applied to an electronic lock is implemented between a power supply unit and a power receiving unit. The power supply unit is connected to an external power source and has a first radio frequency coil and a first wireless communication module. The power receiving unit is connected to an electronic lock and has a second radio frequency coil and a second wireless communication module. When the power supply unit wirelessly transmits the power provided by the external power source to the power receiving unit, the power receiving unit and the power supply unit perform a handshaking process to confirm whether they are paired objects, if yes, the power is allowed to be transmitted to the electronic lock, so that the security of wireless power supply can be improved.

The invention discloses a train automatic monitoring system and an implementation method thereof. The implementation method of the train automatic monitoring system includes: generating a graphical station yard map with device attributes; reading the graphical station yard map with the device attributes; and displaying a signal device state of a station yard through the graphical station yard. According to the implementation method, the graphical station yard map with the device attributes is generated and read, an ATS offline system and an online system are combined into a system, and in this way, station yard layout data will not be limited by the ATS offline system, station yard layout can be set at will in an ATS offline state, the problem that the online system may not recognize the offline system can be avoided, and station yard map layout is beautiful.

The invention provides a plug-in instance management method and system, a storage medium and equipment. The method comprises the following steps: obtaining a template list from a database, and determining whether each template in the template list exists in a template warehouse of a business layer of a container platform; in response to the fact that all the templates exist in the template warehouse, querying plug-in instances corresponding to all clusters in a plug-in instance list of the database, and judging whether all the templates respectively correspond to the plug-in instances corresponding to all the clusters in the plug-in instance list or not; if a template does not have the corresponding plug-in instance, establishing a virtual plug-in instance for the template and checking whether a corresponding component exists in the cluster corresponding to the template or not; and in response to the presence of the corresponding component in the cluster corresponding to the template, writing the virtual plug-in instance into the plug-in instance list. According to the invention, the actually existing plug-in instances can be kept consistent with the plug-in instance list of the database, and management of the plug-in instances in a multi-cluster system is facilitated.

The invention discloses a violin displayer which is arranged on a violin. The violin displayer comprises: a control apparatus, which is used to output position auxiliary line state sample data; a fingerboard displayer, which is arranged on the fingerboard of the violin and is used to display frames corresponding to the position auxiliary line state sample data.

The invention provides a multi-chambered container for medical use, a drug mixture identification method using the same and a drug-filled multi-chambered container for medical use. The disclosed multi-chambered container (10) for medical use is equipped with a flexible container body (20), removable weak seals (26) that seal the facing sides of the container body, drug storage chambers (22, 24) that are formed by the weak seals dividing the container body into two or more chambers, and a pair of resonant tags (30, 40) that are provided so as to hold the weak seals between the sides of the container body.

The invention relates to the field of communication, and discloses a slot selection optimizing method and device which can be used to solve the problem that slot collision occurs during slot selection. The method includes that: a first node selects a sending slot of itself according to FIs sent by other nodes, wherein each FI carries slot state information of M slots which is reported by one corresponding node, and each piece of slot state information includes occupied node information or measurement information of one slot; the first node selects the slot state information of the M slots according to the latest slot state information to generate the FI, and sends the FI when the next sending slot reaches, in this way, the first node can determine the slots which are not occupied and have the maximum collision likelihood according to information interaction between the first node and the other nodes, and can avoid these slots during sending slot selection, so that the collision likelihood of the sending slots can be reduced, resource cost of information interaction can be reduced, and the operation load of a system can be decreased.

The invention relates to a method for automatic verification and regression testing of software units, comprising the following steps: 1) a use case design process for building a test case set; 2) a use case execution process for automatically testing the software using the built test case set unit for testing. Compared with the prior art, the present invention has the advantages of making full use of software and hardware resources, improving work efficiency and the like.

The invention relates to a time synchronization method and system based on a phase difference of voltage on both ends of a line. According to the method and the system, a phase difference of voltage waveforms on both ends of the faulted phase of a line at failure and that before failure are compared. It is manifested that the voltage waveforms on both ends of the faulted phase of the line at failure are not synchronous in time if the phase difference of the voltage waveforms on both ends of the faulted phase of the line at failure is not equal to that before the failure. The voltage waveforms on both ends of the faulted phase of the line at failure are adjusted in order that the time of the voltage waveforms on both ends of the faulted phase of the line at failure are synchronized. The method and the system provides reliable data for correct fault reason analysis, timely fault treatment, and protective system action correctness confirmation, may accurately analyzes the fault by using the voltage waveforms on both ends of the faulted phase of the line at failure so as to improve fault analysis accuracy.

The invention provides a low-voltage application test method for a fault current limiter valve set. All thyristor valve elements can be normally conducted by changing short-circuit elements of a thyristor valve set and gradually testing a conduction situation of each thyristor valve element one by one. By the method, that whether the thyristor valve elements are trigged and conducted correctly, whether each thyristor valve works normally in a debugging stage and whether the operation logic and the operation time are in accordance with a design requirement can be detected; therefore, the correctness of the whole logic relation and the valve element functions can be guaranteed.

The invention discloses a hardware simulation device. The device comprises a power supply module, a communication module and a plug-in module. The power supply module is used for supplying power to a simulated chip and a peripheral device, the communication module is used for being connected and communicated with a computer, and the plug-in module is used for being connected with the power supply module and the communication module and is further connected with externally-arranged hardware. The hardware simulation equipment for conducting general, immediate and low-speed simulation on embedded type processing cores, such as a microcontroller, a microprocessor and a DSP is designed, and the device is applied to the embedded type system teaching and research and development field. A complete program file does not need to be modified and compiled, time is saved, errors can be rapidly found, the system problem is solved, the correctness of the working process and the hardware design is determined, the cost of hardware in loop simulation equipment is reduced, and varieties of supported chips are more.

The invention provides a case reasoning based mobile crane fault diagnosis system. A user graphical interface module is arranged on an expression layer of the system, a fault case management module, acase reasoning module and a case reasoning engine configuration module are arranged on an application logic layer, a case database is arranged on a data service layer, the fault diagnosis process isconducted as follows: a user realizes the man-machine interaction mode through the data interchange of the user graphical interface module and the case reasoning module; a data acquisition terminal transmits the operation states of various actuating elements of a mobile crane to the case reasoning module, the case reasoning module is combined with the case reasoning engine configuration module anda case reasoning engine configuration file in the data service layer to reason a case; the corresponding data case in the case database is used to judge the case, and the running status of the mobilecrane is reflected through the user graphical interface. Based on the case reasoning, the convenience and the practicality of diagnosis of the mechanical fault of the mobile crane are realized.

The invention relates to a business English word memorization tool. The invention aims to eliminate the deficiencies of an existing business English word memorization tool. The business English word memorization tool of the invention includes a left bracket, a right bracket, letter rotation discs, connection modules, dovetail slots, mounting shafts, mounting holes, a loudspeaker, a speech recognition processor and a speech collection device. According to the business English word memorization tool, interaction can be performed through a speech recognition function and a speech collection function, so that the correctness of pronunciations can be confirmed. The business English word memorization tool has the advantages of simple structure and convenient operation.