眭跃飞 金成植 伊胜伟 张晓清 余丹 许可 潘静 赵莉

极限行为 Tableau算法 模态逻辑 关联规则 接续函数 权限 行为 自适应控制方法

电信科学技术研究院 北京科技大学管理学院 北京联合大学信息学院 吉林大学大学计算机科学与技术学院 中科院计算所智能信息处理重点实验室 北京航空航天大学计算机科学与工程学院 北京航空航天大学软件开发环境国家重点实验... 北京100083吉林大学大学计算机科学与...