阮雪榆 艾未华 周雄辉 罗文俊 张逸琴 许爱秋 袁国华 任继刚 张春永 余水根 江华 徐立钧 唐郑熠 黄贻望 龙士工 熊文灿 潘志鹤 蔡超 郭春雷 韩玲玲 黄云仙 何剑锋 胡文生 姜景根 郑进远 孔伯煊 万良 鲁俊伟 谭新星 文静华

NP∩co-NP问题 Promela 谓词逻辑 有色Petri网 NSPK 密码协议 Nand-Flash CBMC 模型检测 Cygwin Lucene 检索 并行算法 连续轨迹 Socket 钩子函数 教学评价 防火墙 双语教学 张力AGC控制 行为时态逻辑 远程控制 IT课程 多播 多方矩阵乘积协议 前馈控制 无损压缩 厚度控制 专家系统 协同设计

贵州大学计算机软件与理论研究所 贵州贵阳 贵州大学计算机理论与软件研究所 广东韶关学院计算机系 上海交通大学国家模具CAD工程研究中心 贵州大学 贵阳550025韶关学院计算机系 贵州大学计算机科学系