方海 陈荣华 王化增 付达杰 迟国泰 林惠民

π-演算 进程代数 利率风险 持续期 免疫条件 符号互模拟 流动性风险 虚拟社区 互模拟 验证算法 优化方法 动态交互 资产负债管理 传值进程 X3D

中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所计算机科学实验室 辽宁大连 大连理工大学管理学院