中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
成都山地灾害与环境研... [1]
长春光学精密机械与物... [1]
自动化研究所 [1]
采集方式
OAI收割 [3]
内容类型
期刊论文 [2]
会议论文 [1]
发表日期
2020 [1]
2010 [1]
2004 [1]
学科主题
筛选
浏览/检索结果:
共3条,第1-3条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
Comparing rockfall hazard and risk assessment procedures along roads for different planning purposes
期刊论文
OAI收割
JOURNAL OF MOUNTAIN SCIENCE, 2020, 卷号: 17, 期号: 3, 页码: 653-669
作者:
Mineo, Simone
  |  
收藏
  |  
浏览/下载:48/0
  |  
提交时间:2020/11/12
Rockfall Risk
Rockfal hazard
Event Tree Analysis
Evolving Rockfall Hazard Assessment (EHRA)
Rockfall Hazard Rating System (RHRS)
Rockfall Risk Management (RoMa)
Application of Vague set to Software rating ascertainment for space camera (EI CONFERENCE)
会议论文
OAI收割
2nd International Conference on Information Science and Engineering, ICISE2010, December 4, 2010 - December 6, 2010, Hangzhou, China
作者:
Li Y.
;
Li Y.
;
Li Y.
;
Li Y.
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2013/03/25
Software rating ascertainment is very important in development of space camera software system. It can guide the software measurement and management
and help designer improve system reliability finally. Fault Tree Analysis is a common method to analyze the danger reason and fix on bottom events. The most significant step is calculating the occurrence probabilistic of top event
namely the occurrence probabilistic of dangerous event. Because software failure cause is anfractuous and available data are hard to get
a modeling method for bottom event is proposed based on Vague set to calculate the occurrence probabilistic of top event. Experimental results show that the new approach of Vague set can guide the Software rating ascertainment which is ascertained using qualitative analysis. The results also show that the new method makes software rating ascertainment have the quantificational evidence. 2010 IEEE.
A modified reachability tree approach to analysis of unbounded Petri nets
期刊论文
OAI收割
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 卷号: 34, 期号: 1, 页码: 303-308
作者:
Wang, FY
;
Gao, YQ
;
Zhou, MC
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2015/11/06
analysis method
discrete event systems
Petri nets
reachability tree