Pattern matching is a fundamental approach to detect malicious behaviors and information over Internet, which has been gradually used in high-speed network traffic analysis. However, there is a performance bottleneck ...Pattern matching is a fundamental approach to detect malicious behaviors and information over Internet, which has been gradually used in high-speed network traffic analysis. However, there is a performance bottleneck for multi-pattern matching on online compressed network traffic(CNT), this is because malicious and intrusion codes are often embedded into compressed network traffic. In this paper, we propose an online fast and multi-pattern matching algorithm on compressed network traffic(FMMCN). FMMCN employs two types of jumping, i.e. jumping during sliding window and a string jump scanning strategy to skip unnecessary compressed bytes. Moreover, FMMCN has the ability to efficiently process multiple large volume of networks such as HTTP traffic, vehicles traffic, and other Internet-based services. The experimental results show that FMMCN can ignore more than 89.5% of bytes, and its maximum speed reaches 176.470MB/s in a midrange switches device, which is faster than the current fastest algorithm ACCH by almost 73.15 MB/s.展开更多
A fully three-dimensional surface gravitycapillary short-crested wave system is studied as two progressive wave-trains of equal amplitude and frequency, which are collinear with uniform currents and doubly-periodic in...A fully three-dimensional surface gravitycapillary short-crested wave system is studied as two progressive wave-trains of equal amplitude and frequency, which are collinear with uniform currents and doubly-periodic in the horizontal plane, are propagating at an angle to each other. The first- and second-order asymptotic analytical solutions of the short-crested wave system are obtained via a perturbation expansion in a small parameter associated with the wave steepness, therefore depicting a series of typical three-dimensional wave patterns involving currents, shallow and deep water, and surface capillary waves, and comparing them with each other.展开更多
A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational log...A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.展开更多
Laser surface transformation hardening becomes one of the most modern processes used to improve fatigue and wear properties of steel surfaces. In this process, the material properties and the heating parameters are th...Laser surface transformation hardening becomes one of the most modern processes used to improve fatigue and wear properties of steel surfaces. In this process, the material properties and the heating parameters are the factors that present the most significant effects on the hardened surface attributes. The control of these factors using predictive modeling approaches to achieve desired surface properties leads to conclusive results. However, when the dimensions of the surface to be treated are larger than the cross-section of the laser beam, various laser-scanning patterns are involved. This paper presents an experimental investigation of laser surface hardening of AISI 4340 steel using different laser scanning patterns. This investigation is based on a structured experimental design using the Taguchi method and improved statistical analysis tools. Experiments are carried out using a 3 kW Nd: YAG laser source in order to evaluate the effects of the heating parameters and patterns design parameters on the physical and geometrical characteristics of the hardened surface. Laser power, scanning speed and scanning patterns (linear, sinusoidal, triangular and trochoid) are the factors used to evaluate the hardened depth and the hardened width variations and to identify the possible relationship between these factors and the hardened zone attributes. Various statistical tools such as ANOVA, correlations analysis and response surfaces are applied in order to examine the effects of the experimental factors on the hardened surface characteristics. The results reveal that the scanning patterns do not modify the nature of the laser parameters’ effects on the hardened depth and the hardened width. But they can accentuate or reduce these effects depending on the type of the considered pattern. The results show also that the sinusoidal and the triangular patterns are relevant when a maximum hardened width with an acceptable hardened depth is desired.展开更多
基金supported by China MOST project (No.2012BAH46B04)
文摘Pattern matching is a fundamental approach to detect malicious behaviors and information over Internet, which has been gradually used in high-speed network traffic analysis. However, there is a performance bottleneck for multi-pattern matching on online compressed network traffic(CNT), this is because malicious and intrusion codes are often embedded into compressed network traffic. In this paper, we propose an online fast and multi-pattern matching algorithm on compressed network traffic(FMMCN). FMMCN employs two types of jumping, i.e. jumping during sliding window and a string jump scanning strategy to skip unnecessary compressed bytes. Moreover, FMMCN has the ability to efficiently process multiple large volume of networks such as HTTP traffic, vehicles traffic, and other Internet-based services. The experimental results show that FMMCN can ignore more than 89.5% of bytes, and its maximum speed reaches 176.470MB/s in a midrange switches device, which is faster than the current fastest algorithm ACCH by almost 73.15 MB/s.
基金The project supported by the Foundation for the Author of National Excellent Doctoral Dissertation of China (200428)the National Natural Science Foundation of China (10272072and 50424913)the Shanghai Natural Science Foundation(05ZR14048)
文摘A fully three-dimensional surface gravitycapillary short-crested wave system is studied as two progressive wave-trains of equal amplitude and frequency, which are collinear with uniform currents and doubly-periodic in the horizontal plane, are propagating at an angle to each other. The first- and second-order asymptotic analytical solutions of the short-crested wave system are obtained via a perturbation expansion in a small parameter associated with the wave steepness, therefore depicting a series of typical three-dimensional wave patterns involving currents, shallow and deep water, and surface capillary waves, and comparing them with each other.
文摘A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.
文摘Laser surface transformation hardening becomes one of the most modern processes used to improve fatigue and wear properties of steel surfaces. In this process, the material properties and the heating parameters are the factors that present the most significant effects on the hardened surface attributes. The control of these factors using predictive modeling approaches to achieve desired surface properties leads to conclusive results. However, when the dimensions of the surface to be treated are larger than the cross-section of the laser beam, various laser-scanning patterns are involved. This paper presents an experimental investigation of laser surface hardening of AISI 4340 steel using different laser scanning patterns. This investigation is based on a structured experimental design using the Taguchi method and improved statistical analysis tools. Experiments are carried out using a 3 kW Nd: YAG laser source in order to evaluate the effects of the heating parameters and patterns design parameters on the physical and geometrical characteristics of the hardened surface. Laser power, scanning speed and scanning patterns (linear, sinusoidal, triangular and trochoid) are the factors used to evaluate the hardened depth and the hardened width variations and to identify the possible relationship between these factors and the hardened zone attributes. Various statistical tools such as ANOVA, correlations analysis and response surfaces are applied in order to examine the effects of the experimental factors on the hardened surface characteristics. The results reveal that the scanning patterns do not modify the nature of the laser parameters’ effects on the hardened depth and the hardened width. But they can accentuate or reduce these effects depending on the type of the considered pattern. The results show also that the sinusoidal and the triangular patterns are relevant when a maximum hardened width with an acceptable hardened depth is desired.
