张曙 温殿忠 王宅中 关昕 陈炜 毛士艺 邵晶波 马光胜 马力 王杉 马东堂 冯刚 李点美 王丙利 王璐

聚吡咯 小波变换 形式验证 亚硝酸根 稳定性 Web系统 高层次设计 代理 磷钨杂多酸 性能测试 图像融合 悬臂梁 多项式符号代数 定界模型检验 切换 高层次数据通路 等价验证 办公自动化 测试工具 小波对比度 温度补偿 吴方法 测试过程 电梯 分布式数据库 测试方法 Ad Hoc网络 通信参数 CAN总线 化学修饰电极

哈尔滨工程大学计算机科学与技术学院 黑龙江哈尔滨 华北计算技术研究所 云南大学化学系 哈尔滨工程大学信息与通信工程学院 黑龙江大学集成电路重点实验室