史晶晶 吕帅 江鸿 杜小勇 孙玉芳 王珊 郑振楣 刘磊 陈家训 石树刚 李曼 杨晓青 梁洪亮 石文昌

编码方式 强权 市场表现 可满足性 计算机安全 概念 无定义 经销商 Linux 本体 命名空间 关系 实现 销售旺季 可导出性 代数 Intel 基于可满足性的规划 本体学习 初始模型 市场面 BellLaPadula 完全函数依赖 依赖性 关系方法 智能规划 抽象数据类型 多值依赖 本体论 RDF（S）