|
已选(0)清除
条数/页： 排序方式：
|
| Improvement of main drift chamber Monte-Carlo tuning model at BESⅢ 期刊论文
2016, 2016
张瑞; 肖栋; 安芬芬; 高原宁; 何康林; 季晓斌; 金山; 李卫东; 李卫国; 刘怀民; 刘凯; 沈肖雁; 王贻芳; 伍灵慧; 徐庆年; 袁野; 张瑶; 赵光; 郑阳恒; ZHANG Rui; XIAO Dong; AN Fen-Fen; GAO Yuan-Ning; HE Kang-Lin; JI Xiao-Bin; JIN Shan; LI Wei-Dong; LI Wei-Guo; LIU Huai-Min; LIU Kai; SHEN Xiao-Yan; WANG Yi-Fang; WU Ling-Hui; XU Qing-Nian; YUAN Ye; ZHANG Yao; ZHAO Guang; ZHENG Yang-Heng
  收藏 | 浏览/下载：6/0 |
| 知识与数据驱动机器学习模型的参数可辨识性理论研究 学位论文
工学博士, 中国科学院自动化研究所: 中国科学院大学, 2014
作者: 冉智勇
收藏 | 浏览/下载：170/0 | 提交时间：2015/09/02
|
| Improvement of main drift chamber Monte-Carlo tuning model at BESIII 期刊论文
CHINESE PHYSICS C, 2014, 卷号: 38, 期号: 2, 页码: 26201
作者: Zhang, R; Xiao D(肖栋) ; An FF(安芬芬); Xiao, D; An, FF
收藏 | 浏览/下载：31/0 | 提交时间：2016/04/08
|
| 连续时间马尔科夫链模型上的模型检测算法研究与工具实现 学位论文
硕士, 北京: 中国科学院大学, 2013
高杨
收藏 | 浏览/下载：22/0 | 提交时间：2013/05/31
|
| model checking conditional csl for continuous-time markov chains 期刊论文
Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun
收藏 | 浏览/下载：16/0 | 提交时间：2013/09/17
|
| a cut-off approach for bounded verification of parameterized systems 会议论文
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Yang Qiusong; Li Mingshu
收藏 | 浏览/下载：9/0 | 提交时间：2011/03/31
|
| 带参并发系统的模型检测 学位论文
硕士, 中科院软件所: 中科院研究生院, 2009
-
收藏 | 浏览/下载：11/0 | 提交时间：2009/06/11
|
| environment abstraction with state clustering and parameter truncating 会议论文
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Pan Hong; Lv Yi; Lin Huimin
收藏 | 浏览/下载：10/0 | 提交时间：2011/03/20
|
| computing invariants for parameter abstraction 会议论文
ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN
Lv Yi; Lin Huimin; Pan Hong
收藏 | 浏览/下载：14/0 | 提交时间：2011/06/29
|
