ISSN 1000-9825,CODEN RUXUEW Journal ofSoftware,Vo1.18,No.9,September 2007,PP.2365—2368 http://www.jos.org.cn/1000-9825/18/2365.htm @2007 by Journal ofSoftware.All rights reserved. E—mail:jos@iscas.ac.cn http://www.jos.org.Cll Te1/Fax:+86.10.62562563 2007年度国家自然科学基金结题项目清单 批准号 60303001 60303002 项 目 名称 负责人 余华山 韩华 依托单位 北京大学 北京大学 北京大学 北京大学 清华大学 清华大学 复旦大学 复旦大学 复旦大学 学科代码 评价 结果 F020302 良 F020303 良 F020601 中 F020202 优 F020601 优 F020303 特优 FO20305 良 F020204 优 F020106 良 良 非线性复杂问题的自适应网格资源调度方法和计算优化 提高网络存储可靠性.P2P文件Erasure Code机制研究 60303003 基于最大熵原则的汉语句法分析和语义角色标注研究 常宝宝 60303004 基于组织的Agent开发理论和方法及其在基于构件的软件工程中 焦文品 的运用 60303005 60303006 60303oo7 60303008 60303009 6030301 2 包含识别错误的汉语文本检索研究 下一代网络中面向区分服务的可扩展组播研究 基于发展心理学的知识系统表示结构与构建方法研究 聚集类型数据存储和查询技术的研究 面向基因表达数据分析的贝叶斯网方法研究 基于增强学习的自适应入侵检测方法研究 金奕江 刘莹 危辉 汪卫 王飞 徐昕 中国人民解放军国防科学 F020303 技术大学 60303013 60303014 6030301 5 60303017 6030301 8 基于构件的高可信系统形式验证研究 基于划分的一般聚类模型研究 曲面几何处理与交互设计关键技术研究 SAR实时成像专用处理器体系结构和SoC设计方法研究 具有纹理变化的逼真人脸动画方法 董威 中国人民解放军国防科学 F0202 技术大学 优 于剑 杨勋年 谢应科 陈益强 北京交通大学 浙江大学 中国科学院计算技术 研究所 中国科学院计算技术 研究所 F020106 优 F020503 良 F0203 良 FO20106 优 6030301 9 60303020 60303021 60303022 60303023 虚拟现实环境下的双手交互技术研究 万亿次并行计算系统性能评价分析优化关键技术 摄像机自标定理论与算法研究 基于马尔科夫随机场的指纹匹配算法的研究 分级的基于物理视图的网络事件关联技术研究 张凤军 中国科学院软件研究所 F020307 良 张云泉 中国科学院软件研究所 F020302 良 吴毅红 中国科学院自动化研究所 F020106 优 杨鑫 中国科学院自动化研究所 F020106 优 胥光辉 中国人民解放军理工大学 F020303 中 南京大学 上海交通大学 杭州电子科技大学 武汉大学 华中科技大学 华中科技大学 内蒙古大学 四川大学 F020303 良 60303025 知识网格环境下认知协作的工作流原理、集成方法与原型系统 窦万春 研究 60303026 60303028 60303029 6030303 1 60303032 60303033 60303034 基于身份的公钥体系架构的研究 基于可编程GPU的高度真实感实时绘制技术 支持自由并发交互的三维实体协同建模技术 自主式存储中介系统(ASAS)N论与实现方法研究 I/O请求处理的流水作业机制研究 并行环境中I/O性能的层次模型及优化I/O策略的研究 巨量纹理大地形可视化研究 刘胜利 王毅刚 何发智 胡迪青 王芳 李文 李辉 F020104 优 F020404 良 F020503 良 FO20402 良 F020402 优 F020302 优 F02O404 中 60343010 60363002 60363003 60363004 60363005 60373001 60373002 60373003 60373004 60373005 60373007 实用和高准确自动翻译率的机器翻译方法的探索 动态网络系统中的移动计算关键技术研究 古维文(察合台文)文献数字化整理技术研究 多语言多媒体网络教学系统的新技术新方法研究 蒙古语语法信息词典的建立及调试 面向侧面的嵌入式操作系统内核研究 非单调超协调逻辑及其应用 基于合同的构件可测试性设计与主动测试技术 高性能数学机械化计算研究 面向信息集成的Grid技术研究 网格处理器的基础理论和关键技术 高庆狮 余敏 地力木 拉提・吐 尔逊 北京科技大学 江西师范大学 新疆大学 新疆大学 内蒙古大学 北京大学 北京大学 北京大学 清华大学 清华大学 清华大学 F02 良 F020303 良 F020106 F020504 F020601 F020205 良 良 良 良 吾守尔・ 斯拉木 那顺乌 日图 陈向群 林作铨 单锦辉 武永卫 杨广文 刘斌 F020106 优 F020202 优 F020302 良 F020302 优 F0203 优 维普资讯 http://www.cqvip.com
2366 Journal of Software软件学报Vo1.18,No.9,September 2007 60373008 60373009 60373010 60373011 60373012 60373013 基于OpenMP的多范例、多粒度并行模型及并行编译优化 基于扫描自测试的扫描链构造技术 移动环境中IP组播问题研究 基于过程度量和挖掘的适应性工作流管理系统关键技术研究 基于3、4-几何结构的互连算法研究 Web服务质量(QoS)控制的策略、模型及其性能评价研究 胡长军 向东 徐明伟 王建民 经彤 单志广 北京科技大学 清华大学 清华大学 清华大学 清华大学 国家信息中心 F020203 良 F020105 优 F020303 优 F0205 优 F020503 特债 F020306 特优 60373014 嵌入式Internet环境下传感器网络计算及其移动代理方法研究 王雪 清华大学 F020303 优 6037301 5 并行算法设计与性能分析 刘兴平 北京应用物理与计算数学 F020302 优 研究所 60373016 6037301 9 60373020 60373021 60373022 60373023 基于统计学的软件使用测试及其分析方法研究 Peer.to.Peer环境下查询处理研究 用于MPEG.7描述子的索引结构研究 PKI安全综合评价体系的研究 面向agent的系统建模方法的研究 IP网络QoS参数测量的模型、算法及其分析 刘超 周水庚 薛向阳 张根度 北京航空航天大学 复旦大学 复旦大学 F020202 良 F020204 优 F020204 特优 复旦大学 F020303 由 中国人民解放军国防科学 毛新军 技术大学 F020201 良 殷建平 中国人民解放军国防科学 技术大学 F020103 优 60373024 60373025 先进分布仿真系统仿真语言规范研究 近似算法的设计与分析 姚益平 中国人民解放军国防科学 F020203 技术大学 李国君 山东大学 良 F020103 优 60373026 60373027 60373028 60373029 60373030 6037303 1 60373032 具有特性的数字签名方案的研究 关于大规模分布环境下海量移动对象系统的分布式模型研究 MPEG.7框架下可伸缩视频检索系统的研究 基于人类视觉感知系统的有效编码模型 曲面纵横嵌入理论与布局优化 基于多幅图象的Visual Hull重构及表面属性建模算法研究 结合第=维信息插沭的二维美术动画创作方法研究 徐秋亮 张军 赵耀 罗四维 刘彦佩 陈越 耿卫东 山东大学 首都经济贸易大学 北京交通大学 北京交通大学 北京交通大学 浙江大学 浙江大学 F020104 优 F020303 良 F020106 优 F0205 良 F020103 优 F020503 良 F020503 良 60373033 60373034 60373035 60373036 60373037 60373038 基于离散微分几何的计算机辅助设计技术研究 离散几何造型的若干关键技术研究 视频图像序列与虚拟物体的融合技术 几何造型中交互式Level Set方法研究 :维计笪机动画 术风格绘制 酪 高分子牛物降懈的计笪加仿直髓:维可栅化 王国瑾 李桂清 秦学英 冯结青 于金辉 涂克华 浙江大学 华南理工大学 浙江大学 浙江大学 浙江大学 浙江大学 F020503 优 F020404 优 F020404 优 F020404 优 F020404 良 F020501 良 60373039 60373O40 60373041 60373042 60373043 60373O45 60373046 60373047 60373048 60373049 60373050 6037305 1 60373052 60373053 高信度密码协议的设计与分析 P2P网络安全模型及应用研究 椭圆曲线与身份密码学研究 本体的构建理论和推理实现 可扩展多线程处理器中的资源共享技术 面向网络存储的集群系统的体系结构 基于三维模型的车辆定位与跟踪 分组密码关键技术研究 密码协议分析的理论和方法 基于能量高效的传感器网络协议的研究 包封法及推理系统的可判定性 场景再组织技术的研究 一阶信度网理论及在数据挖掘中的应用研究 实时系统任务可调度性分析的优化方法研究及实现 张振峰 中国科学院软件研究所 F020104 优 张玉清 中国科学院研究生院 F020104 良 胡磊 眭跃飞 安虹 许鲁 中国科学院研究生院 中国科学院计算技术 研究所 中国科学院计算技术 研究所 F020104 F020101 F020301 良 优 良 中国科学院计算技术 F020205 良 研究所 胡卫明 中国科学院自动化研究所 F020106 特优 吴文玲 中国科学院软件研究所 F020104 优 薛锐 中国科学院软件研究所 F020104 优 方贵明 中国科学院软件研究所 F020303 由 蒋颖 中国科学院软件研究所 F0201 优 王文成 中国科学院软件研究所 F020404 优 沈一栋 中国科学院软件研究所 F020106 优 王永吉 中国科学院软件研究所 F020103 良 60373054 60373055 60373056 60373057 60373058 操作系统安全基础的可适应性模型研究 复杂环境下多处理器系统的实时反馈调度研究 基于场景的多通道用户界面研究 基于约束对象的语义Web智能代理技术的研究 光学透视式增强现实系统显示技术的研究 石文昌 中国科学院软件研究所 F020205 良 王宏安 中国科学院软件研究所 F020103 优 王丹力 中国科学院软件研究所 F020307 良 廖乐健 周雅 北京理工大学 北京理工大学 F0202 F020501 优 良 维普资讯 http://www.cqvip.com
2007年度国家自然科学基金结题项目清单 2367 60373059 60373060 非线性密码函数研究 研制有限元并行求解平台 温巧燕 北京邮电大学 FO20104 优 迟学斌 中国科学院计算机网络信 F0202 良 息中心 60373061 60373062 60373063 60373064 60373065 60373066 实时体绘制关键技术及支撑体系结构研究 文本数字水印及文本信息安全研究 基于光互联网络的拓扑结构、波长指派和路由算法研究 软件自保护模型、机制和工具的研究 基于手绘草图的智能化构思环境及其关键技术研究 基于组合覆盖的软件测试技术研究 孙济洲 孙星明 刘方爱 茅兵 孙正兴 徐宝文 马利庄 李青 缪淮扣 高大启 邵志清 高明伦 吴伟志 胡山立 周昌乐 汤庸 谢冬青 天津大学 湖南大学 山东师范大学 南京大学 南京大学 东南大学 上海交通大学 上海大学 上海大学 华东理工大学 华东理工大学 合肥工业大学 浙江海洋学院 福州大学 厦门大学 中山大学 湖南大学 FO2O4O4 良 F020104 良 F020302 F0202 F0205 良 优 良 F020202 特优 60373068 60373070 6037307 1 60373072 60373073 60373075 60373076 60373078 60373079 60373080 6037308 1 60373085 复杂程序正确性机器辅助证明的研究 基于RBF插值与多分辨率表示的扫描数据重建与绘制理论 斑图自组织形成的计算机模拟及其可视化研究 面向对象软件规格说明的形式化验证与确认 自然环境下计算机嗅觉技术实现方法研究 基于概念精化的嵌入式系统的构件开发方法 基于平台的SoC设计方法及其关键技术研究 模糊与随机环境下的粗糙集理论与知识获取 多Agent系统合作问题求解语义模型与算法的研究 面向汉英机器翻译的汉语隐喻逻辑释义方法研究 时态知识数据模型及软件构件研究 基于CORBA的分布式网络安全漫游认证体系 张兴元 中国人民解放军理工大学 F020201 良 F020503 优 F020102 良 F020201 优 F020106 优 F020201 F020301 良 良 F020106 优 FO2O1O6 良 F020604 良 F020502 优 F020104 由 60373086 软构件资源管理中互操作性保证(IA)的本体元建模方法 何克清 武汉大学 武汉大学 华中科技大学 华中科技大学 华中科技大学 华中科技大学 F020202 优 F020104 良 F020402 由 F020101 优 F020106 优 F020402 由 60373087 密码函数的演化设计研究 张焕国 60373088 基于冗余智能存储通道(RISC)的简约容灾存储系统关键技术研究 周敬利 60373089 60373090 60373091 60373092 60373093 60373094 分子生物计算中的膜计算研究 非向量型Kernel学习机及其对动态形状模板的应用 新一代光盘超高精度伺服定位机理与关键技术研究 带进位反馈移位寄存器(FCSR)序列的分析 计算机辅助几何设计的一些新方法及其应用 时变、随机网络最优路径算法及其应用研究 潘林强 高俊斌 王海卫 戚文峰 中国人民解放军信息工程 F020104 特优 大学 王仁宏 谭国真 大连理工大学 大连理工大学 F020404 优 F020303 良 60373095 60373096 60373098 60373099 60373101 60373 102 60373103 60373104 60373 105 60373106 60373107 WEB文本挖掘中知识模式的抽取和评价机制 具有相同路径层矩阵的图、应用及算法研究 时空信息表示、推理及应用 具有增量特性的移动式主题爬行技术 汉语动词次范畴化自动获取技术的研究 过程神经元网络理论及其应用研究 混合系统的形式验证 群签名方案研究 网络学习中学习者个性挖掘方法的研究与应用 基于大脑神经元非线性编码机制的稳健聚类 基于序列信息的主机行为模型和异常检测算法研究 林鸿飞 杨元生 刘大有 左万利 赵铁军 钟诗胜 段振华 马文平 郑庆华 张讲社 彭勤科 大连理工大学 大连理工大学 吉林大学 吉林大学 啥尔滨工业大学 啥尔滨工业大学 西安电子科技大学 西安电子科技大学 西安交通大学 西安交通大学 西安交通大学 F020604 良 F020103 优 F020106 优 FO2O2 优 F0206 F020106 优 良 F020501 优 F020104 良 F0205 优 F020106 良 F020104 由 60373 108 60373110 60373111 60373113 支持Web中多媒体数据管理的数据模型及实现方法的研究 大规模网络入侵动态取证、实时风险检测与控制技术 基于Rough集理论的不确定性信息处理研究 混合性能模拟的层次化:理论与应用 李战怀 李涛 王国胤 吴尽昭 西北工业大学 四川大学 重庆邮电大学 F020204 良 F020303 优 F020106 优 优 中国科学院成都计算机应 用研究所 F0205 60442001 基于演化硬件的SOC设计方法研究 李元香 武汉大学 北京工商大学 华中师范大学 大连理工大学 复旦大学 上海交通大学 北京理工大学 F02 F020106 F0206 F020204 良 良 良 良 60442003 基于Agent和数据挖掘的假日旅游状态和安全事故预测预警研究 杜军平 60442005 汉语命名实体间语义关系的无导自动识别研究 何婷婷 60503003 60503034 60503045 60503050 Web图流算法及Web社区发现 协同监控网络中的数据流查询处理 P2P网络自主行为模型研究及其应用 支持异构约束的层次组播路由体系结构研究 张宪超 钱卫宁 薛广涛 陆慧梅 F020103 优 F020303 良 F020303 良 60503052 移动环境下网络可信性的基础理论与关键技术 彭雪海 清华大学 F020303 良 维普资讯 http://www.cqvip.com
2368 Journal of Soflware软件学报Vol,18,No,9,September 2007 60503058 基于相关反馈的三维几何模型检索技术研究 唐杰 南京大学 F020404 良 60503061 基于成因的多分形网络流量建模与性能分析研究 董亚波 浙江大学 F0205 良 60503069 与历史无关特征建模环境中特征管理机制与三维几何约束求解 王彦伟 华中科技大学 F020503 良 方法研究 60542001 基于量化Domain的Fuzzy拓扑及其计算解释 王万良 首都师范大学 F0201O1 良 60542002 实用多元小波、多小波的构造及其在3D图形图像处理中的应用 梁学章 吉林大学 F020501 良 60542003 =维肿瘤概率映射辅助前列腺活组织穿刺取样方法研究 宋恩民 华中科技大学 F0205 良 60542004 柔性软件体系结构形式化描述方法研究 覃征 清华大学 F020202 中 60542005 开放式实时系统的软件开发方法研究 乔颖 中国科学院软件研究所 F0202 良 60542006 基于奇特征线性复杂度的流密码的攻击研究 陈豪 每日大学 FO2O104 良 60563001 基于受限树函数依赖和多值依赖的XML文档规范化问题 吕腾 新疆大学 F020204 良 60563004 工作流支持的电子商务柔性建模与验证方法的研究 叶新铭 内蒙古大学 F0205 良 60573018 基于Petri网的电子商务系统形式化分析与验证技术研究 杜玉越 山东科技大学 FO2O102 良 60573035 计算系统可生存性理论及其关键技术研究 朱建明 西安电子科技大学 F020104 良 60573046 基于操作语义的隐通道分析理论的研究 鞠时光 江苏大学 F020104 良 60573052 非黑箱零知识及其应用研究 李红达 中国科学院研究生院 FO2O104 良 60573060 音乐自动分析与识别研究 周杰 清华大学 F0201O6 良 60573069 基于不确定性样本的统计学习理论 哈明虎 河北大学 FO2O106 优 60573071 基于超声的早期乳腺癌计算机辅助诊断关键技术研究 黄剑华 哈尔滨工业大学 F020106 良 60573079 基于视频的运动员跳水动作建模与识别关键技术研究 邹北骥 中南大学 F020106 良 60573085 从EDOC到J2EE的MDA模型转换及形式化支撑技术的研究 赵建华 南京大学 F020202 良 60573086 基于业务模型稳定性度量的软件构件获取与优化设计 战德臣 哈尔滨工业大学 F020202 良 60573088 基于未确知数学理论的软件可靠性模型研究 张永强 河北工程大学 F020202 良 60573098 基于动态行为的Web构件匹配机制研究 王志坚 河海大学 F020201 良 605731O3 多态自适应流体系结构研究 张春元 中国人民解放军国防科学 F020301 良 技术大学 605731O9 网格环境下基于QoS的ServiceBSP编程方法 童维勤 上海大学 F020302 良 60573l13 基于信源信道双解码器联合迭代译码技术的研究 胡瑞敏 武汉大学 F020303 良 6O573ll8 无线网络资源分配和拥塞控制 谭连生 华中师范大学 FO2O3O3 优 60573133 面向服务的Overlay网络及其关键技术的研究 顾冠群 东南大学 F020303 优 60573137 基于异步网络环境的自适应时钟同步 赵英 北京化工大学 F020303 良 60573143 面向体系结构功能验证的仿真原型构造方法研究 樊晓桠 西北工业大学 F020306 良 60573 144 基于随机模型检测的网络脆弱性分析研究 林闯 清华大学 F020306 优 60573 145 智能网络磁盘(IND)系统结构及关键技术研究 赵跃龙 华南理工大学 FO2O4O2 良 6057315O 适合图像压缩的小波基构造研究 李波 北京航空航天大学 FO2O4O4 良 60573156 中国水墨画效果的3D渲染技术研究 孙济洲 天津大学 F020404 中 60573165 基于数据挖掘的Web信息源质量评价准则和技术的研究 朱焱 西南交通大学 F020501 良 60573171 保护私有信息的若干计算几何问题及其应用研究 黄刘生 中国科学技术大学 F020501 优 60573174 协同模板中的约束信息可视化 刘晓平 合肥工业大学 FO20503 良 60573184 非母语写作水平计算机自动评测技术研究 荀恩东 北京语言大学 F020601 良 注释1:项目的结题时间为2006年12月 注释2:其中编号为60442***和60542***的项目为主任基金
因篇幅问题不能全部显示,请点此查看更多更全内容