首页> 美国政府科技报告 >Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.

【24h】

Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.

机译：计算科学：safeCap工具集在提高铁路安全性的同时提高铁路运力。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The on-going RSSB/EPSRC UK SafeCap project develops modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. This paper reports recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to estimating and improving capacity.

著录项

作者
Iliasov, A.; Romanovsky, A.;
展开▼
作者单位

展开▼
年度 2012
页码 1-9
总页数 9
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Railway capacity; Safety standards; Capacity; Design; Domain specific language; Formal modelling; Infrastructure; Signalling safety; Verification;

机译：铁路能力;安全标准;能力;设计;领域特定语言;正式建模;基础设施;信号安全;验证;

相似文献

外文文献
中文文献
专利

1. Improving the Food and Drug Administration's mandate to ensure postmarketing drug safety. [J] . Qato DM, Alexander GC JAMA: the Journal of the American Medical Association . 2011,第14期

机译：改进食品药品监督管理局的职责，以确保上市后药品安全。
2. Computing Amplify-and-Forward Relay Amplification Factor to Improve Total Capacity at Destination | Science Publications [J] . Al-Khalid Othman, Hushairi Zen, Khairuddin Abdul Hamid, American journal of applied sciences . 2015,第8期

机译：计算放大转发中继放大因子以提高目的地的总容量科学出版物
3. Railways to Ensure its Goods and Services Procurements through Government e-Market GeM with Integration of Railway Digital Supply Chain with GeM. Railway Procures Goods and Services more than ₹ 70,000 crores annually [J] . Indian Railways . 2020,第5a6期

机译：铁路通过政府电子市场宝石，通过与Gem的铁路数字供应链一体化，确保其商品和服务采购。铁路每年购买商品和服务超过70,000卢比
4. The SafeCap Platform for Modelling Railway Safety and Capacity [C] . Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky International conference on computer safety, reliability, and security . 2013

机译：用于铁路安全和通行能力建模的SafeCap平台
5. Network Science in Complex Systems Design: Use of Centrality in the Study of Railway Network Capacity [D] . Wong, Ann. 2018

机译：复杂系统设计中的网络科学：在铁路网络容量研究中使用中心性
6. Ensuring patient safety. [O] . M Pringle 2001

机译：确保患者安全。
7. Practical Formal Methods in Railways - The SafeCap Approach [O] . Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky 2014

机译：铁路的实用形式方法 - Safecap方法
8. Computing Science: Practical Formal Methods in Railways - The SafeCap Approach. [R] . Iliasov, A., Lopatkin, I., Romanovsky, A. 2014

机译：计算科学：铁路实用的形式化方法 - safeCap方法。

Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.

摘要

著录项

相似文献

相关主题

期刊订阅