国家自然科学基金委员会信息科学部计算机科学处
2006年资助项目一览表

发信人: lits (BBBear), 信区: paper
标  题: 国家自然科学基金委信息学部计算机科学处2006年资助项目一览表[
发信站: 两全其美网 (Fri Nov  3 16:26:36 2006), 转信(lqqm.net)

一、面上项目
自由申请资助项目
一览表 项目批准号 申请人 项目名称 申请单位 学科代码 批准金额 (万元)
60673001 周敬利 支持内容感知的IP存储网络系统研究 华中科技大学 F020402 25
60673002 王海卫 高密度磁记录盘伺服自刻写的理论与技术研究 华中科技大学 F020402 7
60673003 张彩明 基于海量数据点的三维表示中的关键问题研究 山东大学 F020404 27
60673004 胡事民 特征敏感的几何处理理论与算法研究 清华大学 F020404 24
60673005 李桂清 离散几何形状计算及其在三维造型中的应用 华南理工大学 F020404 30
60673006 苏志勋 柔性物体参数化建模与复杂约束变形方法及其应用 大连理工大学 F020404 27
60673007 于金辉 中国传统图形艺术计算机建模与绘制 浙江大学 F020404 27
60673008 张力 基于π演算的工作流访问控制建模及安全性验证 清华大学 F0205 25
60673009 黄亚楼 信息检索中基于损失函数优化的排序学习研究 南开大学 F0205 26
60673010 刘清堂 数字权利使用控制模型及应用研究 华中师范大学 F020501 26
60673011 王厚军 基于无线网络的分布式测试系统同步和触发技术 电子科技大学 F020501 27
60673012 许洁萍 基于感知分析的音乐旋律参数模型的研究 中国人民大学 F020501 7
60673013 周前祥 虚拟人典型操作肢体疲劳度分析方法的研究 中国人民解放军总装备部航天医学工程研究所 F020501 25
60673014 姚志强 三维几何模型数字水印的算法与理论研究 福建师范大学 F020501 20
60673015 钟宁 可操作的电子邮件的理论及其智能应用研究 北京工业大学 F020501 21
60673016 王飞 面向蛋白相互作用关系的网络建模和分析 复旦大学 F020501 24
60673017 窦万春 E-Science活动中协同计算的知识流原理及关键技术研究 南京大学 F020501 24
60673018 骆志刚 大规模RNA二级结构预测算法及其并行化研究 中国人民解放军国防科学技术大学 F020501 27
60673019 林磊 基于自然语言处理技术的蛋白质相互作用预测方法研究 哈尔滨工业大学 F020501 26
60673020 谭营 基于生物免疫原理的计算机安全免疫技术与模型的研究 北京大学 F020501 24
60673021 梁学章 多元样条小波、小波框架的构造及其在图形图像处理中的若干应用 吉林大学 F020501 23
60673022 王永吉 高可信网络系统度量、评估、优化关键技术及软件实现研究 中国科学院软件研究所 F020501 26
60673023 梁艳春 微机电系统动态建模与若干基础问题研究 吉林大学 F020501 25
60673024 覃征 强势粒子群算法在医学图像弹性配准中的应用研究 清华大学 F020501 25
60673025 徐晓飞 面向服务的模型驱动体系结构及性能评价方法 哈尔滨工业大学 F020502 26
60673026 王小平 基于自由变形的钣金件加强筋及复杂特征设计 南京航空航天大学 F020503 8
60673027 何发智 专有异构CAD系统的在线集成桥梁与立即协同工具研究 武汉大学 F020503 25
60673028 刘晓平 科学计算中面向建模的多态机理研究 合肥工业大学 F020503 25
60673029 周电 模拟电路分析的小波方法研究 复旦大学 F020503 26
60673030 王啟富 面向协同产品开发的CAD产品模型压缩方法与累进传输技术 华中科技大学 F020503 27
60673031 王国瑾 几何设计与计算最优化研究 浙江大学 F020503 28
60673032 杨勋年 非线性细分与离散几何算法研究 浙江大学 F020503 23
60673033 付宏 基于离散元法的新设计分析软件及其关键技术研究 吉林大学 F020503 8
60673034 吴为民 RTL电路的混合可满足性求解和模型检验 清华大学 F020503 25
60673035 苏小红 基于程序转换和语义分析的编程题自动评分方法 研究 哈尔滨工业大学 F020504 26
60673036 毕玉德 面向信息处理的朝鲜语动词句法语义信息词典的 构建 中国人民解放军外国语学院 F0206 25
60673037 刘秉权 自然语言处理中语言元素的非齐次属性研究 哈尔滨工业大学 F0206 26
60673038 黄萱菁 中文文本情感倾向挖掘技术研究 复旦大学 F020604 26
60673039 林鸿飞 面向生物医学领域的文本挖掘技术研究与应用 大连理工大学 F020604 24
60673040 何婷婷 面向查询的多文档自动文摘技术研究 华中师范大学 F020604 7
60673041 周国栋 基于机器学习的高性能自适应信息抽取关键技术 研究 苏州大学 F020604 27
60673042 赵军 汉语文本中观点信息的提取与倾向性分析技术研究 中国科学院自动化研究所 F020604 24
60673043 陈家骏 基于统计关系学习的汉语指代消解研究 南京大学 F020601 24
60673044 张健 经典逻辑和描述逻辑中的可满足性问题 中国科学院软件研究所 F0201 24
60673045 蒋颖 程序正确性验证与树自动机 中国科学院软件研究所 F0201 26
60673046 李明楚 连通因子理论及其在网络和公开钥密码学中的应用 大连理工大学 F0201 24
60673047 刘桂真 图与网络技术在计算机科学中的应用 山东大学 F020101 26
60673048 吕长虹 图的标号问题与子图存在性的理论和算法研究 华东师范大学 F020101 25
60673049 陈翌佳 参数复杂性理论的研究 上海交通大学 F020101 24
60673050 周晓聪 基于双代数的对象行为规范及其应用研究 中山大学 F020101 27
60673051 李广元 有限精度时间自动机的模型检测方法及语言特征 研究 中国科学院软件研究所 F020101 24
60673052 刘铁梅 定量模拟大麦在水肥调控下的生长发育和品质形成 华中农业大学 F020102 27
60673053 吴哲辉 唯一可达向量网系统的性质及其在信息安全技术上的应用研究 山东科技大学 F020102 26
60673054 单志广 基于Petri网的网格基础理论模型与性能评价研究 国家信息中心 F020102 32
60673055 江泽涛 基于图像序列的相机自标定与三维重构方法研究 南昌航空工业学院 F020103 25
60673056 吕永波 分布式遗传算法策略优化及应用研究 北京交通大学 F020103 26
60673057 朱明富 分布式多任务调度问题的建模与算法研究 华中科技大学 F020103 8
60673058 田玉平 分布式拥塞控制算法的稳定性和可扩展性研究 东南大学 F020103 7
60673059 李国君 DNA数据挖掘中的组合理论与算法设计 山东大学 F020103 27
60673060 陈崚 蚁群优化算法的理论基础研究 扬州大学 F020103 27
60673061 李仁发 一类复杂环境下的无线传感器网络定位算法研究 湖南大学 F020103 26
60673062 周育人 演化算法时间复杂性研究 华南理工大学 F020103 25
60673063 秦绪佳 离散几何信号的局域波分析及应用研究 浙江工业大学 F020103 27
60673064 陆忠华 特征信息发现的并行算法及实现研究 中国科学院计算机网络信息中心 F020103 27
60673065 李顺东 保密计算服务的计算模型、算法与质量评价研究 北京师范大学 F020104 25
60673066 张宪超 面向若干挑战性应用的网络最大流算法研究 大连理工大学 F020103 8
60673067 高建华 软件参数配对覆盖测试集生成的若干问题研究 上海师范大学 F020104 26
60673068 武传坤 密码算法设计与分析的布尔函数方法 中国科学院软件研究所 F020104 26
60673069 林东岱 异步环境中零知识证明系统的研究 中国科学院软件研究所 F020104 32
60673070 张福泰 高效无证书密码体制及其应用 南京师范大学 F020104 26
60673071 张焕国 密码部件的设计自动化研究 武汉大学 F020104 27
60673072 胡予濮 分组密码新型分析技术研究 西安电子科技大学 F020104 29
60673073 李宝 可证安全基础研究 中国科学院研究生院 F020104 26
60673074 朱士信 有限环上de Bruijn序列的生成算法及其在流密码中应用研究 合肥工业大学 F020104 25
60673075 蒋绍权 认证协议及其相关模块的可证安全理论与构造 电子科技大学 F020104 26
60673076 郑东 基于LFSR特征序列的可证安全公钥密码体制研究 上海交通大学 F020104 23
60673077 刘胜利 信息论安全的密钥协商的研究 上海交通大学 F020104 23
60673078 黄振杰 同时签名与条件验证签名研究 上海交通大学 F020104 7
60673079 董晓蕾 可证安全密码系统的若干理论与应用研究 上海交通大学 F020104 27
60673080 蔡家楣 基于交互神经网络的新型密码协议研究与设计 浙江工业大学 F020104 7
60673081 戚文峰 环上本原序列模2压缩映射及其导出序列分析 中国人民解放军信息工程大学 F020104 26
60673082 陆佩忠 序列密码代数攻击方法研究 复旦大学 F020104 25
60673083 冯登国 安全协议的可证明安全性理论与方法研究 中国科学院软件研究所 F020104 26
60673084 彭敏放 基于多元信息智能融合的模拟电路在线故障诊断 研究 湖南大学 F020105 26
60673085 尤志强 低功耗限制下VLSI电路的低费用确定性测试研究 湖南大学 F020105 22
60673086 刘星成 LDPC码的构造及基于置信传播的译码算法研究 中山大学 F020105 27
60673087 沈钧毅 高维空间海量数据快速聚类算法关键技术的研究 西安交通大学 F020106 27
60673088 魏宝刚 基于形象感知的多样图约束纹理合成技术研究 浙江大学 F020106 26
60673089 王志海 基于限制性贝叶斯网络的学习技术研究 北京交通大学 F020106 28
60673090 吴翊 基于高维数据信息结构的模式识别技术研究 中国人民解放军国防科学技术大学 F020106 20
60673091 苗军 基于时间振荡相关与空间整合编码的视觉感知-眼动控制神经网络系统 中国科学院计算技术研究所 F020106 26
60673092 崔志明 面向Deep Web的不完备知识处理的逻辑模型研究 苏州大学 F020106 26
60673093 邹北骥 基于视频的人体腾空翻滚运动跟踪与分析方法 中南大学 F020106 25
60673094 杨宗凯 知识本体的多层次语义相似性测量机制研究 华中师范大学 F020106 25
60673095 王文剑 SVM的核选择方法及其应用研究 山西大学 F020106 24
60673096 吴伟志 信息粒度的数学结构及其在数据挖掘中的应用 浙江海洋学院 F020106 27
60673097 刘芳 自适应Bandelet图像奇异性检测 西安电子科技大学 F020106 26
60673098 杨义先 基于混沌动力学与复杂网络的群智能优化研究 北京邮电大学 F020106 26
60673099 周春光 基于计算智能味觉信号识别方法的研究 吉林大学 F020106 26
60673100 周明全 基于Web的音频识别与检索关键技术研究 北京师范大学 F020106 25
60673101 杨国为 人工脑的信息处理新神经网络模型研究 青岛大学 F020106 26
60673102 朱庆保 全新的蚂蚁优化算法及其在机器人路径规划中的 应用 南京师范大学 F020106 27
60673103 沈一栋 非命题化的回答集程序推理算法、系统实现以及典型应用研究 中国科学院软件研究所 F020106 29
60673104 孙凤梅 摄像机自标定方法固有的不鲁棒性研究 北方工业大学 F020106 25
60673105 李三江 基于定性演算的空间知识表示与推理 清华大学 F020106 24
60673106 周杰 主动镜头下运动目标检测跟踪方法研究 清华大学 F020106 25
60673107 艾海舟 图像与视频中基于人脸的内容标注与检索 清华大学 F020106 25
60673108 张元 基于ETC不停车收费背景下的信息融合模型及算法研究 河南工业大学 F020106 24
60673109 江铭虎 基于认知机理和语义层次的文本分类方法研究 清华大学 F020106 25
60673110 李培华 序列图像中基于概率和统计的轮廓线跟踪研究 黑龙江大学 F020106 22
60673111 岳丽华 无线传感器网络中软件体系结构及路由协议和数据管理技术的研究 中国科学技术大学 F0202 7
60673112 魏峻 具有自治特性的服务协作关键技术研究 中国科学院软件研究所 F0202 26
60673113 李红燕 面向业务流程感知的Web信息系统自动化构建研究北京大学 F0202 24
60673114 刘静 模型驱动架构中模型构造与集成方法的研究 华东师范大学 F020201 27
60673115 缪淮扣 基于规格说明的Web应用测试方法研究 上海大学 F020201 25
60673116 黄林鹏 分布式系统中软件动态更新的形式化研究 上海交通大学 F020201 25
60673117 陈仪香 具有模糊性程序语义模型的研究 上海师范大学 F020201 26
60673118 董威 安全关键软件的故障诊断、隔离与恢复技术研究 中国人民解放军国防科学技术大学 F020201 27
60673119 刘建勋 工作流实例方面的建模理论与实现方法的研究 湖南科技大学 F020202 26
60673120 赵建军 面向方面软件的测试技术研究 上海交通大学 F020202 26
60673121 杜栓柱 支持领域应用基础平台的业务过程建模方法研究 太原理工大学 F020202 27
60673122 明仲 视角理论及其在本体集成中的应用 深圳大学 F020202 26
60673123 冯玉琳 移动资源访问基础模型和关键技术研究 中国科学院软件研究所 F020202 26
60673124 宋擒豹 软件项目成本预测方法研究 西安交通大学 F020202 26
60673125 李宣东 基于场景规约的Web Service组合行为获取与验证 研究 南京大学 F020202 22
60673126 陈意云 软件安全性的验证和编译 中国科学技术大学 F020203 25
60673127 秦小麟 具有可生存能力的安全DBMS关键技术研究 南京航空航天大学 F020204 26
60673128 廖国琼 嵌入式移动实时数据库容错核心技术研究 华中科技大学 F020204 26
60673129 张岩 Web垃圾页面应对技术研究 北京大学 F020204 22
60673130 王海洋 智能流程应用模式中的关键问题研究 山东大学 F020204 25
60673131 张健沛 基于支持向量机的Mobile Agent系统中数据分类方法研究 哈尔滨工程大学 F020204 8
60673132 程良伦 RFID传感器网络关键问题研究 广东工业大学 F020204 26
60673133 汪卫 图数据库管理系统关键实现技术的研究 复旦大学 F020204 25
60673134 钱卫宁 海量移动对象上的近似聚集查询处理技术 复旦大学 F020204 27
60673135 汤庸 双时态XML数据模型及应用研究 中山大学 F020204 27
60673136 郭景峰 关系数据挖掘理论研究 燕山大学 F020204 25
60673137 周傲英 Web服务管理和组合技术研究 复旦大学 F020204 25
60673138 陈红 无线传感器网络查询处理新技术研究 中国人民大学 F020204 26
60673139 申德荣 支持深层Web数据库网格的部分关键技术研究 东北大学 F020204 28
60673140 叶晓俊 数据库隐私保护关键技术研究 清华大学 F020204 25
60673141 冯钧 基于空间网络的移动对象索引技术研究 河海大学 F020204 26
60673142 罗惠琼 基于Wireless Mesh Network的分布式操作系统研究电子科技大学 F020205 27
60673143 官伯然 超导SFQ数字电路异步定时及其在精简体系中的 应用 杭州电子科技大学 F0203 24
60673144 郑纬民 多核处理器系统的流式优化研究 清华大学 F0203 25
60673145 汪东升 具有事务型内存的片上多处理器访存优化技术研究 清华大学 F0203 26
60673146 章隆兵 资源有效的单片多处理器结构研究 中国科学院计算技术研究所 F0203 24
60673147 杨建坤 基于VanderLugt光学相关器的并行光计算系统物理模型的研究 中国人民解放军国防科学技术大学 F020301 28
60673148 张春元 面向密集计算支持多维流的异构多核流体系结构 研究 中国人民解放军国防科学技术大学 F020301 26
60673149 陈天洲 嵌入式系统编译器与操作系统内核协同的节能方法研究 浙江大学 F020301 27
60673150 刘杰 新型体系结构上多群粒子输运问题的可扩展并行 计算 中国人民解放军国防科学技术大学 F020302 27
60673151 王铠 非奇异并行稀疏近似逆求解方法研究 山东经济学院 F020302 25
60673152 刘亭亭 高性能海洋声场计算研究 中国科学院声学研究所 F020302 26
60673153 范辉 矿井通风可视化中的建模与实时模拟的并行处理问题研究 山东工商学院 F020302 30
60673154 谢立 实用化的无线传感器网络拓扑控制技术的研究 南京大学 F020303 26
60673155 张大方 基于流分析的分布式Java程序模型检查技术研究 湖南大学 F020303 27
60673156 谢冬青 IPV6环境下基于P2P的DDoS分布式防御研究 湖南大学 F020303 25
60673157 曾国荪 基于信息内容的信任语义获取和度量方法研究 同济大学 F020303 8
60673158 林钢华 分布式系统及分布式处理在太阳物理研究中的应用 中国科学院国家天文台 F020303 26
60673159 王兴伟 NGI中支持ABC的QoS感知型切换管理机制的研究东北大学 F020303 28
60673160 杨扬 网格服务工作流关键技术的研究 北京科技大学 F020303 25
60673161 陈国龙 高速网络环境下的内容分析研究 福州大学 F020303 7
60673162 王鲁滨 基于信用机制的移动电子商务多方微支付理论与技术研究 中央财经大学 F020303 24
60673163 刘玉华 重叠网络中避免集散节点形成的拓扑控制机制研究 华中师范大学 F020303 26
60673164 王建新 多跳无线与有线混合网络中传输控制协议研究 中南大学 F020303 26
60673165 胡志刚 基于Petri网的两阶段动态网格调度机制研究 中南大学 F020303 26
60673166 薛广涛 非结构化对等网络高性能动态查询响应关键技术 研究 上海交通大学 F020303 27
60673167 卢锡城 基于对等模式的网格资源定位关键技术研究 中国人民解放军国防科学技术大学 F020303 25
60673168 张国清 针对Scale-Free网络的紧凑路由研究 中国科学院计算技术研究所 F020303 25
60673169 朱培栋 基于互联网自然特性的域间路由系统基本理论和关键技术研究 中国人民解放军国防科学技术大学 F020303 7
60673170 李增智 面向语用Web服务的网络服务管理机制研究 西安交通大学 F020303 24
60673171 张信明 更实际的移动Ad Hoc网络跨层设计问题的研究 中国科学技术大学 F020303 24
60673172 杨寿保 网络计算环境中信任感知的资源交易模型研究 中国科学技术大学 F020303 22
60673173 华蓓 无线传感器网络中基于非理想问题模型的协同信息处理研究 中国科学技术大学 F020303 25
60673174 吴松 基于数据活性的数据网格管理调度策略研究 华中科技大学 F020303 25
60673175 王红兵 Web服务组合模型与算法 东南大学 F020303 28
60673176 王雪 无线传感网络中的协作信号与信息处理理论及方法研究 清华大学 F020303 26
60673177 朱艺华 移动自组织网络与移动IP集成网络的智能移动性管理策略研究 浙江工业大学 F020303 25
60673178 孙利民 基于移动sink的大规模数据收集型无线传感器网络的研究 中国科学院软件研究所 F020303 25
60673179 凌云 超级非结构化(Superpeer)P2P网络动态层次优化机制研究 浙江工商大学 F020303 27
60673180 钱德沛 异质环境中拓扑自组织的overlay网络研究 北京航空航天大学 F020303 28
60673181 严伟 无线MESH网络动态带宽管理机制的研究 北京大学 F020303 7
60673182 胡建斌 基于无线传感器网络的安全体系结构研究 北京大学 F020303 7
60673183 代亚非 P2P文件共享系统中信誉机制的研究 北京大学 F020303 23
60673184 尹浩 基于对等网技术的安全、高性能流媒体系统的理论 研究 清华大学 F020303 26
60673185 白光伟 无线移动多媒体网络体系结构和协议机制研究 南京工业大学 F020303 23
60673186 韩立新 个性化语义搜索系统关键技术研究 河海大学 F020303 24
60673187 林闯 基于随机Petri网的网络可生存性模型与分析方法 清华大学 F020306 26
60673188 张凤军 面向增强现实的混合用户界面研究 中国科学院软件研究所 F020307 25
60673189 徐光祐 隐含人机交互中的动态上下文事件检测与理解 清华大学 F020307 27
60673190 詹永照 基于动态图形模型和音视频的情感识别方法的研究 江苏大学 F020307 23
60673191 蒋盛益 面向数据流的异常挖掘算法研究 广东外语外贸大学 F020106 24
60673192 田富鹏 基于数据挖掘的区域急诊疾病谱时空预测模型研究 西北民族大学 F020501 12
60673193 刘任任 部分多值逻辑函数结构理论及应用研究 湘潭大学 F020101 23
60673194 梁意文 网络信息资源异常感知的数字微分理论模型 武汉大学 F020102 8
60673195 王威信 层次结构信息的可视化优化与交互技术 中国科学院软件研究所 F020307 28
60673196 张加万 网络安全信息可视化的基础理论及关键技术研究 天津大学 F020404 25
60673197 万华根 基于力反馈数据手套的虚拟手力觉交互研究 浙江大学 F020404 28
60673198 王涌天 增强现实无标志点实时注册定位技术研究 北京理工大学 F020501 30
青年基金资助项目一览表
项目批准号 申请人 项目名称 申请单位 学科代码 批准金额 (万元)
60603001 李勇坚 符号轨迹计值的形式化语义及模型检测技术研究 中国科学院软件研究所 F02 18
60603002 尚云 基于unsharp量子逻辑的自动机理论 中国科学院数学与系统科学研究院 F0201 24
60603003 张昭 网络可靠性参数研究 新疆大学 F0201 16
60603004 刘兴武 有向拓扑及其在并发计算理论中的应用 中国科学院计算技术研究所 F020101 23
60603005 孙晓明 量子计算复杂性与经典计算复杂性的关系 清华大学 F020101 25
60603006 黄剑 基于时滞随机跳变系统的无线通信网络拥塞控制研究 华中科技大学 F020101 27
60603007 冯好娣 单机批调度中的算法与计算复杂性研究 山东大学 F020103 23
60603008 李子茂 瓶颈斯坦纳树问题的计算复杂性与近似算法研究 中南民族大学 F020103 25
60603009 张传武 细胞自动机矩阵分析法及其在信息处理中的应用 西南民族大学 F020104 19
60603010 董庆宽 阈下信道及其封闭技术的新理论与应用技术研究 西安电子科技大学 F020104 27
60603011 郭磊 基于模式分类的隐写分析方法研究 中国科学院自动化研究所 F020104 25
60603012 曾祥勇 非线性密码函数与伪随机序列的研究 湖北大学 F020104 25
60603013 陈华 密码算法检测与自动分析关键技术研究 中国科学院软件研究所 F020104 25
60603014 罗永 基于Bandelet方法的数字水印特征级隐藏与识别技术研究 中国人民解放军国防科学技术大学 F020104 22
60603015 祝恩 基于生物特征的远程安全身份认证技术研究 中国人民解放军国防科学技术大学 F020104 20
60603016 崔杰 二维突发性错误纠错码的研究 苏州大学 F020104 13
60603017 徐震 分布式多域访问控制研究 中国科学院软件研究所 F020104 24
60603018 张斌 序列密码体制的安全性分析 中国科学院软件研究所 F020104 24
60603019 张莉 经验映射机器学习 西安电子科技大学 F020106 7
60603020 胡鹤 基于时空领域本体的语义标注技术研究 中国人民大学 F020106 7
60603021 张世武 基于多智能体系统的社会网络动态特性研究 中国科学技术大学 F020106 8
60603022 许勇 双Lipschitz不变的纹理特征及其应用 华南理工大学 F020106 27
60603023 王春立 手语识别中自适应问题的研究 大连理工大学 F020106 26
60603024 陶文兵 基于图论分析的自然图像解析方法研究 华中科技大学 F020106 26
60603025 吴健 基于服务行为的Web服务合成研究 浙江大学 F020106 8
60603026 王磊 分布式协同免疫网络及其应用的研究 西安理工大学 F020106 24
60603027 侯越先 基于信息几何方法的维数约减和信息抽象模型研究 天津大学 F020106 23
60603028 汤建良 摄像机位置估计及其数学机械化计算 深圳大学 F020106 25
60603029 潘志松 单类分类器和数据不平衡问题研究 中国人民解放军理工大学 F020106 22
60603030 王生生 通用定性时空关系建模、推理与应用 吉林大学 F020106 26
60603031 金英 携带模型代码MCC方法中的几个关键问题研究 吉林大学 F0202 25
60603032 涂刚 基于窗口限制的动态适应性实时调度算法研究 华中科技大学 F0202 7
60603033 蒲戈光 Web服务组合语言的语义和验证研究 华东师范大学 F020201 24
60603034 徐锋 面向网构软件体系结构的可信管理模型与技术研究 南京大学 F020201 25
60603035 白晓颖 面向服务在线协同软件测试技术研究 清华大学 F020202 27
60603036 王林章 基于Aspect的软件非功能性规约建模、测试和验证 研究 南京大学 F020202 25
60603037 张苗苗 基于概率时间自动机的概率时段演算的模型检验及应用研究 同济大学 F020202 24
60603038 周明辉 Internet环境下基于中间件的可信服务研究 北京大学 F020202 24
60603039 吴际 基于数据挖掘的服务器端软件性能分析与诊断方法 研究 北京航空航天大学 F020202 24
60603040 吕建华 基于XML技术的知识学习进化系统以及在间歇工业过程中的应用 东南大学 F020204 7
60603041 陈伟鹤 基于移动用户位置的服务中的访问控制模型研究 江苏大学 F020204 7
60603042 王轶彤 LINK SPAM技术的研究及相关算法在海量真实WEB数据上的有效性验证 复旦大学 F020204 23
60603043 谈子敬 XML上的数据不一致问题研究 复旦大学 F020204 22
60603044 陈刚 自治数据库系统关键技术研究 浙江大学 F020204 27
60603045 崔斌 高维数据库的有效相似查询处理 北京大学 F020204 29
60603046 李翠平 经济学框架下基于效益的数据分析与挖掘技术研究 中国人民大学 F020204 27
60603047 任永功 面向Web数据挖掘的用户动机定性推理模型研究 辽宁师范大学 F020204 29
60603048 曾令仿 存储主动服务机制及关键技术研究 华中科技大学 F0203 7
60603049 沈海华 采用形式化引擎加速处理器仿真验证收敛的关键技术研究 中国科学院计算技术研究所 F020301 24
60603050 曹小林 并行自适应结构网格计算中的动态负载平衡方法研究 北京应用物理与计算数学研究所 F020302 24
60603051 陈军 大规模、多物理数值模拟中的并行耦合问题研究 北京应用物理与计算数学研究所 F020302 24
60603052 张宝印 多核体系结构下并行应用的性能评测与优化技术研究 北京应用物理与计算数学研究所 F020302 7
60603053 李肯立 一种可扩展的DNA计算机模型研究与探索 华中科技大学 F020302 25
60603054 王勇献 高性能并行计算环境下蛋白质相互作用网络的模式解析与功能预测 中国人民解放军国防科学技术大学 F020302 25
60603055 车永刚 面向通用科学计算程序的低开销迭代编译优化技术 中国人民解放军国防科学技术大学 F020302 25
60603056 闫宏飞 Web抽样理论研究与应用 北京大学 F020303 7
60603057 崔辰州 SkyMouse,智能天文信息集成访问系统研究开发 中国科学院国家天文台 F020303 27
60603058 石宣化 网格可信赖性评测理论的研究 华中科技大学 F020303 28
60603059 蔡绍滨 水声传感器网络路由算法及其支撑验证系统的研究 哈尔滨工程大学 F020303 27
60603060 邹仕洪 下一代网络服务故障管理的研究 北京邮电大学 F020303 25
60603061 蒋杰 无线传感器网络覆盖控制的理论与算法研究 中国人民解放军国防科学技术大学 F020303 27
60603062 蔡志平 基于网络测量的网络态势感知关键技术研究 中国人民解放军国防科学技术大学 F020303 26
60603063 任怡 Web Services组合中的事务管理技术研究 中国人民解放军国防科学技术大学 F020303 7
60603064 张鹤颖 路由器支持的网络拥塞控制理论与算法研究 中国人民解放军国防科学技术大学 F020303 24
60603065 羌卫中 面向网格虚拟组织的可信安全机制研究 华中科技大学 F020303 7
60603066 叶允明 基于增量学习的主题爬虫关键技术研究 哈尔滨工业大学 F020303 26
60603067 陶军 基于博弈理论的非合作网络QoS分配中关键技术的 研究 东南大学 F020303 26
60603068 肖永康 基于不对称竞争的Ad hoc网络MAC协议和TCP的跨层设计 北京师范大学 F020303 20
60603069 马传香 基于无线Ad hoc 网络异常检测的数据挖掘关键技术 研究 湖北大学 F020303 24
60603070 杨峰 面向应急联动业务的应急驱动虚拟组织构建方法研究 清华大学 F020303 26
60603071 余宏亮 P2P流媒体点播中的网络波动问题研究 清华大学 F020303 27
60603072 董黎刚 松散耦合型分布式路由器的若干关键技术研究 浙江工商大学 F020303 23
60603073 王绪刚 基于多通道混合融合的在线学习方法研究 中国科学院软件研究所 F020307 27
60603074 黄建忠 免疫对象存储系统(IOSS)模型、仿真和实现技术研究 华中科技大学 F020402 22
60603075 曹强 低熵存储系统(LESS)理论、方法和实现技术研究 华中科技大学 F020402 25
60603076 王长波 海洋造型与视景仿真关键技术研究 同济大学 F020404 26
60603077 韩慧健 任意拓扑网格上的B样条曲面表示问题研究 山东经济学院 F020404 27
60603078 刘新国 预计算的辐射传递理论与方法 浙江大学 F020404 29
60603079 赵俭辉 三维扫描点云的特征测量与误差分析 武汉大学 F020404 8
60603080 蔡鸿明 网格环境下面向可视操纵的场景服务模型构造 上海交通大学 F020404 25
60603081 周海芳 基于互信息的多模图像非刚性配准并行算法研究 中国人民解放军国防科学技术大学 F0205 20
60603082 朱登明 任务级虚拟人运动合成方法研究 中国科学院计算技术研究所 F0205 27
60603083 章权兵 基于非干涉多维信息图像的3D重构算法研究 安徽大学 F020501 22
60603084 周忠 大规模分布交互仿真中的可靠组播服务模型及算法 研究 北京航空航天大学 F020501 25
60603085 刘永进 真实点云模型的几何形状表示及修复方法 清华大学 F020503 24
60603086 路通 三维CAD模型的表示与检索机制研究 南京大学 F020503 25
60603087 简琤峰 语义网格环境下虚拟组织产品信息语义在线重组技术及其应用研究 浙江工业大学 F020503 18
60603088 沈胜宇 基于反例压缩的自动程序修正方法研究 中国人民解放军国防科学技术大学 F020503 27
60603089 赵罡 基于小波的细分曲面数控加工技术研究 北京航空航天大学 F020503 27
60603090 曾庆田 基于领域本体和过程挖掘的用户知识需求获取的关键技术研究 山东科技大学 F020504 25
60603091 白双成 蒙古文自动校对研究 内蒙古自治区社会科学院 F020601 7
60603092 卢志茂 基于语义范畴扩展的汉语词义消歧方法研究 哈尔滨工程大学 F020601 27
60603093 李素建 基于短语信息和领域概念的主题标引关键技术研究 北京大学 F020604 24
60603094 王斌 文本检索模型的鲁棒性研究 中国科学院计算技术研究所 F020604 27
60603095 吕雅娟 基于Web的大规模双语语料库挖掘及翻译知识自动 获取 中国科学院计算技术研究所 F020604 26
60603096 吴飞 基于时序关联共生多媒质融合分析的视频语义理解 浙江大学 F020501 27
60603097 李德强 离散小波变换中平移不变的小波系数特征提取方法 研究 中国科学院沈阳自动化研究所 F020106 22
60603098 周水生 多核学习研究 西安电子科技大学 F020106 22

地区基金资助项目一览表
项目批准号 申请人 项目名称 申请单位 学科代码 批准金额 (万元)
60663001 蒋运承 描述逻辑循环定义的理论框架及其推理机制研究 广西师范大学 F020101 22
60663002 王三民 模糊逻辑形式系统的构造、判定及定理证明算法研究南昌大学 F020101 7
60663003 魏立力 粗糙集数据分析的统计证据研究 宁夏大学 F020106 23
60663004 余正涛 受限域汉语问答系统研究 昆明理工大学 F020106 7
60663005 钱俊彦 基于依赖公式抽象的软件模型检测研究 桂林电子工业学院 F020202 23
60663006 吐尔根?依 布拉音 面向汉维机器翻译的双语对齐语料库和短语库构建技术的研究 新疆大学 F020601 25
60663007 王明文 文本自动分类中维数约简方法研究 江西财经大学 F020604 25
60663008 赵小兵 基于动态流通语料库的汉语基本词汇特征曲线跟踪及提取研究 内蒙古师范大学 F020604 24
60663009 李波 网格作业资源预留对本地调度器性能的影响 云南大学 F020303 24
60663010 徐丹 实时非真实感绘制技术的研究 云南大学 F020404 26

二、重点项目
项目批准号 申请人   项目名称      申请单位 学科代码 批准金额 (万元)
60633010    蔡开元   高可信软件的测试与评估 北京航空航天大学 F020202 200
60633020    贾小华   可信移动互联网络关键理论与应用研究   武汉大学 F02 200
60633030    黄继武   数字媒体内容安全关键技术及评测方法的研究 中山大学 F020104 220
60633040    孙凝晖   超并行计算机体系结构研究 中国科学院计算技术研究所 F020301 180
60633050    周兴铭   高效能并行计算机体系结构研究 中国人民解放军国防科学技术大学 F02 180
60633060    李晓维   数字VLSI电路测试技术研究 中国科学院计算技术研究所 F020503 200
60633070    鲍虎军   基于视觉计算的交互图形处理技术研究 浙江大学 F020404 200


--
※ 来源:．两全其美网 http://lqqm.net [FROM: 166.111.249.39]