地图     English
学术论文 2009

出自计算机科学国家重点实验室

首页 > 学术研究 > 学术论文 2009
跳转到: 导航, 搜索


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  1. Angsheng Li, Weilin Li, Yicheng Pan, Liqing Tang, Principal Filters Definable by Parameters in EbT, Math. Struct.in Comp. Science, VOL.19, PP.153-167
  2. Angsheng Li, Elementary Differences Among Jump Classes, Theoretical Computer Science, VOL.410, PP.1042-1053
  3. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan, Refinement and Verification in Component-Based Model-Driven Design, Science of Computer programming, VOL.74, PP.168-196
  4. 吕伟伟, 孟维亮, 薛盖超, 吴恩华, 基于GPU的近似软影实时绘制, 计算机辅助设计与图形学学报, VOL.21, NO.3, PP.275-288
  5. Wei Chen, Wenhui Zhang, A Direct Construction of Polynomial-Size OBDD Proof of Pigeon Hole Problem, Information Processing Letters, VOL.109, PP.472-477
  6. 刘飞彤, 王文成, 黄沛杰, 吴恩华, 基于匹配相容性的高效纹理合成, 中国科学F辑:信息科学, VOL.39, NO.1, PP.145-153
  7. Wang Wencheng, Liu Feitong, Huang Peijie, Wu Enhua, Texture Synthesis via the Matching Compatibility between Patches, Science in China Series F: Information Sciences,VOL.52, NO.3 PP.512-522
  8. 李静, 王文成, 吴恩华, 基于空盒自适应生成的动态场景光线跟踪计算, 计算机学报,VOL.32, NO.6, PP.1172-1182
  9. 陈昕, 王文成, 大尺寸纹理的实时合成, 软件学报, VOL.20, 增刊, PP. 193-201
  10. 阮辉, 严俊, 张健, 基于路径分析的死循环检测, 计算机学报, VOL.32, NO.9,PP.1750-1758
  11. 严俊, 张健, 组合测试:原理与方法, 软件学报, VOL.20, NO.6, PP.1394-1405
  12. Qiwen Xu, Naijun Zhan, Formalising Scheduling Theories in Duration Calculus Nordic Journal of Computing, VOL.14, PP.173-201
  13. Peng Zhang, Mingji Xia, An Approximation Algorithm to the k-Steiner Forest Problem, Theoretical Computer Science, VOL.410, PP.1093-1098
  14. 焦莉, 陆维明, Petri网的活性研究与应用, 中国计算机学会通讯, VOL.5, NO.10, PP.12-15
  15. Gilles Dowek, Ying Jiang, Enumerating Proofs of Positive Formulae, The Computer Journal,VOL.52, NO.7, PP.799-807
  16. 徐艳艳, 岳伟亚, 基于BDD的增量启发式搜索, 软件学报, VOL.20, NO.9, PP.2352-2365
  17. KAZMI Syed Asad Raza, 张文辉, 直觉线性u-演算中的合成推理, 软件学报, VOL.20, NO.8, PP.2026-2036
  18. Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang, Improved Bounded Model Checking for the Universal Fragment of CTL, Journal of Computer Science and Technology, VOL.24, NO.1, PP.96-109
  19. Dong Yunmei, Linear Algorithm for Lexicographic Enumeration of CFG Parse Trees, Science in China Series F: Information Sciences, VOL.52, NO.7, PP.1177-1202
  20. Yidong Shen, Danny De Schreye, Dean Voets, Termination Prediction for General Logic Programs, Theory and practice of Logic Programming,VOL. 9, NO.6, PP.751-780
  21. Yidong Shen, Jiahuai You, Liyan Yuan, Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms, Theory and practice of Logic Programming, VOL.9, NO.4, PP.529-564
  22. 祁华城, 张广泉, 章晓芳, 一种行为驱动的构件交互适配模型, 计算机工程与应用VOL.45, NO.21
  23. 陈道喜, 戎玫, 张广泉, 基于Spin的SET协议模型检测研究, 计算机工程与科学, VOL.31, NO.9
  24. 王昇, 张广泉, 章晓芳, 一种面向服务架构中服务容错的策略, 苏州大学学报(自然科学版)VOL.25, NO.3
  25. 汪玲, 张广泉, 王昇, 何亚丽, 对称式面向方面软件体系结构动态演化研究, 苏州大学学报(自然科学版), VOL.25, NO.4
  26. 夏传良, 一种将时间Petri网转化为时间自动机的方法, 系统仿真学报, VOL.20, 增刊PP.6-8
  27. 刘世光, 柴佳伟, 闻媛, 三维动态云快速模拟的新方法, 计算机研究与发展, VOL.46, NO.9, PP.1417-1423
  28. 蒋运承, 王驹, 邓培民, 汤庸, 周生明, 描述逻辑uALCIO的语义及推理, 计算机学报, VOL.32, NO.7, PP.1280-1290
  29. 蒋运承, 唐素勤, 带n-元存在量词的描述逻辑MSC推理, 计算机学报, VOL.32, NO.8, PP.1500-1510
  30. 蒋运承, 唐素勤, 王驹, 周生明, 带传递关系和存在量词的描述逻辑MSC推理, 计算机研究与发展, VOL.46, NO.6, PP.99-987
  31. 周生明, 王驹, 蒋运承, 独立于设计者的行动推理, 计算机研究与发展, VOL.46, NO.11, PP.1917-1924
  32. Y.Y.Du, B.Q.Guo, Logic Petri Nets and Equivalency, Information Technology Journal, VOL.8, NO.1, PP.95-100
  33. Fuxin Zhang , Yuyue Du, A Process Generation Approach of Dynamic Workflows Based Description Logics, Information Technology Journal, VOL.8, NO.7, PP.998-1005
  34. Wei Liu, Yuyue Du, Modeling Multimedia Synchronization Using Petri Nets, Information Technology Journal , VOL.8, NO.7, PP.1054-1058
  35. Peng Li, Yuyue Du, Modeling and Design for Dynamic Workflows Based on Flexible Activities, Information Technology Journal, VOL.8, NO.5, PP.750-756
  36. Wei Liu, Yuyue Du, Haichun Sun, Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets, Information Technology Journal, VOL.8, NO.6, PP.821-829
  37. 唐艳, 杜玉越, 刘伟, 基于MDA和可执行形式化的可信软件设计, 计算机工程, VOL.35, NO.19, PP. 138-140
  38. 张福新, 杜玉越, 改进的最小割集生成算法与联锁系统模型的安全性测试, 计算机应用研究, VOL.26, NO.8, PP.3039-3043
  39. 孙海春, 杜玉越, 基于程序Petri网的新型软件开发方法研究, 系统仿真学报, VOL.20,增刊, PP.55-58
  40. 周月明, 杜玉越, 基于Petri网的协同工作流建模与分析 , 系统仿真学报, VOL.20, 增刊,PP.90-93
  41. 栾文静, 杜玉越, 基于逻辑Petri网的图书馆借阅系统的建模与分析, 系统仿真学报, VOL.20, 增刊, PP.82-85
  42. 张杰, 杜玉越, 基于OFBiz与J2EE的水利水电应用系统的设计, 山东科技大学学报, 自然科学版, VOL.28, NO.1, PP.83-88
  43. 孟维亮, 吴金钟, 吕伟伟, 吴恩华, 形状空间中模型变化的插值生成, 计算机辅助设计与图形学学报, VOL.21, NO.7, PP.943-948
  44. Kai Bao, Hui Zhang, Lili Zheng, Enhua Wu, Pressure Corrected SPH for Fluid Animation, Computer Animation and Virtual Worlds, VOL.20, PP.311-320
  45. Huang Peijie, Gu Yuanting, Wu Xiaolong, Chen Yanyun, Wu Enhua, Time-varying Clustering for Local Lighting and Material Design, Science in China Series F: Information Sciences, VOL.52, NO.2, PP.1-12
  46. 黄沛杰, 古元亭, 武小龙, 陈彦云, 吴恩华, 基于渐进式聚类的局部光与材质设计技术,中国科学F辑:信息科学, VOL.39, NO.1, PP.85-95
  47. 黄沛杰, 朱立华, 刘学慧, 吴恩华, 王传铭, 针对实时视觉通信的图像序列自动提炼, 电子学报, VOL.37, NO.4, PP.42-56
  48. 朱鉴, 吴恩华, 基于GPU的球面深度图实时绘制, 计算机学报, VOL.32, NO.2, PP.231-240
  49. 张曋, 王永吉, 阮利, 一种个体软件过程能力度量方法, 软件学报, VOL.20, NO.12, PP.3137-3149
  50. 李引, 李娟, 李明树, 动态需求跟踪方法及跟踪精度问题研究, 软件学报, VOL.20, NO.2,PP. 177-192
  51. 李明树, 杨秋松, 翟健, 软件过程建模方法研究, 软件学报, VOL.20, NO.3, PP.524-545
  52. 杨秋松, 李明树, 参数化系统安全性的启发式符号验证, 软件学报, VOL.20, NO.6, PP.1444-1456
  53. 黎巎, 李明树, 王青, 赵琛, 杜拴住, 一种用于软件过程建模的适应性Agent协商, 软件学报, VOL.20, NO.3, PP.557-566
  54. 陶秋铭, 赵琛, 王永吉, 一种基于过程图模型的编译优化测试程序自动生成方法, 计算机研究与发展, VOL.46, NO.9, PP.1567-1577
  55. 阮利, 王永吉, 王青, 曾海涛, 基于数据包络分析的软件任务性能基准评价, 软件学报, VOL.20, NO.6, PP.1499-1510
  56. 曾海涛, 王永吉, 祖伟, 蔡嘉勇, 阮利, 短消息指标新定义及在事务信道限制中的应用,软件学报, VOL.20, NO.4, PP.985-996
  57. Beihong Jin, Xinchao Zhao, Zhenyue Long, Fengliang Qi, Shuang Yu, Effective and Efficient Event Dissemination for RFID Applications, The Computer Journal, VOL.52, NO. 8, PP.988-1005
  58. 王焘, 魏峻, 一种面向OSGi的构件化软件再工程方法, 计算机科学与探索, VOL.3, NO.6, PP.601-611
  59. 齐凤亮, 金蓓弘, 陈海彪, 龙震岳, 发布/订阅系统中的原子订阅管理和匹配, 计算机科学, VOL.36, NO.12, PP.111-114
  60. Yuxin Tang, Yunquan Zhang, Hu Chen, A Parallel Shortest Path Algorithm Based on Graph-Partitioning and Iterative Correcting, Computer Systems Science & Engineering, VOL.24, NO.5, PP.351-360
  61. 刘胜飞, 张云泉, 张迪, 基于自索引的DBF压缩查询工具研究, 计算机应用研究, VOL.26, NO.2, PP.628-630
  62. 宋刚, 蒋孟奇, 张云泉, 刘胜飞, 基于共享存储和Gzip的并行压缩算法研究, 计算机工程与设计, VOL.30, NO.4, PP.781-784
  63. 袁娥, 张云泉, 孙相征, RAM(h)模型下SpMV存储访问复杂度的分析, 计算机工程与设计, VOL.30, NO.3, PP.613-618
  64. 胡泽林, 张云泉, 高速缓存优化的并行连接算法, 计算机工程与设计, VOL.30, NO.20, PP.4581-4584
  65. 王向前, 张云泉, 侯晓吻, 并行计算模型参数动态分析软件包设计, 计算机工程 , VOL.35, NO.10, PP.30-32
  66. 王婷, 孙相征, 张云泉, 杨超, 李力刚, 刘芳芳, 曙光5000A天体大规模数值模拟软件性能测试, 西安交通大学学报, VOL.43, NO.10, PP.73-75
  67. 姜映映, 敖翔, 田丰, 王绪刚, 戴国忠, 基于语言和笔的手写数学公式纠错方法, 计算机研究与发展, VOL.46, NO.4, PP.689-697
  68. 姜映映, 田丰, 王绪刚, 戴国忠, 基于模板匹配和SVM的草图符号自适应识别方法, 计算机学报, VOL.32, NO.2, PP.252-260
  69. 袁娥, 张云泉, 刘芳芳, 孙相征, SpMV的自动性能优化实现技术及其应用研究, 计算机研究与发展, VOL.46, NO.7, PP.1117-1126
  70. 王宣强, 王向前, 张云泉, HPCC在IBM刀片机群上的诊断测试与结果分析, 计算机工程, VOL.35, NO.7, PP.242-244
  71. 胡泽林, 张云泉, 王靖, 张先轶, P-Quant Wiz:一种基于质谱的并行非标记定量软件,计算机工程与科学, VOL.31, NO.11, PP.124-127


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  1. Xiaohui Ji, Feifei Ma, Jian Zhang, Solving Global Unconstrained Optimization Problems by Symmetry-Breaking, ICIS 2009, 6.1-6.3
  2. Xin Chen, Wencheng Wang, Texture Synthesis by Interspersing Patches in a Chessboard Pattern, VRCAI 2009, 12.14-12.15
  3. Wei Chen, Wenhui Zhang, Bounded Model Checking of ACTL Formulae,TASE 2009, 7.29-7.31
  4. Jinyi Cai, Pinyan Lu, Mingji Xia, A Computational Proof of Complexity of Some Restricted Counting Problems, TAMC 2009, 5.19-5.20
  5. Guangyuan Li, Checking Timed Buchi Automata Emptiness Using LU-Abstractions, FORMATS 2009
  6. Hongtao Huang, On Detecting Regular Predicates in Distributed System, ATVA 2009
  7. Yanyan Xu, Weiya Yue, Kaile Su, The BDD-Based Dynamic A Algorithm for Real-Time Replanning, FAW 2009, 6.21
  8. Yanyan Xu, Weiya Yue, A Generalized Framework for BDD-Based Replanning A Search, 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 5.27-5.29
  9. Xiang Zhou, CFI Construction and Balanced Graphs, FAW 2009
  10. Yidong Shen, Jiahuai You , A Default Approach to Semantics of Logic Programs with Constraint Atoms, LPNMR 2009, 9.14-9.18
  11. Hong Pan, Yi Lv, Huimin Lin, Environment Abstraction with State Clustering and Parameter Truncating, TASE 2009, 7.29-7.31
  12. Jianfeng Du, Guilin Qi, Qiu Ji, Goal-Directed Module Extraction for Explaining OWL DL Entailments, ISWC 2009, 10.25-10.29
  13. Jun Sun, Zhiyong Shen, Bai Su, Yidong Shen, Regularized Local Reconstruction for Clustering, PAKDD 2009, 4.27-4.30
  14. Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yidong Shen, A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL, ISWC 2009, 10.25-10.29
  15. Lixiao Zheng, Duanyi Wu, A Sentence Generation Algorithm for Testing Grammars, COMPSAC 2009, 7.20-7.24
  16. Lixiao Zheng, Haiming Chen, A Systematic Framework for Grammar Testing, 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science, 12.19-12.20
  17. Feifei Ma, Sheng Liu, Jian Zhang, Volume Computation for Boolean Combination of linear Arithmetic Constraints, CADE-22, 8.2-8.7
  18. Guangquan Zhang, Mei Rong, Ling Wang, Yali He, Hui Wei, Modeling and Analysis for Web Services Composition Based on Dynamic Software Architecture, 2009 Sixth Web Information Systems Applications Conference, 9.18-9.20
  19. Sheng Wang , Guangquan Zhang, Xiaofang Zhang, Yang Yang, A Method for Detecting Behavioral Mismatching Web Services, 2009 Sixth Web Information Systems Applications Conference, 9.18-9.20
  20. Qi Huacheng, Rong Mei, Zhang Guangquan, A Behavior-Driven Model of Component Interaction Adaptation, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
  21. Chen Daoxi, Zhang Guangquan, Fan Jianxi, Abstraction Framework and Complexity of Model Checking Based on the Promela Models, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
  22. Kong Junqi, Wang Hui, Zhang Guanquan, Gesture Recognition Model Based on 3D Accelerations, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
  23. Chuanliang Xia, Property Preservation and Application of a Kind of Petri Net Synthesis, 2009 International Symposium on Intelligent Information Systems and Applications, 10.28-10.30
  24. Chuanliang Xia, ProPerty Preservation of Petri Refinement Net, CSIE 2009, 3.31-4.2
  25. Chuanliang Xia, Translation Methods from Timed Automata to Time Petri Nets, 2009 CISE, 12.11-12.13
  26. Chuanliang Xia, Translation from Time Petri Nets to Timed Automata , BMEI 2009, 10.17-10.19
  27. Jian Zhu, Youquan Liu, kai Bao, Yuanzhang Chang, Enhua Wu, Warping of A Spherical Representation of Image-Based Models on GPU, VRCAI 2009, 12.14-12.15
  28. Shixue Zhang, Enhua Wu, An Improved Method for Generating Multiresolution Animation Models, 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, 8.19-8.21
  29. Xiaolong Wu, Enhua Wu, Bubble Creation and Multi-fluids Interaction, 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, 8.19-8.21
  30. Yuanzhang Chang, kai Bao, Youquan Liu, Jian Zhu, Enhua Wu, A Particle-Based Method for Viscoelastic Fluids Animation , VRST 2009, 11.18-11.20
  31. Shixue Zhang, Enhua Wu, Multiresolution Animation Models Generation Based on Deformation Distance Analysis, ICCMS 2009, 2.20-2.22
  32. Yuanzhang Chang, kai Bao, Youquan Liu, Jian Zhu, Enhua Wu, Particle Importance Based Fluid Simulation, CGIV 2009, 8.11-8.14
  33. 常元章, 柳有权, 鲍凯, 朱鉴, 吴恩华, 一种基于粒子的牛顿流体与粘弹性流体统一模拟方法, 第六届智能CAD与数字娱乐学术会议, 8.15-8.17
  34. 焦少慧, 陈昕, 杨刚, 吴恩华, 卡通化毛发纹理的生成与替换, 第六届智能CAD与数字娱乐学术会议, 8.15-8.17
  35. Zhenyue Long, Beihong Jin, Fengliang Qi, Donglei Cao, Reuse Strategies in Distributed Complex Event Detection, 2009 Ninth International Conference on Quality Software, 8.24-8.25
  36. 王婷, 孙相征, 张云泉, 杨超, 李力刚, 刘芳芳, 深腾7000天体大规模数值模拟软件性能测试与分析, 2009中国计算机大会, 10.23-10.24
  37. Jing Wang, Yunquan Zhang, Xianyi Zhang, Xiangzheng Sun, Zelin Hu, Sujun Li, QuantWiz: A Parallel Software Package for LC-MS-based Label-free Protein Quantification, 2009 11th IEEE international Conference on High Performance Computing and Communications, 12.19-12.22
  38. Yuxin Tang, Yunquan Zhang, Xiangzheng Sun, LogGP(h): Incorporating Communication Hierarchy into the LogGP Model, 2nd International Symposium on parallel Architectures,Algorithms and Programming, 12.4-12.6
  39. Xianyi Zhang, Yunquan Zhang, Xiangzheng Sun, Fangfang Liu, Shengfei Liu, Yuxin Tang, Automatic Performance Tuning of SpMV on GPGPU, HPC Asia & APAN 2009, 3.2-3.6
  40. Xiongfei Luo, Hongan Wang, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, ProcessLine: Visualizing Time-Series Data in Process Industry, IEEE Symposium on VAST 2009, 10.12-10.13
  41. Xinjie Lu, Xin Li, Tian Yang, Zaifei Liao, Wei Liu, Hangan Wang, RRPS:A Ranked Real-Time Publish/Subscribe Using Adaptive QoS, ICCSA 2009, 6.29-7.2
  42. Xinjie Lu, Tian Yang, Zaifei Liao, Manzoor Elahi, Wei Liu, Hongan Wang, Incremental Outlier Detection in Data Streams Using Local Correlation Integral, 24th Annual ACM Symposium on Applied Computing 2009, 3.9-3.12
  43. Tian Yang, Xinjie Lu, Zaifei Liao, Wei Liu, Hongan Wang, SVM Based Decision Analysis and Its Granular-Based Solving, ICCSA 2009, 6.29-7.2
  44. Tian Yang, Zaifei Liao, Xinjie Lu, Hongan Wang, An Approximate Approach to Constraint Solving in Soft Sensing, 24th Annual ACM Symposium on Applied Computing 2009, 3.9-3.12
  45. Zaifei Liao, Tian Yang, Xinjie Lu, Hongan Wang, Data Prediction in Manufacturing: An Improved Approach Using Least Squares Support Vector Machines, DBTA 2009, 4.25-4.26
  46. Tian Yang, Zaifei Liao, Xinjie Lu, Hongan Wang, Quality Skyline in Senor Database, DBTA 2009 4.25-4.26
  47. Yingying Jiang, Feng Tian, Xugang Wang, Xiaolong Zhang, Guozhong Dai, Hongan Wang, Structuring and Manipulating Hand-Drawn Concept Maps , 2009 International Conference on Intelligent User Interfaces, 2.8-2.11
  48. Ma Cuixia, Du Yi, Teng Dongxing, Chen Jia, Wang Hongan, Dai Guozhong, An Adaptive Sketching User Interface for Education System in Virtual Reality, ITME 2009, 8.14-8.16
  49. 张云泉, 2009年中国高性能计算机发展趋势分析与展望, 2009年全国高性能计算学术年会 (HPC China2009), 10.29-10.30
  50. 张云泉, 2009年中国高性能计算机性能TOP100排行榜分析及展望, 2009年全国高性能算法软件研究开发研讨会, 11.26-11.27
  51. 王磊, 张云泉, 刘芳芳, PLASMA并行LU分解高效实现机制分析与测试, 2009年全国高性能计算年会, 10.28-10.30
  52. 袁良, 张云泉, 并行程序设计语言中局部性机制的研究, 2009年全国高性能计算年会, 10.28-10.30
  53. 刘芳芳, 张云泉, 一类稀疏矩阵的混合存储格式SpMV性能优化, 2009年全国高性能计算年会, 10.28-10.30


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年技术报告
  1. ISCAS-LCS-09-01:Wenhui Zhang, Bounded Semantics of CTL and SAT-based Verification
  2. ISCAS-LCS-09-02:Xin Chen, Wencheng Wang, Texture Synthesis by Interspersing Patches in a Chessboard Pattern
  3. ISCAS-LCS-09-03:Teng Long, Wenhui Zhang, Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems
  4. ISCAS-LCS-09-04:Miaomiao Zhang, Zhiming Liu, Naijun Zhan, Model Checking Linear Duration Invariants of Networks of Automata
  5. ISCAS-LCS-09-05:Dimitar P. Guelev, Naijun Zhan, On Satisfiability in the Modal Fixpoint Logic with Chop
  6. ISCAS-LCS-09-06:Qiwen Xu, Naijun Zhan, Rate Monotonic Scheduling Re-analysed
  7. ISCAS-LCS-09-07:Zizhen Wang, Hanpin Wang, Naijun Zhan, Refinement of Models of Software Components
  8. ISCAS-LCS-09-08:Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang, Symbolic Decision Procedure for Termination of Linear Programs
  9. ISCAS-LCS-09-09:Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia, Recent Advances in Program Verification Through Computer Algebra
  10. ISCAS-LCS-09-10:Xueyang Zhu, Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement
  11. ISCAS-LCS-09-11:Haiming Chen, Derivatives of Regular Expressions



版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号