中文版 | English

在结果中检索

KMS

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

  只显示已认领条目
已选(0)清除 条数/页：   排序方式：
A cognitive digital twin approach to improving driver compliance and accident prevention 期刊论文
ACCIDENT ANALYSIS AND PREVENTION, 2025, 卷号: 211
作者:  Gu, Yi;  Li, Shuhang;  Qi, Ji;  Fu, Bangzheng;  Tang, Renzhi
Adobe PDF(5669Kb)  |  收藏  |  浏览/下载：99/7  |  提交时间：2025/02/12
PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis and Fault Management in Safety-Critical Systems 会议论文
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
作者:  Guangyao Chen;  Ziqi Wang;  Chenyang Zhu;  Zhihao Jiang
收藏  |  浏览/下载：26/0  |  提交时间：2025/03/11
Closed-Loop Testing of Autonomous Driving Systems: A Safety-Critical, Effective, and Realistic Evaluation Using the Adversarial Cognitive Driver Model 期刊论文
ACCIDENT ANALYSIS AND PREVENTION, 2025, 卷号: -, 期号: -, 页码: -
作者:  Ji Qi;  Chenyang Mao;  Shuhang Li;  Lifeng Yang;  Sen Tian
Adobe PDF(20094Kb)  |  收藏  |  浏览/下载：28/2  |  提交时间：2025/03/14
Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems 期刊论文
FORMAL ASPECTS OF COMPUTING, 2025
作者:  Guangyao Chen;  Zeyu Li;  Jicheng Gu;  Yining She;  Chenyang Zhu
收藏  |  浏览/下载：29/0  |  提交时间：2025/03/11
Characterization of single-pulse photon energy and photon energy jitter at the Shanghai soft X-ray Free-Electron Laser 期刊论文
CHINESE OPTICS LETTERS, 2024, 卷号: 22, 期号: 10
作者:  Gao, Zichen;  Tong, Yajun;  Wang, Yueran;  Wang, Xinyuan;  Wen, Pingping
Adobe PDF(1030Kb)  |  收藏  |  浏览/下载：292/8  |  提交时间：2024/11/04
Fabrication of Spin-1/2 Heisenberg Antiferromagnetic Chains via Combined On-surface Synthesis and Reduction for Spinon Detection 预印本
2024
作者:  Su, Xuelei;  Ding, Zhihao;  Hong, Ye;  Ke, Nan;  Yan, KaKing
Adobe PDF(723Kb)  |  收藏  |  浏览/下载：230/1  |  提交时间：2024/08/26
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247, 期号: 123371
作者:  Chen, Guangyao;  He, Peilin;  Wang, Ziqi;  Teng, Zixin;  Jiang, Zhihao
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：392/4  |  提交时间：2024/02/23
Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development 会议论文
2024 46TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), Orlando, FL, USA, 15-19 July 2024
作者:  Gu JC(顾吉成);  Cai PH(蔡佩珩);  Jiang ZH(江智浩)
收藏  |  浏览/下载：298/0  |  提交时间：2024/05/23
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:  Yilun Chen;  Zhuo Jian;  Yixi Wang;  Zhihao Jiang
Adobe PDF(1220Kb)  |  收藏  |  浏览/下载：249/2  |  提交时间：2024/07/08
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:  Guangyao Chen;  Zhihao Jiang
Adobe PDF(971Kb)  |  收藏  |  浏览/下载：253/3  |  提交时间：2024/07/08
  • 首页
  • 上一页
  • 1
  • 2
  • 3
  • 4
  • 下一页
  • 末页