林祝亮 田增山 李晓民 陆汝占 何维 俞立 孙琳 屈刚 李思昆 孔骏 孙峻朝 余侠 刘弦 杨燕 王凯 褚晓滨 徐海智 李暾 沈海华 韩令军 张洪才 冯海林 杨孝宗 曾伟明 刘久富 陶秋铭 陆铁军 胡劲文 贺也平 李彩丽

拼音输入法 编译优化 测度指标 可靠性评估 ERP应用 故障注入 企业信息化 微处理器 验证方法 时序逻辑 功能验证 综合评价 行为分解 伪随机 断言 山地 词库 网络寿命 测试用例 高层ATPG 森林 微软拼音 连通 有限状态机 规划管理 海量存储 性能。 错误检测机制 召回率 语音库