张新访 张翔立 高敦嶽 黄和风 李成华 刘耕 吴海标 朱建新

结构归纳法 数据采集与处理 规则匹配 资金清算 风险控制系统 程序正确性证明 刀具轨迹 在线 清算风险 票据交换差额 当前研究 图形方式 归纳断言法 语言设计 相关算法 风险值 正确率 选择方法 语法检查 图形验证 清算帐户 电子护照 处理算法 数控程序