察元AI教程库 · 文章 · MCP

使用B数学语言验证ETCS数据：一个工业流程及LLM集成的蓝图

大型语言模型能否参与ERTMS/ETCS数据的生产与验证，而不损害CENELEC EN 50128/5 0716所要求的认证论据？ERTMS/ETCS是一个分布式的安全关键系统（轨道侧、车载、无线闭塞中心），其行为由参数化

作者:Thierry Lecomte, Vincent Germain · 语言:en

前往原址学习

简介

大型语言模型能否参与ERTMS/ETCS数据的生产与验证，而不损害CENELEC EN 50128/5 0716所要求的认证论据？ERTMS/ETCS是一个分布式的安全关键系统（轨道侧、车载、无线闭塞中心），其行为由参数化

返回教程库 · 察元AI产品家族