胡孔法 贾海洋 达庆利 陈娟 陈崚 刘大有 宋爱波 高玉兰

定性空间推理 全局序列模式 数值解 延迟微分方程 扩展矩形关系 线性θ-方法 项扩展和序列扩展剪枝 约束满足问题

江苏南京 江苏扬州 大庆石油学院 哈尔滨工业大学 扬州大学计算机科学与工程系 吉林大学计算机科学与技术学院 东南大学计算机科学与工程学院 吉林大学符号计算与知识工程教育部重点实验...