The stability problem of the Rindler spacetime is carefully studies by using the scalar wave perturbation. Using two different coordinate systems, the scalar wave equation is investigated. The results are different in...The stability problem of the Rindler spacetime is carefully studies by using the scalar wave perturbation. Using two different coordinate systems, the scalar wave equation is investigated. The results are different in the two cases. They are analysed and compared with each other in detail. The following conclusions are obtained: (a) the Rindler spacetime as a whole is not stable; (b) the Rindler spacetime can exist stably only as part of the Minkowski spacetime, and the Minkowski spacetime can be a real entity independently; (c) there are some defects for the scalar wave equation written by the Rindler coordinates, and it is unsuitable for the investigation of the stability properties of the Rindler spacetime. All these results may shed some light on the stability properties of the Schwarzschild black hole. It is natural and reasonable for one to infer that: (a) perhaps the Regge-Wheeler equation is not sufficient to determine the stable properties; (b) the Schwarzschild black hole as a whole might be really unstable; (c) the Kruskal spacetime is stable and can exist as a real physical entity; whereas the Schwarzschild black hole can occur only as part of the Kruskal spacetime.展开更多
The stable marriage problem stands for a class of assignment problems and has been attracting high attention from operational research community. Various versions of the problem and corresponding algorithms have been ...The stable marriage problem stands for a class of assignment problems and has been attracting high attention from operational research community. Various versions of the problem and corresponding algorithms have been published. This paper introduces the characteristics of GPMS in object\|oriented simulation modelling through constructing a simulation model of the problem.展开更多
In networks, the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable. With the rapid development of internet technology, the occurrence of SPPs i...In networks, the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable. With the rapid development of internet technology, the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research. A framework for checking SPPs is presented in this paper with verification of an interdomain routing system using formal methods and the NuSMV software. Sufficient conditions and necessary conditions for determining SPP occurrence are presented with proof of the method's effectiveness. Linear temporal logic was used to model an interdomain routing system and its properties were analyzed. An example is included to demon- strate the method's reliability.展开更多
基金Project supported by the National Natural Science Foundation of China (Grant Nos 10475013, 10375087 and 10373003), the National Basic Research Program (Grant No 2004CB318000) and National Science Foundation for Post-Doctoral Scientists of China.
文摘The stability problem of the Rindler spacetime is carefully studies by using the scalar wave perturbation. Using two different coordinate systems, the scalar wave equation is investigated. The results are different in the two cases. They are analysed and compared with each other in detail. The following conclusions are obtained: (a) the Rindler spacetime as a whole is not stable; (b) the Rindler spacetime can exist stably only as part of the Minkowski spacetime, and the Minkowski spacetime can be a real entity independently; (c) there are some defects for the scalar wave equation written by the Rindler coordinates, and it is unsuitable for the investigation of the stability properties of the Rindler spacetime. All these results may shed some light on the stability properties of the Schwarzschild black hole. It is natural and reasonable for one to infer that: (a) perhaps the Regge-Wheeler equation is not sufficient to determine the stable properties; (b) the Schwarzschild black hole as a whole might be really unstable; (c) the Kruskal spacetime is stable and can exist as a real physical entity; whereas the Schwarzschild black hole can occur only as part of the Kruskal spacetime.
文摘The stable marriage problem stands for a class of assignment problems and has been attracting high attention from operational research community. Various versions of the problem and corresponding algorithms have been published. This paper introduces the characteristics of GPMS in object\|oriented simulation modelling through constructing a simulation model of the problem.
基金Supported by the Basic Research Foundation of Tsinghua National Laboratory for Information and Technology (TNList)the JSPS Foundation
文摘In networks, the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable. With the rapid development of internet technology, the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research. A framework for checking SPPs is presented in this paper with verification of an interdomain routing system using formal methods and the NuSMV software. Sufficient conditions and necessary conditions for determining SPP occurrence are presented with proof of the method's effectiveness. Linear temporal logic was used to model an interdomain routing system and its properties were analyzed. An example is included to demon- strate the method's reliability.