开放课题

序号 课题名称 编号 负责人、单位 起止时间 进展情况
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 在研项目