Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.

Abstract: A method and an apparatus for security verification of a smart home IoT system under attack. A finite state machine based on the device description information and IFTTT rules, and a formal specification based on a predefined specification template and input parameters, which uses a model verification tool to perform correctness verification regarding whether the finite state machine satisfies the formal specification, and verifies the output counterexample path by the model verification tool to identify the smart home devices and associated IFTTT rules that cause the system insecure. A state parameter of whether a smart home device is under attack is provided for each smart home device when constructing the finite state machine, and an attack intensity parameter is provided for the system when constructing the formal specification.

Abstract: A method and an apparatus for security verification of a smart home IoT system under attack. A finite state machine based on the device description information and IFTTT rules, and a formal specification based on a predefined specification template and input parameters, which uses a model verification tool to perform correctness verification regarding whether the finite state machine satisfies the formal specification, and verifies the output counterexample path by the model verification tool to identify the smart home devices and associated IFTTT rules that cause the system insecure. A state parameter of whether a smart home device is under attack is provided for each smart home device when constructing the finite state machine, and an attack intensity parameter is provided for the system when constructing the formal specification.

Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.

Abstract: The present disclosure relates to a method and an apparatus for audio processing and a storage medium. The method includes: obtaining an audio mixing feature of a target object, in which the audio mixing feature at least includes: a voiceprint feature and a pitch feature of the target object; and determining a target audio matching with the target object in the mixed audio according to the audio mixing feature.

Abstract: A testing system for testing a touch screen graphical user interface is disclosed. The testing system includes a touch screen for displaying the graphical user interface under test and for receiving a first plurality of touch inputs from at least one user, a first module for recognizing the first plurality of touch inputs received by the touch screen as a second plurality of data structures, a second module for receiving the second plurality of data structures from the first module and constructing at least one test model, a third module for generating a third plurality of test cases based on the at least one test model constructed by the second module, and a fourth module for executing the third plurality of test cases generated by the third module.

Abstract: A system for automatic buffer overflow warning inspection and bug repair is disclosed. The system includes a first module for warning reachability analysis, the first module accepts static overflow warnings and source code as an input, the first module is functionally connected to the second and the third modules, and sends out a warning path set as an output. The system also includes a second module for guided symbolic execution, the second module is functionally connected to the first module and the third module. The system further includes a third module for buffer overflow validation, the third module is functionally connected to the first, the second and the four modules and sends out undecided warnings and false warnings as output. The system further includes a fourth module for targeted automatic repair, the fourth module is functionally connected to the third module and sends out true warnings as output.

Abstract: A method for partial garbage collection in a NAND flash storage system is disclosed. The method includes receiving a real time data request task in a NAND flash storage system; executing the real time data request task in the NAND flash storage system; determining a condition whether a number of free pages in the NAND flash storage system is below a pre-determined threshold; for the condition that the number of free pages in the NAND flash storage system is below a pre-determined threshold, determining whether a partial garbage collection list is empty; for the condition that the partial garbage collection list is empty, selecting a victim block from a plurality of blocks in the NAND flash storage system; creating partial garbage collection tasks in the NAND flash storage system; and putting the partial garbage collection tasks in the partial garbage collection list.

Abstract: A testing system for testing a touch screen graphical user interface is disclosed. The testing system includes a touch screen for displaying the graphical user interface under test and for receiving a first plurality of touch inputs from at least one user, a first module for recognizing the first plurality of touch inputs received by the touch screen as a second plurality of data structures, a second module for receiving the second plurality of data structures from the first module and constructing at least one test model, a third module for generating a third plurality of test cases based on the at least one test model constructed by the second module, and a fourth module for executing the third plurality of test cases generated by the third module.

Abstract: A method for handling network jitter is provided. The method includes: receiving a plurality of data packets and recording a receiving time of each data packet; calculating time intervals between all adjacent data packets according to the receiving time of each data packet; identifying a probability distribution of the time intervals according to a plurality of preset intervals; calculating a target size of a buffer according to the probability distribution and an allowable jitter probability; and adjusting the buffer according to the target size of the buffer.

Abstract: A noise-reduction control method includes performing frequency-domain weighting and temporal-domain weighting to a noise signal collected at current time to obtain a weighted energy. Judging whether active noise-reduction control is needed based on the weighted energy; calculating an energy value of a first sub-band and an energy value of a second sub-band of the noise signal collected by the feedforward microphone at the current time, wherein the first sub-band and the second sub-band are determined based on a feedforward noise-reduction curve and a feedback noise-reduction curve of the earphone, respectively. Determining a feedforward noise-reduction amount and a feedback noise-reduction amount based on the energy value of the first sub-band and the energy value of the second sub-band, respectively.

Abstract: A method for garbage collection in a NAND flash memory system is disclosed. The method includes the steps of receiving a data request task in the NAND flash memory system; executing the data request task in the NAND flash memory system; based on the condition where the number of free data pages in the NAND flash memory system is below the first pre-determined threshold, determining whether a data block partial garbage collection list is empty; based on the condition where the data block partial garbage collection list is empty, selecting a victim block in the NAND flash memory system; and creating a plurality of data block partial garbage collection tasks.

Abstract: A noise-reduction control method includes performing frequency-domain weighting and temporal-domain weighting to a noise signal collected at current time to obtain a weighted energy. Judging whether active noise-reduction control is needed based on the weighted energy; calculating an energy value of a first sub-band and an energy value of a second sub-band of the noise signal collected by the feedforward microphone at the current time, wherein the first sub-band and the second sub-band are determined based on a feedforward noise-reduction curve and a feedback noise-reduction curve of the earphone, respectively. Determining a feedforward noise-reduction amount and a feedback noise-reduction amount based on the energy value of the first sub-band and the energy value of the second sub-band, respectively.

Abstract: A system for automatic buffer overflow warning inspection and bug repair is disclosed. The system includes a first module for warning reachability analysis, the first module accepts static overflow warnings and source code as an input, the first module is functionally connected to the second and the third modules, and sends out a warning path set as an output. The system also includes a second module for guided symbolic execution, the second module is functionally connected to the first module and the third module. The system further includes a third module for buffer overflow validation, the third module is functionally connected to the first, the second and the four modules and sends out undecided warnings and false warnings as output. The system further includes a fourth module for targeted automatic repair, the fourth module is functionally connected to the third module and sends out true warnings as output.

Abstract: The present method comprises: providing a feedforward microphone outside of each earphone of the active noise-reduction earphones; detecting an amount of external noise by using the feedforward microphone; calculating a weighted energy of a noise signal; and determining whether it is needed to activate the active noise-reduction system based on the weighted energy. When the active noise-reduction control is needed, calculating energy values of two sub-bands, corresponding to the feedforward noise-reduction amount and the feedback noise-reduction amount respectively, in the noise signal, thereby determining the noise-reduction amounts of the feedforward noise reduction system and the feedback noise-reduction system, and controlling the earphone to perform corresponding feedforward noise reduction and feedback noise reduction. Compared with the existing active noise-reduction technologies with a fixed noise reduction, the present invention can optimize the noise-reduction effect.

Abstract: The present method comprises: providing a feedforward microphone outside of each earphone of the active noise-reduction earphones; detecting an amount of external noise by using the feedforward microphone; calculating a weighted energy of a noise signal; and determining whether it is needed to activate the active noise-reduction system based on the weighted energy. When the active noise-reduction control is needed, calculating energy values of two sub-bands, corresponding to the feedforward noise-reduction amount and the feedback noise-reduction amount respectively, in the noise signal, thereby determining the noise-reduction amounts of the feedforward noise reduction system and the feedback noise-reduction system, and controlling the earphone to perform corresponding feedforward noise reduction and feedback noise reduction. Compared with the existing active noise-reduction technologies with a fixed noise reduction, the present invention can optimize the noise-reduction effect.

Abstract: A method for garbage collection in a NAND flash memory system is disclosed. The method includes the steps of receiving a data request task in the NAND flash memory system; executing the data request task in the NAND flash memory system; based on the condition where the number of free data pages in the NAND flash memory system is below the first pre-determined threshold, determining whether a data block partial garbage collection list is empty; based on the condition where the data block partial garbage collection list is empty, selecting a victim block in the NAND flash memory system; and creating a plurality of data block partial garbage collection tasks.

Abstract: A method for partial garbage collection in a NAND flash storage system is disclosed. The method includes receiving a real time data request task in a NAND flash storage system; executing the real time data request task in the NAND flash storage system; determining a condition whether a number of free pages in the NAND flash storage system is below a pre-determined threshold; for the condition that the number of free pages in the NAND flash storage system is below a pre-determined threshold, determining whether a partial garbage collection list is empty; for the condition that the partial garbage collection list is empty, selecting a victim block from a plurality of blocks in the NAND flash storage system; creating partial garbage collection tasks in the NAND flash storage system; and putting the partial garbage collection tasks in the partial garbage collection list.

Abstract: The present invention discloses a method and an apparatus for earphone sound effect compensation and an earphone. The method of the present invention comprises: obtaining monitored signal data in a current wearing state of an earphone user according to a signal collected by a monitoring microphone and an audio signal played by a loudspeaker of the earphone; computing error data of the monitored signal data in the current wearing state relative to standard signal data in a standard wearing state of the earphone; and performing sound effect compensation to the earphone according to the error data. The technical solution of the present invention adopts an adaptive digital signal processing manner, which can dynamically compensate for sound effects in different earphone wearing manners and enable an earphone user to appreciate an audible effect in a standard earphone wearing state.

Abstract: A method for handling network jitter is provided. The method includes: receiving a plurality of data packets and recording a receiving time of each data packet; calculating time intervals between all adjacent data packets according to the receiving time of each data packet; identifying a probability distribution of the time intervals according to a plurality of preset intervals; calculating a target size of a buffer according to the probability distribution and an allowable jitter probability; and adjusting the buffer according to the target size of the buffer.