冯刚 曲道奎 马光胜 徐殿国 徐方

移动机器人 耦合电容 延时矩阵 Boole过程 通道布线 冒险 时变布尔函数 动态环境 串扰 Allen-Givone代数 布尔过程论 惯性延迟 波形距离 带状波形 布线生成树 层次化延时分析 系统芯片 路径规划 多值逻辑电路

哈尔滨工程大学计算机科学与技术学院 黑龙江哈尔滨 中国科学院沈阳自动化研究所 哈尔滨工业大学 中国科学院研究生院 辽宁沈阳