For intelligent transportation surveillance, a novel background model based on Mart wavelet kernel and a background subtraction technique based on binary discrete wavelet transforms were introduced. The background mod...For intelligent transportation surveillance, a novel background model based on Mart wavelet kernel and a background subtraction technique based on binary discrete wavelet transforms were introduced. The background model kept a sample of intensity values for each pixel in the image and used this sample to estimate the probability density function of the pixel intensity. The density function was estimated using a new Marr wavelet kernel density estimation technique. Since this approach was quite general, the model could approximate any distribution for the pixel intensity without any assumptions about the underlying distribution shape. The background and current frame were transformed in the binary discrete wavelet domain, and background subtraction was performed in each sub-band. After obtaining the foreground, shadow was eliminated by an edge detection method. Experimental results show that the proposed method produces good results with much lower computational complexity and effectively extracts the moving objects with accuracy ratio higher than 90%, indicating that the proposed method is an effective algorithm for intelligent transportation system.展开更多
The similarity computations for fuzzy membership function pairs were carried out.Fuzzy number related knowledge was introduced,and conventional similarity was compared with distance based similarity measure.The useful...The similarity computations for fuzzy membership function pairs were carried out.Fuzzy number related knowledge was introduced,and conventional similarity was compared with distance based similarity measure.The usefulness of the proposed similarity measure was verified.The results show that the proposed similarity measure could be applied to ordinary fuzzy membership functions,though it was not easy to design.Through conventional results on the calculation of similarity for fuzzy membership pair,fuzzy membership-crisp pair and crisp-crisp pair were carried out.The proposed distance based similarity measure represented rational performance with the heuristic point of view.Furthermore,troublesome in fuzzy number based similarity measure for abnormal universe of discourse case was discussed.Finally,the similarity measure computation for various membership function pairs was discussed with other conventional results.展开更多
A statistical formalism overcoming some conceptual and practical difficulties arising in existing two-phase flow (2PHF) mathematical modelling has been applied to propose a model for dilute 2PHF turbulent Hows. Phase ...A statistical formalism overcoming some conceptual and practical difficulties arising in existing two-phase flow (2PHF) mathematical modelling has been applied to propose a model for dilute 2PHF turbulent Hows. Phase interaction terms with a clear physical meaning enter the equations and the formalism provides some guidelines for the avoidance of closure assumptions or the rational approximation of these terms. Continuous phase averaged continuity, momentum, turbulent kinetic energy and turbulence dissipation rate equations have been rigorously and systematically obtained in a single step. These equations display a structure similar to that for single-phase flows. It is also assumed that dispersed phase dynamics is well described by a probability density function (pdf) equation and Eulerian continuity, momentum and fluctuating kinetic energy equations for the dispersed phase are deduced. An extension of the standard k-e turbulence model for the continuous phase is used. A gradient transport model is adopted for the dispersed phase fluctuating fluxes of momentum and kinetic energy at the non-colliding, large inertia limit. This model is then used to predict the behaviour of three axisymmetric turbulent jets of air laden with solid particles varying in size and concentration. Qualitative and quantitative numerical predictions compare reasonably well with the three different sets of experimental results, studying the influence of particle size, loading ratio and flow confinement velocity.展开更多
We prove that for any p perfect set of positive measure and for it's any density point x0 one can construct a measurable function f(x), bounded on [0,1), such that each measurable and bounded function, which coinc...We prove that for any p perfect set of positive measure and for it's any density point x0 one can construct a measurable function f(x), bounded on [0,1), such that each measurable and bounded function, which coincides with f(x) on the set p has diverging Fourier-Walsh series on the point xo.展开更多
The process of use catalyst or functional material that contains iron ion to weaken -O-H-O- hydrogen bond of the thick oil to reduce viscidity or crack, in aspects of the ion charge. covalent bond order, total energy ...The process of use catalyst or functional material that contains iron ion to weaken -O-H-O- hydrogen bond of the thick oil to reduce viscidity or crack, in aspects of the ion charge. covalent bond order, total energy and the average distance of Fe-O. is studied with density function theory and discrete variational method (DFT-DVM), one of the first principle methods. With the decrease of the distance of Fe-O. the charge of Fe ion increases, the charge of hydrogen ion decreases, and hydrogen bond is weakened. There are obvious and more stable effects to use the catalyst that contains multiple metal ions or increase the catalyst amount in weakening hydrogen bond of the thick oil. This theoretic work is helpful to exploit and process the thick oil of petroleum and maybe overcome the crisis of petroleum energy is approaching to us.展开更多
By means of a nonstandard estimation about the energy functional, the authors prove the existence of a global attractor for an abstract nonlinear evolution equation. As an application, the existence of a global attrac...By means of a nonstandard estimation about the energy functional, the authors prove the existence of a global attractor for an abstract nonlinear evolution equation. As an application, the existence of a global attractor for some nonlinear reaction-diffusion equations with some distribution derivatives in inhomogeneous terms is obtained.展开更多
For a given probability density function p(x) on R^d, we construct a (non-stationary) diffusion process xt, starting at any point x in R^d, such that 1/T ∫_o^T δ(xt-x)dt converges to p(x) almost surely. The ...For a given probability density function p(x) on R^d, we construct a (non-stationary) diffusion process xt, starting at any point x in R^d, such that 1/T ∫_o^T δ(xt-x)dt converges to p(x) almost surely. The rate of this convergence is also investigated. To find this rate, we mainly use the Clark-Ocone formula from Malliavin calculus and the Girsanov transformation technique.展开更多
In this paper we investigate tlae boundeoness and dissipation for dynamlc equations on time scales. By using Lyapunov type function and its Diniderivative, the boundedness and dissipation criteria for first-order IVP...In this paper we investigate tlae boundeoness and dissipation for dynamlc equations on time scales. By using Lyapunov type function and its Diniderivative, the boundedness and dissipation criteria for first-order IVP's are obtained. Some examples are given. Finally, we tentatively investigate convergence of the system.展开更多
In this paper, we first review the existing proofs of the Boneh-Franklin identity-based encryption scheme (BF-IBE for short), and show how to admit a new proof by slightly modifying the specifications of the hash func...In this paper, we first review the existing proofs of the Boneh-Franklin identity-based encryption scheme (BF-IBE for short), and show how to admit a new proof by slightly modifying the specifications of the hash functions of the original BF-IBE. Compared with prior proofs, our new proof provides a tighter security reduction and minimizes the use of random oracles, thus indicates BF-IBE has better provable security with our new choices of hash functions. The techniques developed in our proof can also be applied to improving security analysis of some other IBE schemes. As an independent technical contribution, we also give a rigorous proof of the Fujisaki-Okamoto (FO) transformation in the case of CPA-to-CCA, which demonstrates the efficiency of the FO-transformation (CPA-to-CCA), in terms of the tightness of security reduction, has long been underestimated. This result can remarkably benefit the security proofs of encryption schemes using the FO-transformation for CPA-to-CCA enhancement.展开更多
A turbulent flow is maintained by an external supply of kinetic gradients. The scale at which energy is supplied greatly differs energy, which is eventually dissipated into heat at steep velocity from the scale at whi...A turbulent flow is maintained by an external supply of kinetic gradients. The scale at which energy is supplied greatly differs energy, which is eventually dissipated into heat at steep velocity from the scale at which energy is dissipated, the more so as the turbulent intensity (the Reynolds number) is larger. The resulting energy flux over the range of scales, intermediate between energy injection and dissipation, acts as a source of time irreversibility. As it is now possible to follow accurately fluid particles in a turbulent flow field, both from laboratory experiments and from numerical simulations, a natural question arises: how do we detect time irreversibility from these Lagrangian data? Here we discuss recent results concerning this problem. For Lagrangian statistics involving more than one fluid particle, the distance between fluid particles introduces an intrinsic length scale into the problem. The evolution of quantities dependent on the relative motion between these fluid particles, including the kinetic energy in the relative motion, or the configuration of an initially isotropic structure can be related to the equal-time correlation functions of the velocity field, and is therefore sensitive to the energy flux through scales, hence to the irreversibility of the flow. In contrast, for single- particle Lagrangian statistics, the most often studied velocity structure functions cannot distinguish the "arrow of time". Recent observations from experimental and numerical simulation data, however, show that the change of kinetic energy following the particle motion, is sensitive to time-reversal. We end the survey with a brief discussion of the implication of this line of work.展开更多
基金Project(60772080) supported by the National Natural Science Foundation of ChinaProject(3240120) supported by Tianjin Subway Safety System, Honeywell Limited, China
文摘For intelligent transportation surveillance, a novel background model based on Mart wavelet kernel and a background subtraction technique based on binary discrete wavelet transforms were introduced. The background model kept a sample of intensity values for each pixel in the image and used this sample to estimate the probability density function of the pixel intensity. The density function was estimated using a new Marr wavelet kernel density estimation technique. Since this approach was quite general, the model could approximate any distribution for the pixel intensity without any assumptions about the underlying distribution shape. The background and current frame were transformed in the binary discrete wavelet domain, and background subtraction was performed in each sub-band. After obtaining the foreground, shadow was eliminated by an edge detection method. Experimental results show that the proposed method produces good results with much lower computational complexity and effectively extracts the moving objects with accuracy ratio higher than 90%, indicating that the proposed method is an effective algorithm for intelligent transportation system.
基金Project(2010-0020163) supported by Priority Research Centers Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education,Science and Technology
文摘The similarity computations for fuzzy membership function pairs were carried out.Fuzzy number related knowledge was introduced,and conventional similarity was compared with distance based similarity measure.The usefulness of the proposed similarity measure was verified.The results show that the proposed similarity measure could be applied to ordinary fuzzy membership functions,though it was not easy to design.Through conventional results on the calculation of similarity for fuzzy membership pair,fuzzy membership-crisp pair and crisp-crisp pair were carried out.The proposed distance based similarity measure represented rational performance with the heuristic point of view.Furthermore,troublesome in fuzzy number based similarity measure for abnormal universe of discourse case was discussed.Finally,the similarity measure computation for various membership function pairs was discussed with other conventional results.
基金Supported by the Spanish CICYTR &D National Programs,under contract PB91-0699.
文摘A statistical formalism overcoming some conceptual and practical difficulties arising in existing two-phase flow (2PHF) mathematical modelling has been applied to propose a model for dilute 2PHF turbulent Hows. Phase interaction terms with a clear physical meaning enter the equations and the formalism provides some guidelines for the avoidance of closure assumptions or the rational approximation of these terms. Continuous phase averaged continuity, momentum, turbulent kinetic energy and turbulence dissipation rate equations have been rigorously and systematically obtained in a single step. These equations display a structure similar to that for single-phase flows. It is also assumed that dispersed phase dynamics is well described by a probability density function (pdf) equation and Eulerian continuity, momentum and fluctuating kinetic energy equations for the dispersed phase are deduced. An extension of the standard k-e turbulence model for the continuous phase is used. A gradient transport model is adopted for the dispersed phase fluctuating fluxes of momentum and kinetic energy at the non-colliding, large inertia limit. This model is then used to predict the behaviour of three axisymmetric turbulent jets of air laden with solid particles varying in size and concentration. Qualitative and quantitative numerical predictions compare reasonably well with the three different sets of experimental results, studying the influence of particle size, loading ratio and flow confinement velocity.
文摘We prove that for any p perfect set of positive measure and for it's any density point x0 one can construct a measurable function f(x), bounded on [0,1), such that each measurable and bounded function, which coincides with f(x) on the set p has diverging Fourier-Walsh series on the point xo.
基金Acknowledgments: Thanks for the subsidization by the National Science Foundation of China (No. 50774070), Ministry of Education of China (PCSIRT0644) and Open Fund of the State Key Lab of Theoretical & Computational Chemistry.
文摘The process of use catalyst or functional material that contains iron ion to weaken -O-H-O- hydrogen bond of the thick oil to reduce viscidity or crack, in aspects of the ion charge. covalent bond order, total energy and the average distance of Fe-O. is studied with density function theory and discrete variational method (DFT-DVM), one of the first principle methods. With the decrease of the distance of Fe-O. the charge of Fe ion increases, the charge of hydrogen ion decreases, and hydrogen bond is weakened. There are obvious and more stable effects to use the catalyst that contains multiple metal ions or increase the catalyst amount in weakening hydrogen bond of the thick oil. This theoretic work is helpful to exploit and process the thick oil of petroleum and maybe overcome the crisis of petroleum energy is approaching to us.
基金Project supported by the National Natural Science Foundation of China (No. 19971036)the Trans-Century Training Programme Foundation for the Talents by the Ministry of Education of China.
文摘By means of a nonstandard estimation about the energy functional, the authors prove the existence of a global attractor for an abstract nonlinear evolution equation. As an application, the existence of a global attractor for some nonlinear reaction-diffusion equations with some distribution derivatives in inhomogeneous terms is obtained.
基金supported by the Simons Foundation (Grant No. 209206)a General Research Fund of the University of Kansas
文摘For a given probability density function p(x) on R^d, we construct a (non-stationary) diffusion process xt, starting at any point x in R^d, such that 1/T ∫_o^T δ(xt-x)dt converges to p(x) almost surely. The rate of this convergence is also investigated. To find this rate, we mainly use the Clark-Ocone formula from Malliavin calculus and the Girsanov transformation technique.
文摘In this paper we investigate tlae boundeoness and dissipation for dynamlc equations on time scales. By using Lyapunov type function and its Diniderivative, the boundedness and dissipation criteria for first-order IVP's are obtained. Some examples are given. Finally, we tentatively investigate convergence of the system.
基金supported by National Natural Science Foundation of China(Grant No.60970152)IIE's Research Project on Cryptography(Grant No.Y3Z0011102)+1 种基金the Strategic Priority Research Program of Chinese Academy of Sciences(Grant No.XDA06010701)National Key Basic Research Program of China(973 Program)(Grant No.2011CB302400)
文摘In this paper, we first review the existing proofs of the Boneh-Franklin identity-based encryption scheme (BF-IBE for short), and show how to admit a new proof by slightly modifying the specifications of the hash functions of the original BF-IBE. Compared with prior proofs, our new proof provides a tighter security reduction and minimizes the use of random oracles, thus indicates BF-IBE has better provable security with our new choices of hash functions. The techniques developed in our proof can also be applied to improving security analysis of some other IBE schemes. As an independent technical contribution, we also give a rigorous proof of the Fujisaki-Okamoto (FO) transformation in the case of CPA-to-CCA, which demonstrates the efficiency of the FO-transformation (CPA-to-CCA), in terms of the tightness of security reduction, has long been underestimated. This result can remarkably benefit the security proofs of encryption schemes using the FO-transformation for CPA-to-CCA enhancement.
基金grateful to the Max Planck Society for continuous support to our research.financial support from ANR(contract TEC 2),the Alexander von Humboldt Foundation,and the PSMN at the Ecole Normale Sup′erieure de Lyon
文摘A turbulent flow is maintained by an external supply of kinetic gradients. The scale at which energy is supplied greatly differs energy, which is eventually dissipated into heat at steep velocity from the scale at which energy is dissipated, the more so as the turbulent intensity (the Reynolds number) is larger. The resulting energy flux over the range of scales, intermediate between energy injection and dissipation, acts as a source of time irreversibility. As it is now possible to follow accurately fluid particles in a turbulent flow field, both from laboratory experiments and from numerical simulations, a natural question arises: how do we detect time irreversibility from these Lagrangian data? Here we discuss recent results concerning this problem. For Lagrangian statistics involving more than one fluid particle, the distance between fluid particles introduces an intrinsic length scale into the problem. The evolution of quantities dependent on the relative motion between these fluid particles, including the kinetic energy in the relative motion, or the configuration of an initially isotropic structure can be related to the equal-time correlation functions of the velocity field, and is therefore sensitive to the energy flux through scales, hence to the irreversibility of the flow. In contrast, for single- particle Lagrangian statistics, the most often studied velocity structure functions cannot distinguish the "arrow of time". Recent observations from experimental and numerical simulation data, however, show that the change of kinetic energy following the particle motion, is sensitive to time-reversal. We end the survey with a brief discussion of the implication of this line of work.