首页> 外文OA文献 >Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods

【2h】

Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods

机译：以深入学习和正式方法的CBTC系统安全风险预测

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jing Liu; Li Qian; Yan Zhang; Jiazhen Han; Junfeng Sun;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods [J] . Liu Jing, Qian Li, Zhang Yan, Quality Control, Transactions . 2020,第期

机译：以深入学习和正式方法的CBTC系统安全风险预测
2. Integrated deep learning method for workload and resource prediction in cloud systems [J] . Bi Jing, Li Shuang, Yuan Haitao, Neurocomputing . 2021,第Feba1期

机译：云系统工作负荷和资源预测的集成深度学习方法
3. Model-Aided Deep Learning Method for Path Loss Prediction in Mobile Communication Systems at 2.6 GHz [J] . Thrane Jakob, Zibar Darko, Christiansen Henrik Lehrmann Quality Control, Transactions . 2020,第期

机译：2.6 GHz移动通信系统路径损耗预测模型辅助深度学习方法
4. Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development [C] . Gaétan Hains, Arvid Jakobsson, Youry Khmelevsky Annual IEEE International Systems Conference . 2018

机译：迈向深度学习的正式方法和软件工程：dl系统开发的安全性，安全性和生产率
5. A Methodology for Rapid Hypersonic Flow Predictions via Surrogate Modeling with Machine Learning and Deep Learning [D] . Hemming, Nathan 2018

机译：通过具有机器学习和深度学习的替代模型快速进行超音速流预测的方法
6. A learning-based method for drug-target interaction prediction based on feature representation learning and deep neural network [O] . Jiajie Peng, Jingyi Li, Xuequn Shang 2020

机译：基于特征表示学习和深神经网络的药物目标交互预测的基于学习方法
7. Data-driven prediction of a multi-scale Lorenz 96 chaotic system using deep learning methods: Reservoir computing, ANN, and RNN-LSTM [O] . Ashesh Chattopadhyay, Pedram Hassanzadeh, Devika Subramanian 2019

机译：使用深度学习方法的多尺度Lorenz 96混沌系统的数据驱动预测：储层计算，ANN和RNN-LSTM

Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods

著录项

引文网络

相似文献

相关主题

期刊订阅