Open source intelligence is one of the most important public data sources for strategic information analysis. One of the primary and core issues of strategic information research is information perception,so this pape...Open source intelligence is one of the most important public data sources for strategic information analysis. One of the primary and core issues of strategic information research is information perception,so this paper mainly expounds the perception method for strategic information perception in the open source intelligence environment as well as the framework and basic process of information perception. This paper argues that in order to match the information perception result with the information depiction result,it conducts practical exploration for the results of information acquisition,perception,depiction and analysis. This paper introduces and develops a monitoring platform for information perception. The results show that the method proposed in this paper is feasible.展开更多
A constructive proof is given for the inversion formula for zonal functions on SL(2, R). A concretely constructed sequence of zonal drictions are proved to satisfy the inversion formula obtained by Harish-Chandra for ...A constructive proof is given for the inversion formula for zonal functions on SL(2, R). A concretely constructed sequence of zonal drictions are proved to satisfy the inversion formula obtained by Harish-Chandra for compact supported infinitely differentiable zonal functions.Making use of the property of this sequence somehow similar to that of approxination kernels,the authors deduce that the inversion formula is true for continuous zonal functions on SL(2, R)under some condition. The classical result can be viewed as a corollary of the results here.展开更多
In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl alge...In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl algebra. We give an algorithm for proving the single-variable q-proper-hypergeometric identities that is based on Zeilberger＇s approach and the elimination in Weyl algebra. Finally, we test several examples that have been proven by D. Zeilberger and H. Will using the WZ-pair method and Gosper algorithm.展开更多
基金Supported by the National Social Science Fund Project(No.18BTQ054)
文摘Open source intelligence is one of the most important public data sources for strategic information analysis. One of the primary and core issues of strategic information research is information perception,so this paper mainly expounds the perception method for strategic information perception in the open source intelligence environment as well as the framework and basic process of information perception. This paper argues that in order to match the information perception result with the information depiction result,it conducts practical exploration for the results of information acquisition,perception,depiction and analysis. This paper introduces and develops a monitoring platform for information perception. The results show that the method proposed in this paper is feasible.
文摘A constructive proof is given for the inversion formula for zonal functions on SL(2, R). A concretely constructed sequence of zonal drictions are proved to satisfy the inversion formula obtained by Harish-Chandra for compact supported infinitely differentiable zonal functions.Making use of the property of this sequence somehow similar to that of approxination kernels,the authors deduce that the inversion formula is true for continuous zonal functions on SL(2, R)under some condition. The classical result can be viewed as a corollary of the results here.
文摘In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl algebra. We give an algorithm for proving the single-variable q-proper-hypergeometric identities that is based on Zeilberger＇s approach and the elimination in Weyl algebra. Finally, we test several examples that have been proven by D. Zeilberger and H. Will using the WZ-pair method and Gosper algorithm.
