针对取款的第一个条件--账户与密码匹配相符。与陈兴良、张明楷取款时完全一样,何鹏、许霆输入正确密码时,银行电脑系统已经识别何鹏、许霆的身份。从这个时候起,双方的取款交易是公开的,毫无秘密性可言。
针对取款的第二个条件--账户余额与请求取款数额的差值不小于1。陈兴良、张明楷取款时,账户余额和请求取款数额,与实际情况相符,都没有出现差错,跟大家日常遇到的情况完全一样,属于正常状况。
问题是何鹏、许霆账户中没有这么多的存款,又是如何满足取款的第二个条件取出款来呢?第二个条件就是一个不等式,银行服务器对不等式是否成立进行判断(大脑思维)之前,先要从外界获取账户余额和请求取款数额这两个参数。账户余额保存在银行的数据库中,银行服务器需要时会自动提取;请求取款数额需要从终端输入后传递到银行服务器。由于银行服务器所使用的前述两个参数,都是电子数据,电子数据具有易变性,在保存和传递过程中,由于银行管理上疏失,电子数据可能发生意想不到的变化。这样一来,即使没有那么多的存款,也可能满足取款的第二个条件--不等式成立,从而取出超过实际存款余额的钱来。何鹏案,许霆案就是实例。
对于何鹏案,银行保存在数据库中的何鹏账户余额实际只有10元,是以电子数据的形式保存的。银行在对数据库进行升级时,因管理上疏失,有多种原因,例如格式不对,所保存的电子数据就会发生变化,既可能被充值,也可能被减值。何鹏的账户被充值,由10元变成了100万元。当何鹏提出取款2000元的请求时,银行服务器从数据库中调取的存款余额为100万,银行服务器在判断不等式是否成立时,大脑思维并没有错误,因自身原因获取了错误的参数而产生重大误解,结果不等式成立,从而使银行与何鹏之间达成了取款交易,银行支付了取款给何鹏。
对于许霆案,账户余额中只有176.97元,当许霆提出取款1000元或2000元的请求时,因其账户余额不足,正常状况下是取不出款来的。可是自动柜员机程序升级时因疏忽而留下程序瑕疵,在自动柜员机向银行服务器传递取款请求的过程中,许霆取款1000元或2000元的请求,因程序瑕疵的存在而发生变化,变为许霆取款1元或2元的请求,与实际相比发生了减值,报送到银行服务器。银行服务器在判断不等式是否成立时,大脑思维也没有发生错误,因自身原因获取了错误的参数而产生重大误解,导致不等式成立,从而双方达成取款交易,银行必须支付取款给许霆。在支付取款的过程中,因涉案自动柜员机具有独特的付款机制,又发生了给付错误。