搜索到 篇“ 时段演算 “的相关文章

相关作者

陈宗基
作品数：284被引量：1,470H指数：22
供职机构：北京航空航天大学自动化科学与电气工程学院
研究主题：飞行控制系统 飞行控制 无人机 鲁棒性 仿真
朱嘉奇
作品数：5被引量：1H指数：1
供职机构：北京大学
研究主题：时段演算 CTL MAXIMUM LOWER_BOUND KRIPKE结构
张博颖
作品数：2被引量：0H指数：0
供职机构：中国科学院研究生院
研究主题：实时操作系统 时段演算 形式化验证 调度器 调度
承向军
作品数：30被引量：138H指数：7
供职机构：北京交通大学交通运输学院
研究主题：交通信号控制 控制方法 交通信号 多智能体系统 遗传算法
屈婉玲
作品数：23被引量：152H指数：4
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 工作流 工作流模式 连接器 程序设计