×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [37]
内容类型
会议论文 [37]
发表日期
2019 [2]
2018 [7]
2017 [5]
2016 [5]
2015 [4]
2014 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共37条,第1-10条
帮助
限定条件
内容类型:会议论文
专题:北京航空航天大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process
会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, 2018-11-23
作者:
Zhu, D.
;
Yao, S.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/30
Accidents
Factor analysis
Hazards
Software engineering
Stamping
Causality modeling
Control actions
Controlled system
Hazard analysis
Safety analysis
Safety assurance
STPA
Systematic method
Process control
Modeling TTEthernet Startup Service in SystemC for Verifying Fault-Tolerant Protocol under Fail-Omission Scenarios
会议论文
IEEE Region 10 Annual International Conference, Proceedings/TENCON, 2018-10-28
作者:
Li, J.
;
Li, Q.
;
Tang, X.
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/30
Fault tolerance
Mechanical clocks
Reactor startup
Safety engineering
Clock Synchronization
Fault tolerant protocols
Field programmables
Hardware descriptions
Hardware implementations
Requirements definition
Test-bench
TTEthernet
Synchronization
Study on Modeling and Evaluation Method of Service-agent Network in Cloud Manufacturing
会议论文
2018 4TH INTERNATIONAL CONFERENCE ON UNIVERSAL VILLAGE (IEEE UV 2018): HUMANKIND IN HARMONY WITH NATURE THROUGH WISE USE OF TECHNOLOGY, 2018-01-01
作者:
Zhao, Chun
;
Zhang, Lin
;
Luo, Xiao
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Cloud manufacturing
Service agent
Set pair analysis
Modeling and Simulation
Service reliability oriented modeling for the failure of cloud data center
会议论文
2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018-01-01
作者:
Tong, Bang-An
;
Li, Xiaoyang
;
Xiao, Lianghua
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
service reliability
cloud data center
access mount
access failure amount
response time
Word network topic model based on Word2Vector
会议论文
Proceedings - IEEE 4th International Conference on Big Data Computing Service and Applications, BigDataService 2018
作者:
Jiang, M.
;
Liu, R.
;
Wang, F.
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Big data
Semantics
Statistics
Component
Critical challenges
Internet information
Latent dirichlet allocations
Topic Modeling
WNTM
Word co-occurrence
Word2vector
Data mining
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process
会议论文
PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018-01-01
作者:
Zhu, Danjiang
;
Yao, Shuzhen
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
s-hazard analysis
safety analysis
software controlled system
S TAMP
S TPA
Modeling TTEthernet Startup Service in SystemC for Verifying Fault-Tolerant Protocol under Fail-Omission Scenarios
会议论文
PROCEEDINGS OF TENCON 2018 - 2018 IEEE REGION 10 CONFERENCE, 2018-01-01
作者:
Li, Jing
;
Li, Qiao
;
Tang, Xueqian
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
Fault-Tolerant Protocol
Clock Synchronization
TTEthernet
Testbench
Startup
Research on big data integration based on Karma modeling
会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS
作者:
Xiao, W.
;
Guoqi, L.
;
Bin, L.
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/30
Data integration
Ontology
Semantic Web
Semantics
Software engineering
Domain ontologies
Heterogeneous data
Large amounts
Literature data
Modeling tool
Ontology model
RDF data
Semantic mapping
Big data
Process planning service model design for cloud manufacturing
会议论文
IEEE International Conference on Automation Science and Engineering
作者:
Wang, J.
;
Qiao, L.
;
Qie, Y.
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Computer aided manufacturing
Cutting tools
Decision making
Design for manufacturability
Machining
Machining centers
Manufacture
Software as a service (SaaS)
Web services
Cloud Manufacturing
Information integration
Information Modeling
Machining Process
Machining process planning
Process knowledge
Resource service
SaaS (software as a service)
Process planning
Modeling Context-aware Legal Computing with Bigraphs
会议论文
11th IEEE International Symposium on Service-Oriented System Engineering (SOSE), San Francisco, CA, 2017-01-01
作者:
Yu, Lian
;
Hu, Chenjian
;
Li, Baijie
;
Tsai, Wei Tek
;
Hu, Jianbin
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/30
legal computing
modeling and simulation
bigraphical reaction systems (BRS)
context-aware reasoning
binding and constraints
tracking and monitoring
©版权所有 ©2017 CSpace - Powered by
CSpace