国家重点实验2002-2006特邀报告或大会报告一览表
|
报告人 |
会议名称 |
报告时间 |
报告名称 |
1 |
徐仁佐 |
中国运筹学会可靠性分会2006年研讨会(北京理工大学) |
2006.12 |
软件可靠性工程研究的思考 |
2 |
康立山 |
2006年自然计算与应用中英研讨会(中国科学技术大学) |
2006.10 |
演化优化算法 |
3 |
徐仁佐 |
第十三届信息化理论学术研讨会(中国电子学会) |
2006.10 |
软件可靠性工程研究的思考 |
4 |
康立山 |
The third international conference on neural, parallel & scientific computation |
2006.08 |
演化建模软件 |
5 |
彭智勇 |
2006年日本全国数据库年会(日本冲绳) |
2006.03 |
对象代理数据库管理系统及其应用 |
6 |
何克清 |
ISO/IEC/JTC/SC32国际论坛(日本神户) |
2006.03 |
New working ideas for MMF14 Ontology registration |
7 |
彭智勇 |
2005中国计算机大会 |
2005.10 |
跨媒体数据库关键技术 |
8 |
张焕国 |
2005中国计算机大会 |
2005.10 |
可信计算技术 |
9 |
何克清 |
中国计算机学会青年计算机科技论坛(武汉工程大学) |
2005.10 |
标准化推动软件产业的发展 |
10 |
何克清 |
系统软件工程香山会议(北京) |
2005.10 |
Maintaining consistency of ontologies registry with description logic |
11 |
何克清 |
ISO/IEC/JTC/SC32国际论坛(日本神户) |
2005.09 |
Managing evolutionary ontologies in semantic web service with MMF14Onto |
12 |
何克清 |
智能信息处理(复旦大学) |
2005.09 |
基于软件模式的OO软件网络演化生长的设计方法 |
13 |
张焕国 |
第二届可信计算平台技术论坛(北京) |
2005.09 |
可信网格 |
14 |
康立山 |
演化算法国际研讨会(香港中文大学) |
2005.06 |
非线性函数优化问题的演化算法 |
15 |
康立山 |
Symposium on scientific computing and mathematical software in emerging sciences and technology(香港科技大学) |
2005.06 |
并行演化算法及应用 |
16 |
徐仁佐 |
第七届可靠性学术会议(清华大学) |
2005.06 |
软件工程中的复杂网络问题 |
17 |
康立山 |
International symposium on intelligence computation & applications(中国地质大学) |
2005.04 |
科学观测数据中的常微分方程组模型的自动发现 |
18 |
何克清 |
ISO/IEC/JTC/SC32国际论坛(德国柏林) |
2005.04 |
ISO/IEC 19763-3:Metamodel framework for ontology registration |
20 |
何克清 |
Modeling international forum 2004国际会议(日本东京) |
2005.07 |
Maintaining consistency of ontologies registry with description logic |
19 |
何克清 |
ICSE2004软件工程国际合作会议(上海) |
2004.10 |
Proposal to federation of software components NRR / MMFI |
21 |
康立山 |
全国理论计算机科学年会
(武汉) |
2004.10 |
自动程序设计理论及其应用 |
22 |
彭智勇 |
全国理论计算机科学年会
(武汉) |
2004.10 |
计算机科学中的‘代理’问题 |
23 |
何克清 |
Modeling International Forum 2004国际会议(日本东京) |
2004.09 |
Ontologies sharing and its metaModel standard MMFI4 Ontology |
24 |
康立山 |
自然计算国际研讨会(合肥) |
2004.07 |
动态多目标TSP及其在通信中的应用 |
25 |
何克清 |
ISO/IEC/JTC/SC32国际论坛(中国西安) |
2004.05 |
Metamodel framework for ontology |
26 |
康立山 |
并行算法与计算环境国际会议(香港中文大学) |
2003.10 |
演化算法解球面5点的问题 |
27 |
康立山 |
数学地理国际会议(武汉) |
2002.11 |
演化计算与KDD自动化 |
28 |
康立山 |
数学机械研讨会(成都) |
2002.10 |
演化计算与全局优化 |
29 |
康立山 |
动力系统与应用国际会议
(美国亚特兰大) |
2002.08 |
动力系统的演化建模 |
30 |
康立山 |
神经、并行与科学计算国际会议(美国亚特兰大) |
2002.05 |
动态数据的并行建模算法及应用 |
31 |
何克清 |
ISO/IEC/JTC/SC32国际论坛(韩国汉城) |
2002.04 |
Ontological analysis of metamodel for registering business objects | |