Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is ...Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives in detecting these complex attack patterns.To solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks.On this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic.Compared with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct attacks.The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.展开更多
Aiming at the fact that the rotor winding inter-turn weak faults can hardly be detected due to the strong electromagnetic coupling effect in the excitation system,an interval observer based on current residual is desi...Aiming at the fact that the rotor winding inter-turn weak faults can hardly be detected due to the strong electromagnetic coupling effect in the excitation system,an interval observer based on current residual is designed.Firstly,the mechanism of the inter-turn short circuit of the rotor winding in the excitation system is modeled under the premise of stable working conditions,and electromagnetic decoupling and system simplification are carried out through Park Transform.An interval observer is designed based on the current residual in the two-phase coordinate system,and the sensitive and stable conditions of the observer is preset.The fault diagnosis process based on the interval observer is formulated,and the observer gain matrix is convexly optimized by linear matrix inequality.The numerical simulation and experimental results show that the inter-turn short circuit weak fault is hardly detected directly through the current signal,but the fault is quickly and accurately diagnosed through the residual internal observer.Compared with the traditional fault diagnosis method based on excitation current,the diagnosis speed and accuracy are greatly improved,and the probability of misdiagnosis also decreases.This method provides a theoretical basis for weak fault identification of excitation systems,and is of great significance for the operation and maintenance of excitation systems.展开更多
A novel damage detection method is applied to a 3-story frame structure, to obtain statistical quantification control criterion of the existence, location and identification of damage. The mean, standard deviation, an...A novel damage detection method is applied to a 3-story frame structure, to obtain statistical quantification control criterion of the existence, location and identification of damage. The mean, standard deviation, and exponentially weighted moving average （EWMA） are applied to detect damage information according to statistical process control （SPC） theory. It is concluded that the detection is insignificant with the mean and EWMA because the structural response is not independent and is not a normal distribution. On the other hand, the damage information is detected well with the standard deviation because the influence of the data distribution is not pronounced with this parameter. A suitable moderate confidence level is explored for more significant damage location and quantification detection, and the impact of noise is investigated to illustrate the robustness of the method.展开更多
基金supported by National Natural Science Foundation of China under Grant No. 61003079
文摘Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives in detecting these complex attack patterns.To solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks.On this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic.Compared with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct attacks.The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.
基金supports from National Science Foundation of China(Grant No.51777121).
文摘Aiming at the fact that the rotor winding inter-turn weak faults can hardly be detected due to the strong electromagnetic coupling effect in the excitation system,an interval observer based on current residual is designed.Firstly,the mechanism of the inter-turn short circuit of the rotor winding in the excitation system is modeled under the premise of stable working conditions,and electromagnetic decoupling and system simplification are carried out through Park Transform.An interval observer is designed based on the current residual in the two-phase coordinate system,and the sensitive and stable conditions of the observer is preset.The fault diagnosis process based on the interval observer is formulated,and the observer gain matrix is convexly optimized by linear matrix inequality.The numerical simulation and experimental results show that the inter-turn short circuit weak fault is hardly detected directly through the current signal,but the fault is quickly and accurately diagnosed through the residual internal observer.Compared with the traditional fault diagnosis method based on excitation current,the diagnosis speed and accuracy are greatly improved,and the probability of misdiagnosis also decreases.This method provides a theoretical basis for weak fault identification of excitation systems,and is of great significance for the operation and maintenance of excitation systems.
基金Natural Natural Science Foundation of China Under Grant No 50778077 & 50608036the Graduate Innovation Fund of Huazhong University of Science and Technology Under Grant No HF-06-028
文摘A novel damage detection method is applied to a 3-story frame structure, to obtain statistical quantification control criterion of the existence, location and identification of damage. The mean, standard deviation, and exponentially weighted moving average （EWMA） are applied to detect damage information according to statistical process control （SPC） theory. It is concluded that the detection is insignificant with the mean and EWMA because the structural response is not independent and is not a normal distribution. On the other hand, the damage information is detected well with the standard deviation because the influence of the data distribution is not pronounced with this parameter. A suitable moderate confidence level is explored for more significant damage location and quantification detection, and the impact of noise is investigated to illustrate the robustness of the method.
