袁崇义 张庆明 苏建雷 任晓明

Petri网 层次分析法 人机界面 智能系统 专家系统 关联矩阵 算法设计 知识库系统 模型表示 检测算法 NETS 模型库管理系统 报告管理 决策支持系统 PETRI Petri网模型 灰色系统 菜单管理 知识库一致性 知识库维护 模型库系统 面对对象程序设计 数据输入工具 死锁

云南省软件中心 云南软件中心 中科院数学所