已选(0)清除
条数/页: 排序方式:
|
| 无权访问的条目 学位论文 作者: 陈光耀
Adobe PDF(8489Kb) | 收藏 | 浏览/下载:0/0 | 提交时间:2025/07/01 |
| 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
 收藏 | 浏览/下载:66/0 | 提交时间:2025/03/11
|
| 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
 收藏 | 浏览/下载:70/0 | 提交时间:2025/03/11
|
| Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文 EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247 作者: Chen, Guangyao ; He, Peilin ; Wang, Ziqi ; Teng, Zixin ; Jiang, Zhihao
Adobe PDF(2200Kb) | 收藏 | 浏览/下载:437/5 | 提交时间:2024/02/23
|
| 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) | 收藏 | 浏览/下载:296/3 | 提交时间:2024/07/08
|
| pyUPPAAL: A Python Package for Risk Analysis of CPS 会议论文 ASSOCIATION FOR COMPUTING MACHINERY, San Antonio, TX, United states, May 9, 2023 - May 12, 2023 作者: Guangyao Chen ; Linshu Yang ; Haochen Yang ; Peilin He ; Zhihao Jiang
Adobe PDF(918Kb) | 收藏 | 浏览/下载:468/205 | 提交时间:2023/11/20
|
| Ultra-Fast FPGA Implementation of Graph Cut Algorithm With Ripple Push and Early Termination 期刊论文 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I: REGULAR PAPERS, 2022, 卷号: 69, 期号: 4 作者: Guangyao Yan; Xinzhe Liu ; Fupeng Chen ; Hui Wang; Yajun Ha
Adobe PDF(2732Kb) | 收藏 | 浏览/下载:629/0 | 提交时间:2022/01/18 |
| High-Throughput Screening Campaign Identified a Potential Small Molecule RXFP3/4 Agonist 期刊论文 MOLECULES, 2021, 卷号: 26, 期号: 24 作者: Lin, Guangyao; Feng, Yang; Cai, Xiaoqing; Zhou, Caihong; Shao, Lijun
Adobe PDF(2352Kb) | 收藏 | 浏览/下载:428/0 | 提交时间:2022/01/10
|
| Predicting Synthetic Lethality in Human Cancers via Multi-Graph Ensemble Neural Network 会议论文 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), null,null,ELECTR NETWORK, NOV 01-05, 2021 作者: Mincai Lai ; Guangyao Chen ; Haochen Yang ; Jingkang Yang ; Zhihao Jiang
Adobe PDF(211Kb) | 收藏 | 浏览/下载:418/2 | 提交时间:2021/12/18 |
| Environment Modeling during Model Checking of Cyberphysical Systems 期刊论文 COMPUTER, 2021, 卷号: 54, 期号: 9, 页码:
49-58 作者: Guangyao Chen ; Zhihao Jiang
Adobe PDF(1768Kb) | 收藏 | 浏览/下载:788/322 | 提交时间:2021/12/03
|