中文 English 收藏本站
Journal Paper
当前位置： 首页  Journal Paper  Journal 2009

Journal 2009

时间：2019-07-22      分类：Journal Paper

  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

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1