张磊 尹建伟 李赣生 钱骏 金益民 王茜 李航 董金祥 陈刚 何频捷 姚畅 陈后金 李居朋 李长云

脉冲耦合神经网络 ECA 柔性 图像处理 神经元 双机容错 高阶多型π演算 工作流 需求分析 概念模型 ADL XML 时间模型 构件 知识评估 UML描述方案 软件体系结构