基于Formal Methods的基本存款账户新增数量变动分析  

作　　者：贺彦琨[1] 李万柱[1] 

机构地区：[1]中国人民银行兰州中心支行,甘肃兰州730000

出　　处：《甘肃科技》2012年第24期107-109,共3页Gansu Science and Technology

摘　　要：基本存款账户期末数量代表了经济实体的开户数量,在一定程度上反映了经济实体发展环境的好坏程度。就此引入形式化描述方法,对基本存款账户数量变动情况进行分析,精确刻画商业银行的开户行为,对存在恶性争抢客户的商业银行,采取相应措施,规范开户行为。

关 键 词：形式化方法 FORMAL Methods 账户管理 人民币银行结算账户管理系统 基本存款账户 

分 类 号：F832.2[经济管理—金融学]