消息
×
loading..
KMS

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

  只显示已认领条目
已选(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
  • 首页
  • 上一页
  • 1
  • 2
  • 下一页
  • 末页