首页 | 本学科首页   官方微博 | 高级检索  
     

基于Formal Methods的基本存款账户新增数量变动分析
作者姓名:贺彦琨  李万柱
作者单位:中国人民银行兰州中心支行,甘肃兰州,730000
摘    要:基本存款账户期末数量代表了经济实体的开户数量,在一定程度上反映了经济实体发展环境的好坏程度。就此引入形式化描述方法,对基本存款账户数量变动情况进行分析,精确刻画商业银行的开户行为,对存在恶性争抢客户的商业银行,采取相应措施,规范开户行为。

关 键 词:形式化方法  Formal Methods  账户管理  人民币银行结算账户管理系统  基本存款账户
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号