眭跃飞 金成植 伊胜伟 张晓清 余丹 许可 潘静 赵莉 孙凌云 李未 潘清 吕江花 童咏昕 袁玫 张媛媛 马丽 郝国舜

极限行为 Tableau算法 模态逻辑 关联规则 接续函数 权限 行为 自适应控制方法 频繁模式挖掘 ambient 指称语义 操作系统 归纳逻辑程序 中断控制 压缩 论域 角色继承 描述逻辑 基调 动态描述逻辑 数据挖掘 访问控制 挖掘序列模式 机器学习 角色 动态逻辑 语义转换 网络协议 语义

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