于万钧 文传源 彭晨 胡兆玮 宋惠元 靳瑞芳 张锦文 杨博 陈睿 王开云 任铄 岳东

纯方位 逻辑定义 多站 使用控制授权模型 结构描述法 工作流图 查询 实例 坐标交换 影线 区域 单连通区域 综合系统 相似关系 多目标 流程供应链 多边形 选择公理 面向对象数据库 使用控制模型 综合相似理论 综合仿真系统 ZF公理系统 信息融合 连续统假设 形式模型