国家重点基础研究发展规划项目

网络环境下海量信息组织预处理的理论与方法研究第六课题

“海量信息系统中分布协同与互操作的理论与实现机制研究”

· 现状简要（current status）

· 进展沿革

o 2002年5月：形成“燕穹构想”

o 2002年3月：推出“中国Web信息博物馆”

o 2001年11月：通过中期评估验收

o 2001年7月：在项目的框架下形成“Web信息课题群”概念

o 2001年5月：得到北京大学985建设项目配套支持

o 2001年3月：推出“天网”2.0

o 2000年3月：项目批准

o 1999年7月-10月：项目申请（北航、清华、北大、国防科大、西安交大）

· 出版与发表

o 王生原，杨良怀，袁崇义，“并发面向对象中的继承反常现象”，软件学报, Vol.13,No.6, 1148-1154， 2002。

o 韩华，代亚非，李晓明，郭朝阳，“一种基于分布式LDAP的分布对象名字服务机制”，《高技术通讯》, 2002.10, pp.33-38

o 2002年8月专利申报：一种收集、分析和提供网上信息的方法和系统（申请号：02129500.X）（李晓明，孙斌，阎宏飞，俞士汶）

• 阎宏飞，李晓明，“关于中国Web的大小、形状和结构”，《计算机研究与发展》（Grid特刊），2002年8月。
• Hongfei YAN, Jianyong WANG, Xiaoming LI, and Lin GUO, “Architectural Design and Evaluation of an Efficient Web-crawling System, ” Journal of System and Software, Vol. 60 No. 3, March 2002. pp. 185-193
• 欧灿辉，李晓明，“Web服务器性能评测”，《计算机研究与发展》，第39卷, 第5期, 2002年5月, 540-547页。
• 徐鸿，单松巍，李晓明，“剖析CERNET用户状况”，《计算机世界》，2002年1月28日，第4期，D19-D20版。
• Yu Jian, Wang Shengyuan, Yuan Chongyi. Solving Inheritance Anomaly with OMNets. Journal of Computer Science and Technology. Vol.17, No.1. 2002,

o 2002年1月专利申报：文件分类查找方法（申请号：02100839.6）（陈华，李晓明）

• 赵江华，阎宏飞，王建勇，李晓明，“天网中的并行与分布处理”，PKU_CS_NET_TR2002001，2002年1月。投《计算机学报》（2002，4，2信，修改复审）
• HAN Hua, GUO Chaoyang, DAI Yafei, LI Xiaoming, “A Scheme for Constructing Global File Store”, 4^th AEARU CS Workshop (in conjunction with WISE 2001), Kyoto, Japan, 2001.12.
• Han Hua, GUO Chaoyang, DAI Yafei, LI Xiaoming, “Global File Store: A Massive Storage System on the Internet --- Concept and Design”，Proceedings of International Conference on Computer Networks and Mobil Computing （ICCNMC）, Beijing, Oct.16-19，2001, pp.165-175.
• YAN Hongfei, WANG Jianyong, LI Xiaoming, A Dynamic Reconfiguration Model for a Distributed Web Crawling System, Proceedings of ICCNMC’01, Beijing, Oct.16-19，2001, pp.157-164.
• Wang Shengyuan, Yu Jian, Yuan Chongyi. A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. Journal of Computer Science and Technology. Vol.16, No.5, 418-425., 2001.
• XIE Huiyang & WANG Hnapin, On Elementary Submodels of a Lattice-valued model for Languages L(Q), 北京大学学报（自然科学版），第37卷，第5期，2001.9。
• 王建勇、单松巍、雷鸣、谢正茂、李晓明，“海量web搜索引擎系统中用户行为的分布特征及其启示”，《中国科学》E辑，2001年8月，第31卷，第四期，372-384页。
• Wang Jianyong, Shan Songwei, Lei Ming, Xie Zhengmao, Li Xiaoming, "Web search engine: characteristics of user behaviors and their implication", Science in China, Series F, October 2001, Vol. 44, No. 5, pp351-365.
• Ming Lei（雷鸣）, Jianyong Wang（王建勇）, Baojue Chen（陈葆珏）, and Xiaoming Li（李晓明）. Improved relevance ranking in WebGather. Journal of Computer Science and Technology, Vol. 16, No. 5, September 2001, pp410-417. (SCI indexed)
• LI Xiaoming, WANG Jianyong, WebGather: towards Quality and Scalability of a Web Search Service, Forum for Current Research and Development of the WWW in PRC, an event of WWW 10, May 1-5, 2001.
• Hongfei YAN, Jianyong WANG, Xiaoming LI, and Lin GUO, Architectural Design and Evaluation of an Efficient Web-crawling System, International Conference on …, San Francisco, USA, April 23-27, 2001.
• Wang Shengyuan, Yu Jian, Yuan Chongyi. A Net-based Multi-tier Behaviour Inheritance Modeling Method. Lecture Notes in Computer Science 2244, D. Bjørner, M. Broy, A. Zamulin (Eds.), Springer-Verlag, 2001, 279-286.
• 王生原，喻坚，袁崇义. 用加标的基本网系统设计群件编辑器. 计算机科学Vol.28, No.7, 增刊, 51-59， 2001。
• 喻坚，孙泉，袁崇义. 并发面向对象系统的Petri网多级建模. 计算机科学Vol.28, No.7, 增刊, 1-4. 2001。
• 2001年3月专利申报: 判断一组查询关键字或词在网页中位置相关性的方法（申请号：01109132.0）（王建勇，李晓明，谢正茂，单松巍，赵江华）
• 王建勇、谢正茂、雷鸣、李晓明，“近似镜像网页检测算法的研究与评测”，《电子学报》，Vol 28, No. 11A, 2000年11月，130-132页。
• Yuan Chongyi, Qu Wanling. UNITY and its Missing Structure. In Proceedings of 3^rd Workshop on Advanced Parallel Processing Technologies, Changsha, China, Publishing House of Electronics Industry, 172-196. 1999.

o Wang Han-Pin & Xu Qi-Wen, Completeness of Temporal Logics over Infinite Intervals, accepted for publishing by "Discrete and Applied Mathematics” ，（SCI数据源）.