中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [3]
软件研究所 [3]
成都山地灾害与环境研... [1]
计算技术研究所 [1]
武汉岩土力学研究所 [1]
沈阳自动化研究所 [1]
更多
采集方式
OAI收割 [10]
内容类型
会议论文 [5]
期刊论文 [5]
发表日期
2024 [1]
2023 [1]
2020 [1]
2014 [1]
2013 [1]
2011 [1]
更多
学科主题
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
LLM-Based Operating Systems for Automated Vehicles: A New Perspective
期刊论文
OAI收割
IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2024, 卷号: 9, 期号: 4, 页码: 4563-4567
作者:
Ge, Jingwei
;
Chang, Cheng
;
Zhang, Jiawei
;
Li, Lingxi
;
Na, Xiaoxiang
  |  
收藏
  |  
Dynamic Heterogeneous Redundancy-Based Joint Safety and Security for Connected Automated Vehicles: Preliminary Simulation and Field Test Results
期刊论文
OAI收割
IEEE VEHICULAR TECHNOLOGY MAGAZINE, 2023, 页码: 9
作者:
Li, Yufeng
;
Liu, Qi
;
Zhuang, Weihua
;
Zhou, Yiqing
;
Cao, Chenhong
  |  
收藏
  |  
Hidden Markov Model Approach for Software Reliability Estimation with Logic Error
期刊论文
OAI收割
International Journal of Automation and Computing, 2020, 卷号: 17, 期号: 2, 页码: 305-320
作者:
R. Bharathi
;
R. Selvarani
  |  
收藏
  |  
Key approaches for the research and development of functional safety transmitter and reliability analysis
会议论文
OAI收割
2014 International Conference on Industrial Electronics and Engineering (ICIEE 2014), Hong Kong, May 1-2, 2014
作者:
Xu AD(徐皑冬)
;
Liu LL(刘梁梁)
;
Song Y(宋岩)
;
Liu YF(刘元锋)
收藏
  |  
New Analysis Method for Slope Stability Considering Force-Vector Characteristics
期刊论文
OAI收割
JOURNAL OF GEOTECHNICAL AND GEOENVIRONMENTAL ENGINEERING, 2013, 卷号: 139, 期号: 10, 页码: 1813-1816
作者:
Wu, Zhenjun
  |  
收藏
  |  
A method combining numerical analysis and limit equilibrium theory to determine potential slip surfaces in soil slopes
期刊论文
OAI收割
JOURNAL OF MOUNTAIN SCIENCE, 2011, 卷号: 8, 期号: 5, 页码: 718–727
Xiao Shiguo
;
Yan Liping
;
Cheng Zhiqiang
收藏
  |  
model checking linear duration invariants of networks of automata
会议论文
OAI收割
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao
;
Liu Zhiming
;
Zhan Naijun
  |  
收藏
  |  
axiomatic temporal logic programs verification
会议论文
OAI收割
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao
;
Duan Zhenhua
  |  
收藏
  |  
methodology for reliability evaluation of n-version programming software fault tolerance system
会议论文
OAI收割
International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, 40878
Ping Guo
;
Xin Liu
;
Qian Yin
收藏
  |  
Co-evolution based feature selection for pedestrian detection
会议论文
OAI收割
2007 IEEE International Conference on Control and Automation, ICCA 2007, Guangzhou, China, 30 May-1 June 2007
作者:
Guo, Y.P.
;
Cao, X.B.
;
Xu, Y.W.
;
Hong, Q.
收藏
  |