徐志农 谢宜晖 胡茂伟

并行编译 不确定性 规范说明语言 预测模型 嵌入式系统 Petri 网 同步式语言 软计算 生命期间 智能化 活性 运营系统 普通常识推理 组合范畴 形式化 Petri网 归约 不精确性 设备需求 模型 知识获取 有界性 区域调度 服务规范说明

暨南大学计算机科学系