中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共10条,第1-10条 帮助

条数/页: 排序方式:
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
  |  收藏  |  浏览/下载:12/0  |  提交时间:2024/09/09
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
  |  收藏  |  浏览/下载:28/0  |  提交时间:2023/12/04
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
  |  收藏  |  浏览/下载:19/0  |  提交时间:2021/02/22
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(刘元锋)
收藏  |  浏览/下载:18/0  |  提交时间:2016/09/13
New Analysis Method for Slope Stability Considering Force-Vector Characteristics 期刊论文  OAI收割
JOURNAL OF GEOTECHNICAL AND GEOENVIRONMENTAL ENGINEERING, 2013, 卷号: 139, 期号: 10, 页码: 1813-1816
作者:  
Wu, Zhenjun
  |  收藏  |  浏览/下载:26/0  |  提交时间:2018/06/05
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
收藏  |  浏览/下载:27/0  |  提交时间:2013/08/12
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
  |  收藏  |  浏览/下载:26/0  |  提交时间:2011/03/31
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
  |  收藏  |  浏览/下载:13/0  |  提交时间:2011/03/31
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
收藏  |  浏览/下载:145/4  |  提交时间:2011/06/13
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.
收藏  |  浏览/下载:12/0  |  提交时间:2017/01/13