By virtue of the new technique of performing integration over Dirac＇s ket-bra operators, we ex- plore quantum optical version of classical optical transformations such as optical Fresnel transform, Hankel transform, ...By virtue of the new technique of performing integration over Dirac＇s ket-bra operators, we ex- plore quantum optical version of classical optical transformations such as optical Fresnel transform, Hankel transform, fractional Fourier transform, Wigner transform, wavelet transform and Fresnel- Hadmard combinatorial transform etc. In this way one may gain benefit for developing classical optics theory from the research in quantum optics, or vice-versa. We cannot only find some new quantum mechanical unitary operators which correspond to the known optical transformations, de- riving a new theorem for calculating quantum tomogram of density operators, but also can reveal some new classical optical transformations. For examples, we find the generalized Fresnel opera- tor （GFO） to correspond to the generalized Fresnel transform （GFT） in classical optics. We derive GFO＇s normal product form and its canonical coherent state representation and find that GFO is the loyal representation of symplectic group multiplication rule. We show that GFT is just the transformation matrix element of GFO in the coordinate representation such that two successive GFTs is still a GFT. The ABCD rule of the Gaussian beam propagation is directly demonstrated in the context of quantum optics. Especially, the introduction of quantum mechanical entangled state representations opens up a new area in finding new classical optical transformations. The complex wavelet transform and the condition of mother wavelet are studied in the context of quantum op- tics too. Throughout our discussions, the coherent state, the entangled state representation of the two-mode squeezing operators and the technique of integration within an ordered product （IWOP） of operators are fully used. All these have confirmed Dirac＇s assertion： ＂...for a quantum dynamic system that has a classical analogue, unitary transformation in the quantum theory is the analogue of contact transformation in the classical theory＂.展开更多
The paper is concerned with E. A. Poe＇s unique symbolic method as manifested in his tale The Masque of the Red Death. It offers a picture of the general state of critical treatment of the supposed opposition between ...The paper is concerned with E. A. Poe＇s unique symbolic method as manifested in his tale The Masque of the Red Death. It offers a picture of the general state of critical treatment of the supposed opposition between allegory and symbol. I present a historical overview of how the distinction between the literary terms arose, tracing the roots of the issue to the end of the 18th century and showing its development over the next two centuries. The second section of the paper is devoted to the analysis of The Masque in the light of the theoretical background provided in the opening section. The Masque is interpreted in terms of Poe＇s modulation of＂closed＂ and ＂open＂ symbolism by focusing on aspects of the story that relate to the use of numbers, colors, and time.展开更多
Based on the modified Jocobi elliptic function expansion method and the modified extended tanh function method,a new algebraic method is presented to obtain mu ltiple travelling wave solutions for nonlinear wave equ...Based on the modified Jocobi elliptic function expansion method and the modified extended tanh function method,a new algebraic method is presented to obtain mu ltiple travelling wave solutions for nonlinear wave equations.By using the metho d,Ito's 5th order and 7th order mKdV equations are studied in detail and more new exact Jocobi elliptic function periodic solutions are found.With modulus m→1 or m→0,these solutions degenerate into corresponding solitary wave s olutions,shock wave solutions and trigonometric function solutions.展开更多
For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reac...For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced.展开更多
文摘By virtue of the new technique of performing integration over Dirac＇s ket-bra operators, we ex- plore quantum optical version of classical optical transformations such as optical Fresnel transform, Hankel transform, fractional Fourier transform, Wigner transform, wavelet transform and Fresnel- Hadmard combinatorial transform etc. In this way one may gain benefit for developing classical optics theory from the research in quantum optics, or vice-versa. We cannot only find some new quantum mechanical unitary operators which correspond to the known optical transformations, de- riving a new theorem for calculating quantum tomogram of density operators, but also can reveal some new classical optical transformations. For examples, we find the generalized Fresnel opera- tor （GFO） to correspond to the generalized Fresnel transform （GFT） in classical optics. We derive GFO＇s normal product form and its canonical coherent state representation and find that GFO is the loyal representation of symplectic group multiplication rule. We show that GFT is just the transformation matrix element of GFO in the coordinate representation such that two successive GFTs is still a GFT. The ABCD rule of the Gaussian beam propagation is directly demonstrated in the context of quantum optics. Especially, the introduction of quantum mechanical entangled state representations opens up a new area in finding new classical optical transformations. The complex wavelet transform and the condition of mother wavelet are studied in the context of quantum op- tics too. Throughout our discussions, the coherent state, the entangled state representation of the two-mode squeezing operators and the technique of integration within an ordered product （IWOP） of operators are fully used. All these have confirmed Dirac＇s assertion： ＂...for a quantum dynamic system that has a classical analogue, unitary transformation in the quantum theory is the analogue of contact transformation in the classical theory＂.
文摘The paper is concerned with E. A. Poe＇s unique symbolic method as manifested in his tale The Masque of the Red Death. It offers a picture of the general state of critical treatment of the supposed opposition between allegory and symbol. I present a historical overview of how the distinction between the literary terms arose, tracing the roots of the issue to the end of the 18th century and showing its development over the next two centuries. The second section of the paper is devoted to the analysis of The Masque in the light of the theoretical background provided in the opening section. The Masque is interpreted in terms of Poe＇s modulation of＂closed＂ and ＂open＂ symbolism by focusing on aspects of the story that relate to the use of numbers, colors, and time.
基金Supported by the Natural Science Foundation of Zhejiang Province (1 0 2 0 37)
文摘Based on the modified Jocobi elliptic function expansion method and the modified extended tanh function method,a new algebraic method is presented to obtain mu ltiple travelling wave solutions for nonlinear wave equations.By using the metho d,Ito's 5th order and 7th order mKdV equations are studied in detail and more new exact Jocobi elliptic function periodic solutions are found.With modulus m→1 or m→0,these solutions degenerate into corresponding solitary wave s olutions,shock wave solutions and trigonometric function solutions.
基金supported by the National Natural Science Foundation of China(Grant Nos.61373043&61003079)the Fundamental Research Funds for the Central Universities(Grant No.JB140316)
文摘For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced.
