宋顺林 司徒荣

有色Petri网 带跳倒向随机微分方程（BSDE） 普适计算 普适服务 情境感知 agent 专家系统 惟一性定理 比较定理 最短路径 工程对象 图论 解的极限定理 反射BSDE 知识表示 CAPP 推理 服务 服务合成 欧拉公式 平面图

江苏大学计算机科学与通信工程学院 广东广州 南京工程学院计算机工程学院 中山大学统计系 江苏南京 江苏镇江 南京工程学院计算机系 南京工程学院