中文版 | English

在结果中检索

KMS

浏览/检索结果: 共47条，第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)  |  收藏  |  浏览/下载：106/8  |  提交时间：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
收藏  |  浏览/下载：32/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)  |  收藏  |  浏览/下载：38/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
收藏  |  浏览/下载：37/0  |  提交时间：2025/03/11
Anchorable Polymers Enabling Ultra-Thin and Robust Hole-Transporting Layers for High-Efficiency Inverted Perovskite Solar Cells 期刊论文
ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2025
作者:  Zhan, Liqing;  Zhang, Shuo;  Li, Zhihao;  Li, Wenzhuo;  Zhang, Huidong
Adobe PDF(5938Kb)  |  收藏  |  浏览/下载：105/2  |  提交时间：2025/01/20
Incentives for Early Arrival in Cost Sharing 预印本
2024
作者:  Zhang, Junyu
Adobe PDF(715Kb)  |  收藏  |  浏览/下载：221/1  |  提交时间：2024/12/04
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)  |  收藏  |  浏览/下载：301/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)  |  收藏  |  浏览/下载：240/3  |  提交时间：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
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：398/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(江智浩)
收藏  |  浏览/下载：303/0  |  提交时间：2024/05/23
  • 首页
  • 上一页
  • 1
  • 2
  • 3
  • 4
  • 5
  • 下一页
  • 末页