刘昕 李琳 胡国玲 张传富 覃飙 陈世俊 何君辉 徐升华

事务结构相关性 正则路径表达式 关系模式 夭折依赖 中断优先级调度 恢复 模糊检验点 传感器网络

湖南长沙 湖北武汉 华中理工大学计算机学院 华中科技大学计算机学院 江西财经大学信息管理学院 华中科学技术大学计算机学院 华中科技大学计算机科学与技术学院 国防科技大学三院军用仿真技术教研室