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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

北京大学 [3]

沈阳自动化研究所 [2]

清华大学 [1]

兰州理工大学 [1]

西安交通大学 [1]

北京航空航天大学 [1]

内容类型

期刊论文 [7]

会议论文 [2]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共12条，第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
	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
	Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：7/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
	SIL verification for SRS with diverse redundancy based on system degradation using reliability block diagram 期刊论文 Reliability Engineering and System Safety, 2017, 卷号: 165, 页码: 170-187 作者: Ding L(丁龙); Wang H(王宏); Jiang, Jin; Xu AD(徐皑冬) 收藏 \| 浏览/下载：44/0 \| 提交时间：2017/05/01 Functional safety SIL verification Diverse redundancy System degradation MooN(D) voting group RBD
	Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification 期刊论文 SAFETY SCIENCE, 2017, 卷号: 93, 页码: 162-177 作者: Yang, Qibo; Tian, Jin; Zhao, Tingdi 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/30 Functional Resonance Analysis Method (FRAM) System safety Air Traffic Management Formal verification Socio-technical system
	Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant 期刊论文 2016, 2016 Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun; Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun 收藏 \| 浏览/下载：4/0
	运用栅栏函数验证连续系统的有界时间安全性其他 2016-01-01 甘庭; 夏壁灿收藏 \| 浏览/下载：5/0 \| 提交时间：2017/12/03 连续系统安全性验证栅栏函数半定规划平方和 continuous system safety verification barrier certificate SDP (semi-definite programming) SOS (sum of squares)
	Model-based verification method for solving the parameter uncertainty in the train control system 期刊论文 RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 卷号: 145, 页码: 169-182 作者: Cheng, Ruijun; Zhou, Jin; Chen, Dewang; Song, Yongduan 收藏 \| 浏览/下载：6/0 \| 提交时间：2019/11/21 Stochastic time petri nets Linear hybrid automata High-speed train control system System safety verification Parameter uncertainty Reachable state analysis
	Development and verification of system safety analysis code TSACO 期刊论文 Hedongli Gongcheng/Nuclear Power Engineering, 2015, 卷号: 36, 期号: [db:dc_citation_issue], 页码: 4-8 作者: Wang, Jie; Pan, Junjie; Feng, Jintao; Su, Guanghui 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/02 Code verification Computational results Dynamic behaviors Measured temperatures Outlet temperature Safety analysis codes System safety Thermal hydraulics
	Denial-of-service security attack in the continuous-time world 会议论文 34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014 Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2) 收藏 \| 浏览/下载：22/0 \| 提交时间：2014/12/16 Hybrid systems Denial-of-service Safety verification Inference system

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

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

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

中文简体

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