With the large number of users and explosive information on internet , the traditional web information retrieval mode is ineffective and blocks the development of internet . so it promotes people to research and develop a new and more effective information retrieval method 随着internet的用户数和信息量爆炸性的发展，传统的web信息检索模式呈现出效率低下、制约发展的征兆，因此也激励人们研究和开发新的、更加高效的信息检索方法。
By rapid development of the computer technology and explosive rise in data , the classical methods of knowledge discovering can not meet people ’ s demand for the knowledge hidden in the data . people are searching for a data analytic method that is speedy , available and intellective 计算机技术的迅速发展,各种数据呈爆炸性的增长,传统的知识发现方法已经不能满足人们对隐含在数据中知识的渴求,人们都在寻求一种快速、有效、智能化的数据分析方法。
A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature 一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时，还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率
Harold bloom , a monumental and legendary figure of literary criticism at yale university , a name that cannot be avoided in poetry criticism , is one of the strongest and definitely the most prolific critics of his generation or of several past generations . professor xu jing , correspondent of foreign literature studies , interviewed professor bloom in may 2006 . this interview focuses on his theory of poetry that was explosively brought forth in the 1970s by his famous tetralogy : the anxiety of influence , a map of misreading , kabbalah and criticism , and poetry and repression . bloom regards his theory of " the anxiety of influence " as his most important contribution to literary criticism , and uses " dancing " to explain his famous yet baffling six rations of " misprision . " always preoccupied with his own theory , bloom here again traces the precursors of emily dickinson and makes a brief comparison between walt whitman and wallace stevens . looking back to his past , bloom gives a summation of his life ' s trajectory as a critic : a revivalist of romantic poetry , a theoretician of poetry , and a critic for the general public . bloom began his career as a critic of british romantic literature in the afterglow of the new criticism . in the 1970s , bloom brought forth his explosive " theory of poetry " in the tetralogy publised in very quick succession in the 1970s . since the 1980s , bloom has become less technical and hopes to reach a wider readership . his literary criticism and what he calls his " criticism of religion " for the general public have made harold bloom a household name in america as well as in the world . at present , the 76 - year - old harold bloom is intensely engaged in the writing of what he hopes to be his masterpiece , the anatomy of influence , which is to be published in 2008 by princeton university press 哈罗德?布鲁姆教授是耶鲁大学具有里程碑意义和传奇色彩的文学批评家,一个诗歌批评界的一个不可回避的名字,是他那一代人或几代人中最猛烈的、也无疑是最多产的批评家之一.本刊特约记者徐静于2006年5月对布鲁姆教授进行了采访.本次访谈的重点是布鲁姆在20世纪70年代以《影响的焦虑》 、 《误读的地图》 、 《卡巴拉与批评》 、 《诗歌与压抑》四部曲的形式相继提出的、具有爆炸性的"诗歌理论" .布鲁姆认为"影响的焦虑"是他对文学批评最重要的贡献,并用舞蹈这一形象的比喻来解释了他那著名的却常常令人困惑的关于"误读"的"六个定量" .在访谈中,布鲁姆还追溯了几位对爱米莉?狄金森颇有影响的前辈诗人,并简单比较了惠特曼和史蒂文斯.布鲁姆将他的批评生涯概括为三个阶段:浪漫主义诗歌的复兴者,诗歌理论家以及面向大众的批评者.在新批评的余辉中,布鲁姆以对英国浪漫主义诗歌的批评开始了其批评生涯. 20世纪70年代布鲁姆提出了他那爆炸性的、以四部曲的形式相继问世的"诗歌理论" .进入80年代后,布鲁姆的批评不再艰深难懂,他希望能拥有更广大的读者群.他为普通大众所写的文学批评及"宗教批评" (布鲁姆语)使得哈罗德?布鲁姆成为了美国以及全世界的一个家喻户晓的名字.目前, 76岁的布鲁姆正全力写作《影响的解剖》一书,将于2008年由普林斯顿大学出版社出版
None of those involved ? mr olmert , mr abbas , moderate arab leaders , george bush and even mr blair ? seems likely yet to have the will or the courage to tackle the explosive issues ( the division of jerusalem , the removal of jewish settlements in the west bank , redrawing borders or addressing the refugee question ) that have prevented a lasting peace before 所有相关人士，奥尔默特，阿巴斯，温和派阿拉伯领袖，乔治?布什甚至布莱尔，其中没有一人有决心和勇气去处理这些曾经阻止过持久和平的爆炸性的问题（耶路撒冷的分裂，约旦河西岸犹太人从居住地撤离，重划边界以及难民问题） 。
