学术活动
  2010-3-8
  2010-3-4
  2010-3-4
  2010-3-3
  2010-3-3
 

顾明    Gu Ming







同名作者区分

顾明 西北大学顾明 清华大学顾明 北京大学
顾明 Unknown顾明 深圳高等职业技术学院顾明 深圳职业技术学院
顾明 中科院顾明 中国科学院顾明 上海交通大学
顾明 北京航空航天大学
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果45条  被引15次[注:ScholarSpace内自引数]
查看顾明的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2011
45 黄凌翔 顾明 . 基于虚拟设备的访问控制模型. 计算机工程, 2011, (04): 275-278 0
2010
44 骆翔宇 苏开乐 顾明 . 一种求解认知难题的模型检测方法. 计算机学报, 2010, 33 (03): 406-415 1
2009
43 何恺铎 顾明 宋晓宇 李力 李江 . 面向源代码的软件模型检测及其实现. 计算机科学, 2009, 36 (01): 267-272 1
42 万志国 邓慧杰 鲍丰 顾明 . nPAKE^+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords. , 2009, 24 (01): 0
41 吴邦欲 支志雄 徐世杰 顾明 孙家广 . 基于QoS参考向量的组合服务SLA需求生成与实现算法选择研究. , 2009, 24 (02): 0
2008
40 顾明 张军 . LEO卫星网中自适应的TCP方法. 计算机工程, 2008, 34 (04): 116-119 0
2007
39 顾明 . 基于模糊ART神经网络的在线人脸识别模型的设计和实现. 计算机科学, 2007, 34 (08): 232-235 0
38 辛治运 马兆丰 顾明 . 服务于定向信息推荐的模糊聚类协同推荐算法. 计算机科学, 2007, 34 (09): 128-131 0
37 陈颖熙 李贤有 郭陟 顾明 . 基于内容相似度的对等网络信用模型研究. 计算机科学, 2007, 34 (08): 92-95 1
36 郑磊 马兆丰 顾明 . 基于文件系统过滤驱动的安全增强型加密系统技术研究. 小型微型计算机系统, 2007, 28 (07): 1181-1184 1
2006
35 卓威 顾明 . 基于特征精化的产生式编程方法研究. 计算机科学, 2006, 33 (06): 247-250 0
34 吴邦欲 陈左宁 顾明 孙家广 . 提高Linux桌面交互性能的主动页面换出算法. 计算机工程, 2006, 32 (17): 112-114 0
33 顾明 . 使用二次连接神经网络的基于ART的分层聚类算法. 计算机科学, 2006, 33 (11): 128-131 0
32 徐松 赵曦滨 顾明 . 网格环境下的分布式RBAC模型框架. 计算机工程, 2006, 32 (06): 163-166 0
31 吕继萍 徐明伟 顾明 徐恪 . IPv6路由器安全移动功能的设计与实现. 小型微型计算机系统, 2006, 27 (07): 1213-1217 1
30 欧阳荣彬 郭陟 顾明 . 基于排队模型的软件性能测试框架研究. 计算机工程, 2006, 32 (03): 73-75 0
29 马亮 顾明 . 基于角色的工作流系统访问控制模型. , 2006, 27 (01): 136-141 0
28 沙亚清 孙宏伟 顾明 . 基于智能卡和指纹识别的电子报税认证系统. 计算机工程, 2006, 32 (14): 133-135 0
27 顾玉春 马亮 顾明 . 基于ABC法的工作流仿真模型的设计与实现. 计算机工程, 2006, 32 (05): 74-76 0
2005
26 石太伟 郭陟 顾明 . 一种基于移动Agent的分布式应用系统架构. 计算机工程, 2005, 31 (24): 61-63 0
25 孙宏伟 顾明 孙家广 . 基于主分量分析的相关矢量量化编码算法. 计算机辅助设计与图形学学报, 2005, 17 (08): 1662-1666 1
24 李晖 赵曦滨 顾明 . 面向虚拟组织的安全目录服务. 计算机工程, 2005, 31 (09): 70-73 0
23 郭陟 赵曦滨 顾明 . 可视化密度场模型及其在入侵检测中的应用. 小型微型计算机系统, 2005, 26 (06): 1046-1049 0
22 赵曦滨 郭陟 雍建平 顾明 . 网格计算中面向虚拟组织的多级授权机制研究. 计算机科学, 2005, 32 (04): 129-132 0
21 孙宏伟 顾明 孙家广 . 改进的基于主分量分析的码书设计算法. 计算机辅助设计与图形学学报, 2005, 17 (10): 2245-2250 1
20 呼和 顾明 . 基于侧面的贯穿特性分离的用例驱动方法. 计算机工程, 2005, 31 (17): 65-68 0
19 李晖 赵曦滨 顾明 雍建平 . 基于代理的高性能目录服务的设计和实现. 计算机科学, 2005, 32 (03): 83-87 1
18 黄海峰 杨新 顾明 . 基于卫星仿真的三通道3维视景系统. 中国图象图形学报, 2005, 10 (01): 122-124 0
2004
17 赵宏 顾明 . 基于Web Services的“一站式”服务框架模型. 计算机工程, 2004, 30 (16): 51-53 0
16 郭陟 赵曦滨 顾明 . 基于CCA的入侵检测行为轮廓创建技术研究. 电子学报, 2004, 32 (08): 1381-1384 0
15 顾明 孙功星 . 网格资源动态管理系统的研究与设计. 计算机工程, 2004, 30 (20): 183-185 0
14 郭陟 赵曦滨 顾明 . 基于SOM的多层Web安全审计模型及其实现. 计算机科学, 2004, 31 (08): 51-54 0
13 章永阳 李小勇 顾明 胡越明 . 网络处理器IXP1200应用程序的改进. 计算机工程, 2004, 30 (24): 64-66 0
2003
12 王峰 顾明 李丽 . 基于J2EE应用的数据库访问的性能优化. 计算机工程, 2003, 29 (01): 278-280 0
11 顾明 . 构件类的语法描述及构件关系的语义描述. 计算机科学, 2003, 30 (06): 175-178 0
10 王金伦 张玉龙 顾明 . 支持四层结构的电子商务数据管理模型的研究. 计算机科学, 2003, 30 (02): 60-63 0
2002
9 顾明 郭陟 孙家广 赵曦滨 . 现代操作系统的思考. 电子学报, 2002, 30 (12A): 1913-1916 1
8 李丽 顾明 . 利用Java开发的基于Web的地质大型图幅浏览系统. 计算机工程, 2002, 28 (12): 255-257 0
7 顾明 郭陟 孙家广 赵曦滨 . 现代操作系统的思考. 电子学报, 2002, (S1): 0
1999
6 顾明 . 软件工程中几种常用的软件开发方法的概述和比较. 计算机科学, 1999, (01): 0
1997
5 顾明 仲萃豪 . MIS软件开发的过程模型. 计算机科学, 1997, 24 (06): 97-100 0
4 顾明 仲萃豪 . 构件类和构件的概念及其定义语言和操作语言. 软件学报, 1997, 8 (09): 673-679 4
3 顾明 仲萃豪 . 在构件库支持下用过程控制生成应用软件系统. 计算机科学, 1997, 24 (01): 63-67 0
1991
2 顾明 赵国泰 . VAX/VMS指令仿真的实现过程. 小型微型计算机系统, 1991, 12 (05): 53-58 0
1990
1 田捷 顾明 . 软件工程环境的集成模型及其应用. 计算机研究与发展, 1990, 27 (01): 37-40 2

DBLP检索到的论文列表

No. Paper Inforamtion
2014
1 Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun, Clause Replication and Reuse in Incremental Temporal Induction. ICECCS, 2014
0 Ming Gu, Shantanu Chakrabartty, A bias-scalable current-mode analog support vector machine based on margin propagation. ISCAS, 2014
-1 Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun, Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers, 2014, IEEE Trans. Computers, 63(10): 2563-2575
2013
-2 Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun, Sequential dependency and reliability analysis of embedded systems. ASP-DAC, 2013
-3 Ya-Hong Lin, Yu-Shen Liu, Ge Gao, Xiao-Guang Han, Cheng-Yuan Lai, Ming Gu, The IFC-based path planning for 3D indoor spaces. Advanced Engineering Informatics, 2013, Advanced Engineering Informatics, 27(2): 189-205
-4 Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun, System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE, 2013
-5 Liangze Yin, Fei He, Min Zhou, Ming Gu, Reusing Search Tree for Incremental SAT Solving of Temporal Induction. ICECCS, 2013
-6 Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu, Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC, 2013
-7 Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CAV, 2013
-8 Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun, Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE, 2013
-9 Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun, Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC, 2013
-10 Liangze Yin, Fei He, Ming Gu, Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. TASE, 2013
-11 Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu, Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS, 2013
2012
-12 Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam, Obtaining more Karatsuba-like formulae over the binary field. IET Information Security, 2012, IET Information Security, 6(1): 14-19
-13 Ming Gu, Shantanu Chakrabartty, Varactor-driven temperature compensation of CMOS floating-gate current memory. ISCAS, 2012
-14 Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Maxterm Covering for Satisfiability. IEEE Trans. Computers, 2012, IEEE Trans. Computers, 61(3): 420-426
-15 Zhiguo Wan, Kui Ren, Ming Gu, USOR: An Unobservable Secure On-Demand Routing Protocol for Mobile Ad Hoc Networks. IEEE Transactions on Wireless Communications, 2012, IEEE Transactions on Wireless Communications, 11(5): 1922-1932
2011
-16 Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM, 2011
-17 Ming Gu, Shantanu Chakrabartty, An adaptive analog low-density parity-check decoder based on margin propagation. ISCAS, 2011
-18 Min Zhou, Fei He, Ming Gu, An Efficient Resolution Based Algorithm for SAT. TASE, 2011
-19 Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu, Formalisation and verification of programmable logic controllers timers in Coq. IET Software, 2011, IET Software, 5(1): 32-42
-20 Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun, Proving Computational Geometry Algorithms in TLA+2. TASE, 2011
2010
-21 Hai Wan, Xiaoyu Song, Gang Chen 0004, Ming Gu, A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC, 2010
-22 Haining Fan, Jia-Guang Sun, Ming Gu, Kwok-Yan Lam, Overlap-free Karatsuba-Ofman polynomial multiplication algorithms. IET Information Security, 2010, IET Information Security, 4(1): 8-14
-23 Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, On Array Theory of Bounded Elements. CAV, 2010
-24 Hai Wan, Xiaoyu Song, Ming Gu, Parameterized Specification and Verification of PLC Systems in Coq. TASE, 2010
-25 Ming Gu, Yang Liu, Shantanu Chakrabartty, FAST: A simulation framework for solving large-scale probabilistic inverse problems in nano-biomolecular circuits. ISCAS, 2010
-26 Shaojie Tang, Jing Yuan, Xiang-Yang Li, Yunhao Liu, Guihai Chen, Ming Gu, Jizhong Zhao, Guojun Dai, DAWN: Energy efficient data aggregation in WSN with mobile sinks. IWQoS, 2010
-27 Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun, Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers, 2010, IEEE Trans. Computers, 59(1): 116-126
-28 Yajie Miao, Chunping Li, Liu Yang, Lili Zhao, Ming Gu, Evaluating Importance of Websites on News Topics. PRICAI, 2010
-29 Hehua Zhang, Ming Gu, Xiaoyu Song, Specifying Time-Sensitive Systems with TLA+. COMPSAC, 2010
-30 Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu, Compositional Abstraction Refinement for Timed Systems. TASE, 2010
2009
-31 Zhiguo Wan, Kui Ren, Bo Zhu, Bart Preneel, Ming Gu, Anonymous user communication for privacy protection in wireless metropolitan mesh networks. ASIACCS, 2009
-32 Hehua Zhang, Stephan Merz, Ming Gu, Specifying and Verifying PLC Systems with TLA+. TASE, 2009
-33 He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Data mining based decomposition for assume-guarantee reasoning. FMCAD, 2009
-34 Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan, Formal Specification and Code Generation of Programable Logic Controllers. ICECCS, 2009
2008
-35 Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang 0001, Effective Predicate Abstraction for Program Verification. TASE, 2008
-36 Jinyang Shi, Zhiyang You, Ming Gu, Kwok-Yan Lam, Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions. ICPR, 2008
-37 Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang 0001, A Maximum Weight Heuristic Method for Abstract State Computation. COMPSAC, 2008
2007
-38 Rui Wang, Xiaoyu Song, Ming Gu, Modelling and verification of program logic controllers using timed automata. IET Software, 2007, IET Software, 1(4): 127-131
2006
-39 Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun, A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA, 2006
-40 Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu, Minimal Threshold Closure. ESORICS, 2006
2005
-41 Kefei Ouyang, Guobin Shen, Shipeng Li, Ming Gu, Advanced Motion Search and Adaptation Techniques for Deinterlacing. ICME, 2005
-42 Zhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun, Secure Anonymous Communication with Conditional Traceability. NPC, 2005
2004
-43 Chun-Hui Mo, Ming Gu, Christof Koch, A Learning Rule for Local Synaptic Interactions Between Excitation and Shunting Inhibition. Neural Computation, 2004, Neural Computation, 16(12): 2507-2532
-44 Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun, Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. ACISP, 2004
-45 Geoffrey J. Goodhill, Ming Gu, Jeffrey S. Urbach, Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamic. Neural Computation, 2004, Neural Computation, 16(11): 2221-2243
2003
-46 Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun, Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. ACNS, 2003
-47 Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun, Security middleware for enhancing interoperability of Public Key Infrastructure. Computers & Security, 2003, Computers & Security, 22(6): 535-546
-48 Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun, Lightweight security for mobile commerce transactions. Computer Communications, 2003, Computer Communications, 26(18): 2052-2060
2002
-49 Shiv Chandrasekaran, Patrick Dewilde, Ming Gu, T. Pals, Alle-Jan van der Veen, Fast Stable Solver for Sequentially Semi-separable Linear Systems of Equations. HiPC, 2002
2001
-50 Hongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon, Bipartite Graph Partitioning and Data Clustering. CIKM, 2001
-51 Hongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon, Spectral Relaxation for K-means Clustering. NIPS, 2001
-52 Chris H. Q. Ding, Xiaofeng He, Hongyuan Zha, Ming Gu, Horst D. Simon, A Min-max Cut Algorithm for Graph Partitioning and Data Clustering. ICDM, 2001
1994
-53 Ming Gu, Martin Farach, Richard Beigel, An Efficient Algorithm for Dynamic Text Indexing. SODA, 1994

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2010~2010超高层建筑风荷载规范若干基础问题的研究 国家自然科学基金-重大研究计划
项目号:91015002
50
2009~2010中国建筑信息化技术发展战略研究 国家自然科学基金-联合资助基金项目
项目号:U0970155
20
2009~2011嵌入式系统仿真与验证平台开发 国家自然科学基金-国际(地区)合作与交流项目
项目号:60811130468
45
2008~2010基于定理证明的可信嵌入式软件建模与验证平台研究 国家自然科学基金-重大研究计划
项目号:90718039
250
2008~2011超高层建筑风荷载、风致效应及其控制 国家自然科学基金-重大研究计划
项目号:90715040
200
2002~2004斜拉桥拉索风雨激振的机制和分析方法研究 国家自然科学基金-面上项目
项目号:50178049
22

合作作者列表

1 万志国 [42]  
2 仲萃豪 [4]   [3]  [5]  
3 何恺铎 [43]  
4 卓威 [35]  
5 吕继萍 [31]  
6 吴邦欲 [34]   [41]  
7 呼和 [20]  
8 孙功星 [15]  
9 孙宏伟 [28]   [25]  [21]  
10 孙家广 [34]   [25]  [21]  [9]  [41]  [7]  
11 宋晓宇 [43]  
12 张军 [40]  
13 张玉龙 [10]  
14 徐世杰 [41]  
15 徐恪 [31]  
16 徐明伟 [31]  
17 徐松 [32]  
18 支志雄 [41]  
19 李丽 [12]   [8]  
20 李力 [43]  
21 李小勇 [13]  
22 李晖 [24]   [19]  
23 李江 [43]  
24 李贤有 [37]  
25 杨新 [18]  
26 欧阳荣彬 [30]  
27 沙亚清 [28]  
28 王峰 [12]  
29 王金伦 [10]  
30 田捷 [1]  
31 石太伟 [26]  
32 章永阳 [13]  
33 胡越明 [13]  
34 苏开乐 [44]  
35 赵国泰 [2]  
36 赵宏 [17]  
37 赵曦滨 [24]   [32]  [19]  [22]  [23]  [14]  [9]  [16]  [7]  
38 辛治运 [38]  
39 邓慧杰 [42]  
40 郑磊 [36]  
41 郭陟 [26]   [30]  [37]  [22]  [23]  [14]  [9]  [16]  [7]  
42 陈左宁 [34]  
43 陈颖熙 [37]  
44 雍建平 [19]   [22]  
45 顾玉春 [27]  
46 马亮 [27]   [29]  
47 马兆丰 [36]   [38]  
48 骆翔宇 [44]  
49 鲍丰 [42]  
50 黄凌翔 [45]  
51 黄海峰 [18]  

单位历史信息

清华大学软件学院 (2002--2011)
清华大学计算机科学与技术系 (2002--2011)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。