QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba's Yu'e Bao 期刊论文 IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2018, 卷号: 5, 页码: 785-795 作者:  Gao, Honghao[1];  Mao, Shunyi[2];  Huang, Wanqiu[3];  Yang, Xiaoxian[4] 收藏  |  浏览/下载：12/0  |  提交时间：2019/04/22 Business profits maximization  capital risks minimization  investment strategy  probabilistic model checking  reserve ratio  risk evaluation control   Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization 会议论文 13th IEEE International Conference on e-Business Engineering (ICEBE), 2016-11-04 作者:  Zhu, Yonghua[1];  Xue, Xiaoyi[2];  Zhang, Kai[3];  Mao, Shunyi[4];  Gao, Honghao[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 Probabilistic Model Checking  Express Delivery  Location Selection and Optimization  Formal Verification  PRISM   A linear iteration image restoration method based on homology continuity 期刊论文 International Journal of Multimedia and Ubiquitous Engineering, 2015, 卷号: 10, 页码: 277-284 作者:  Zhu, Yonghua[1];  Mao, Shunyi[2];  Wu, Pin[3];  Gao, Honghao[4];  Wu, Zhiguo[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26