田彦峰 张凯 李菲 吴星 郗方 柴洪洲 周清雷 孙瑜 丁萌伟 耿修堂 王海栋 肖建华 罗飞路 强小利 刘向荣 刘晓刚

汉明距离 图顶点着色问题 生物计算 串空间 抗差估计 DNA序列设计 地球重力场模型 弹道扰动引力 自由能 基因电路 编码 分子自动机 协方差函数 DNA计算 多波束测深 单层密度模型 球谐函数 海底地形 理想 Neuman-Stubblebine协议 交变磁场测量法 体内 异常值 最小二乘配置 点质量模型 DTM NP问题 金属表面缺陷 数值仿真 安全协议

北京大学信息科学技术学院 北京大学信息科学技术学院高可信软件技术教... 中国兵器工业集团公司 郑州大学信息工程学院 北京大学高可信软件技术教育部重点实验室 南开大学现代物流研究中心