中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

上海大学 [9]

北京航空航天大学 [7]

西安交通大学 [4]

软件研究所 [2]

大连理工大学 [1]

江苏大学 [1]

内容类型

会议论文 [13]

期刊论文 [12]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共25条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Analysis of Interrupt Behavior Based on Probabilistic Model Checking 会议论文 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08 作者: Hou, Gang; Kong, Weiqiang; Zhou, Kuanjiu; Wang, Jie; Cao, Xun 收藏 \| 浏览/下载：41/0 \| 提交时间：2019/12/02 Computer circuits Embedded systems Petri nets Real time systems Stochastic models Stochastic systems, Automated driving systems Continuous stochastic logic Deterministic and stochastic Petri nets Deterministic behavior Interrupt behavior Markov regenerative process Probabilistic model checking Real-time embedded systems, Model checking
	Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method 期刊论文 Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2018, 卷号: 52, 页码: 1-7 作者: Yang, Peilin; Hou, Yi; Xu, Kai; Jia, Huanru 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/11/19 Electromechanical systems Failure mode and effects analysis Probabilistic failure Probabilistic model checking Reliability Evaluation
	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] 收藏 \| 浏览/下载：13/0 \| 提交时间：2019/04/22 Business profits maximization capital risks minimization investment strategy probabilistic model checking reserve ratio risk evaluation control
	Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 卷号: 28, 页码: 1369-1397 作者: Gao, Honghao[1]; Miao, Huaikou[2]; Liu, Lilan[3]; Kai, Jinyu[4]; Zhao, Kun[5] 收藏 \| 浏览/下载：15/0 \| 提交时间：2019/04/22 Service system design visualization quantitative verification probabilistic model checking model transformations
	Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 卷号: 27, 页码: 897-923 作者: Gao, Honghao[1]; Chu, Danqi[2]; Duan, Yucong[3]; Yin, Yuyu[4] 收藏 \| 浏览/下载：10/0 \| 提交时间：2019/04/24 Business process modeling service selection probabilistic model checking similarity computing quantitative verification
	Reliability Evaluation for Distribution System Based on Probabilistic Model Checking 会议论文 PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01 作者: Feng, Chao; Zhang, Hong; Yan, Shuai; Fui, Yangzhen; Ba, Xiaohong 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/30 distribution system reliability evaluation Markov chain probabilistic model checking
	Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639 作者: Su, Guoxin; Feng, Yuan; Chen, Taolue; Rosenblum, David S. 收藏 \| 浏览/下载：24/0 \| 提交时间：2018/07/30 Asymptotic perturbation bound discrete-time Markov chain numerical iteration optimization parametric Markov chain perturbation analysis probabilistic model checking quadratic programming
	Model checking of IoT system in microgrid 会议论文作者: Liang, Lulu; Zheng, Kai; Wei, Zilong; Wang, Yanmei; Wu, Sihan 收藏 \| 浏览/下载：2/0 \| 提交时间：2019/12/02 Micro grid Monitoring and control Probabilistic model checking Probablistic models Renewable energy source
	Model checking PV energy system with remote reprogramming function 会议论文作者: Wu, Sihan; Zheng, Kai; Huang, Xin 收藏 \| 浏览/下载：6/0 \| 提交时间：2019/11/26 Distributed energy systems Energy problem Flexible control Internet of Things (IOT) Photovoltaic energy Probabilistic model checking PV energy Remote reprogramming
	Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3 He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ 收藏 \| 浏览/下载：15/0 \| 提交时间：2016/12/09 Compositional verification probabilistic model checking algorithmic learning

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace