王艳 王敏 罗军舟 凌青华 沈继峰 曲延盛 王鹏 李伟 谭晶 高尚 蒋晶 高翔 胡广鹏 胡广朋 别小川

时态推理 持续函数 数据挖掘 可达性判定 计算方法 域间路由 Petri网 区间代数 覆盖网路由 帕累托最优解 改革 区间矩阵 人工智能 合作博弈 Petri网进程 入侵检测 可信度 流量工程 可信可控网络 关联分析 实验 Chord环 模糊时间 测不准原理 进程验证

东南大学计算机科学与工程学院 江苏科技大学计算机科学与工程学院