赵天智 金以慧 何志均 李子木 陈学广 陈杰 谭郁松 魏峻 余淼 王戟 朱岩 王鼎兴 黄萱菁 陈坚 黄厚宽 陈曦 王建林 胡顺仁 向永红 马巧云 陈伟民 石洪波 唐礼勇 童学军 段云所 王声远 廖昌荣 周兴铭 唐培顺 曹均阔

分布决策 组合 区间分割 语法符号 Petri网 内核映像 死锁依赖 语义树 拉格朗日松驰 可串行化正确性准则 评估 体系结构 平衡度 构件可靠性预测 数据依赖 决策支持系统 在线算法 方法依赖 关联关系 动态算法 选择依赖 数据流图 安全评估 有向依赖图 协调机制 软构件组装 逻辑关系 传递闭包 动态系统 协调