部分往年项目
开始时间 |
参加人 |
负责/参加 |
项目来源 |
项目类别 |
项目名称 |
结束时间 |
2001 |
夏壁灿 |
参加 |
科技部 |
国家973计划 |
数学机械化和自动推理平台 |
2003 |
2002 |
裘宗燕 |
负责 |
基金委 |
面上项目 |
实时系统理论及系统开发的形式化方法研究 |
|
2003 |
牟克典 |
参加 |
科技部 |
973计划课题 |
基于知识的网构软件需求建模理论和方法研究 |
2007 |
2004 |
裘宗燕 |
参加 |
科技部 |
国家973计划 |
数学机械化方法及其在信息技术中的应用 |
2006 |
2004 |
夏壁灿 |
参加 |
科技部 |
国家973计划 |
数学机械化方法及其在信息技术中的应用 |
2009 |
2005 |
夏壁灿 |
参加 |
科技部 |
国家973计划 |
海量信息的协同性和可生存性的理论与实践研究 |
2010 |
2005 |
夏壁灿 |
负责 |
北大工程研究院 |
|
网络环境下的计算理论与计算复杂性研究 |
2006 |
2005 |
夏壁灿 |
参加 |
基金委 |
面上项目 |
实代数符号计算在形式化方法中的应用 |
2007 |
2005 |
孙猛 |
参加 |
新加坡A*STAR科技基金 |
|
Tools and Techniques for Model Based Software Debugging |
2006 |
2005 |
孙猛 |
参加 |
基金委 |
面上项目 |
余代数及其在软件方法学中的应用 |
2007 |
2006 |
裘宗燕 |
负责 |
基金委 |
面上项目 |
复杂状态程序和系统的语义模型研究 |
|
2006 |
孙猛 |
参加 |
荷兰NWO基金 |
|
Coordination with Performance Guarantees |
2010 |
2006 |
夏壁灿 |
中方负责人 |
法国国家信息与自动化研究院(INRIA)的国际合作项目 |
|
Solvers for ALgebraic Systems and Applications (Chinese SALSA) |
2008 |
2006 |
牟克典 |
参加 |
科技部 |
863计划 |
知识制导的需求工程技术研究 |
2008 |
2007 |
夏壁灿 |
负责 |
教育部 |
|
新世纪优秀人才支持计划 |
2010 |
2008 |
裘宗燕 |
负责 |
基金委 |
面上项目 |
Web服务编排和协作的形式化模型 |
|
2008 |
裘宗燕 |
负责 |
基金委 |
面上项目 |
对象封装和保护的理论和技术研究 |
|
2008 |
孙猛 |
参加 |
荷兰NWO-德国DFG |
国际合作 |
Synthesis and Analysis of Component Connectors |
2010 |
2008 |
孙猛 |
参加 |
欧盟第7框架IST |
国际合作 |
Compliance-driven Models, Languages, and Architectures for Services |
2010 |
2008 |
夏壁灿 |
参加 |
基金委 |
重点项目 |
基于计算机代数的嵌入式软件分析与验证方法及工具 |
2010 |
2008 |
牟克典 |
负责 |
基金委 |
青年基金 |
基于逻辑的不一致需求管理方法 |
2010 |
2009 |
夏壁灿 |
参加 |
基金委 |
国际合作与交流项目 |
代数系统的准确可信计算 |
2012 |
2009 |
牟克典 |
参加 |
基金委 |
重大研究计划 |
环境知识驱动的软件可信性需求工程方法与技术研究 |
2012 |
2009 |
牟克典 |
参加 |
科技部 |
973计划课题 |
网构软件的可信和服务质量需求建模与分析 |
2013 |
2010.1 |
甘锐 |
负责 |
教育部 |
博士点基金 |
基于最大距离梯度和非刚性配准医学图像分割 |
2012.12 |
2010.1 |
林作铨 |
负责 |
基金委 |
面上项目 |
超协调缺省逻辑及其应用 |
2012.12 |
2010.1 |
林作铨 |
负责 |
教育部 |
博士点基金 |
非单调超协调逻辑 |
2012.12 |
2011.1 |
姜明 |
负责 |
科技部 |
国家973计划 |
信号分子时空随机性与介观行为稳健性 |
2012.12 |
2011.1 |
马尽文 |
负责 |
科技部 |
国家科技重大专项子项 |
地震属性提取与分析 |
|
2011.1 |
马尽文 |
负责 |
教育部 |
博士点基金 |
基于BYY和谐学习的RBF网络及其在非线性时间序列预测中的应用 |
|
2011.1 |
裘宗燕 |
负责 |
中科院软件所 |
开放课题 |
面向对象程序的形式化模型与验证理论 |
2012.12 |
2011.1 |
孙猛 |
负责 |
中科院软件所 |
开放课题 |
构件化软件的QoS验证及测试方法研究 |
2012.12 |
2011.1 |
夏壁灿 |
参加 |
基金委 |
重大研究计划培育项目 |
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证 |
2011.12 |
2011.1 |
甘锐 |
参加 |
其他部门 |
探索项目 |
基于非完美结构重复性的建筑建模 |
2012.6 |
2011.1 |
甘锐 |
参加 |
基金委 |
青年项目 |
基于近似重复结构的建筑建模、修复和绘制 |
2013.12 |
2012.1 |
马尽文 |
负责 |
基金委 |
面上项目 |
基于数据学习的高斯过程混合体的模型选择及其应用研究 |
2015.12 |
2012.1 |
毛珩 |
负责 |
基金委 |
青年项目 |
时空多尺度神经环路活体成像技术 |
2014.12 |
2012.1 |
牟克典 |
负责 |
基金委 |
面上项目 |
不一致、不完整和不确定的软件需求规约的集成式分析和处理方法研究 |
2015.12 |
2012.1 |
裘宗燕 |
参加 |
基金委 |
青年项目 |
面向对象程序的形式化规范与验证 |
2014.12 |
2012.1 |
夏壁灿 |
负责 |
中科院软件所 |
开放课题 |
混成系统设计与验证中的符号计算方法和工具 |
2014.12 |
2013.1 |
裘宗燕 |
负责 |
基金委 |
面上项目 |
面向对象程序的分离逻辑理论基础 |
2016.12 |
2013.1 |
孙猛 |
负责 |
基金委 |
青年项目 |
基于 Reo 的协调理论及其在信息物理系统开发方法中的应用 |
2015.12 |
2013.1 |
孙猛 |
负责 |
教育部 |
博士点基金 |
基于 Reo 的实时及混成连接件建模与验证方法 |
2015.12 |
2013.1 |
夏壁灿 |
负责 |
基金委 |
面上项目 |
半代数系统的高效求解算法及其在不等式机器证明中的应用 |
2016.12 |
2013.1 |
徐茂智 |
负责 |
基金委 |
面上项目 |
椭圆曲线密码的计算与分析研究 |
2016.12 |
2014.1 |
林作铨 |
负责 |
教育部 |
博士点基金 |
语义web本体的理论基础和算法实现 |
2016.12 |