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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

北京航空航天大学 [12]

清华大学 [7]

北京大学 [4]

西安交通大学 [4]

湖南大学 [4]

兰州理工大学 [2]

内容类型

期刊论文 [21]

会议论文 [18]

发表日期

学科主题

computer s... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	Hardware and software architecture of intelligent vehicles and road verification in typical traffic scenarios 期刊论文 IET INTELLIGENT TRANSPORT SYSTEMS, 2019, 卷号: Vol.13 No.6, 页码: 960-966 作者: Gao, HB; Yu, HL; Xie, GT; Ma, H; Xu, YC 收藏 \| 浏览/下载：33/0 \| 提交时间：2019/12/17 decision making software architecture control engineering computing road safety motion control traffic engineering computing road vehicles driver information systems road traffic intelligent transportation systems human computer interaction software architecture intelligent vehicles road verification typical traffic scenarios hardware system vehicle actuators vehicle platforms software system environmental perception module scene cognition module human-computer interaction module public service support module automated driving system software systems hardware architecture environmental sensors computing platforms decision and control module motion control decision-making
	Recognition of leak CO2 with wavelet analysis based on correlation monitoring between CO2 and O-2 in atmosphere 期刊论文 PROCESS SAFETY AND ENVIRONMENTAL PROTECTION, 2018, 卷号: 114, 页码: 64-78 作者: Ma, Denglong; Tan, Wei; Zhang, Zaoxiao; Wang, Xiaoqiao; Xia, Fengshe 收藏 \| 浏览/下载：7/0 \| 提交时间：2019/11/26 Leakage monitoring Geosequestration safety Storage failure Gas leakage Leakage risk Leakage verification Correlation analysis
	Fast Functional Safety Verification for Distributed Automotive Applications During Early Design Phase. 期刊论文 IEEE Transactions on Industrial Electronics, 2018, 卷号: Vol.65 No.5, 页码: 4378-4391 作者: Xie, Guoqi; Zeng, Gang; Liu, Yan; Zhou, Jia; Li, Renfa 收藏 \| 浏览/下载：2/0 \| 提交时间：2019/12/26 Automotive applications Automotive functional safety Design optimization ISO 26262 Reliability engineering Safety verification
	Fast Functional Safety Verification for Distributed Automotive Applications during Early Design Phase 期刊论文 IEEE Transactions on Industrial Electronics, 2018, 卷号: Vol.65 No.5, 页码: 4378-4391 作者: Xie, G.; Zeng, G.; Liu, Y.; Zhou, J.; Li, R. 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/26 Automotive functional safety ISO 26262 verification
	Fast Functional Safety Verification for Distributed Automotive Applications During Early Design Phase 期刊论文 IEEE Transactions on Industrial Electronics, 2018, 卷号: Vol.65 No.5, 页码: 4378-4391 作者: Xie, GQ; Zeng, G; Liu, Y; Zhou, J; Li, RF 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/26 Automotive functional safety ISO 26262 verification
	Integrated formal verification of safety-critical software 会议论文 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018-08-01 作者: Ge, Ning; Jenn, Eric; Breton, Nicolas; Fonteneau, Yoann 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/30 Integration Formal verification Safety-critical embedded software HLL S3 SAT Floating-point arithmetic
	Integrated formal verification of safety-critical software 期刊论文 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 卷号: 20, 页码: 423-440 作者: Ge, Ning; Jenn, Eric; Breton, Nicolas; Fonteneau, Yoann 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/30 Integration Formal verification Safety-critical embedded software HLL S3 SAT Floating-point arithmetic
	Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19 作者: Huang, Chao; Chen, Xin; Lin, Wang; Yang, Zhengfeng; Li, Xuandong 收藏 \| 浏览/下载：8/0 \| 提交时间：2018/07/30 Stochastic hybrid systems safety verification barrier certificate
	Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他 2017-01-01 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Hybrid systems invariants non-autonomous systems polynomial ideals semi-algebraic sets. BARRIER CERTIFICATES SAFETY VERIFICATION
	Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/12/03 Hybrid system Barrier certificate Formal verification Invariant Nonlinear system Semi-definite programming Sum of squares HYBRID SYSTEMS ALGORITHMIC ANALYSIS SAFETY VERIFICATION INVARIANTS

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

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

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

中文简体

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