周贤君 刘泓滨 徐登云 郝克刚 康昭荣 聂鹏程 唐先华 刘智钢 魏镜弢 张金磊 王小兵 杨琛 黄伯虎 何伟 张琛 何邦贵 孙力军 门鹏 张海宾 舒新峰 雷丽晖

振动性 结构 控制传播图 Web服务 回溯自动机 广义随机Petri网 正解 中立型差分方程 砂 投影时序逻辑 协议验证 多核处理器 定理证明 并行编程 废砂 有穷自动机 软件工程 无界时滞 进程调度 塑 多核 可达性分析 炉渣 结构图 W-Design 下推自动机 工艺 混合系统 软件安全测试 事件迁移图

西安电子科技大学计算理论与技术研究所 湖南大学衡阳分校 湖南工业科技职工大学衡阳分校 湖南大学应用数学系 中南工业大学应用数学系 710071西安 广东　广州 广州建筑工程学校