Regular expression matching is playing an important role in deep inspection. The rapid development of SDN and NFV makes the network more dynamic, bringing serious challenges to traditional deep inspection matching eng...Regular expression matching is playing an important role in deep inspection. The rapid development of SDN and NFV makes the network more dynamic, bringing serious challenges to traditional deep inspection matching engines. However, state-of-theart matching methods often require a significant amount of pre-processing time and hence are not suitable for this fast updating scenario. In this paper, a novel matching engine called BFA is proposed to achieve high-speed regular expression matching with fast pre-processing. Experiments demonstrate that BFA obtains 5 to 20 times more update abilities compared to existing regular expression matching methods, and scales well on multi-core platforms.展开更多
The cone condition for x to be tegular for B under the elliptic diffusionprocess was proved. We also gave a necessary and sufficient condition for 0 to be regular for thornunder the elliptic diffusion process.
A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rule...A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).展开更多
Consider a first-order autoregressive processes , where the innovations are nonnegative random variables with regular variation at both the right endpoint infinity and the unknown left endpoint θ. We propose estimate...Consider a first-order autoregressive processes , where the innovations are nonnegative random variables with regular variation at both the right endpoint infinity and the unknown left endpoint θ. We propose estimates for the autocorrelation parameter f and the unknown location parameter θ by taking the ratio of two sample values chosen with respect to an extreme value criteria for f and by taking the minimum of over the observed series, where represents our estimate for f. The joint limit distribution of the proposed estimators is derived using point process techniques. A simulation study is provided to examine the small sample size behavior of these estimates.展开更多
Image reconstruction in electrical impedance tomography(EIT) is a highly ill posed inverse problem. Regularization techniques must be used in order to solve the problem. In this paper, a new regularization method bas...Image reconstruction in electrical impedance tomography(EIT) is a highly ill posed inverse problem. Regularization techniques must be used in order to solve the problem. In this paper, a new regularization method based on the spatial filtering theory is proposed. The new regularized reconstruction for EIT is independent of the estimation of impedance distribution, so it can be implemented more easily than the maximum a posteriori(MAP) method. The regularization level in our proposed method varies spatially so as to be suited to the correlation character of the object's impedance distribution. We implemented our regularization method with two dimensional computer simulations. The experimental results indicate that the quality of the reconstructed impedance images with the descibed regularization method based on spatial filtering theory is better than that with Tikhonov method.展开更多
To overcome the shortcoming that the traditional minimum error threshold method can obtain satisfactory image segmentation results only when the object and background of the image strictly obey a certain type of proba...To overcome the shortcoming that the traditional minimum error threshold method can obtain satisfactory image segmentation results only when the object and background of the image strictly obey a certain type of probability distribution,one proposes the regularized minimum error threshold method and treats the traditional minimum error threshold method as its special case.Then one constructs the discrete probability distribution by using the separation between segmentation threshold and the average gray-scale values of the object and background of the image so as to compute the information energy of the probability distribution.The impact of the regularized parameter selection on the optimal segmentation threshold of the regularized minimum error threshold method is investigated.To verify the effectiveness of the proposed regularized minimum error threshold method,one selects typical grey-scale images and performs segmentation tests.The segmentation results obtained by the regularized minimum error threshold method are compared with those obtained with the traditional minimum error threshold method.The segmentation results and their analysis show that the regularized minimum error threshold method is feasible and produces more satisfactory segmentation results than the minimum error threshold method.It does not exert much impact on object acquisition in case of the addition of a certain noise to an image.Therefore,the method can meet the requirements for extracting a real object in the noisy environment.展开更多
The work illustrates the impossibility of decreasing entropy in a strictly random thermodynamic process in a non-isolated system using the example of heating a planet by solar radiation flux without and taking into ac...The work illustrates the impossibility of decreasing entropy in a strictly random thermodynamic process in a non-isolated system using the example of heating a planet by solar radiation flux without and taking into account its rotation around its own axis. That is, the second law of thermodynamics formulated for isolated systems continues to govern such systems. We have shown that in order to achieve a stationary state at lower values of temperature and entropy far from thermodynamic equilibrium at a maximum of temperature and entropy, it is necessary to have regular factors of nonrandom nature, one of which in this example is the rotation of the planet around its own axis. This means that the reason for the appearance of ordered structured objects in non-isolated thermodynamic systems is not the random process itself, but the action of dynamic control mechanisms, such as periodic external influences, nonlinear elements with positive feedback, catalysts for chemical reactions, etc. We present the plots with dependences of temperature and entropy versus time in non-isolated systems with purely random processes and in the presence of a control factor of non-random nature-rotation.展开更多
基金supported by the National Key Technology R&D Program of China under Grant No. 2015BAK34B00the National Key Research and Development Program of China under Grant No. 2016YFB1000102
文摘Regular expression matching is playing an important role in deep inspection. The rapid development of SDN and NFV makes the network more dynamic, bringing serious challenges to traditional deep inspection matching engines. However, state-of-theart matching methods often require a significant amount of pre-processing time and hence are not suitable for this fast updating scenario. In this paper, a novel matching engine called BFA is proposed to achieve high-speed regular expression matching with fast pre-processing. Experiments demonstrate that BFA obtains 5 to 20 times more update abilities compared to existing regular expression matching methods, and scales well on multi-core platforms.
基金Supported by the National Natural Science Foundation of China(201130486) and a Grant from the Ministry of Education of China
文摘The cone condition for x to be tegular for B under the elliptic diffusionprocess was proved. We also gave a necessary and sufficient condition for 0 to be regular for thornunder the elliptic diffusion process.
基金the National Natural Science Foundation of China(Nos.61261130589 and 61033002)the Fund of the Science and Technology Commission of Shanghai Municipality(No.11XD1402800)
文摘A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).
文摘Consider a first-order autoregressive processes , where the innovations are nonnegative random variables with regular variation at both the right endpoint infinity and the unknown left endpoint θ. We propose estimates for the autocorrelation parameter f and the unknown location parameter θ by taking the ratio of two sample values chosen with respect to an extreme value criteria for f and by taking the minimum of over the observed series, where represents our estimate for f. The joint limit distribution of the proposed estimators is derived using point process techniques. A simulation study is provided to examine the small sample size behavior of these estimates.
文摘Image reconstruction in electrical impedance tomography(EIT) is a highly ill posed inverse problem. Regularization techniques must be used in order to solve the problem. In this paper, a new regularization method based on the spatial filtering theory is proposed. The new regularized reconstruction for EIT is independent of the estimation of impedance distribution, so it can be implemented more easily than the maximum a posteriori(MAP) method. The regularization level in our proposed method varies spatially so as to be suited to the correlation character of the object's impedance distribution. We implemented our regularization method with two dimensional computer simulations. The experimental results indicate that the quality of the reconstructed impedance images with the descibed regularization method based on spatial filtering theory is better than that with Tikhonov method.
基金supported by the National Natural Science Foundations of China(Nos.61136002,61472324)the Natural Science Foundation of Shanxi Province(No.2014JM8331)
文摘To overcome the shortcoming that the traditional minimum error threshold method can obtain satisfactory image segmentation results only when the object and background of the image strictly obey a certain type of probability distribution,one proposes the regularized minimum error threshold method and treats the traditional minimum error threshold method as its special case.Then one constructs the discrete probability distribution by using the separation between segmentation threshold and the average gray-scale values of the object and background of the image so as to compute the information energy of the probability distribution.The impact of the regularized parameter selection on the optimal segmentation threshold of the regularized minimum error threshold method is investigated.To verify the effectiveness of the proposed regularized minimum error threshold method,one selects typical grey-scale images and performs segmentation tests.The segmentation results obtained by the regularized minimum error threshold method are compared with those obtained with the traditional minimum error threshold method.The segmentation results and their analysis show that the regularized minimum error threshold method is feasible and produces more satisfactory segmentation results than the minimum error threshold method.It does not exert much impact on object acquisition in case of the addition of a certain noise to an image.Therefore,the method can meet the requirements for extracting a real object in the noisy environment.
文摘The work illustrates the impossibility of decreasing entropy in a strictly random thermodynamic process in a non-isolated system using the example of heating a planet by solar radiation flux without and taking into account its rotation around its own axis. That is, the second law of thermodynamics formulated for isolated systems continues to govern such systems. We have shown that in order to achieve a stationary state at lower values of temperature and entropy far from thermodynamic equilibrium at a maximum of temperature and entropy, it is necessary to have regular factors of nonrandom nature, one of which in this example is the rotation of the planet around its own axis. This means that the reason for the appearance of ordered structured objects in non-isolated thermodynamic systems is not the random process itself, but the action of dynamic control mechanisms, such as periodic external influences, nonlinear elements with positive feedback, catalysts for chemical reactions, etc. We present the plots with dependences of temperature and entropy versus time in non-isolated systems with purely random processes and in the presence of a control factor of non-random nature-rotation.
