陆际联 慕晓冬 左万利 刘云峰 曹志强 胡浩民 韩耀军 张斌 王长劲 李庆芬 马德云 吴岩 王拉柱 叶志宝 牛承珍 叶青 张曙光 张庆伟 毛群凌 赵宗涛 朱福喜 李玉坚 许超 宁伟 李婧 张力 王砚方 刘国栋 俞时权 贾佳

死锁检测协议 死锁图 资源需求量 谓词逻辑 控制软件设计 验证计算机 操作系统 车间 FPGA 0-1规划 板材 可靠性 死锁检测 预防死锁 机器 封锁粒度 安全进程序列 可达标识图 银行家算法 虫洞 Ada语言 并发进程 时序逻辑 检测算法 解锁 系统中 Petri网 区域 图形元素 矩阵表示