 |
|
||||||||||||||
 |
 |
 |
 |
 |
 |
||||||||||
|
|
||||||||||||||
|
|||||||||||||||
|
|
||||||||||||||
开放课题
| 序号 | 课题名称 | 编号 | 负责人、单位 | 起止时间 | 进展情况 |
| 1 | 量子自动机的判定性、计算能力及相关问题 | SYSKF0901 | 邱道文，广州中山大学 | 2009.1-2011.1 | 截题 |
| 2 | 基于元启发式算法的聚类分析关键问题研究 | SYSKF0902 | 刘勇国，电子科技大学 | 2009.1-2011.1 | 截题 |
| 3 | 将一种时间petri网转化为时间自动机的方法研究 | SYSKF0903 | 夏传良，山东建筑大学 | 2009.1-2010.1 | 截题 |
| 4 | 面向语义web的描述逻辑扩充及非标准推理 | SYSKF0904 | 蒋运承，广西师范大学 | 2009.1-2011.1 | 截题 |
| 5 | 虚拟制造中的时序逻辑应用技术研究 | SYSKF0905 | 程 成，北京理工大学 | 2009.1-2011.1 | 截题 |
| 6 | 无线传感器网络的可靠性评估与增强方法 | SYSKF0906 | 陈新宇，北京师范大学 | 2009.1-2011.1 | 截题 |
| 7 | 车载ECU软件的需求规格说明和设计方法 | SYSKF0907 | 刘晓建，山东省科学院自动化研究所 | 2009.1-2011.1 | 截题 |
| 8 | 基于软件体系结构的web服务组合验证与实现 | SYSKF0908 | 张广泉，苏州大学 | 2009.1-2011.1 | 截题 |
| 9 | 面向高等级安全操作系统的形式化保证技术研究 | SYSKF0909 | 刘 剑，软件所 | 2009.1-2011.1 | 截题 |
| 10 | 集合约束满足问题求解研究 | SYSKF0910 | 季晓慧，苏州大学 | 2009.1-2011.1 | 截题 |
| 11 | 面向异构信息网络的分类与聚类技术研究 | SYSKF1001 | 邓志鸿 | 2010.1-2012.1 | 在研项目 |
| 12 | 复杂算法程序循环不变式生成技术研究 | SYSKF1002 | 薛锦云 | 2010.1-2012.1 | 在研项目 |
| 13 | Web服务的模型检测技术研究 | SYSKF1003 | 苏开乐 | 2010.1-2012.1 | 在研项目 |
| 14 | 大规模流体动画模拟 | SYSKF1004 | 柳有权 | 2010.1-2012.1 | 在研项目 |
| 15 | 修复不一致本体的多项式时间算法研究 | SYSKF1005 | 杜剑峰 | 2010.1-2012.1 | 在研项目 |
| 16 | 基于时序逻辑的软件安全缺陷分析方法研究 | SYSKF1006 | 梁洪亮 | 2010.1-2012.1 | 在研项目 |
| 17 | 基于概率进程演算的安全协议形式化验证 | SYSKF1007 | 邓玉欣 | 2010.1-2012.1 | 在研项目 |
| 18 | 从编排规范出发的Web服务组合技术研究 | SYSKF1008 | 杨红丽 | 2010.1-2012.1 | 在研项目 |
| 19 | 基于SMP集群的热物性反问题高效两级混合并行算法研究 | SYSKF1009 | 郭庆平 | 2010.1-2012.1 | 在研项目 |
| 20 | 面向演化本体的语义度量研究及其应用 | SYSKF1010 | 马应龙 | 2010.1-2012.1 | 在研项目 |
| 21 | 反例导向的可信软件错误检测与定位 | SYSKF1011 | 蒲 飞 | 2010.1-2012.1 | 在研项目 |
| 22 | 大规模虚拟场景的高效组织 | SYSKF1012 | 蔡康颖 | 2010.1-2012.1 | 在研项目 |
| 23 | 多重入复杂制造系统基于群体智能的一体化调度方法研究 | SYSKF1013 | 曹政才 | 2010.1-2012.1 | 在研项目 |
| 24 | 动态随机测试方法研究 | SYSKF1014 | 蔡开元 | 2010.1-2012.1 | 在研项目 |
