Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the ...Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.展开更多
It is skowed that if the first exit distribution leaving any ball from the center is theuniform distribution on the sphere, then the Levy process is a scaled Brownian motion.The paper also gives a characterization of ...It is skowed that if the first exit distribution leaving any ball from the center is theuniform distribution on the sphere, then the Levy process is a scaled Brownian motion.The paper also gives a characterization of a continuous Hunt process by the first exitdistribution from any ball.展开更多
This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are giv...This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control.Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure.Then sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations.Numerical examples are also provided to illustrate the proposed control design.展开更多
The necessary and sufficient conditions are given so that a non-anticipative transformation in Hilbert space is isometric. In terms of second order Wiener process, these conditions assure that a non-anticipative trans...The necessary and sufficient conditions are given so that a non-anticipative transformation in Hilbert space is isometric. In terms of second order Wiener process, these conditions assure that a non-anticipative transformation of Wiener process is a Wiener process, too.展开更多
基金Supported by the National Natural Science Foundation of China (No.29976035) and Zhejiang and Fujian Provincial Natural Science Foundation of China.
文摘Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.
基金Project supported by the National Natural Science Foundation of China (No.10271109)
文摘It is skowed that if the first exit distribution leaving any ball from the center is theuniform distribution on the sphere, then the Levy process is a scaled Brownian motion.The paper also gives a characterization of a continuous Hunt process by the first exitdistribution from any ball.
基金supported by the National Natural Science Foundation of China under Grant No.61174071
文摘This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control.Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure.Then sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations.Numerical examples are also provided to illustrate the proposed control design.
文摘The necessary and sufficient conditions are given so that a non-anticipative transformation in Hilbert space is isometric. In terms of second order Wiener process, these conditions assure that a non-anticipative transformation of Wiener process is a Wiener process, too.