当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录18条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 嗅成鞘细胞移植治疗皮层脑梗塞的实验研究 杨志华 中国优秀博硕士学位论文全文数据库 (硕士) 2004 0 20
2 网络课程中短消息平台的开发及应用 杨晋吉;肖可伟; 计算机工程与应用 2006 2 224
3 基于BDD的图表示及其算法 吕关锋;苏开乐;林瀚;骆翔宇;陈清亮;岳伟亚; 中山大学学报(自然科学版) 2006 3 146
4 New Retrieval Method Based on Relative Entropy for LanguageModeling with Different Smoothing Methods 霍华;刘俊强;冯博琴; 西南交通大学学报(英文版) 2006 0 9
5 多主体系统时态认知规范的“On the Fly”模型检测算法研究 吴立军;苏开乐;陈清亮;杨志华; 计算机研究与发展 2006 0 91
6 实例化空间:一种新的安全协议验证逻辑的语义模型 苏开乐;岳伟亚;陈清亮;ZHENG Xi-Zhong; 计算机学报 2006 2 104
7 有界模型检测同步多智体系统的时态认知逻辑 骆翔宇;苏开乐;杨晋吉; 软件学报 2006 1 125
8 网络课程中基于Web的在线测试系统的研究与实现 杨晋吉;刘太根; 计算机应用研究 2007 3 190
9 改进的支撑向量机(SVM)算法在邮件过滤中的应用 向学哲; 华中师范大学学报(自然科学版) 2007 0 71
10 一个基于智能的MAS模型及其方法论 李超明;苏开乐; 计算机研究与发展 2007 3 150
11 一种基于多模式加密算法的文件保护方案 杨晋吉;李东明; 计算机应用研究 2007 0 54
12 一种规约于可满足性问题(SAT)的知识推理算法 苏开乐;陈清亮;岳伟亚; 计算机科学与探索 2007 0 74
13 一种适用于移动Ad hoc网络的自适应多跳路由协议 向学哲; 计算机科学 2007 1 74
14 基于多查询数据融合和正相关反馈的检索算法 霍华,冯博琴,赵深深 西安交通大学学报 2005 4 102
15 符号化模型检测CTL 苏开乐,骆翔宇,吕关锋 计算机学报 2005 7 248